Past exam of the lie algebras course of Part C of the mathematics course of the University of Oxford / 2023 / 1 / a / Solution

Since the general linear Lie algebra ${\mathfrak{gl}}_1(k)$ has zero Lie bracket, identify it with $kz$. A central extension of a Lie algebra is a short exact sequenceof Lie algebra homomorphisms with $\iota (kz)$ contained in the center of a Lie algebra $Z(\tilde{\mathfrak{g}})$. Thus $\pi$ is surjective, its kernel is precisely the indicated line, and that line commutes with all of $\tilde{\mathfrak{g}}$.

Choose a linear map $s:\mathfrak{g}\to \tilde{\mathfrak{g}}$ with $\pi s=\mathrm{id}$. Such a section exists by lifting a basis. Identify $\tilde{\mathfrak{g}}$ with the direct sum of vector spaces $\mathfrak{g}\oplus kz$ by $(x,tz)\mapsto s(x)+t\iota (z)$. The difference $[s(x),s(y)]-s([x,y])$ belongs to the kernel of $\pi$, so there is a unique bilinear map $\alpha :\mathfrak{g}\times \mathfrak{g}\to k$ such thatIt is an alternating bilinear form: $\alpha (x,x)=0$, equivalently $\alpha (x,y)=-\alpha (y,x)$ in characteristic zero. Taking the central component of the Jacobi identity gives the Lie algebra two-cocycle conditionConversely, any alternating bilinear form satisfying this identity defines a Lie algebra byIndeed its Lie bracket is an alternating multilinear map and a bilinear map, and the two components of its Jacobi identity are respectively the Jacobi identity in $\mathfrak{g}$ and the displayed Lie algebra two-cocycle condition. The line $kz$ is central, and projection to $\mathfrak{g}$ gives the required central extension of a Lie algebra.

For later use, replacing $s$ by $s^{\prime }(x)=s(x)+t(x)\iota (z)$, where $t\in {\mathfrak{g}}^{\ast }$ is in the dual space, changes the Lie algebra two-cocycle toThus changes of section add a Lie algebra two-coboundary, up to the conventional sign. A section that is a Lie algebra homomorphism has ${\alpha }^{\prime }=0$ and gives a direct sum of Lie algebras.