---
title: Gelfand-Fuchs 2-Cocycles
url: https://www.emergentmind.com/topics/gelfand-fuchs-2-cocycles
type: topic
---

# Gelfand-Fuchs 2-Cocycles

Gelfand-Fuchs 2-cocycles are Lie algebra cocycles associated with vector fields and Hamiltonian vector fields, most classically as the cocycle defining the central extension of the Witt algebra that underlies the Virasoro algebra. In the literature represented here, they occur in several interconnected forms: as relative cohomology classes of formal vector fields and formal Hamiltonian vector fields, as explicit cocycles on multipoint Witt algebras, as cocycles produced by non-equivariant momentum maps in Hamiltonian reduction, and as algebraic-geometric classes recovered through factorization algebras and Gelfand-Fuchs fibrations [1303.1889; 1402.6834; 1410.5479; 1811.05032; 2509.16169].

## 1. Classical realizations

In the one-dimensional formal setting, the classical Gelfand-Fuchs \(2\)-cocycle appears on \(W_1\), the Lie algebra of formal vector fields on the line. One formula given for \(W_1\) is
\[
\gamma(X,Y)=\operatorname{Res}_0 \operatorname{tr}(X'Y''-X''Y'),
\]
with \(X,Y\in W_1\) [1303.1889]. For the classical \(1\)-point Witt algebra with basis \(L_k\), the cocycle is presented as
\[
\psi_{\mathrm{GF}}(L_k,L_l)=(k^3-k)\delta_{k+l,0},
\]
which already exhibits the cubic term characteristic of the Virasoro central extension [1410.5479].

