How an action that stabilizes a bundle gerbe gives rise to a Lie group extension (2401.13453v1)
Abstract: Let $\mathcal{G}$ be a bundle gerbe with connection on a smooth manifold $M$, and let $\rho: G \rightarrow \operatorname{Diff}(M)$ be a smooth action of a Fr\'echet--Lie group $G$ on $M$ that preserves the isomorphism class of $\mathcal{G}$. In this setting, we obtain an abelian extension of $G$ that consists of pairs $(g,A)$, where $g \in G$, and $A$ is an isomorphism from $\rho_{g}{*}\mathcal{G}$ to $\mathcal{G}$. We equip this group with a natural structure of abelian Fr\'{e}chet--Lie group extension of $G$, under the assumption that the first integral homology of $M$ is finitely generated. As an application, we construct the universal central extension (in the category of Fr\'echet--Lie groups) of the group of Hamiltonian diffeomorphisms of a symplectic surface. As an intermediate step, we obtain a central extension of the group of exact volume-preserving diffeomorphisms of a 3-manifold whose corresponding Lie algebra extension is conjectured to be universal.
- C. Bär and C. Becker, “Differential Characters” Lecture Notes in Mathematics 2112, Springer, Cham, 2014
- J.-L. Brylinski, “Loop spaces, characteristic classes and geometric quantization”, vol. 107 of Progr. Math., Birkhäuser, 1993.
- P. E. Connor and E. E. Floyd, “Differentiable Periodic Maps”, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 33, Springer Berlin Heidelberg, 1964