Some incarnations of Hamiltonian reduction in symplectic geometry and geometric representation theory

In this expository note, we give a self-contained introduction to some modern incarnations of Hamiltonian reduction. Particular emphasis is placed on applications to symplectic geometry and geometric representation theory. We thereby discuss abelianization in Hamiltonian geometry, reduction by symplectic groupoids, and the Moore–Tachikawa conjecture.

💡 Research Summary

This expository paper provides a self‑contained overview of several modern incarnations of Hamiltonian reduction, emphasizing their roles in symplectic geometry and geometric representation theory. After recalling the classical Marsden–Weinstein reduction, the authors pose two guiding questions: (1) how far can the Marsden–Weinstein framework be generalized to produce new symplectic constructions, and (2) to what extent can reductions by non‑abelian groups be “abelianized.” The paper is organized into three main parts.

The first part reviews foundational material. Sections 2.1–2.2 recall Lie‑group actions, coadjoint orbits, maximal tori, Weyl chambers, and basic representation‑theoretic decompositions. Section 2.3 introduces linear Hamiltonian reduction for a subspace W of a symplectic vector space V, defining the reduced space as W/(W∩W^ω) equipped with the induced symplectic form. Sections 2.4–2.5 discuss symplectic manifolds, cotangent bundles, Poisson structures, and the construction of symplectic leaves, culminating in a description of pre‑symplectic reduction along a submanifold. Section 2.6 defines Hamiltonian G‑spaces, and Section 2.7 recovers the Marsden–Weinstein theorem, including the “shifting trick” and the universal property of T*G. Sections 2.9–2.10 present the Sjamaar–Lerman stratified‑symplectic generalization, which removes the freeness hypothesis and yields a stratified symplectic quotient for any moment‑map value.

The second part focuses on abelianization. In Section 3.1 the authors explain symplectic implosion (Guillemin–Jeffrey–Sjamaar): given a compact connected Lie group G with maximal torus T, one constructs a stratified space M_impl equipped with a Hamiltonian T‑action such that for every ξ in the fundamental Weyl chamber the quotients M//_ξ G and M_impl//_ξ T are isomorphic as stratified symplectic spaces. This result “abelianizes” all reductions by G at the cost of replacing M by the possibly singular imploded space. Section 3.2 introduces Gelfand–Cetlin data and a higher‑rank torus T_G. By endowing an open dense subset U⊂𝔤* with a Hamiltonian T_G‑action, one obtains an open subset M°⊂M with a Hamiltonian T_G‑action such that for generic ξ the quotients M//ξ G and M°//{λ(ξ)} T_G are isomorphic, where λ:U→𝔱_G* is the Gelfand–Cetlin moment map. This provides a finer abelianization that preserves most of M while using a larger torus.

The third part develops a unified framework of generalized Hamiltonian reduction via symplectic groupoids. Section 4.1 defines symplectic groupoids and their actions, emphasizing that they encode global symmetries extending ordinary group actions. Section 4.2 introduces reduction along pre‑Poisson submanifolds (or subvarieties) and shows how the construction works uniformly for smooth manifolds, complex manifolds, analytic spaces, algebraic varieties, and affine schemes. Section 4.3–4.5 apply this machinery to the Moore–Tachikawa conjecture, which predicts an equivalence between certain categories of boundary conditions in 3‑dimensional N=4 supersymmetric gauge theories and categories of symplectic varieties. By performing groupoid‑based reduction, the authors obtain a scheme‑theoretic proof of the conjecture and simultaneously produce new topological quantum field theories valued in affine Hamiltonian schemes. The paper concludes with an extensive bibliography linking the presented material to a broad spectrum of recent work and outlines future directions such as reductions for Poisson‑Lie groups, non‑regular stratifications, and further physical applications.

Overall, the article succeeds in gathering disparate generalizations—symplectic implosion, Gelfand–Cetlin abelianization, groupoid reduction—into a coherent narrative, providing both conceptual clarity and practical tools for researchers working at the interface of symplectic geometry, representation theory, and mathematical physics.