Induction functor in noncommutative equivariant cohomology and Dirac cohomology (Q2569431): Difference between revisions

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.