Search arXiv⌕ Search

arXiv · 0705.3382

On the cohomology of vector fields on parallelizable manifolds

Abstract

In the present paper we determine for each parallelizable smooth compact manifold $M$ the cohomology spaces $H^2(V_M,\barΩ^p_M)$ of the Lie algebra $V_M$ of smooth vector fields on $M$ with values in the module $\barΩ^p_M = Ω^p_M/dΩ^{p-1}_M$. The case of $p=1$ is of particular interest since the gauge algebra $C^\infty (M,k)$ has the universal central extension with center $\barΩ^1_M$, generalizing affine Kac-Moody algebras. The second cohomology $H^2(V_M, \barΩ^1_M)$ classifies twists of the semidirect product of $V_M$ with the universal central extension $C^\infty (M,k) \oplus \barΩ^1_M$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yuly Billig, Karl-Hermann Neeb. 2007-05-23. On the cohomology of vector fields on parallelizable manifolds. https://arxiv.org/abs/0705.3382

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Semi-infinite parabolic IC-sheaf II: the Ran space version

This paper is a sequel to arXiv:2310.0638. Let G be a split reductive group. We define the parabolic semi-infinite category on the Ran version of the affine Grassmanian Gr_{G,Ran}. We study the semi-infinite parabolic IC-sheaf in this category. We provide several descriptions of this object, one as certain colimit, another as an intermediate extension in certain category. We relate the global and local semi-infinite categories of sheaves. We also relate the intersection cohomology sheaf of the Drinfeld compactification of Bun_P with the semi-infinite parabolic IC-sheaf.

math.RT↗

Unipotent representations and the categorical trace of Frobenius

We give a new proof of the classification of unipotent representations for split finite groups of Lie type. To do this, we first construct an (infinity, 2)-categorification of Lusztig's map from the Hecke algebra to the asymptotic algebra. Then we use the theory of weights to show that it induces an isomorphism after applying trace of Frobenius.

math.RT↗