Transgression and Clifford algebras

DOI10.5802/AIF.2466MaRDI QIDQ734599zbMATH OpenOpenAlexFDO

Authors Rudolf Philippe Rohr

Publication date 13 October 2009

Published in Annales de l’institut Fourier (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0712.0922, https://eudml.org/doc/10430

zbMATH Keywords

classical and quantized Weil algebrasClifford algebrastransgression in spectral sequence

Mathematics Subject Classification ID

Exterior algebra, Grassmann algebras (15A75) Homological methods in Lie (super)algebras (17B55) Homology and cohomology of Lie groups (57T10)

Abstract: Let $W$ be a differential (not necessarily commutative) algebra which carries a free action of a polynomial algebra $SP$ with homogeneous generators $p_1,>\mathrm{...},p_r$. We show that for $W$ acyclic, the cohomology of the quotient $H(W/<p_1,\mathrm{...},p_r>)$ is isomorphic to a Clifford algebra $extCl(P,B)$, where the (possibly degenerate) bilinear form $B$ depends on $W$. This observation is an analogue of an old result of Borel in a non-commutative context. As an application, we study the case of $W$ given by the quantized Weil algebra $qWg=UgotimesClg$ for $Lieg$ a reductive Lie algebra. The resulting cohomology of the canonical Weil differential gives a Clifford algebra, but the bilinear form vanishes on the space of primitive invariants of the semi-simple part. As an application, we consider the deformed Weil differential (following Freed, Hopkins and Teleman).

Review text

Let \(G\) be a topological group, \(EG\) the total space of the universal bundle and \(BG\, EG/G\) the classifying space, \[ G \rightarrow EG \rightarrow BG. \] If \(G\) is homotopic to a finite \(CW\)-complex structure and \(R\) is a commutative ring with unit element, then we have \[ H (G; R) \equiv \wedge_R \langle x_1,\dots,x_r\rangle \] as \(R\)-algebras. Since the cohomology algebra of \(EG\) is trivial, using Leray-Serre spectral sequence we have \[ H (BG; R) \equiv R [y_1,\dots,y_r], \] where the generators \(y_i\) are the images of the \(x_i\)'s under transgression map in the spectral sequence. This calculation was done by \textit{A. Borel} in [Ann. Math. (2) 57, 115--207 (1953; Zbl 0052.40001)]. In this work the author is doing the algebraic analog of Borel's argument. Let \[ SP \rightarrow W \rightarrow F := W / \langle S^+ P\rangle, \] where \(W\) is a \(\mathbb Z_2\)-graded differential algebra and \(SP\) is a symmetric subalgebra of \(W\) generated by even degree central coboundaries \({p_1,\dots,p_r}\). So \(F\) is the quotient algebra of \(W\) by the ideal generated by \(p_1,\dots,p_r\). The main theorem of the paper states that if \(W\) is a free \(SP\)-module and the cohomology of \(W\) is trivial then there is an algebra isomorphism \[ H(F) \equiv Cl(P,B). \] The author also applies of this result to classical and quantized Weil algebras of complex reductive Lie algebra \(\mathfrak g\).

Recommendations

• An algebraic model for free rational \(G\)-spectra for connected compact Lie groups \(G\)
• scientific article; zbMATH DE number 503442
• scientific article; zbMATH DE number 3931306
• Algebraic structure in the loop space homology Bockstein spectral sequence
• Characteristic classes for flat bundles and their formulas
• Commutative algebra for cohomology rings of classifying spaces of compact Lie groups
• A topological approach to induction theorems in Springer theory
• Formality of cochains on BG$BG$
• Lie theory and the Chern–Weil homomorphism
• Rational models for automorphisms of fiber bundles

Cites work

• Clifford algebra analogue of the Hopf-Koszul-Samelson theorem, the \(\rho\)-decomposition \(C({\mathfrak g})=\text{End }V_ \rho\otimes C(P)\), and the \({\mathfrak g}\)-module structure of \(\bigwedge {\mathfrak g}\)
• scientific article; zbMATH DE number 42072 (Why is no real title available?)
• scientific article; zbMATH DE number 3539385 (Why is no real title available?)
• scientific article; zbMATH DE number 1266747 (Why is no real title available?)
• scientific article; zbMATH DE number 1565334 (Why is no real title available?)
• scientific article; zbMATH DE number 233957 (Why is no real title available?)
• scientific article; zbMATH DE number 3235051 (Why is no real title available?)
• Invariants of Finite Groups Generated by Reflections
• Lie Group Representations on Polynomial Rings
• Lie theory and the Chern–Weil homomorphism
• Loop groups and twisted \(K\)-theory. II
• Opérateurs différentiels bi-invariants sur un groupe de Lie
• Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts
• The non-commutative Weil algebra

Cited in

(3)

• On the Borel transgression in the fibration \(G \rightarrow G/T\)
• The non-commutative Weil algebra
• A note on cohomology of Clifford algebras

This page was built for publication: Transgression and Clifford algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q734599)