Induction functor in noncommutative equivariant cohomology and Dirac cohomology (Q2569431)

From MaRDI portal
Revision as of 00:25, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Induction functor in noncommutative equivariant cohomology and Dirac cohomology
scientific article

    Statements

    Induction functor in noncommutative equivariant cohomology and Dirac cohomology (English)
    0 references
    0 references
    27 October 2005
    0 references
    This paper puts some recent results of \textit{J.-S. Huang} and \textit{P. Pandžić} [J. Am. Math. Soc. 15, 185--202 (2002; Zbl 0980.22013)] (conjectured by Vogan) and Kostant in the broader perspective of noncommutative equivariant cohomology introduced by Alekseev and Meinrenken. To explain the setting in more detail, let \(G\) be a Lie group and let \(R\) be a closed subgroup of \(G\). Assume that the complexified Lie algebra \(\mathfrak{g}\) of \(G\) admits an invariant nondegenerate symmetric bilinear form, which restricts nondegenerately to the subalgebra \(\mathfrak{r}\) corresponding to \(R\). Let \(M\) be a smooth \(R\)-manifold. The de Rham complex \(\Omega(M)\) is a \(\mathbb{Z}_2\)-graded \(R\)-differential algebra. The author attaches to \(\Omega(M)\) an induced \(G\)-differential algebra \(\text{Ind}_{G/R}(\Omega(M))\), which is obtained by first tensoring \(\Omega(M)\) with the noncommutative Weil algebra of \(\mathfrak{g}\) and then taking the \(R\)-basic elements. The author then proves that \(\text{Ind}_{G/R}(\Omega(M))\) is canonically isomorphic to the noncommutative \(G\)-equivariant Cartan model of the \(G\)-manifold \(I_G(M)=G\times^R M\). It follows that the cohomology of \(\text{Ind}_{G/R}(\Omega(M))\) is canonically isomorphic to the noncommutative \(G\)-equivariant cohomology \(\mathcal{H}_G(I_G(M))\) as \(\mathbb{Z}_2\)-graded algebras. This is then used to construct a functorial graded linear cochain map \(\phi_M\) from \(\text{Ind}_{G/R}(\Omega(M))\) into the noncommutative \(R\)-equivariant Cartan model of \(M\). It is shown that \(\phi_M\) induces an algebra isomorphism in cohomology. It follows that there is a functorial graded algebra isomorphism \(\mathcal{H}_G(I_G(M))\cong \mathcal{H}_R(M)\). When specialized to the case when \(M\) is a point, the above results yield the results of Huang and Pandžić and Kostant on Dirac cohomology. These results calculate the cohomology of the operator given as supercommuting with the Dirac operator on the algebra \((U(\mathfrak{g})\otimes Cl(\mathfrak{s}))^R\). (Here \(\mathfrak{s}\) is the orthocomplement of \(\mathfrak{r}\) in \(\mathfrak{g}\) and \(Cl(\mathfrak{s})\) is the Clifford algebra.) This in turn determines the infinitesimal characters of Harish-Chandra modules with nonvanishing Dirac cohomology.
    0 references
    Lie group
    0 references
    noncommutative equivariant cohomology
    0 references
    Cartan model
    0 references
    Dirac operator
    0 references
    Dirac cohomology
    0 references

    Identifiers