The same classical object is also written in analytic and Hamiltonian language. For vector fields on the circle arising in semidirect-product reduction, the relevant cocycle is
\[
c_{\mathrm{GF}}(f\partial,g\partial)=\int_{S^1} f''g'\,d\theta,
\]
where \(f,g\in C^\infty(S^1)\) [2509.16169]. For Laurent vector fields on the punctured disk, the cocycle is expressed as
\[
\omega(f(z)\partial_z,g(z)\partial_z)=\mathrm{Res}_{z=0}\left(f'''(z)g(z)\,dz\right),
\]
and is described as giving the central extension underlying the Virasoro algebra [1811.05032].

A common reduction of the subject to the Virasoro extension alone is incomplete. The cited works show that the classical \(2\)-cocycle is the lowest-dimensional instance of a broader cohomological framework involving higher-dimensional formal vector fields, Hamiltonian vector fields, and multi-point analogues [1303.1889; 1410.5479].

## 2. Relative cohomology, formal vector fields, and characteristic classes

For \(W_n\), the Lie algebra of formal vector fields on \(\mathbb{C}^n\), Anton Khoroshkin proves the conjecture of Feigin, Fuchs and Gelfand on the relative cohomology with coefficients in symmetric powers of the coadjoint representation. The principal statement is
\[
H^{2n}(W_n,\mathfrak{gl}_n;S^kW_n^*)\cong [S^{n+k}\mathfrak{gl}_n^*]^{\mathfrak{gl}_n},
\]
with
\[
H^i(W_n,\mathfrak{gl}_n;S^kW_n^*)=0 \quad \text{for } i\neq 2n.
\]
The absolute cohomology is likewise described explicitly:
\[
H^i(W_n;S^kW_n^*)\cong [S^{n+k}\mathfrak{gl}_n^*]^{\mathfrak{gl}_n}\otimes [\Lambda^{i-2n}\mathfrak{gl}_n^*]^{\mathfrak{gl}_n}
\]
for \(2n\le i\le n^2+2n\), and vanishes otherwise [1303.1889].

These results place Gelfand-Fuchs cocycles inside a larger family of cohomology classes. The paper describes the higher-\(n\), higher-\(k\) representatives in terms of “wheels” graph-cocycles and identifies them with invariants in
\[
\Lambda^n \mathfrak{gl}_n^* \otimes \Lambda^n(S^2\mathfrak{gl}_n^*) \otimes S^k(\mathfrak{gl}_n^*).
\]
For \(n=1\) and any \(m\), a representative is
\[
a_{2m}(y_1,y_2;z_1,\dots,z_m)=(y_1^2-y_2^2)z_1\cdots z_m
\]
[1303.1889].

The geometric significance is explicit. The relative cohomology classes correspond to characteristic classes of foliations, and the extension to Lie algebras preserving flags at the origin encodes characteristic classes of flags of foliations. Khoroshkin’s computation is also tied to the local Riemann-Roch theorem through earlier work of Feigin and Tsygan [1303.1889]. This suggests that Gelfand-Fuchs \(2\)-cocycles are best viewed not only as central-extension data, but also as part of a universal characteristic-class mechanism for formal geometry.

## 3. Formal Hamiltonian vector fields and low-weight Gel'fand-Kalinin-Fuks classes in dimension six

For the Lie algebra \(\mathfrak{ham}_{2n}\) of formal Hamiltonian vector fields, the relevant object is the relative Gel'fand-Kalinin-Fuks cohomology
\[
H^\ast_{\mathrm{GF}}(\mathfrak{ham}_6,\mathfrak{sp}(6,\mathbb{R})),
\]
in the \(6\)-dimensional case \(n=3\). The cohomology is graded by weight, where for a wedge product \(\omega=\alpha_1\wedge\cdots\wedge\alpha_k\), with \(\alpha_i\) dual to \(S_{\ell_i}(\mathbb{R}^{2n})\), the weight is
\[
\sum_{i=1}^k (\ell_i-2).
\]
The coboundary on a \(1\)-cochain is
\[
d\omega(f,g)=-\omega(\{f,g\}),
\]
with \(\{\ ,\ \}\) the Poisson bracket [1402.6834].

The low-weight computations at weights \(2,4,6\) are especially relevant for Gelfand-Fuchs \(2\)-cocycles. At weight \(2\), the only non-zero cochain space is
\[
C^2=(\Lambda^2 G_3)^{\mathrm{triv}},
\]
with \(\dim C^2=1\), and the only non-zero cohomology group is
\[
H^2_{\mathrm{GF}}(\mathfrak{ham}_6,\mathfrak{sp}(6,\mathbb{R}))_2\cong \mathbb{R}.
\]
The paper identifies this unique class as the classical first GF \(2\)-cocycle in this relative Hamiltonian setting [1402.6834].

For weights \(4\) and \(6\), the nontrivial classes move to higher degrees:

| Weight | Nontrivial cohomology groups | Dimension(s) |
|---|---|---|
| \(2\) | \(H^2_{\mathrm{GF}}(\mathfrak{ham}_6,\mathfrak{sp}(6,\mathbb{R}))\) | \(1\) |
| \(4\) | \(H^3_{\mathrm{GF}}(\mathfrak{ham}_6,\mathfrak{sp}(6,\mathbb{R}))\) | \(2\) |
| \(6\) | \(H^0\), \(H^4\), \(H^6\) | \(1,2,5\) |

At weight \(4\), the trivial \(Sp(6,\mathbb{R})\)-summands occur in \((\Lambda^2 G_4)^{\mathrm{triv}}\), \((\Lambda^3 G_3\otimes G_4)^{\mathrm{triv}}\), and \((\Lambda^4 G_3)^{\mathrm{triv}}\), with Betti numbers \(b_3=2\) and all others zero. At weight \(6\), the complex includes components such as \((\Lambda^2G_5)^{\mathrm{triv}}\), \(((\Lambda^2G_3)\otimes G_6)^{\mathrm{triv}}\), and \((\Lambda^3G_3\otimes G_4\otimes G_5)^{\mathrm{triv}}\), and the Betti numbers are \(b_0=1\), \(b_4=2\), \(b_6=5\) [1402.6834].

Methodologically, the paper uses crystal basis theory because classical decomposition rules become unmanageable for \(n=3\). The procedure is to decompose exterior and tensor powers of \(Sp(6,\mathbb{R})\)-modules, isolate trivial subrepresentations, and then compute the coboundary operator explicitly in multi-index bases dual to monomials. Some explicit bases in weight \(6\) are described as sums with more than \(100{,}000\) terms [1402.6834]. In this setting, the classical GF \(2\)-cocycle survives as a uniquely determined low-weight invariant, while higher weights produce genuinely new cohomology classes.

## 4. Multipoint Witt algebras and explicit cocycle formulas

The three-point Witt algebra considered in the literature is \(\mathrm{Der}(R)\), where
\[
R=\mathbb{C}[t,t^{-1},u\mid u^2=t^2+4t],
\]
with basis
\[
d_n=t^n u D,\qquad e_n=t^n D,\qquad n\in\mathbb{Z}.
\]
Its structure is richer than the \(1\)-point Witt algebra because it involves two families of derivations and admits two independent \(2\)-cocycles rather than one [1410.5479].

The computation proceeds by transferring cocycles from a more tractable algebra. Writing
\[
S=\mathbb{C}[s,s^{-1},(s-1)^{-1}],
\]
a ring isomorphism \(f:R\to S\) induces a Lie algebra isomorphism \(\Phi_f\). If \(\psi\) is a \(2\)-cocycle on \(\mathrm{Der}(S)\), then
\[
\Psi(u,v):=\psi(\Phi_f(u),\Phi_f(v))
\]
defines a \(2\)-cocycle on \(\mathrm{Der}(R)\) [1410.5479].

The paper gives explicit formulas for two cocycles \(\phi_1\) and \(\phi_2\). For \(\phi_1\),
\[
\phi_1(e_k,e_l)=2(l^3-l)\delta_{k+l,1}+(l^3-l)\delta_{k+l,0},
\]
and the mixed terms are
\[
\phi_1(e_k,d_l)=6(-1)^{k+1}2^{k+1}(k-1)kl\cdot \frac{(2k+2l-3)!!}{(k+l+1)!},
\qquad
\phi_1(d_k,e_l)=-\phi_1(e_k,d_l).
\]
The second cocycle satisfies
\[
\phi_2(e_k,d_l)=\phi_2(d_k,e_l)=0,
\]
together with
\[
\phi_2(d_k,d_l)=-2\phi_1(d_k,d_l),\qquad
\phi_2(e_k,e_l)=-2\phi_1(e_k,e_l)
\]
[1410.5479].

The relation to the classical Gelfand-Fuchs cocycle is structural rather than merely formal. The coefficients \(l^3-l\) and the \(\delta\)-supported terms mirror the one-point Witt case, but the support shifts, the dependence on two basis families, and the presence of mixed terms reflect the three-puncture geometry. These cocycles determine the universal central extension and thereby the \(3\)-point Virasoro algebra, which the paper describes as important for the representation theory of \(3\)-point current algebras, including free field and Fock representations [1410.5479].

## 5. Hamiltonian reduction and cocycles from semidirect products

A different but complementary construction of Gelfand-Fuchs \(2\)-cocycles arises from Hamiltonian actions and momentum maps. If a Lie group \(G\) acts in a Hamiltonian way on a symplectic manifold \(\mathcal M\), the non-equivariance of a momentum map \(\mu\) yields a central extension of the Lie algebra \(\mathfrak g\), measured by the cocycle
\[
c(x,y)=\mathcal L_x\langle \mu,y\rangle-\langle \mu,[x,y]\rangle,
\]
for \(x,y\in\mathfrak g\) [2509.16169].

The semidirect-product situation \(G=F\ltimes H\) is especially useful. After Hamiltonian reduction by \(H\),
\[
\mathcal M_{\mathrm{red}}=(\mathcal M\times \mathcal O^G_{(\eta,a)})\sslash_0 H,
\]
one obtains a residual Hamiltonian action of \(F\). Directly computing the resulting residual \(2\)-cocycle can be difficult, especially in infinite-dimensional settings. The key simplification identified in the paper is the splitting condition
\[
\mathfrak g=\mathfrak g_{(\eta,a)}\oplus \mathfrak h.
\]
Under this assumption, the residual cocycle for the \(F\)-action coincides with the restriction of the original cocycle to the stabilizer \(\mathfrak g_{(\eta,a)}\), viewed as naturally isomorphic to \(\mathfrak f=\mathfrak g/\mathfrak h\):
\[
c_{\mathrm{res}}(x,y)=c_{\mathrm{stab}}(x,y),\qquad x,y\in \mathfrak f\cong \mathfrak g_{(\eta,a)}.
\]
The significance is explicit: the cocycle can be computed without reconstructing the reduced symplectic or Poisson structures [2509.16169].

The motivating application is to Teichmüller spaces for surfaces with boundary. There, one takes
\[
G=\widetilde{\mathrm{Diff}^+(S^1)}\ltimes LB,
\]
reduces by \(H=LB\), and obtains the residual symmetry
\[
F=\widetilde{\mathrm{Diff}^+(S^1)},
\]
whose Lie algebra is the Witt algebra. The resulting Hamiltonian action of the Virasoro algebra on Teichmüller space carries a central extension measured by the Gelfand-Fuchs cocycle, and the restriction method recovers the explicit formula
\[
c_{\mathrm{GF}}(f\partial,g\partial)=\int_{S^1} f''g'\,d\theta
\]
[2509.16169]. Relative to the more elaborate computation in Alekseev–Meinrenken’s 2024 work, this isolates the cocycle as a stabilizer restriction problem.

## 6. Algebraic geometry, factorization algebras, and global GF classes

For a smooth affine variety \(X\) over a field \(k\) of characteristic \(0\), with
\[
T(X)=\operatorname{Der} k[X],
\]
the Lie algebra cohomology \(H^\bullet_{\mathrm{Lie}}(T(X),k)\) is computed in topological terms after choosing an embedding \(k\hookrightarrow \mathbb C\). The main theorem identifies it with the cohomology of the space of sections of the holomorphic Gelfand-Fuchs fibration:
\[
H^\bullet_{\mathrm{Lie}}(T(X))\cong H^\bullet_{\mathrm{top}}(\mathrm{Sect}(Y_X/X_{\mathrm{an}}),\mathbb C),
\]
where the fiber is the classical skeleton \(Y_n\) acted on by \(GL_n(\mathbb C)\) through the tangent bundle [1811.05032].

The proof uses factorization-algebra techniques associated with Beilinson-Drinfeld, Gaitsgory, and Lurie. One assigns to an open subset \(U\subset X\) the Chevalley-Eilenberg complex
\[
\mathcal A(U)=CE^\bullet(T(U)),
\]
regarded on the Ran diagram. Because this factorization algebra is generally not locally constant in the algebraic setting, covariant Verdier duality is applied to obtain a locally constant object. The diagonal filtration then organizes the Chevalley-Eilenberg complex by arity, and factorization homology identifies the global cohomology with the cohomology of the section space [1811.05032].

In this framework, Gelfand-Fuchs \(2\)-cocycles become global algebraic objects. For \(X=\mathbb A^n\setminus\{0\}\), the group \(H^{2n+1}(Y_n)\) yields a collection of \(2\)-cocycles corresponding to central extensions,
\[
H^{2n+1}(Y_n)\longrightarrow H^2_{\mathrm{Lie}}(T(X)),
\]
and these classes are described as symmetric polynomials of degree \(n+1\) in the Chern classes:
\[
H^{2n+1}(Y_n)\simeq \mathbb C[x_1,\ldots,x_n]_{\deg=n+1}^{S_n}.
\]
For curves, the resulting cohomology recovers the classical Virasoro extension; in higher dimensions, the classes are algebraic analogues of the classical Gelfand-Fuchs cocycles, constructed by factorization-homological gluing of local formal-geometry data [1811.05032].

Across these settings, Gelfand-Fuchs \(2\)-cocycles retain a common function—measuring central extension phenomena in Lie algebras of vector fields—while their realizations range from explicit residue and integral formulas to relative cohomology classes, graph-cocycle representatives, stabilizer restrictions in Hamiltonian reduction, and factorization-algebra constructions in algebraic geometry.

Source: https://www.emergentmind.com/topics/gelfand-fuchs-2-cocycles