English

How an action that stabilizes a bundle gerbe gives rise to a Lie group extension

Differential Geometry 2024-01-25 v1 Symplectic Geometry

Abstract

Let G\mathcal{G} be a bundle gerbe with connection on a smooth manifold MM, and let ρ:GDiff(M)\rho: G \rightarrow \operatorname{Diff}(M) be a smooth action of a Fr\'echet--Lie group GG on MM that preserves the isomorphism class of G\mathcal{G}. In this setting, we obtain an abelian extension of GG that consists of pairs (g,A)(g,A), where gGg \in G, and AA is an isomorphism from ρgG\rho_{g}^{*}\mathcal{G} to G\mathcal{G}. We equip this group with a natural structure of abelian Fr\'{e}chet--Lie group extension of GG, under the assumption that the first integral homology of MM 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.

Keywords

Cite

@article{arxiv.2401.13453,
  title  = {How an action that stabilizes a bundle gerbe gives rise to a Lie group extension},
  author = {Bas Janssens and Peter Kristel},
  journal= {arXiv preprint arXiv:2401.13453},
  year   = {2024}
}

Comments

40 pages