General Prerequisites:

A5 Topology and A4 Integration essential.

Course Term: Trinity
Course Overview:

Groups like the integers, the torus, and \(\text{GL}_n\) share a number of properties naturally captured by the notion of a topological group. Providing a unified framework for these groups and properties was an important achievement of 20th century mathematics, and in this course we shall develop this framework.

Highlights will include the existence of Haar measure for (not necessarily Abelian) locally com-pact Hausdorff topological groups, Pontryagin duality, and the structure theorem for locally compact Hausdorff Abelian topological groups. Throughout, the course will use the tools of analysis to tie together the topology and algebra, getting at superficially more algebraic facts such as the structure theorem through analytic means.

Lecturer(s):

Prof. Tom Sanders

Course Synopsis:

[4 lectures] Definition of topological groups. Examples including \(\mathbb{R}^n\), \(S^1\), the Cantor group, and \(\text{GL}_n(\mathbb{R})\), and non-examples.

Quotient groups; subgroups; isomorphism theorems; local compactness; separation axioms.

[6 lectures] Covering numbers. Regular Borel measures. Existence of Haar measure assuming the Caratheodory Extension Theorem. Uniqueness of Haar measure. Examples.

[6 lectures] Abelian groups and their duals, annihilators and the relationship between subgroups and quotient groups, and between direct and complete direct sums. Pontryagin duality. Dual properties \emph{e.g.} discrete and compact; torsion-free-discrete and connected-compact; \emph{etc}. *** Time permitting the dual of the rationals. ***

Structure theorem for locally compact Abelian groups, and also for compactly generated locally compact Abelian groups. Examples. **Time permitting, discussion of the structure theorem for locally compact groups.**