Research seminar during the winter term 2022–23

The seminar program with references as a pdf file.

Introduction and overview (Ralf Meyer)


Covariance algebras for actions of locally compact groups on C*-algebras (Michelle Göbel)

The category of C*-algebra morphisms, comparison of two formulations of the universal property.


Hilbert modules and C*-correspondences (Taufik Yusof)

Introduce Hilbert modules over C*-algebras, compact and adjointable operators on them, submodules and complementability, then define C*-correspondences and their composition by tensor product. Formulate the universal property of crossed products for group actions in the realm of C*-correspondences.


Representations of *-algebras on Hilbert modules by unbounded operators (Christos Kitsios)

Introduce some basic definitions, including the graph norm and closure of a representation, and the C*-hull for a class of integrable representations. Explain how the case of a single regular selfadjoint operator and Nelson's Theorem fit into this framework.


The functional calculus and its converse for regular selfadjoint operators (David Kern)

Recall some of the technical issues with unbounded operators. Define symmetric densely defined unbounded operators on Hilbert modules and their Cayley transform, selfadjointness and regularity, the functional calculus for regular selfadjoint operators and its converse. Link this to Stone's Theorem using \(\mathrm{C}^*(\mathbb{R}) \cong \mathrm{C}_0(\mathbb{R})\). Discuss an exotic variant where we see representations of the Toeplitz C*-algebra, coming from symmetric operators whose Cayley transform is an isometry.


Nelson's Theorem (Boris Bilich)

Formulate Nelson's criterion for a representation of a Lie algebra to integrate to a continuous group representation. Give some ideas from the proof, such as analytic domination. Formulate Pierrot's generalisation to representations on Hilbert modules.


Graded algebras and induction of representations and C*-hulls 1 (Michelle Göbel)

This talk and the following deal with the induction theorem, which describes a C*-hull for a *-algebra graded by a group, based on a C*-hull of its unit fibre. The one-dimensional Weyl algebra should be used as an illustrative example.


Graded algebras and induction of representations and C*-hulls 2 (Jonathan Taylor)

I think that this topic needs more than one lecture.


When the C*-hull is a (twisted) groupoid C*-algebra (Jonathan Taylor)


Examples of C*-hulls: Weyl algebras (Ralf Meyer) (unfortunately, there is no audio for about 30 minutes)

The \(k\)-dimensional Weyl algebra is \(\mathbb{Z}^k\)-graded in a canonical way, and the induction theorem describes a C*-hull for \(k<\infty\) and the possibilities for \(k=\infty\), depending on a choice of C*-hull for polynomials in countably many variables.


Host algebras for actions of topological groups (Fabrizio Zanello)

Look at the host algebras for actions of topological groups, explain how these fit into framework of C*-hulls. Discuss some physically relevant examples of host algebras and problems with them?


Host algebras for infinite-dimensional Lie groups (Lennart Janshen)

Explain the techniques developed by Neeb, Salmasian and Zellner for finding host algebras for certain infinite-dimensional Lie groups. A key point here is to use smoothing operators, which in many examples come from subgroups. It would be interesting to see to what extent such a host algebra is also a C*-hull for some class of integrable representations. There could also be a link to the discussion of the Virasoro algebra by Savchuk and Schmüdgen.


Some more examples of C*-hulls (Ralf Meyer)

Discuss some more examples of C*-hulls of \(\mathbb{Z}\)-graded *-algebras, such as the group SU(2), the \(q\)-oscillator algebra, the Podleś sphere, and \(\mathcal{U}_q(\mathfrak{su}(2))\).


The *-algebra of differential operators on a manifold (Geoffrey Desmond-Busche)

Describe a C*-hull for the *-algebra of differential operators on a manifold. This is a version of Nelson's Theorem for the universal enveloping algebra of the pair groupoid of a manifold.