Current Groups and the Hamiltonian Anomaly

Gauge symmetry invariance is an indispensable aspect of the field-theoretic models in classical and quantum physics. Geometrically this symmetry is often modelled with current groups and current algebras, which are used to capture both the idea of gauge invariance and the algebraic structure of gauge currents related to the symmetry. The Hamiltonian anomaly is a well-known problem in the quantisation of massless fermion fields, originally manifesting as additional terms in current algebra commutators. The appearance of these anomalous terms is a signal of two things: that the gauge invariance of quantised Hamiltonian operators is broken, and that consequently it is not possible to coherently define a vacuum state over the physical configuration space of equivalent gauge connections. In this thesis we explore the geometric and topological origins of the Hamiltonian anomaly, emphasising the usefulness of higher geometric structures. Given this context we also discuss higher versions of the gauge-theoretic current groups. These constructions are partially motivated by the $2$-group models of the abstract string group, and we extend some of these ideas to current groups on the three-sphere $S^3$. The study of the Hamiltonian anomaly utilises a wide variety of tools from such fields as differential geometry, group cohomology, and operator K-theory. We gather together many of these approaches and apply them in the standard case involving the time components of the gauge currents. We then proceed to extend the analysis to the general case with all space-time components. We show how the anomaly terms for these generalised current algebra commutators are derived from the same topological foundations; namely, from the Dixmier-Douady class of the anomalous bundle gerbe. As an example we then compute the full set of anomalous commutators for the three-sphere $S^3$ as the physical space.