Let be a bundle gerbe with connection on a smooth manifold , and let be a smooth action of a Fréchet–Lie group on that preserves the isomorphism class of . In this setting, we obtain an abelian extension of that consists of pairs , where , and is an isomorphism from to . We equip this group with a natural structure of abelian Fréchet–Lie group extension of , under the assumption that the first integral homology of is finitely generated. As an application, we construct the universal central extension (in the category of Fréchet–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.

生成讲解博客的中文版本

生成AI智能校验的中文版本