symmetric monoidal (∞,1)-category of spectra
Given an object in algebra $A$ (such as an associative algebra, a group or a Lie algebra, etc.) then an extension $\widehat A \overset{p}{\longrightarrow} A$ (e.g. a group extension or Lie algebra extension etc.) is called a central extension if its kernel
is in the center $C(\widehat{A})$ of $\widehat A$
This means in particular that $ker(p)$ is “commutative” (e.g. a commutative algebra or abelian group or Lie algebra with vanishing Lie bracket etc.), but it means in addition that the elements of $ker(p)$ commute not just among themselves, but also with all other elements of $\widehat A$.
Typically central extensions by some commutative algebraic object $ker(p)$ are classified by the suitable degree-2 cohomology group $H^2(A,ker(p))$ of $A$ with coefficients in $ker(p)$. In fact, typically there is an embedding of the situation into homotopical algebra/higher algebra such that this cohomology group is given by the homotopy classes of morphisms to a second delooping object $B ker(p)$ (in the context of groups: the delooping 2-group)
and under this identification the central extension is the homotopy fiber of the cocycle $\phi$ and the short exact sequence (1) is part of the long homotopy fiber sequence to the left induced by $\phi$:
A Poisson bracket Lie algebra is a central extension of Lie algebras of a Lie algebra of Hamiltonian vector fields,
the corresponding quantomorphism group is a central extension of groups of the diffeological group of Hamiltonian symplectomorphism.
A Heisenberg group is a sub-central extension such a quantomorphism group-extension, over Hamiltonian symplectomorphisms on a Lie group that act by left multiplication.
A spin group is a central extension of a special orthogonal group by the group of order 2 $\mathbb{Z}/2$.
…
See also
Discussion of application in physics:
Last revised on May 26, 2020 at 13:14:11. See the history of this page for a list of all contributions to it.