, , ,

In 1928 Dirac discovered a matrix valued first-order differential operator as a square root of the Laplacian operator in order to understand elementary particles. Since then this operator and its various analogues are called Dirac operators in the scientific community.

They have played an important role in physics as well as in mathematics; as an example, let us mention the famous Atiyah-Singer Index Theorem. Applications to representation theory of reductive Lie groups were started by Parthasarathy [P] , who defined a Dirac operator on the symmetric space

G / K

and used it for geometric realization of most discrete series representations. This approach was further developed by Atiyah and Schmid [AS] , who constructed all discrete series representations as kernels of the Dirac operator acting on the associated spinor bundles.

On the other hand, Lie algebra cohomology (with respect to nilpotent subalgebras) has been a fundamental invariant of representations of Lie algebras and groups starting from Kostant's 1962 paper [K1] , which gives an algebraic proof of the Bott-Borel-Weil theorem.

Lie algebra cohomology is related to characters, asymptotics of matrix coefficients, embeddings into various “standard” modules and various geometric realizations of representations.

It has been clear for decades that the Dirac operators are formally similar to the differentials of the de Rham or Dolbeault cohomology. There have been two problems with using that analogy in representation theory. First, the Dirac operators on non-symmetric homogeneous spaces are not as nicely behaved. Second, the index of the Dirac operator behaves well only for some unitary representations, like the discrete series; so the algebraic tools of representation theory do not work well with it. The first problem was resolved by Kostant [K2] , who introduced the modified cubic Dirac operator that works well also on non-symmetric homogeneous spaces. The second problem was resolved by Vogan [V2] , who introduced the concept of Dirac cohomology which applies both to unitary and nonunitary representations: it is the kernel of the Dirac operator

D

modulo the intersection of the image and the kernel. He made a conjecture on the infinitesimal character of irreducible representations with nonzero Dirac cohomology, which was proved in [HP1] . Kostant generalized this result to the case of his cubic Dirac operator and applied it to the topology of homogeneous spaces [K4] . Recently, Kumar [Ku] and Alekseev and Meinreken [AM] found further generalizations of the results in [HP1] and [K4] . They put these results into the broader setting of non-commutative equivariant cohomology.

The aim of this paper is to explore the relation between Dirac cohomology and (nilpotent) Lie algebra cohomology, in those situations when both can be defined. Our results show that Dirac cohomology coincides with the corresponding Lie algebra cohomology for a large family of unitary representations, including the discrete series representations, and for all unitary representations in certain special cases. On the other hand, Dirac cohomology seems to have a better algebraic behavior.

We have also been able to use Dirac cohomology and the proved Vogan's conjecture to obtain improvements of some classical results. In [HP2] we describe how to simplify certain parts of Atiyah-Schmid's construction of discrete series representations [AS] and sharpen the Langlands' formula on automorphic forms [L] , [HoP] . The details will appear in a forthcoming book by the first and second named authors. This suggests that Dirac cohomology may be useful also in other situations, as a new tool for tackling problems not accessible to classical cohomology theories.

Let us now describe our main results on Dirac cohomology and its relation to (nilpotent) Lie algebra cohomology more precisely. Let

G

be a connected semisimple Lie group with finite center and complexified Lie algebra

g

. Let

θ

be a Cartan involution of

G

(and

g

), let

K = G^{θ}

be the corresponding maximal compact subgroup, and let

g = k \oplus p

be the complexified Cartan decomposition. As usual, the corresponding real forms will be denoted by

g_{0}

k_{0}

, etc. (One could also work in a more general setting of a reductive group

G

in the Harish-Chandra class.) If

G

is of hermitian type, then

p

decomposes as a sum of two abelian subalgebras,

p^{+}

and

p^{-}

. We prove a Hodge decomposition for

p^{-}

-cohomology and

p^{+}

-homology for all unitary

(g, K)

-modules, and show that they are both isomorphic to the Dirac cohomology up to a twist by a modular character. We note that in this setting Enright [E] found an explicit formula for the

p^{-}

-cohomology of unitary highest weight modules.

For general

g

, and any two reductive subalgebras

r_{1} \subset r_{2} \subset g

to which the Killing form restricts nondegenerately, we show that Kostant's cubic Dirac operator

D (g, r_{1})

can be decomposed as a sum of two anti-commuting Dirac operators

D (g, r_{2}) + D_{Δ} (r_{2}, r_{1})

. Here

Δ

denotes a certain “diagonal embedding”. Decompositions of this kind also appear in [AM] .

In particular, we consider the case when

r \subset k

is a reductive subalgebra, which is real, i.e.,

r

is the complexification of

r_{0} = r \cap g_{0}

. Then we can show that for any admissible

(g, K)

-module, the Dirac cohomology with respect to

D (g, r)

is the same as the kernel of

D_{Δ} (k, r)

on the Dirac cohomology with respect to

D (g, k)

. Furthermore, the Dirac cohomology with respect to

D (g, r)

is also the same as the Dirac cohomology with respect to

D (g, k)

of the kernel of

D_{Δ} (k, r)

In particular, if

g

and

k

have equal rank, then

r

can be a Levi subalgebra

l

of a

θ

-stable parabolic subalgebra

q = l \oplus u

g

, with

l \subset k

. It follows that the Dirac cohomology with respect to

D (g, l)

, which is closely related to the

\bar{u}

-cohomology, has the advantage of being much easier to calculate. For instance, let

t

be a compact Cartan subalgebra, and

t \oplus n

be a Borel subalgebra. Then we show how to (easily) explicitly calculate the Dirac cohomology of the discrete series representations with respect to the Dirac operator

D (g, t)

. Comparing the obtained result with Schmid's formula for

\bar{n}

-cohomology in [S] , we see that they are the same up to an expected modular twist. In case

G

is of hermitian type, the Dirac cohomology with respect to

D (g, l)

coincides with the

\bar{u}

-cohomology or

u

-homology (up to a modular twist) for all unitary representations.

We now describe the organization of our paper. In Sections 2 and 3 we decompose the Kostant cubic Dirac operator as sum of two “half Dirac operators”, which correspond to the differentials of

\bar{u}

-cohomology and

u

-homology. Section 3 also contains a new proof of the Casselman-Osborne theorem on Lie algebra cohomology using an approach similar to that of [HP1] . This is aimed at explaining the formal similarity of the two results. In Section 4 we prove a Hodge decomposition for

p^{-}

-cohomology or

p^{+}

-homology for unitary representations in the Hermitian case, with the Dirac cohomology providing the “harmonic representatives” of both. The same proof applies to any finite-dimensional representation of an arbitrary semisimple group. In Section 5 we define the relative Dirac operators and show that in some cases Dirac cohomology can be calculated in stages. In Section 6 we develop this further and show how to use it to calculate Dirac cohomology explicitly. In particular, we compare the Dirac cohomology for a Levi subalgebra with the

\bar{u}

-cohomology in some cases. In Section 7 we obtain a Hodge decomposition and equality of Dirac and

\bar{u}

-cohomology for arbitrary unitary modules in the Hermitian case. We conclude the paper by showing that the homological properties of Dirac cohomology are quite different from those of Lie algebra cohomology. In fact, under certain conditions, we show that there is a six-term exact sequence of Dirac cohomology corresponding to a short exact sequence of

(g, K)

-modules. So Dirac cohomology resembles a K-theory, rather than a cohomology theory.

This work was initiated by David Vogan [V3] . We would like to thank him for many interesting and stimulating conversations. We believe that the results in this paper are not the end of the theory of Dirac cohomology in representation theory, but rather the beginning of further investigations and applications. For example, the results of this paper should be related to the results of Connes and Moscovici [CM] in a similar way as the results of [HP1] are related to [AS] .

2 Construction of certain Dirac operators

Let

g

be a complex semisimple Lie algebra,

q = l \oplus u

a parabolic subalgebra,

\bar{q} = l \oplus \bar{u}

the opposite parabolic subalgebra, and

s = u \oplus \bar{u}

. Then

g = l \oplus s .

Furthermore, the restrictions of the Killing form

B

l

and

s

are non-degenerate, and the above decomposition is orthogonal. Since

u

and

\bar{u}

are isotropic subspaces in perfect duality under

B

, we can identify

\bar{u}

with

u^{*}

; this identification is

l

-invariant. Let

u_{1}, . . ., u_{n}

be a basis of

u

, and let

u_{1}^{*}, . . ., u_{n}^{*}

be the dual basis of

\bar{u}

Let

C (s)

be the Clifford algebra of

s

. Unlike in [HP1] , we will use the same defining relations as Kostant, namely

v w + w v = 2 B (v, w);

in particular, if

B (v, v) = 1

, then

v^{2} = 1

, and not

- 1

like in [HP1] . Of course, over

C

there is no substantial difference between the two conventions.

We are going to make use of the well known principle of constructing invariants by contracting dual indices. The aim is to construct a family of interesting

l

-invariants in

U (g) \otimes C (s)

. These will include Kostant's cubic Dirac operator

D

, but we will get

D

as a sum of four members of the family, and we will also be able to combine them in different ways, to get other operators with properties similar to the properties of

D

. For example, we will have nice expressions for their squares. The form of this principle we need is the statement of the following lemma; the proof is quite easy and essentially reduces to the fact that under the identification

Hom (u, u) \sim = u^{*} \otimes u

, the identity map corresponds to the sum

\sum_{i} u_{i}^{*} \otimes u_{i}

Lemma 2.1. Let

ψ : s^{\otimes 2 k} \to U (g) \otimes C (s)

be a linear map which is

l

-equivariant with respect to the adjoint actions.

Then

\sum_{I} ψ (u_{I} \otimes u_{I}^{*}) \in U (g) \otimes C (s)

is independent of the chosen basis

u_{i}

and

l

-invariant. Here

I = (i_{1}, . . ., i_{k})

ranges over all

k

-tuples of integers in

{1, . . ., n}

u_{I} = u_{i_{1}} \otimes \cdot \cdot \cdot \otimes u_{i_{k}}

, and

u_{I}^{*} = u_{i_{1}}^{*} \otimes \cdot \cdot \cdot \otimes u_{i_{k}}^{*}

. □

For example,

ψ

can be composed of the obvious inclusions

s ↪ g ↪ U (g)

and

s ↪ C (s)

, products, commutators in

g

and the Killing form

B (., .)

. Here are several examples of this kind which we will study in the following:

Examples 2.2.

\begin{matrix} A = \sum_{i} u_{i}^{*} \otimes u_{i}; \end{matrix}

\begin{matrix} A^{-} = \sum_{i} u_{i} \otimes u_{i}^{*}; \end{matrix}

\begin{matrix} 1 \otimes a = - \frac{1}{4} \sum_{i, j} 1 \otimes [u_{i}^{*}, u_{j}^{*}] u_{i} u_{j}; \end{matrix}

\begin{matrix} 1 \otimes a^{-} = - \frac{1}{4} \sum_{i, j} 1 \otimes [u_{i}, u_{j}] u_{i}^{*} u_{j}^{*}; \end{matrix}

\begin{matrix} E = 1 \otimes e = - \frac{1}{2} \sum_{i} 1 \otimes u_{i}^{*} u_{i} . \end{matrix}

\begin{matrix}  \end{matrix}

Note the symmetry obtained by exchanging the roles of

u

and

\bar{u}

. To see how the Dirac operator fits in here, note that one can build an orthonormal basis

(Z_{i})

s

from

u_{i}

and

u_{i}^{*}

, by putting

Z_{j} : = \frac{u_{j} + u_{j}^{*}}{\sqrt{2}}, Z_{n + j} : = \frac{i (u_{j} - u_{j}^{*})}{\sqrt{2}},

for

j = 1, . . ., n

. Then it is easy to check that

A + A^{-} = \sum_{i = 1}^{2 n} Z_{i} \otimes Z_{i} .

Also, we can rewrite

a

a^{-}

and

e

as follows:

Lemma 2.3.

\begin{matrix} a = - \frac{1}{2} \sum_{i < j} \sum_{k} B ([u_{i}^{*}, u_{j}^{*}], u_{k}) u_{i} \land u_{j} \land u_{k}^{*} = - \frac{1}{4} \sum_{i, j} u_{i} u_{j} [u_{i}^{*}, u_{j}^{*}]; \end{matrix}

\begin{matrix} a^{-} = - \frac{1}{2} \sum_{i < j} \sum_{k} B ([u_{i}, u_{j}], u_{k}^{*}) u_{i}^{*} \land u_{j}^{*} \land u_{k} = - \frac{1}{4} \sum_{i, j} u_{i}^{*} u_{j}^{*} [u_{i}, u_{j}]; \end{matrix}

\begin{matrix} e = - \frac{1}{2} \sum_{i} (- u_{i} u_{i}^{*} + 2) = \frac{1}{2} \sum_{i} u_{i} u_{i}^{*} - n . \end{matrix}

\begin{matrix}  \end{matrix}

Proof. Since $[u_{i}^{*}, u_{j}^{*}] \in \bar{u}$ , we can write it as $\sum_{k} B ([u_{i}^{*}, u_{j}^{*}], u_{k}) u_{k}^{*} .$ Also, the sum in the definition of $a$ is clearly twice the same sum over only those $i, j$ for which $i < j$ . The only issue is thus to pass from the Clifford product to the wedge product. For this, we use (1.6) in [K2] . First, since $u$ is isotropic, $u_{i} u_{j} = u_{i} \land u_{j}$ . Next, we calculate $u_{k}^{*} (u_{i} \land u_{j}) = u_{k}^{*} \land u_{i} \land u_{j} + B (u_{k}^{*}, u_{i}) u_{j} - B (u_{k}^{*}, u_{j}) u_{i} .$ The second two terms here are clearly zero if $k$ is different from $i$ and $j$ . For $k = i$ , the second term is $u_{j}$ while the third is zero. For $k = j$ , the second term is zero while the third is $- u_{i}$ . It follows that we will be done if we can show $\sum_{i, j} (B ([u_{i}^{*}, u_{j}^{*}], u_{i}) u_{j} - B ([u_{i}^{*}, u_{j}^{*}], u_{j}) u_{i}) = 0 .$ However, using Lemma 2.1, we see that $\sum_{i, j} B ([u_{i}^{*}, u_{j}^{*}], u_{i}) u_{j}$ is an $l$ -invariant element of $u$ . Since there are no nonzero $l$ -invariants in $u$ , this sum must be $0$ . Analogously, $\sum_{i, j} B ([u_{i}^{*}, u_{j}^{*}], u_{j}) u_{i} = 0 .$ So we proved the first equality for $a$ . Now in the form with wedge product, we can clearly commute $u_{k}^{*}$ in front of $u_{i}$ and $u_{j}$ , and then we obtain the second equality by reversing the above argument.
The formulas for $e$ are obvious from the defining relations of $C (s)$ . □

Consider now the basis

(b_{j})_{j = 1, \dots, 2 n}

s

, given by

b_{1} = u_{1}, \dots, b_{n} = u_{n}, b_{n + 1} = u_{1}^{*}, \dots, b_{2 n} = u_{n}^{*};

the dual basis is then

d_{1} = u_{1}^{*}, \dots, d_{n} = u_{n}^{*}, d_{n + 1} = u_{1}, \dots, d_{2 n} = u_{n} .

Notice that for any

i, j, k

B ([u_{i}, u_{j}], u_{k}) = B ([u_{i}^{*}, u_{j}^{*}], u_{k}^{*}) = 0 .

Hence we can write Kostant's cubic element

v

v = - \frac{1}{2} \sum_{1 \leq i < j < k \leq 2 n} B ([d_{i}, d_{j}], d_{k}) b_{i} \land b_{j} \land b_{k} = a + a^{-} .

In particular, we obtain Kostant's cubic Dirac operator as

D = A + A^{-} + 1 \otimes (a + a^{-}) .

We are also particularly interested in the elements

C = A + 1 \otimes a; C^{-} = A^{-} + 1 \otimes a^{-}; and D^{-} = C - C^{-} .

Note that

D = C + C^{-}

. We will use the fact that commuting with

E

operates on

C, C^{-}, D

and

D^{-}

in the following way:

Proposition 2.4.

[E, C] = C; [E, C^{-}] = - C^{-}; [E, D] = D^{-} and [E, D^{-}] = D .

Proof. The second two relations follow from the first two, and the first two are immediate from the following lemma. □

Lemma 2.5. Commuting with

e

in the Clifford algebra

C (s)

acts as

I

u

and as

- I

\bar{u}

Proof. Clearly, for $j \neq i$ , $[u_{j}^{*} u_{j}, u_{i}] = 0$ . For $j = i$ , we calculate $u_{i}^{*} u_{i}^{2} - u_{i} u_{i}^{*} u_{i} = - u_{i} (- u_{i} u_{i}^{*} + 2) = - 2 u_{i} .$ Namely, since $u$ is isotropic, $u^{2} = 0$ for any $u \in u$ . The first claim now follows, and the second is analogous. □

Kostant [K2] , Theorem 2.16, has calculated

D^{2} = Ω_{g} \otimes 1 - Ω_{l_{Δ}} + C .

Here

Ω_{g}

denotes the Casimir element of

Z (g) \subset U (g)

. Further,

Ω_{l_{Δ}}

is the Casimir element for the diagonal copy

l_{Δ}

l

, embedded into

U (g) \otimes C (s)

via

X \mapsto X \otimes 1 + 1 \otimes α (X), X \in l,

where

α : l \to s o (s) \to C (s)

is the action map followed by the standard inclusion of

s o (s)

into

C (s)

using the identification

s o (s) \sim = \land^{2} s

. Finally,

C

is the constant

| | ρ | |^{2} - | | ρ_{l} | |^{2}

Using this result and the above remarks, we can now quickly calculate the squares of

C

C^{-}

and

D^{-}

Proposition 2.6.

C^{2} = (C^{-})^{2} = 0 and (D^{-})^{2} = - D^{2} .

Proof. From Kostant's expression for $D^{2}$ , it is clear that $D^{2}$ commutes with all $l$ -invariant elements of $U (g) \otimes C (s)$ . In particular, $D^{2}$ commutes with $E$ , and using Proposition 2.4 we see $D D^{-} + D^{-} D = [E, D^{2}] = 0 .$ Since $D + D^{-} = 2 C$ and $D - D^{-} = 2 C^{-}$ , it follows that $4 C^{2} = (D + D^{-})^{2} = D^{2} + (D^{-})^{2} = (D - D^{-})^{2} = 4 (C^{-})^{2},$ so $C^{2}$ = $(C^{-})^{2}$ . On the other hand, Proposition 2.4 implies that $[E, C^{2}] = 2 C^{2} and [E, (C^{-})^{2}] = - 2 (C^{-})^{2} .$ So we see that $C^{2} = (C^{-})^{2} = 0$ , and also $D^{2} + (D^{-})^{2} = 4 C^{2} = 0$ . □

Now we can completely describe the Lie superalgebra

D

spanned by

E

C

C^{-}

and

Ω = D^{2}

inside the superalgebra

U (g) \otimes C (s)

. Here

U (g) \otimes C (s)

is an associative superalgebra with

Z_{2}

-grading of the Clifford factor; so it is also a Lie superalgebra in the usual way, with the supercommutator

[a, b] = a b - (- 1)^{deg a deg b} b a

D

is a subalgebra of the Lie superalgebra

U (g) \otimes C (s)

, with the commutation relations from Propositions 2.4 and 2.6. Namely,

Ω

is central, and

[E, C] = C, [E, C^{-}] = - C^{-}, [C, C] = [C^{-}, C^{-}] = 0 and [C, C^{-}] = Ω .

The last relation is obtained as follows:

Ω = D^{2} = (C + C^{-})^{2} = C C^{-} + C^{-} C = [C, C^{-}]

Note that we can regard

D

as a

Z

-graded Lie superalgebra with,

C^{-}, E, Ω

and

C

of degrees

- 1

0

0

and

1

respectively. Note also that the subalgebra of

D

spanned by

C

C^{-}

and

Ω

is a Heisenberg superalgebra.

The Lie superalgebra

D

can be identified with

g l (1, 1)

, i.e., the endomorphisms of the superspace

C \oplus C

, with the first

C

even and the second

C

odd. In Kac's classification [Kac] it is denoted by

l (1, 1)

. It was extensively used by physicists under the name supersymmetric algebra. It is a completely solvable Lie superalgebra, and its irreducible finite-dimensional representations are described in [Kac] .

To finish this section, let us note that

D

is independent not only of the choice of basis

(u_{i})

but also of the choice of

u \subset s

. On the other hand,

E

C

and

C^{-}

do depend on the choice of

u

3 $\bar{u}$ -cohomology and $u$ -homology

We retain the notation from previous sections. Let

V

be an admissible

(g, K)

-module.

For

p \in N

, let

C^{p} (\bar{u}, V) : = Hom (\land^{p} \bar{u}, V),

be the set of

p

-cochains of the complex defining the

\bar{u}

-cohomology of

V

. The differential

d : C^{p} (\bar{u}, V) \to C^{p + 1} (\bar{u}, V)

is given by the usual formula

(d ω) (X_{0} \land \dots \land X_{p}) = \sum_{i = 0}^{p} (- 1)^{i} X_{i} \cdot ω (X_{0} \land \dots \land {\hat{X}}_{i} \land \dots \land X_{p}) + \sum_{0 \leq i < j \leq p} (- 1)^{i + j} ω ([X_{i}, X_{j}] \land X_{0} \land \dots \land {\hat{X}}_{i} \land \dots \land {\hat{X}}_{j} \land \dots \land X_{p})

We have the following identifications :

C^{p} (\bar{u}, V) = Hom (\land^{p} \bar{u}, V) ≃ Hom (\land^{p} (u^{*}), V) ≃ Hom ((\land^{p} u)^{*}, V) ≃ V \otimes \land^{p} u

Like in the previous section, we fix a basis

(u_{i})_{i = 1, \dots, n}

u

and denote the dual basis of

\bar{u}

(u_{i}^{*})_{i = 1, \dots, n}

Lemma 3.1. Through the above identifications, the differential

d : V \otimes \land^{p} u \to V \otimes \land^{p + 1} u

is given by

d (v \otimes Y_{1} \land \dots \land Y_{p}) = \sum_{i = 1}^{n} u_{i}^{*} \cdot v \otimes u_{i} \land Y_{1} \land \dots \land Y_{p} + \frac{1}{2} \sum_{i = 1}^{n} \sum_{j = 1}^{p} v \otimes u_{i} \land Y_{1} \land \dots \land [u_{i}^{*}, Y_{j}]_{u} \land \dots \land Y_{p}

where

[u_{i}^{*}, Y_{j}]_{u}

denotes the projection of

[u_{i}^{*}, Y_{j}]

u

Proof. This is a straigtforward calculation, starting from the fact that the identification $\land^{p} (u^{*}) = (\land^{p} u)^{*}$ is given via $(f_{1} \land \cdot \cdot \cdot \land f_{p}) (X_{1} \land \cdot \cdot \cdot \land X_{p}) = det f_{i} (X_{j})$ . □

The space

V \otimes \land^{p} u

is also the space of

p

-chains for the

u

-homology of

V

, with differential

\partial : V \otimes \land^{p} u \to V \otimes \land^{p - 1} u

given by :

\partial (v \otimes Y_{1} \land \dots \land Y_{p}) = \sum_{i = 1}^{p} (- 1)^{i} Y_{i} \cdot v \otimes Y_{1} \land \dots {\hat{Y}}_{i} \land \dots \land Y_{p} + \sum_{1 \leq i < j \leq p} (- 1)^{i + j} v \otimes [Y_{i}, Y_{j}] \land Y_{1} \land \dots \land {\hat{Y}}_{i} \land \dots \land {\hat{Y}}_{j} \land \dots Y_{p}

Note that we are tensoring with

\land^{\cdot} u

from the right and not from the left as usual; this is because we will have an action of

U (g) \otimes C (s)

V \otimes \land^{\cdot} u

which will be more natural in this order. For reasons that will become apparent later, we will instead of

\partial

consider the operator

δ = - 2 \partial

. Of course,

δ

defines the same homology as

\partial

To get our Dirac operators act, we need to consider the

U (g) \otimes C (s)

module

V \otimes S

, where

S

is the spin module for the Clifford algebra

C (s)

. We will use the identification of

\land^{\cdot} u

with

S

, given explicitly in [K4] and [K3] . Namely, one can construct

S

as the left ideal in

C (s)

generated by the element

u_{top}^{*} = u_{1}^{*} . . . u_{n}^{*}

. One then has

S = (\land^{\cdot} u) u_{top}^{*}

, which is isomorphic to

\land^{\cdot} u

as a vector space, and the action of

C (s)

is given by left Clifford multiplication. Explicitly,

u \in u

and

u^{*} \in \bar{u}

act on

Y = Y_{1} \land \cdot \cdot \cdot \land Y_{p} \in \land^{p} u

u \cdot Y = u \land Y

u^{*} \cdot Y = 2 \sum_{i = 1}^{p} (- 1)^{i + 1} B (u^{*}, Y_{i}) Y_{1} \land . . . {\hat{Y}}_{i} \cdot \cdot \cdot \land Y_{p} .

Namely, since

u

and

\bar{u}

are isotropic, the Clifford and wedge products coincide on each of them; in particular,

u^{*} u_{top}^{*} = 0

The natural action of

l

V \otimes S

is the tensor product of the restriction of the

g

-action on

V

and the spin action on

S

. On the other hand, the usual

l

action on

\bar{u}

-cohomology and

u

-homology is given by the adjoint action on

\land^{\cdot} \bar{u}

and

\land^{\cdot} u

. Thus, our identification of

\land^{\cdot} u \otimes V

with

V \otimes S

is not an

l

-isomorphism. However, as was proved in [K3] , Prop.3.6, the two actions differ only by a twist with the one dimensional

l

-module

Z_{ρ (\bar{u})}

of weight

ρ (\bar{u})

This means that, if we consider

d

and

δ

as operators on

V \otimes S

via the above identification, then as an

l

-module, the cohomology of

d

gets identified with

H^{\cdot} (\bar{u}, V) \otimes Z_{ρ (\bar{u})}

, while the homology of

δ

gets identified with

H_{\cdot} (u, V) \otimes Z_{ρ (\bar{u})}

Proposition 3.2. Under the action of

U (g) \otimes C (s)

V \otimes S

, the operators

C = A + 1 \otimes a

and

C^{-} = A^{-} + 1 \otimes a^{-}

from Section 2 act as

d

and

δ

respectively.

In particular, the cubic Dirac operator

D = C + C^{-}

acts as

d + δ = d - 2 \partial

Proof. We are going to use the explicit formulas for the action of

C (s)

S

given above.

From these formulas, it is immediate that the action of

A

coincides with the first (single) sum in the expression for

d

, while the action of

A^{-}

transforms

v \otimes Y_{1} \land \cdot \cdot \cdot \land Y_{p} \in V \otimes \land^{p} u

into

\sum_{i = 1}^{n} u_{i} v \otimes 2 \sum_{k = 1}^{p} (- 1)^{k + 1} B (u_{i}^{*}, Y_{k}) Y_{1} \land . . . {\hat{Y}}_{k} \cdot \cdot \cdot \land Y_{p} .

Since

\sum_{i} B (u_{i}^{*}, Y_{k}) u_{i} = Y_{k}

, we see that this is equal to minus twice the first (single) sum in the expression for the

u

-homology operator

\partial

It remains to identify the action of the cubic terms

a

and

a^{-}

We use the expression for

a

from Lemma 2.3, i.e.,

a = - \frac{1}{4} \sum_{i, j} u_{i} u_{j} [u_{i}^{*}, u_{j}^{*}]

. This element transforms

v \otimes Y_{1} \land \cdot \cdot \cdot \land Y_{p} \in V \otimes \land^{p} u

into

\begin{matrix} - \frac{1}{4} v \otimes \sum_{i, j} u_{i} u_{j} 2 \sum_{k = 1}^{p} (- 1)^{k + 1} B ([u_{i}^{*}, u_{j}^{*}], Y_{k}) Y_{1} \land . . . {\hat{Y}}_{k} \cdot \cdot \cdot \land Y_{p} \end{matrix}

\begin{matrix} = \frac{1}{2} v \otimes \sum_{i, j, k} (- 1)^{k + 1} B ([u_{i}^{*}, Y_{k}], u_{j}^{*}) u_{i} \land u_{j} \land Y_{1} \land . . . {\hat{Y}}_{k} \cdot \cdot \cdot \land Y_{p} . \end{matrix}

\begin{matrix}  \end{matrix}

Now we sum

\sum_{j} B ([u_{i}^{*}, Y_{k}], u_{j}^{*}) u_{j} = [u_{i}^{*}, Y_{k}]_{u}

, and after commuting

[u_{i}^{*}, Y_{k}]_{u}

into its proper place, we get the second (double) sum in the expression for

d

For

a^{-}

we use its definition from 2.2. To write the calculation nicely, we introduce the following notation: for

Y = Y_{1} \land \cdot \cdot \cdot \land Y_{p}

, let

{\hat{Y}}_{k, l} = Y_{1} \land . . . {\hat{Y}}_{k} . . . {\hat{Y}}_{l} \cdot \cdot \cdot \land Y_{p}, if k < l .

k > l

then we change the sign and define

{\hat{Y}}_{k, l} = - Y_{1} \land . . . {\hat{Y}}_{l} . . . {\hat{Y}}_{k} \cdot \cdot \cdot \land Y_{p}, if k > l .

k = l

, we set

{\hat{Y}}_{k, l} = 0

. This now allows us to write

u_{i}^{*} u_{j}^{*} \cdot Y_{1} \land \cdot \cdot \cdot \land Y_{p} = 4 \sum_{k, l} (- 1)^{k + l} B (u_{i}^{*}, Y_{k}) B (u_{j}^{*}, Y_{l}) {\hat{Y}}_{k, l} .

It follows that

1 \otimes a^{-}

transforms

v \otimes Y_{1} \land \cdot \cdot \cdot \land Y_{p}

into

- \frac{1}{4} 4 v \otimes \sum_{i, j, k, l} (- 1)^{k + l} B (u_{i}^{*}, Y_{k}) B (u_{j}^{*}, Y_{l}) [u_{i}, u_{j}] \land {\hat{Y}}_{k, l} .

Upon summing up

\sum_{i} B (u_{i}^{*}, Y_{k}) u_{i} = Y_{k}

and

\sum_{j} B (u_{j}^{*}, Y_{l}) u_{j} = Y_{l}

, we get that this is equal to

- v \otimes \sum_{k, l} (- 1)^{k + l} [Y_{k}, Y_{l}] \land {\hat{Y}}_{k, l} .

This is now clearly invariant for exchanging the roles of

k

and

l

, hence it is twice the same sum extending just over

k < l

, i.e., minus twice the second (double) sum in the expression for

\partial

. □

It is now clear why we considered

δ = - 2 \partial

instead of just

\partial

; in this way we have the action of

D

being equal to

d + δ

Before we go on, let us note how the element

E

of Section 2 acts on

V \otimes S

; it is in fact a degree operator up to a shift. This means

E

can be used to identify the degrees in which the cohomology (homology) is appearing.

Proposition 3.3. The element

E

U (g) \otimes C (s)

from 2.2 acts on

V \otimes \land^{k} u

as multiplication by the scalar

k - n

. Consequently, it preserves the kernel and image of both

d

and

δ

, and hence acts on the

k

-th cohomology of

d

and the

k

-th homology of

δ

, by the same scalar

k - n

. In particular,

E + n

is the degree operator.

Proof. Using Lemma 2.5 we see that for any $u \in u$ , $e u = u e + u$ . On the other hand, by Lemma 2.3, $e = \frac{1}{2} \sum_{i} u_{i} u_{i}^{*} - n$ , hence $e u_{top}^{*} = - n u_{top}^{*}$ . It now immediately follows that in $C (s)$ we have $e (Y_{1} \land \cdot \cdot \cdot \land Y_{k} u_{top}^{*}) = (k - n) Y_{1} \land \cdot \cdot \cdot \land Y_{k} u_{top}^{*}$ , so the action of $E$ on $V \otimes \land^{k} u$ is indeed multiplication by the scalar $k - n$ .
It now immediately follows that $E$ preserves the kernel and image of $d$ and $δ$ , as these are homogeneous operators (of degree $1$ and $- 1$ respectively). (Note that this last assertion can also be obtained from the commutation relations of Proposition 2.4.) □

We will now state a result for the operators

C

and

C^{-}

analogous to the one obtained for

D

in [HP1] and [K4] . A corollary will be the Casselman-Osborne Theorem. Our goal here is not to give a new proof of the Casselman-Osborne Theorem, the existing ones being completely satisfactory, but to shed some light on the formal similarity between the Casselman-Osborne Theorem and the main result of [HP1] .

Define

d_{D}, d_{C}, d_{C^{-}} : U (g) \otimes C (s) \to U (g) \otimes C (s)

\begin{matrix} d_{D} (x) & = D x - ε_{x} x D \end{matrix}

\begin{matrix} d_{C} (x) & = C x - ε_{x} x C \end{matrix}

\begin{matrix} d_{C^{-}} (x) & = C^{-} x - ε_{x} x C^{-} \end{matrix}

\begin{matrix}  \end{matrix}

where

ε_{x}

is 1 for even

x

and

- 1

for odd

x

. In the following we fix a compact group

L

with complexified Lie algebra

l

Theorem 3.4.

d_{D}, d_{C}

and

d_{C^{-}}

are

L

-equivariant. They induce maps from

(U (g) \otimes C (s))^{L}

into itself and

d_{D}^{2} = d_{C}^{2} = d_{C^{-}}^{2} = 0

(U (g) \otimes C (s))^{L}

Furthermore

Z (l_{Δ}) \subset Ker d_{D}

(resp.

Ker d_{C}

Ker d_{C^{-}}

), and one has

Ker d_{D} = Z (l_{Δ}) \oplus Im d_{D}

, (resp.

Ker d_{C} = Z (l_{Δ}) \oplus Im d_{C}

Ker d_{C^{-}} = Z (l_{Δ}) \oplus Im d_{C^{-}}

Proof. The result for $d_{D}$ is due to Kostant [K4] . The proof is the same as the proof of the main result of [HP1] . We give details for $d_{C}$ , the proof for $d_{C^{-}}$ being entirely similar. As in [HP1] , we use the standard filtration on $U (g)$ , which induces a filtration $(F_{n} A)_{n \in N}$ on $A : = U (g) \otimes C (s)$ . This filtration being $L$ -invariant, it induces in turn a filtration on $A^{L}$ .
Clearly, $C = \sum_{j = 1}^{n} u_{j}^{*} \otimes u_{j} + (1 \otimes a) \in F_{1} A^{L} .$ The $Z_{2}$ -gradation on the Clifford algebra $C (s)$ induces a $Z_{2}$ -gradation on $A$ . We set $A^{0} = U (g) \otimes C (s)^{0}$ and $A^{1} = U (g) \otimes C (s)^{1}$ . Then $A = A^{0} \oplus A^{1}$ and this $Z_{2}$ -gradation is compatible with the filtration $(F_{n} A)_{n \in N}$ If $x \in F_{n} A^{0}$ , then $d_{C} (x) = d_{C}^{0} (x) = C x - x C \in F_{n + 1} A^{1}$ . If $x \in F_{n} A^{1}$ , then $d_{C} (x) = d_{C}^{1} (x) = C x + x C \in F_{n + 1} A^{0}$ . Thus $d_{C}^{0} : F_{n} A^{0} \to F_{n + 1} A^{1} and d_{C}^{1} : F_{n} A^{1} \to F_{n + 1} A^{0}$ induce ${\bar{d}}_{C}^{0} : {Gr}_{n} A^{0} \to {Gr}_{n + 1} A^{1} and {\bar{d}}_{C}^{1} : {Gr}_{n} A^{1} \to {Gr}_{n + 1} A^{0} .$ Let $\bar{C} = \sum_{j = 1}^{n} u_{j}^{*} \otimes u_{j} \in S^{1} (g) \otimes C (s)$ be the image of $C$ in ${({Gr}_{1} A^{1})}^{L}$ (notice that the cubic term disappears since it is in $F_{0} A^{1}$ ). If $x \in F_{n} A^{0}$ , ${\bar{d}}_{C}^{0} (\bar{x}) = \bar{C x - x C} = \bar{C} \bar{x} - \bar{x} \bar{C}$ and if $x \in F_{n} A^{1}$ , ${\bar{d}}_{C}^{1} (\bar{x}) = \bar{C x + x C} = \bar{C} \bar{x} + \bar{x} \bar{C} .$ Therefore ${\bar{d}}_{C} = {\bar{d}}_{C}^{0} \oplus {\bar{d}}_{C}^{1} : Gr A \to Gr A$ . Note also that unlike $d_{D}$ , $d_{C}$ is a differential on all of $U (g) \otimes C (s)$ , because $C^{2} = 0$ . Hence ${\bar{d}}_{C}$ is a differential on $S (g) \otimes C (s)$ .
Let us compute ${\bar{d}}_{C} (\bar{x})$ for $\bar{x} = y \otimes u_{i_{1}} \dots u_{i_{k}} u_{j_{1}}^{*} \dots u_{j_{l}}^{*} \in S (g) \otimes C (s)$ . We can assume $i_{r}$ are different from each other and likewise for $j_{s}$ .

${\bar{d}}_{C} (\bar{x}) = (\sum_{j = 1}^{n} u_{j}^{*} \otimes u_{j}) (y \otimes u_{i_{1}} \dots u_{i_{k}} u_{j_{1}}^{*} \dots u_{j_{l}}^{*}) - (- 1)^{k + l} (y \otimes u_{i_{1}} \dots u_{i_{k}} u_{j_{1}}^{*} \dots u_{j_{l}}^{*}) (\sum_{j = 1}^{n} u_{j}^{*} \otimes u_{j}) = \sum_{j = 1}^{n} u_{j}^{*} y \otimes ((- 1)^{k} u_{i_{1}} \dots u_{i_{k}} u_{j} u_{j_{1}}^{*} \dots u_{j_{l}}^{*} - (- 1)^{k + l} u_{i_{1}} \dots u_{i_{k}} u_{j_{1}}^{*} \dots u_{j_{l}}^{*} u_{j})$
If $j \neq j_{s}$ for all $s$ , then the contribution to the sum is zero. If $j = j_{s}$ , then
$u_{j_{s}} u_{j_{1}}^{*} \dots u_{j_{l}}^{*} - (- 1)^{l} u_{j_{1}}^{*} \dots u_{j_{l}}^{*} u_{j_{s}} = (- 1)^{s - 1} u_{j_{1}}^{*} \dots u_{j_{s - 1}}^{*} (u_{j_{s}} u_{j_{s}}^{*} + u_{j_{s}}^{*} u_{j_{s}}) u_{j_{s + 1}}^{*} \dots u_{j_{l}}^{*} = 2 (- 1)^{s - 1} u_{j_{1}}^{*} \dots \hat{u_{j_{s}}^{*}} \dots u_{j_{l}}^{*} .$
So we see ${\bar{d}}_{C} (\bar{x}) = \sum_{s = 1}^{l} - 2 (- 1)^{k + s} u_{j_{s}}^{*} y \otimes u_{i_{1}} \dots u_{i_{k}} u_{j_{1}}^{*} \dots \hat{u_{j_{s}}^{*}} \dots u_{j_{l}}^{*} .$ Since $g = l \oplus u \oplus \bar{u}$ and $C (s) ≃ \land^{\cdot} s = \land^{\cdot} u \otimes \land^{\cdot} \bar{u}$ , one has $S (g) \otimes C (s) = S (l) \otimes S (u) \otimes \land^{\cdot} u \otimes S (\bar{u}) \otimes \land^{\cdot} \bar{u} .$ It follows that ${\bar{d}}_{C}$ is (up to a sign depending on the $\land^{\cdot} u$ -degree) equal to $- 2 Id \otimes d_{\bar{u}}$ , where $d_{\bar{u}}$ is the Koszul differential for the vector space $\bar{u}$ . It is well known that $d_{\bar{u}}$ is exact except at degree zero, where the cohomology is $C$ , embedded as the constants. It follows that ${\bar{d}}_{C}$ is exact except at degree zero, where the cohomology is $S (l) \otimes S (u) \otimes \land^{\cdot} u$ embedded in the obvious way. It remains to pass to the invariants:

Lemma 3.5. The differential ${\bar{d}}_{C}$ on ${(S (g) \otimes C (s))}^{L}$ is exact except at degree zero. The zeroth cohomology is ${(S (l) \otimes S (u) \otimes \land^{\cdot} u)}^{L} = S (l)^{L} \otimes 1$ , embedded in the obvious way. More precisely $Ker {\bar{d}}_{C} = (S (l)^{L} \otimes 1) \oplus Im {\bar{d}}_{C}$
To prove the lemma, we need to show that ${(S (l) \otimes S (u) \otimes \land^{\cdot} u)}^{L} = S (l)^{L} \otimes 1 \otimes 1$ . To see this, we may choose some element $h$ in the center of $l$ , such that $l$ is the centralizer of $h$ in $g$ , $ad h$ has real eigenvalues, and $u$ is the sum of the eigenspaces of $ad h$ corresponding to the positive eigenvalues. Making $h$ act on an element in ${(S (l) \otimes S (u) \otimes \land^{\cdot} u)}^{L}$ , we see that this element has to be in $S (l)^{L} \otimes 1 \otimes 1$ . We can now finish the proof of the theorem. We proceed as in [HP1] by induction on the degree of the filtration. □

Let

z \in Z (g)

. Since

z \otimes 1 \in Ker d_{C}

, we can write

z \otimes 1 = η_{l} (z) + C a + a C

for some

a \in {(U (g) \otimes C (s))}^{L}

and

η_{l} (z) \in Z (l_{Δ})

Our goal is now to compute

η_{l} (z)

. Let

h

be a Cartan subalgebra of

l

, and let us denote respectively by

W_{l}

and

W_{g}

the Weyl groups of

h

l

and

g

We have Harish-Chandra isomophisms

μ_{l / h} : Z (l) \to S (h)^{W_{l}}, μ_{g / h} : Z (g) \to S (h)^{W_{g}},

and an obvious inclusion

i : S (h)^{W_{g}} \to S (h)^{W_{l}}

. Set

μ_{g / l} : = μ_{l / h}^{- 1} \circ i \circ μ_{g / h}

. With this notation we have:

Lemma 3.6. For all

z \in Z (g)

η_{l} (z) = μ_{g / l} (z)

Proof. The proof is similar to the proof of Theorem 4.2 in [K4] , but much simpler. We give only a sketch. Let $b$ be a Borel subalgebra of $g$ containing $\bar{u}$ , and suppose the Cartan algebra $h$ has been chosen to lie in $b$ .
Let $V_{λ}$ be the irreducible finite dimensional representation with highest weight $λ$ (relative to $b$ ), and let $v_{λ}$ be a non-zero highest weight vector in $V_{λ}$ . Recall the element $u_{top}^{*}$ in $C (s)$ used to define the spin module $S$ .
One can see easily that $C \cdot (v_{λ} \otimes u_{top}^{*}) = 0$ and that $v_{λ} \otimes u_{top}^{*} \in V_{λ} \otimes S$ defines a non-zero cohomology class in $H^{0} (\bar{u}, V_{λ})$ . Since the infinitesimal character of $V_{λ}$ is given by $λ + ρ$ , and any $q \in Z (l_{Δ})$ acts by the scalar $μ_{l / h} (q) (λ + ρ)$ on $v_{λ} \otimes u_{top}^{*}$ (see [K4] , Theorem 4.1), we get $μ_{g / h} (z) (λ + ρ) = μ_{l / h} (η_{l} (z)) (λ + ρ)$ for all $z \in Z (g)$ .
Since this is true for all dominant weights $λ$ , and since these form a Zariski dense set in $h^{*}$ , we conclude that indeed $μ_{g / h} (z) = μ_{l / h} (η_{l} (z))$ . □

Let

V

be a representation of

g

admitting an infinitesimal character

χ_{V}

and let

z \in Z (g)

Then

z

acts on

H^{\cdot} (\bar{u}, V)

by the scalar

χ_{V} (z)

Notice that

z \otimes 1

acts on

Ker C / Im C

η_{l} (z)

. Namely,

C a + a C

leaves

Ker C

and

Im C

stable, and induces the zero action on

Ker C / Im C

Thus, the induced action of

η_{l} (z)

Ker C / Im C \sim = H^{\cdot} (\bar{u}, V) \otimes Z_{ρ (\bar{u})}

is equal to the scalar multiplication by

χ_{V} (z)

. This is exactly the statement of the Casselman-Osborne Theorem (see [CO] , or [V1] , Theorem 3.1.5). Namely, our definition of

μ_{g / l} = η_{l}

differs from the map

Z (g) \to Z (l)

from the Casselman-Osborne Theorem exactly by the above

ρ

-shift.

4 Hodge decomposition for $p^{-}$ cohomology

In this section we study positive definite hermitian forms on

V \otimes S

for unitary modules

V

, such that

d

and

δ

are minus adjoint to each other. Here unitarity is defined with respect to a fixed real form

g_{0}

g

; we also fix a corresponding Cartan involution

θ

and Cartan decompositions

g_{0} = k_{0} \oplus p_{0}

and

g = k \oplus p

Such a form however exists only in very special situations; if

g

is simple, then the pair

(g, k)

must be hermitian symmetric,

l

must be equal to

k

, and

u

and

\bar{u}

must be the abelian subalgebras

p^{\pm}

p

. In that case, we get a Hodge type decomposition:

p^{+}

-homology,

p^{-}

-cohomology and the Dirac cohomology are all represented by the space of “harmonics”,

Ker D = Ker D^{2}

A parallel result holds much more generally if

V

is a finite-dimensional module. Since this case is known, we include it only as a remark. However we start by studying a sufficiently general situation which applies to both cases.

Let

r

be a subalgebra of

g

to which

B

restricts non-degenerately and let

s

be the orthogonal complement to

r

with respect to

B

. We choose a maximal isotropic subspace

s^{+}

s

. Since

〈 X, Y 〉 = - 2 B (X, θ \bar{Y})

(with

\bar{}

denoting conjugation with respect to

g_{0}

) defines a positive definite Hermitian form on

g

and hence also on

s^{+}

, the subspace

s^{-} = θ \bar{s^{+}}

intersects

s^{+}

trivially. Let

S = \land^{\cdot} s^{+}

be a spin module for the Clifford algebra

C (s)

corresponding to this polarization.

We extend the form

〈, 〉

to all of

S

in the usual way, using the determinant.

Lemma 4.1. With respect to the form

〈 X, Y 〉

S

, the adjoint of the operator

X \in s \subset C (s)

- θ \bar{X}

Proof. We need to show that $〈 X \cdot λ, μ 〉 = 〈 λ, - θ \bar{X} \cdot μ 〉$ for any $X \in s$ and $λ, μ \in S$ . Assume $X \in s^{+}$ . We can assume that $λ = λ_{1} \land \cdot \cdot \cdot \land λ_{s}$ and $μ = μ_{1} \land \cdot \cdot \cdot \land μ_{t}$ , with $X$ , $λ_{i}$ and $μ_{j}$ all belonging to a fixed orthonormal basis of $s^{+}$ .
Then both sides of the equality to be established are nonzero precisely when $X$ is one of the $μ_{j}$ 's, while the other $μ_{j}$ 's are precisely (all) the $λ_{i}$ 's. In this case both sides are clearly the same.
If $X \in s^{-}$ the claim follows by considering $θ \bar{X} \in s^{+}$ . In case $s$ is odd-dimensional, the extra element is handled easily. □

We now assume that

r

is real and

θ

-stable, i.e.,

r

is the complexification of a subalgebra

r_{0} \subset g_{0}

with

r_{0} = r_{0} \cap k_{0} \oplus r_{0} \cap p_{0}

Lemma 4.2. (a) The cubic part

v

of Kostant's cubic Dirac operator

D

is self-adjoint with respect to the form

〈, 〉

S

(b) If

r = l

for a parabolic subalgebra

l \oplus u

, so that

v = a + a^{-}

as in the previous sections, then

a

is adjoint to

a^{-}

Proof. (a) Let us choose bases $Z_{i}$ of $s_{0} \cap k_{0}$ and $Z_{r}^{'}$ of $s_{0} \cap p_{0}$ orthonormal with respect to $〈, 〉$ . By Lemma 4.1, the adjoint of $Z_{i}$ is $- Z_{i}$ and the adjoint of $Z_{r}^{'}$ is $Z_{r}^{'}$ . Moreover, the dual bases of $Z_{i}$ , $Z_{r}^{'}$ with respect to $B$ are $- Z_{i}$ , $Z_{r}^{'}$ , and so
$v = - \frac{1}{2} (\sum_{i < j < k} B ([- Z_{i}, - Z_{j}], - Z_{k}) Z_{i} Z_{j} Z_{k} + \sum_{i; r < s} B ([- Z_{i}, Z_{r}^{'}], Z_{s}^{'}) Z_{i} Z_{r}^{'} Z_{s}^{'}) = \frac{1}{2} (\sum_{i < j < k} B ([Z_{i}, Z_{j}], Z_{k}) Z_{i} Z_{j} Z_{k} + \sum_{i; r < s} B ([Z_{i}, Z_{r}^{'}], Z_{s}^{'}) Z_{i} Z_{r}^{'} Z_{s}^{'})$
(the other terms are zero). Since the adjoint of $Z_{i} Z_{j} Z_{k}$ is $(- Z_{k}) (- Z_{j}) (- Z_{i}) = Z_{i} Z_{j} Z_{k}$ , the adjoint of $Z_{i} Z_{r}^{'} Z_{s}^{'}$ is $Z_{r}^{'} Z_{s}^{'} (- Z_{i}) = Z_{i} Z_{r}^{'} Z_{s}^{'}$ , and the coefficients are real, we see that $v$ is self-adjoint.
(b) By the formulas from Lemma 2.3, it is enough to show that $u_{i} u_{j} [u_{i}^{*}, u_{j}^{*}]$ is adjoint to $[u_{i}, u_{j}] u_{i}^{*} u_{j}^{*}$ . This however follows immediately from Lemma 4.1: we can normalize the $u_{i}$ 's so that $u_{i}^{*} = - θ {\bar{u}}_{i}$ , hence the adjoint of $[u_{i}, u_{j}] u_{i}^{*} u_{j}^{*}$ is $u_{j} u_{i} (- θ \bar{[u_{i}, u_{j}]}) = u_{i} u_{j} [u_{i}^{*}, u_{j}^{*}]$ □

Let now

V

be a unitary

(g, K)

-module and let

q = l \oplus u

be a

θ

-stable parabolic subalgebra. Then the adjoint of the operator

u_{i}

V

with respect to the unitary form is

- {\bar{u}}_{i}

, while the adjoint of

u_{i}

S

is either

- {\bar{u}}_{i}

, or

{\bar{u}}_{i}

, depending on whether

u_{i}

is in

k

or in

p

. If we consider the tensor product hermitian form on

V \otimes S

, denoted again by

〈, 〉

, and as before denote by

A_{k}

and

A_{p}

the

k

respectively

p

parts of

A

, then we see:

Corollary 4.3. With respect to the form

〈, 〉

V \otimes S

, the adjoint of

A_{k}

A_{k}^{-}

while the adjoint of

A_{p}

- A_{p}^{-}

. Hence the adjoint of

C = A_{k} + A_{p} + 1 \otimes a

A_{k}^{-} + 1 \otimes a^{-} - A_{p}^{-}

and the adjoint of

C^{-} = A_{k}^{-} + A_{p}^{-} + 1 \otimes a^{-}

A_{k} + 1 \otimes a - A_{p}

. □

We will use this corollary in Sections 5 and 7. Now we turn our attention to the case when

A_{k}

and

1 \otimes a

do not appear in

C

. This is the already mentioned case, when

l = k

, and

u

is contained in

p

. Then

u

is forced to be abelian and we denote as usual

u = p^{+}

\bar{u} = p^{-}

. In this case, the Dirac operator

D = D (g, l)

is the “ordinary” Dirac operator corresponding to

k

, there is no cubic part, and we conclude

Corollary 4.4. Let

(g, k)

be a hermitian symmetric pair and set

l = k

. Let

V

be a unitary

(g, K)

-module and consider the form

〈, 〉

V \otimes S

. Then the operators

C = d

and

C^{-} = δ

are minus adjoints of each other. Hence the Dirac operator

D = D (g, l) = D (g, k)

is anti-self-adjoint.

More generally, if

l

contains

k

(this can happen when

g

is not simple), then

D (g, l)

is anti-self-adjoint with respect to

〈, 〉

. □

For the rest of this section we assume that

l = k

. So

D

is anti-self-adjoint with respect to the positive definite form

〈, 〉

V \otimes S

. In particular, the operators

D

and

D^{2}

have the same kernel on

V \otimes S

By [P] , Proposition 3.2 (or more generally, [K2] , Theorem 2.16), we know that

D^{2} = Ω_{g} \otimes 1 - Ω_{k_{Δ}} + C,

where

Ω_{g}

and

Ω_{k_{Δ}}

are the Casimir operators for

g

and diagonally embedded

k

, and

C

is the constant

| | ρ_{g} | |^{2} - | | ρ_{k} | |^{2}

. It follows that if

Ω_{g}

acts on

V

by a constant, then

Ω_{k_{Δ}}

is up to a constant equal to

D^{2}

V \otimes S

. Since

Ω_{k_{Δ}}

acts by a scalar on each

\tilde{K}

-type in

V \otimes S

, the same is true for

D^{2}

. So

D^{2}

is a semisimple operator, i.e.,

V \otimes S

is a direct sum of eigenspaces for

D^{2}

. In particular:

Corollary 4.5. If the

(g, K)

-module

V

has infinitesimal character, then

V \otimes S = Ker (D^{2}) \oplus Im (D^{2})

Proof. We have seen that $V \otimes S$ is a direct sum of eigenspaces for $D^{2}$ . Clearly, the zero eigenspace is $Ker D^{2}$ , and the sum of the nonzero eigenspaces is $Im D^{2}$ . □

It is now easy to obtain a variant of the usual Hodge decomposition. The following arguments are well known; see e.g. [W] , Scholium 9.4.4. We first have

Lemma 4.6. (a)

Ker D = Ker d \cap Ker δ

; (b)

Im δ

is orthogonal to

Ker d

and

Im d

is orthogonal to

Ker δ

Proof. (a) Since $D = d + δ$ , it is clear that $Ker d \cap Ker δ$ is contained in $Ker D$ . On the other hand, if $D x = 0$ , then $d x = - δ x$ , hence $δ d x = - δ^{2} x = 0$ . So $〈 d x, d x 〉 = 〈 - δ d x, x 〉 = 0$ , hence $d x = 0$ . Now $D x = 0$ implies that also $δ x = 0$ .
(b) is obvious since $d$ and $δ$ are minus adjoint to each other. □

Combining Corollary 4.5, Lemma 4.6 and the fact

Ker D = Ker D^{2}

, we get

Theorem 4.7. Let

(g, k)

be a hermitian symmetric pair and set

l = k

and

u = p^{+}

. Let

V

be an irreducible unitary

(g, K)

-module. Then: (a)

V \otimes S = Ker D \oplus Im d \oplus Im δ

; (b)

Ker d = Ker D \oplus Im d

; (c)

Ker δ = Ker D \oplus Im δ

In particular, the Dirac cohomology of

V

is equal to

p^{-}

-cohomology and to

p^{+}

-homology, up to modular twists:

Ker D \sim = H^{\cdot} (p^{-}, V) \otimes Z_{ρ (p^{-})} \sim = H_{\cdot} (p^{+}, V) \otimes Z_{ρ (p^{-})} .

More precisely, (up to modular twists) the Dirac cohomology

Ker D

is the space of harmonic representatives for both

p^{-}

-cohomology and

p^{+}

-homology.

□

Remark 4.8. There is a variant of the above results for a finite dimensional module

V

. In this case one puts a positive definite form on

V

invariant under the compact form

k_{0} \oplus i p_{0}

g

; this is sometimes called an admissible form. In this way the adjoint of

u_{i}

V

will be

{\bar{u}}_{i}

u_{i} \in p

and

- {\bar{u}}_{i}

u_{i} \in k

. Hence the adjoint of

u_{i}

V

u_{i}^{*}

for all

i

So this form combines with

〈, 〉

S

better than a unitary form. In particular,

d

and

δ

are now adjoint to each other with respect to

〈, 〉

D

is self-adjoint, and the above arguments, including Theorem 4.7, apply without change. There is no need here to assume that

l = k

;

q = l \oplus u

can be any parabolic subalgebra of (any)

g

, with the assumption that

l

θ

-stable and real.

This case was however already known; it is implicit in [K3] and it is explicitly mentioned in [V3] .

Moreover, we can generalize this further and prove self-adjointness of

D

for the more general setting when

r \subset g

is not necessarily a Levi subalgebra of a parabolic subalgebra, but any real and

θ

-stable reductive subalgebra (to which

B

then restricts nondegenerately). Namely, getting back to the setting of Lemma 4.2 (a) and its proof, we see that not only the cubic term

v

but also the linear term

\sum Z_{i} \otimes Z_{i} + \sum Z_{r}^{'} \otimes Z_{r}^{'}

D

is self adjoint with respect to

〈, 〉

V \otimes S

. Hence

D

is self-adjoint.

Remark 4.9. Here is an example which shows that a Hodge decomposition like in Theorem 4.7 does not hold generally if

l

is not compact, even for unitary modules in the Hermitian symmetric case. Let

W_{0}

be the

(g, K)

-module of the even Weil representation of

S p (4, R)

, and let

l

be the

g l (2)

containing the compact Cartan subalgebra and corresponding to the short noncompact root.

Then

l

is a Levi factor of a

θ

-stable parabolic subalgebra with abelian

u

. One can explicitly calculate everything and show that the Dirac cohomology is strictly larger than

u

-homology or

\bar{u}

-cohomology (while the latter two are still equal).

5 Relative Dirac operators

In this section we compare various Dirac operators arising from two compatible decompositions

g = r \oplus s = r^{'} \oplus s^{'} .

Here both decompositions are like in the Kostant's setting for the cubic Dirac operator:

r

and

r^{'}

are reductive subalgebras of

g

such that the Killing form

B

restricts to a nondegenerate form on each of them, while

s

respectively

s^{'}

are the orthogonals of

r

respectively

r^{'}

. Compatibility of the two decompositions means

r = r \cap r^{'} \oplus r \cap s^{'}; s = s \cap r^{'} \oplus s \cap s^{'}; r^{'} = r^{'} \cap r \oplus r^{'} \cap s; s^{'} = s^{'} \cap r \oplus s^{'} \cap s .

Clearly, all these decompositions are orthogonal.

Example 5.1. If

l

is a

θ

-stable Levi subalgebra of

g

, then

r = l

and

r^{'} = k

satisfy the above conditions.

Now

r \cap r^{'}

is also a reductive subalgebra of

g

to which

B

restricts nondegenerately. The corresponding decomposition is

g = r \cap r^{'} \oplus (s \oplus r \cap s^{'}) .

The corresponding Dirac operator will be denoted by

D (g, r \cap r^{'})

. We note that this setting includes the case in which

r^{'}

is a subalgebra of

r

, and therefore the setting

r_{1} \subset r_{2} \subset g

from the introduction.

To write down

D (g, r \cap r^{'})

, take orthonormal bases

Z_{i}

for

s

, and

Z_{j}^{'}

for

r \cap s^{'}

. Identify

\begin{matrix} U (g) \otimes C (s \oplus r \cap s^{'}) = U (g) \otimes C (s) \bar{\otimes} C (r \cap s^{'}), \end{matrix}

(1)

where

\bar{\otimes}

denotes the

Z_{2}

-graded tensor product. Now if

W_{k}

is the union of the bases

Z_{i}

and

Z_{j}^{'}

, then by Kostant's definition,

D (g, r \cap r^{'})

is the element

D (g, r \cap r^{'}) = \sum_{k} W_{k} \otimes W_{k} - \frac{1}{2} \sum_{i < j < k} B ([W_{i}, W_{j}], W_{k}) \otimes W_{i} W_{j} W_{k}

U (g) \otimes C (s \oplus r \cap s^{'})

Kostant's original definition uses exterior multiplication instead of Clifford multiplication in the second sum (with the Clifford and exterior algebras identified as vector spaces via Chevalley identification). For orthogonal vectors, there is however no difference between exterior and Clifford multiplication, so the above definition is the same as Kostant's. Taking into account the decomposition (1), we see

(2) D ( g , r ∩ r ′ ) = ∑ i Z i ⊗ Z i ⊗ 1 + ∑ j Z j ′ ⊗ 1 ⊗ Z j ′ − 1 2 ∑ i < j < k B ( [ Z i , Z j ] , Z k ) ⊗ Z i Z j Z k ⊗ 1 − 1 2 ∑ i < j ∑ k B ( [ Z i , Z j ] , Z k ′ ) ⊗ Z i Z j ⊗ Z k ′ − 1 2 ∑ i < j < k B ( [ Z i ′ , Z j ′ ] , Z k ′ ) ⊗ 1 ⊗ Z i ′ Z j ′ Z k ′ .

Note that the terms with

Z_{i}

Z_{j}^{'}

and

Z_{k}^{'}

do not appear, because

B ([Z_{i}, Z_{j}^{'}], Z_{k}^{'}) = B (Z_{i}, [Z_{j}^{'}, Z_{k}^{'}]) = 0

, as

[Z_{j}^{'}, Z_{k}^{'}] \in r

is orthogonal to

s

We consider

U (g) \otimes C (s)

as the subalgebra

U (g) \otimes C (s) \otimes 1

U (g) \otimes C (s) \bar{\otimes} C (r \cap s^{'})

In view of this, we see that the first and third sum in (2) combine to give

D (g, r)

, the Kostant's cubic Dirac operator corresponding to

r \subset g

The remaining three sums come from the cubic Dirac operator corresponding to

r \cap r^{'} \subset r

. However, this is an element of the algebra

U (r) \otimes C (r \cap s^{'})

, and this algebra has to be embedded into

U (g) \otimes C (s) \bar{\otimes} C (r \cap s^{'})

diagonally, not as

U (r) \otimes 1 \otimes C (r \cap s^{'})

. Namely, we use the diagonal embedding

U (r) \sim = U (r_{Δ}) \subset U (g) \otimes C (s)

from the setting

g = r \oplus s

; the definition is the same as for

r = l

above Proposition 2.6. Thus we embed

Δ : U (r) \otimes C (r \cap s^{'}) \sim = U (r_{Δ}) \bar{\otimes} C (r \cap s^{'}) \subset U (g) \otimes C (s) \bar{\otimes} C (r \cap s^{'}) .

We will denote

Δ (D (r, r \cap r^{'}))

D_{Δ} (r, r \cap r^{'})

and call it a relative Dirac operator. In case when there are several subalgebras and confusion might arise, we will use more precise notation

Δ_{g, r}

instead of

Δ

and give up the notation

D_{Δ} (.)

. This diagonal embedding has already been used by Kostant and Alekseev-Meinrenken; in particular, decompositions like the following one can be founded in [AM] .

Theorem 5.2. With notation as above, (i)

D (g, r \cap r^{'}) = D (g, r) + D_{Δ} (r, r \cap r^{'})

; (ii) The summands

D (g, r)

and

D_{Δ} (r, r \cap r^{'})

anticommute.

Proof. To prove (i), we need to describe the image under

Δ

\begin{matrix} D (r, r \cap r^{'}) = \sum_{i} Z_{i}^{'} \otimes Z_{i}^{'} - \frac{1}{2} \sum_{i < j < k} B ([Z_{i}^{'}, Z_{j}^{'}], Z_{k}^{'}) \otimes Z_{i}^{'} Z_{j}^{'} Z_{k}^{'} \in U (r) \otimes C (r \cap s^{'}), \end{matrix}

(3)

and see that it matches the second, fourth and fifth sum in (2). In fact, it is obvious that the image under

Δ

of the second sum in (3) equals the fifth sum in (2), and it remains to identify

\begin{matrix} \sum_{i} Δ (Z_{i}^{'} \otimes Z_{i}^{'}) = \sum_{i} Z_{i}^{'} \otimes 1 \otimes Z_{i}^{'} + 1 \otimes α (Z_{i}^{'}) \otimes Z_{i}^{'} . \end{matrix}

(4)

Namely,

Δ (Z \otimes Z^{'}) = Z \otimes 1 \otimes Z^{'} + 1 \otimes α (Z) \otimes Z^{'}

, where

α : r \to s o (s) ↪ C (s)

is the action map of

r

s

, followed by the standard inclusion of

s o (s)

into

C (s)

, given by

E_{i j} - E_{j i} \mapsto \frac{1}{2} Z_{i} Z_{j},

where

E_{i j}

are the matrix units relative to the basis

Z_{i}

. Thus we are left with showing that the second sum in (4) equals the third sum in (2), i.e., that

\sum_{k} 1 \otimes α (Z_{k}^{'}) \otimes Z_{k}^{'} = - \frac{1}{2} \sum_{i < j} \sum_{k} B ([Z_{i}, Z_{j}], Z_{k}^{'}) \otimes Z_{i} Z_{j} \otimes Z_{k}^{'} .

This will follow if we see that

α (Z_{k}^{'}) = - \frac{1}{2} \sum_{i < j} B ([Z_{i}, Z_{j}], Z_{k}^{'}) Z_{i} Z_{j}

for any

k

. But this last equality is clear from the definition of

α

. Namely, the matrix of

ad Z_{k}^{'}

s

in the basis

Z_{i}

\sum_{i < j} B ([Z_{k}^{'}, Z_{j}], Z_{i}) (E_{i j} - E_{j i})

To prove (ii), we use the fact that

D (g, r)

commutes with

r_{Δ}

, which is one of the most basic properties of

D (g, r)

. It follows that the anticommutator

[D (g, r) \otimes 1, (Z_{i}^{'} \otimes 1 + 1 \otimes α (Z_{i}^{'})) \otimes Z_{i}^{'}] = [D (g, r), Z_{i}^{'} \otimes 1 + 1 \otimes α (Z_{i}^{'})] \otimes Z_{i}^{'}

is zero for any

i

. Hence

[D (g, r) \otimes 1, Δ (\sum_{i} Z_{i}^{'} \otimes Z_{i}^{'})] = 0

. It remains to see that also

[D (g, r) \otimes 1, 1 \otimes 1 \otimes (- \frac{1}{2}) \sum_{i < j < k} B ([Z_{i}^{'}, Z_{j}^{'}], Z_{k}^{'}) Z_{i}^{'} Z_{j}^{'} Z_{k}^{'}] = 0 .

This follows from the definition of

\bar{\otimes}

, since all the

C (s)

-parts of the monomial terms of

D (g, r)

, and also all

Z_{i}^{'} Z_{j}^{'} Z_{k}^{'} \in C (r \cap s^{'})

, are odd. □

Example 5.3. In the setting of Example 5.1, we obtain

D (g, l \cap k) = D (g, l) + D_{Δ} (l, l \cap k) = D (g, k) + D_{Δ} (k, l \cap k),

and both decompositions have anticommuting summands. If

l

is contained in

k

, which is possible if and only if

g

and

k

have equal ranks, then we get only one nontrivial decomposition,

D (g, l) = D (g, k) + D_{Δ} (k, l)

. This case will be of special interest below.

We now want to use Theorem 5.2 to relate the Dirac cohomology of the various Dirac operators involved. In some cases one can apply the following easy fact from linear algebra.

We define the cohomology of any linear operator

T

on a vector space

V

to be the vector space

H (T) = Ker T / (Im T \cap Ker T)

Lemma 5.4. Let

A

and

B

be anticommuting linear operators on a vector space

V

. Assume that

A^{2}

diagonalizes on

V

, i.e.

V = \oplus_{λ} V_{λ}

, with

A^{2} = λ

V_{λ}

. Then the cohomology

H (A + B)

A + B

V

is the same as the cohomology of the restriction of

A + B

V_{0} = Ker A^{2}

Proof. Since $A + B$ commutes with $A^{2}$ , its kernel, image and cohomology decompose accordingly to eigenspaces $V_{λ}$ . We thus have to prove that $A + B$ has no cohomology on $V_{λ}$ for $λ \neq 0$ . In other words, we are to prove that $Ker (A + B) \subset Im (A + B)$ on $V_{λ}$ .
Let $v \in V_{λ}$ be such that $(A + B) v = 0$ , i.e., $A v = - B v$ . Then $(A + B) A v = A^{2} v + B A v = A^{2} v - A B v = 2 A^{2} v = 2 λ v,$ and hence $v = \frac{1}{2 λ} (A + B) A v$ is in the image of $A + B$ . □

Corollary 5.5. In the setting of Lemma 5.4, assume further that

Ker A^{2} = Ker A = H (A)

; so

Ker A \cap Im A = 0

. Then

H (A + B)

is equal to the cohomology of

B

restricted to the cohomology (i.e., kernel) of

A

Proof. By Lemma 5.4, $H (A + B)$ is the cohomology of $A + B$ on $Ker A$ . But on $Ker A$ , $A + B = B$ . □

To apply this to Dirac cohomology, denote by

H_{D} (g, r; V)

the Dirac cohomology of a

(g, K)

-module

V

with respect to

D (g, r)

; analogous notation will be used for other Dirac operators. The reader should bear in mind that

H_{D} (g, r; V)

is in fact the cohomology of the operator

D (g, r)

on the space

V \otimes S

Corollary 5.6. Let

r \subset k

be a reductive subalgebra of

g

, with

B |_{r \times r}

nondegenerate.

As usual, let

s

be the orthocomplement of

r

. Assume that either

dim p

is even, or

dim s \cap k

is even¹ . Let

V

be an irreducible unitary

(g, K)

-module. Then

H_{D} (g, r; V) = H_{D} (k, r; H_{D} (g, k; V)),

i.e., the Dirac cohomology can be calculated “in stages”, as the

D (k, r)

-cohomology of the

D (g, k)

-cohomology.

Proof. Since $V$ is unitary, we can consider the form $〈, 〉$ on $V \otimes S_{p}$ introduced in Section 4, where $S_{p}$ is the spin module for $C (p)$ . We can extend this form to all of $V \otimes S$ , by choosing any positive definite form on the spin module $S_{s \cap k}$ for $C (s \cap k)$ . Here we identify $S = S_{p} \otimes S_{s \cap k}$ , which can be done by the assumption on dimensions. Let $A = D (g, k)$ and $B = D_{Δ} (k, r)$ .
By Corollary 4.3, $A$ is anti-self-adjoint, and consequently the conditions of Corollary 5.5 are satisfied. So the cohomology with respect to $D (g, r)$ is the cohomology with respect to $B$ of $Ker A = H_{D} (g, k; V) \otimes S_{s \cap k}$ .
Now $H_{D} (g, k; V) \subset V \otimes S_{p} \subset V \otimes S$ is a $\tilde{K}$ -module, with Lie algebra $k$ acting through $k_{Δ}$ . The Dirac cohomology of this module with respect to $D (k, r)$ is thus identified with the cohomology with respect to $B = D_{Δ} (k, r)$ . □

6 The case of compact Levi subalgebra

In this section we first consider a reductive subalgebra

r_{0}

g_{0}

contained in

k_{0}

. Later on we will specialize to the case when

r = l

is a Levi subalgebra of a

θ

-stable parabolic subalgebra of

g

The first thing we will do in this situation is generalize Corollary 5.6 to nonunitary modules. Like there, we assume for simplicity that either

dim p

is even or

dim s \cap k

is even, so that we can write the spin module as

S = S_{p} \otimes S_{s \cap k}

. The idea is to reverse the roles of

D (g, k)

and

D_{Δ} (k, r)

. Namely, for any admissible

(g, K)

-module

V

, we can decompose

V \otimes S_{p}

into a direct sum of finite dimensional (unitary) modules for the spin double cover

\tilde{K}

K

. Hence, by Remark 4.8, there is a positive definite form

〈, 〉

V \otimes S = V \otimes S_{p} \otimes S_{s \cap k}

, such that

D_{Δ} (k, r)

is self-adjoint with respect to

〈, 〉

It follows that

B = D_{Δ} (k, r)

is a semisimple operator, while for

A = D (g, k)

we still have that

A^{2}

is semisimple. In this situation, we have the following lemma which complements Corollary 5.5:

Lemma 6.1. Let

A

and

B

be anticommuting linear operators on a vector space

V

, such that

A^{2}

and

B

are semisimple (i.e., can be diagonalized). Then

H (A + B)

is the cohomology (i.e., the kernel) of

B

acting on

H (A)

Proof. Applying Lemma 5.4, we can replace $V$ by $Ker A^{2}$ , i.e., assume $A^{2} = 0$ . On the other hand, by Corollary 5.5, $H (A + B)$ is the cohomology of $A$ acting on $Ker B$ .
Since $B$ is semisimple, we can decompose $V = Ker B \oplus \oplus_{λ} V_{λ} \oplus V_{- λ}$ into the (discrete) sum of eigenspaces for $B$ . Here if both $λ$ and $- λ$ are eigenvalues, we choose one of them to represent the pair. Since $A$ anticommutes with $B$ , it preserves $Ker B$ , and maps $V_{λ}$ to $V_{- λ}$ and vice versa. Therefore, $H (A)$ decomposes into a $Ker B$ -part and $V_{λ} \oplus V_{- λ}$ -parts. The $Ker B$ -part is equal to $H (A + B)$ and we will be done if we show that $B$ has no kernel on $H (A |_{V_{λ} \oplus V_{- λ}})$ . Let $v = v_{1} + v_{2} \in V_{λ} \oplus V_{- λ}$ be in $Ker A$ , and assume that $B v \in Im A$ . This implies $λ v_{1} - λ v_{2}$ is in $Im A$ , so $v_{1} - v_{2} \in Im A$ . This however can only happen if both $v_{1}$ and $v_{2}$ are in $Im A$ , again because $A$ exchanges $V_{λ}$ and $V_{- λ}$ . But then also $v = v_{1} + v_{2}$ is in $Im A$ , so $v$ is zero in cohomology and we are done.
□

This now immediately implies the following theorem which says that Dirac cohomology with respect to a subalgebra

r \subset k

as above can be calculated “in stages”.

Theorem 6.2. Let

r_{0}

be a reductive subalgebra of

g_{0}

contained in

k_{0}

. Let

V

be an admissible

(g, K)

-module. Then the Dirac cohomology with respect to

D (g, r)

can be calculated as the Dirac cohomology with respect to

D (k, r)

of the Dirac cohomology with respect to

D (g, k)

V

. In other words:

H_{D} (g, r; V) = H_{D} (k, r; H_{D} (g, k; V)) .

Also, we can reverse the order of taking Dirac cohomology, i.e.,

H_{D} (g, r; V) = H (D (g, k) |_{H_{D} (k, r; V)}) .

Proof. The first formula was explained above, and the second is a direct application of Corollary 5.5, with $A = D_{Δ} (k, r)$ and $B = D (g, k)$ (opposite from Corollary 5.6). □

For the rest of this section we consider a

θ

-stable parabolic subalgebra

q = l \oplus u

g

, with the Levi subalgebra

l

contained in

k

. In particular, there is a Cartan subalgebra

t

g

contained in

l \subset k

; so

g

and

k

have equal rank. The opposite parabolic subalgebra is

\bar{q} = l \oplus \bar{u}

. As before, we denote

s = u \oplus \bar{u}

, so

g = l \oplus s

We apply the above considerations to

r = l

. Since

H_{D} (g, k; V)

is a finite dimensional

\tilde{K}

-module, and

k

and

l

have equal rank,

H_{D} (k, l; H_{D} (g, k; V))

is given by [K4] , Theorem 5.1. (This can also be read off from Remark 4.8, by using Poincaré duality to pass to

u

-cohomology and then the better known Kostant's formula for

u

-cohomology; in fact, this is how Kostant proves it.) This gives

H_{D} (g, l; V)

very explicitly provided we know

H_{D} (g, k; V)

explicitly. For example, one can in this way calculate the Dirac cohomology of the discrete series representations with respect to the (compact) Cartan subalgebra

t

Example 6.3. Let

V = A_{b} (λ)

be a discrete series representation; here

b = t \oplus n

is a Borel subalgebra of

g

containing a compact Cartan subalgebra

t

. The infinitesimal character of

V

λ + ρ

. Then the Dirac cohomology of

V

with respect to

D (g, k)

consists of a single

\tilde{K}

-type

V (μ)

, whose highest weight is

μ = λ + ρ_{n}

, where

ρ_{n} = ρ (u \cap p)

. This is obtained from the highest weight of the lowest

K

-type of

V

λ + 2 ρ_{n}

, by shifting by

- ρ_{n}

(the lowest weight of

S

This result is contained in the work of Parthasarathy and Schmid. One can also prove it as follows: it is shown in [HP1] , Proposition 5.4, that this

\tilde{K}

-type is contained in the Dirac cohomology. Since

V

has a unique lowest

K

-type, and since

- ρ_{n}

is the lowest weight of the spin module, with multiplicity one, it follows that any other

\tilde{K}

-type has strictly larger highest weight, and thus can not contribute to the Dirac cohomology.

We now apply the above mentioned Kostant's formula (Theorem 5.1 of [K4] ) to calculate the Dirac cohomology with respect to

D (k, t)

(we again stress that

k

and

t

have equal rank):

H_{D} (k, t; V (μ)) = Ker D (k, t) = \oplus_{w \in W_{k}} C_{w (μ + ρ_{k})} .

It follows from

μ + ρ_{k} = λ + ρ

that

H_{D} (k, t; V (μ)) = \oplus_{w \in W_{k}} C_{w (λ + ρ)} .

Remark 6.4. Comparing with Schmid's formula in Theorem 4.1 of [S] , we have

H^{*} (\bar{n}, A_{b} (λ)) = H_{D} (g, t; A_{b} (λ)) \otimes C_{ρ (\bar{n})} .

(note that Schmid's

n

is our

\bar{n}

, and his

λ

is our

λ + ρ

.) In other words,

n

-cohomology of a discrete series representation coincides with the Dirac cohomology up to a

ρ

-shift. This fact is however not covered by our results in Sections 4 and 7. This indicates that it should be possible to generalize our results; however, the next example shows they do not hold in full generality. □

Example 6.5. In the setting of Remark 4.9, one can show that

H_{D} (l, t; H_{D} (g, l; W_{0}))

is strictly larger than

H_{D} (g, t; W_{0})

. Here

t

is the compact Cartan subalgebra, and the last cohomology can be calculated in stages, as

H_{D} (k, t; H_{D} (g, k; W_{0}))

We now want to similarly analyze the “half-Dirac” operators

C

and

C^{-}

. Let

u_{1}, . . ., u_{k}

be a basis for

u \cap k

and let

v_{1}, . . ., v_{p}

be a basis for

u \cap p

. These can be taken to be the root vectors corresponding to compact, respectively noncompact positive roots, with respect to some

Δ^{+} (g, t)

compatible with

u

. We normalize these bases so that the dual bases for

\bar{u} \cap k

respectively

\bar{u} \cap p

with respect to the Killing form are

u_{i}^{*} = - {\bar{u}}_{i}

respectively

v_{i}^{*} = {\bar{v}}_{i}

As before,

D = D (g, l)

C = C (g, l) = A + 1 \otimes a

and

C^{-} = C^{-} (g, l) = A^{-} + 1 \otimes a^{-}

denote the Dirac operator for the pair

(g, l)

and its parts. We can now further decompose these parts and write

A = A_{k} + A_{p}; a = a_{k} + a_{k p} + a_{p}

and analogously for

A^{-}

and

a^{-}

. Here

A_{k} = \sum_{i} u_{i}^{*} \otimes u_{i}, A_{p} = \sum_{i} v_{i}^{*} \otimes v_{i}; a_{k} = - \frac{1}{4} \sum_{i, j} [u_{i}^{*}, u_{j}^{*}] u_{i} u_{j}, a_{k p} = - \frac{1}{2} \sum_{i, j} [u_{i}^{*}, v_{j}^{*}] u_{i} v_{j}, a_{p} = - \frac{1}{4} \sum_{i, j} [v_{i}^{*}, v_{j}^{*}] v_{i} v_{j} .

The expressions for

A_{k}^{-}

A_{p}^{-}

a_{k}^{-}

a_{k p}^{-}

and

a_{p}^{-}

are obtained by exchanging

u_{i}

with

u_{i}^{*}

and

v_{i}

with

v_{i}^{*}

In the following, we will consider the Clifford algebra

C (s)

as a subalgebra of

U (g) \otimes C (s)

, embedded as

1 \otimes C (s)

. In particular,

1 \otimes a_{k}

gets identified with

a_{k}

1 \otimes a_{k p}

with

a_{k p}

and so on.

Recall that by Theorem 5.2,

D (g, l) = D (g, k) + D_{Δ} (k, l)

, where

D_{Δ} (k, l)

is the image of

D (k, l)

under the diagonal embedding

Δ : U (k) \otimes C (s \cap k) \to U (g) \otimes C (p) \bar{\otimes} C (s \cap k)

. Here

Δ

sends

1 \otimes C (s \cap k)

identically onto

1 \otimes 1 \otimes C (s \cap k)

, and for

X \in k

Δ (X \otimes 1) = X \otimes 1 \otimes 1 + 1 \otimes α (X) \otimes 1,

with

α : k \to C (p)

given by the action of

k

p

as before.

Clearly,

D (g, k) = A_{p} + A_{p}^{-}

, while

D_{Δ} (k, l)

is the sum of all other of the above parts. We want to make this more precise; namely, in the obvious notation,

D (k, l) = C (k, l) + C^{-} (k, l)

, and we want to identify the images of these summands under

Δ

. Denote these images by

C_{Δ} (k, l)

and

C_{Δ}^{-} (k, l)

To do this, we use an expression for

α : k \to C (p)

in terms of a basis and a dual basis:

w_{r}

is a basis of

p

with dual basis

w_{r}^{*}

, then

α (X) = - \frac{1}{4} \sum_{r, s} B ([w_{r}^{*}, w_{s}^{*}], X) w_{r} w_{s} .

(This was already used in Section 5, for an orthonormal basis. The proof of this slightly more general version is the same.) Applying this to the basis

v_{1}, . . ., v_{p}, v_{1}^{*}, . . ., v_{p}^{*}

and the dual basis

v_{1}^{*}, . . ., v_{p}^{*}, v_{1}, . . ., v_{p}

, we get

α (X) = - \frac{1}{4} \sum_{j, k} B ([v_{j}^{*}, v_{k}^{*}], X) v_{j} v_{k} - \frac{1}{2} \sum_{j, k} B ([v_{j}, v_{k}^{*}], X) v_{j}^{*} v_{k} + \frac{1}{2} \sum_{j} B ([v_{j}, v_{j}^{*}], X) - \frac{1}{4} \sum_{j, k} B ([v_{j}, v_{k}], X) v_{j}^{*} v_{k}^{*}

(we used

v_{j}^{*} v_{k} = - v_{k} v_{j}^{*} + 2 δ_{j k}

Since

C (k, l) = \sum_{i} u_{i}^{*} \otimes u_{i} - \frac{1}{4} \otimes \sum_{i, j} [u_{i}^{*}, u_{j}^{*}] u_{i} u_{j}

, we see that

Δ (C (k, l)) = A_{k} + \sum_{i} 1 \otimes α (u_{i}^{*}) \otimes u_{i} + a_{k}

. We need to calculate the middle term,

\sum_{i} 1 \otimes α (u_{i}^{*}) \otimes u_{i}

. Applying the above expression for

α

, we get four sums over

i, j

and

k

We first notice that the first of these three sums is 0, since

B

is 0 on

\bar{u}

. To calculate the second sum, write

B ([v_{j}, v_{k}^{*}], u_{i}^{*}) = B (v_{j}, [v_{k}^{*}, u_{i}^{*}])

, and observe that since

[v_{k}^{*}, u_{i}^{*}] \in \bar{u} \cap p

\sum_{j} B (v_{j}, [v_{k}^{*}, u_{i}^{*}]) v_{j}^{*} = [v_{k}^{*}, u_{i}^{*}]

. Therefore the second of the three sums is

- \frac{1}{2} \otimes \sum_{i, k} [v_{k}^{*}, u_{i}^{*}] v_{k} u_{i} = a_{k p} .

The third sum is 0, since we can assume

[v_{j}, v_{j}^{*}]

is in

l

and hence orthogonal to

u_{i}^{*}

Namely, we can choose

v_{j}

and

v_{j}^{*}

(and also

u_{i}

and

u_{i}^{*}

) to be root vectors with respect to

t

Finally, the fourth sum is calculated by noting that since

[v_{j}, v_{k}] \in u \cap k

\sum_{i} B ([v_{j}, v_{k}], u_{i}^{*}) u_{i} = [v_{j}, v_{k}]

. It follows that the fourth sum is

- \frac{1}{4} \otimes \sum_{j, k} v_{j}^{*} v_{k}^{*} [v_{j}, v_{k}] = a_{p}^{-} .

A completely analogous calculation applies to

C^{-} (k, l)

, so we proved:

Proposition 6.6. Under the diagonal map

Δ : U (k) \otimes C (s \cap k) \to U (g) \otimes C (p) \bar{\otimes} C (s \cap k)

C (k, l)

and

C^{-} (k, l)

correspond to

C_{Δ} (k, l) = A_{k} + a_{k} + a_{k p} + a_{p}^{-} and C_{Δ}^{-} (k, l) = A_{k}^{-} + a_{k}^{-} + a_{k p}^{-} + a_{p} . □

Note the unexpected feature of this result, the mixing of the positive and negative parts under the diagonal embedding. Namely,

a_{p}

and

a_{p}^{-}

have opposite positions from the ones one would expect. So we do not have an analogue of Theorem 5.2 for

C

and

C^{-}

, unless

a_{p} = a_{p}^{-} = 0

. This last thing happens precisely when the pair

(g, k)

is hermitian symmetric. This is the reason why we are able to obtain results about

u

-cohomology only in hermitian case. Maybe this peculiar behavior has something to do with the fact that some of the most concrete results about

n

-cohomology, like [E] , [C] or [A] , are also obtained in hermitian situation only.

Another difficulty with the non-hermitian case is the fact that while we can write

D (g, k) = A_{p} + A_{p}^{-}

, the two summands here are not differentials (they are also not

K

-invariant). So there is no hope to get a Hodge decomposition like the one in Section 4.

Of course, there is also no

u \cap p

-homology or cohomology, since

u \cap p

is not a Lie algebra. Yet there is perfectly well defined Dirac cohomology for

D (g, k)

, and one can hope that it will somehow replace the nonexistent

p^{-}

-cohomology.

What we do get without the hermitian assumption, is a copy of

g l (1, 1)

inside

U (g) \otimes C (s)

, spanned by

C_{Δ} (k, l)

C_{Δ}^{-} (k, l)

E_{k} = Δ E (k, l) = - \frac{1}{2} \otimes \sum_{i} u_{i}^{*} u_{i}

and

Δ D (k, l)^{2}

. This follows immediately from the fact that

Δ

is (obviously) a morphism of superalgebras.

If the pair

(g, k)

is hermitian symmetric, as we will assume in the following, then there is another copy of

g l (1, 1)

inside

U (g) \otimes C (s)

, supercommuting with the first one. It is spanned by

A_{p} = C (g, k)

A_{p}^{-} = C^{-} (g, k)

E_{p} = E (g, k) = - \frac{1}{2} \otimes \sum_{i} v_{i}^{*} v_{i}

, and

D (g, k)^{2}

. The fact that these two copies of

g l (1, 1)

supercommute is completely analogous to Theorem 5.2.(ii). (Without the hermitian assumption, one could try to replace this second

g l (1, 1)

by a smaller superalgebra, spanned just by

D (g, k)

and

D (g, k)^{2}

.) Note that

C (g, l) = C_{Δ} (k, l) + C (g, k)

and

C^{-} (g, l) = C_{Δ}^{-} (k, l) + C^{-} (g, k)

. Clearly, an analogous decomposition holds for

E (g, l)

; it also holds for

D (g, l)^{2}

. Namely, since the two copies of

g l (1, 1)

supercommute, we have

D (g, l)^{2} = [C (g, l), C^{-} (g, l)] = [C_{Δ} (k, l), C_{Δ}^{-} (k, l)] + [C (g, k), C^{-} (g, k)] = D_{Δ} (k, l)^{2} + D (g, k)^{2} .

This last equality can also be obtained from Kostant's formula for

D^{2}

Δ_{g, k} (D (k, l))^{2} + D (g, k)^{2} = Δ_{g, k} (Ω_{k} \otimes 1 - Δ_{k, l} (Ω_{l}) + | | ρ_{k} | |^{2} - | | ρ_{l} | |^{2}) + (Ω_{g} \otimes 1 - Δ_{g, k} (Ω_{k}) + | | ρ_{g} | |^{2} - | | ρ_{k} | |^{2}) = Ω_{g} \otimes 1 - Δ_{g, l} (Ω_{l}) + | | ρ_{g} | |^{2} - | | ρ_{l} | |^{2} = D (g, l)^{2} .

Here we have used the more precise notation for the various diagonal embeddings to avoid confusion; note the equality

Δ_{g, k} (Δ_{k, l} (Ω_{l})) = Δ_{g, l} (Ω_{l})

In other words, we see that the

g l (1, 1)

corresponding to the pair

(g, l)

sits diagonally in the direct product of the two copies of

g l (1, 1)

described above. Let us summarize the above discussion:

Corollary 6.7. Assume

(g, k)

is a hermitian symmetric pair, let

q = l \oplus u

be a

θ

-stable parabolic subalgebra of

g

, and assume that

l \subset k

and

u \supset p^{+}

. Then there are two supercommuting copies of

g l (1, 1)

inside

U (g) \otimes C (s)

. One is spanned by

C_{Δ} (k, l)

C_{Δ}^{-} (k, l)

Δ E (k, l)

and

Δ D (k, l)^{2}

and the other is spanned by

C (g, k)

C^{-} (g, k)

E (g, k)

, and

D (g, k)^{2}

. The diagonal of the product of these two super subalgebras is the copy of

g l (1, 1)

spanned by

C

C^{-}

E

and

D^{2}

from the end of Section 2. □

7 Hodge decomposition for $\bar{u}$ -cohomology in hermitian case

In this section,

(g, k)

is a hermitian symmetric pair,

q = l \oplus u

is a

θ

-stable parabolic subalgebra of

g

, and we assume

l \subset k

and

u \supset p^{+}

Let

V

be a unitary

(g, K)

-module, and consider the form

〈, 〉

V \otimes S

introduced in Section 4. To apply the results of Section 4, we decompose

V \otimes S = V \otimes S_{p} \otimes S_{s \cap k} = V \otimes \land^{\cdot} p^{+} \otimes \land^{\cdot} u \cap k,

and embed

V \otimes \land^{\cdot} p^{+}

V \otimes \land^{\cdot} p^{+} \otimes 1

. The form

〈, 〉

restricts to the analogous definite form on

V \otimes \land^{\cdot} p^{+}

Denote as before by

D = D (g, l)

the Dirac operator for the pair

(g, l)

and by

C = C (g, l)

and

C^{-} = C^{-} (g, l)

its parts coresponding to

u

and

\bar{u}

. By Corollary 6.7,

C = C_{Δ} (k, l) + C (g, k)

, and similarly for

C^{-}

. Moreover, the copy of

g l (1, 1)

corresponding to the pair

(g, k)

supercommutes with the copy of

g l (1, 1)

corresponding to the pair

(k, l)

By Corollary 4.3, the adjoints of

C_{Δ} (k, l)

and

C (g, k)

are respectively

C_{Δ}^{-} (k, l)

and

- C^{-} (g, k)

. So the adjoint of

C

C^{a d j} = C_{Δ}^{-} (k, l) - C^{-} (g, k)

We consider the positive semidefinite operator

Δ = C C^{a d j} + C^{a d j} C = [C, C^{a d j}]

. By the above remarks we have

Δ = [C_{Δ} (k, l) + C (g, k), C_{Δ}^{-} (k, l) - C^{-} (g, k)] = [C_{Δ} (k, l), C_{Δ}^{-} (k, l)] - [C (g, k), C^{-} (g, k)] = D_{Δ} (k, l)^{2} - D (g, k)^{2} .

We know from Section 4 that

V \otimes \land^{\cdot} p^{+}

decomposes into eigenspaces of

D (g, k)^{2}

for eigenvalues

λ \leq 0

. Each eigenspace is

\tilde{K}

-invariant, and each

\tilde{K}

-isotypic component of

V \otimes \land^{\cdot} p^{+}

is contained in an eigenspace. We assume

V

is admissible, so the eigenspaces are finite-dimensional.

Passing from

V \otimes \land^{\cdot} p^{+}

V \otimes S

is tensoring with the finite-dimensional

l

-module

\land^{\cdot} u \cap k

. On this last space, there is no action of

U (g)

U (k_{Δ})

. So every eigenspace of

D (g, k)^{2}

V \otimes \land^{\cdot} p^{+}

just gets tensored with

\land^{\cdot} u \cap k

, and this gives the eigenspace on

V \otimes S

for the same eigenvalue.

Since

D_{Δ} (k, l)^{2}

commutes with

D (g, k)^{2}

, it preserves these eigenspaces. Moreover, the Levi subgroup

L \subset K

corresponding to

l

is compact. So is then the double cover

\tilde{L}

, which acts on

V \otimes S

. Since

\tilde{L}

commutes with

D (g, k)^{2}

, it also preserves its eigenspaces and hence these eigenspaces decompose into

\tilde{L}

-irreducibles. Since

D_{Δ} (k, l)^{2}

is up to a constant equal to the Casimir element of

l_{Δ}

, it follows that

D_{Δ} (k, l)^{2}

diagonalizes on each eigenspace of

D (g, k)^{2}

. To conclude:

Lemma 7.1.

V \otimes S

is a direct sum of eigenspaces for

Δ

. In particular,

V \otimes S = Ker Δ \oplus Im Δ

. □

This is an analogue of Corollary 4.5 for

Δ

in place of

D^{2}

. Now the arguments proving Lemma 4.6 and Theorem 4.7 work without change, and we obtain

Theorem 7.2. (a)

Ker Δ = Ker C \cap Ker C^{a d j}

; (b)

V \otimes S = Ker Δ \oplus Im C \oplus Im C^{a d j}

; (c)

Ker C = Ker Δ \oplus Im C

; (d)

Ker C^{a d j} = Ker Δ \oplus Im C^{a d j}

In other words, we have obtained a Hodge theorem for

\bar{u}

-cohomology.

To obtain it also for

u

-homology, we note that

(C^{-})^{a d j} = (C_{Δ}^{-} (k, l) + C^{-} (g, k))^{a d j} = C_{Δ} (k, l) - C (g, k)

, and so

[C^{-}, (C^{-})^{a d j}] = [C_{Δ}^{-} (k, l) + C^{-} (g, k), C_{Δ} (k, l) - C (g, k)] = [C_{Δ}^{-} (k, l), C_{Δ} (k, l)] - [C^{-} (g, k), C (g, k)] = Δ .

So the situation for

C^{-}

is exactly the same as for

C

and we conclude

Theorem 7.3. (a)

Ker Δ = Ker C^{-} \cap Ker (C^{-})^{a d j}

; (b)

V \otimes S = Ker Δ \oplus Im C^{-} \oplus Im (C^{-})^{a d j}

; (c)

Ker C^{-} = Ker Δ \oplus Im C^{-}

; (d)

Ker (C^{-})^{a d j} = Ker Δ \oplus Im (C^{-})^{a d j}

In other words, Hodge decomposition also holds for

u

-homology. Moreover, we see that

\bar{u}

-cohomology and

u

-homology have the same set of harmonic representatives,

Ker Δ

. In particular they are isomorphic.

We now want to relate

\bar{u}

-cohomology and

u

-homology to Dirac cohomology with respect to

D (g, l)

. The main observation here is

Lemma 7.4.

Ker Δ = Ker D_{Δ} (k, l)^{2} \cap Ker D (g, k)^{2} = Ker D_{Δ} (k, l) \cap Ker D (g, k)

Proof. The operators $D_{Δ} (k, l)^{2}$ and $- D (g, k)^{2}$ are both positive semidefinite and their sum is $Δ$ . This immediately implies the first equality. The second follows from $Ker D_{Δ} (k, l)^{2} = Ker D_{Δ} (k, l)$ (since $D_{Δ} (k, l)$ is self-adjoint) and $Ker D (g, k)^{2} = Ker D (g, k)$ (since $D (g, k)$ is anti-self-adjoint). □

We can now combine Theorems 7.2 and 7.3 with Lemmas 7.4 and 4.6 to conclude

Corollary 7.5.

Ker Δ = Ker C_{Δ} (k, l) \cap Ker C_{Δ}^{-} (k, l) \cap Ker C (g, k) \cap Ker C^{-} (g, k) .

Proof. It is obvious that the left hand side contains the right hand side. Conversely, if $x \in Ker Δ$ , then $C x = 0$ by Theorem 7.2, $D (g, k) x = 0$ by Lemma 7.4, so $C (g, k) x = 0$ by Lemma 4.6 and so also $C x - C (g, k) x = C_{Δ} (k, l) x = 0$ . Analogously, $C^{-} (g, k) x = 0$ and $C_{Δ}^{-} (k, l) x = 0$ . □

Since

Ker C_{Δ} (k, l) \cap Ker C (g, k)

can be thought of as the kernel of

C_{Δ} (k, l)

acting on the kernel of

C (g, k)

, and similarly for the

C^{-}

-operators, in view of Theorem 4.7 and Remark 4.8 we can reinterprete Corollary 7.5 as follows:

Corollary 7.6. To calculate the

\bar{u}

-cohomology of

V

, one can first calculate the

p^{-}

-cohomology of

V

to obtain a

\tilde{K}

-module, and then calculate the

\bar{u} \cap k

-cohomology of this module. Analogously, to calculate the

u

-homology of

V

, one can first calculate the

p^{+}

-homology of

V

, and then the

u \cap k

-homology of the resulting

\tilde{K}

-module. □

Remark 7.7. Note that this is in fact the Hochschild-Serre spectral sequence for the ideal

p^{-}

\bar{u}

respectively the ideal

p^{+}

u

. What we have obtained is that these Hochschild-Serre spectral sequences are always degenerate for a unitary

(g, K)

-module

V

. □

We now turn our attention to the Dirac cohomology of

D = D (g, l)

. In addition to the above considerations, we bring in Corollary 5.6, and note that for both

D_{Δ} (k, l)

and

D (g, k)

the cohomology is the same as the kernel or the kernel of the square. Thus we obtain:

Theorem 7.8. The Dirac cohomology

H_{D} (g, l; V)

of a unitary

(g, K)

-module

V

is isomorphic to the

\bar{u}

-cohomology of

V

and the

u

-homology of

V

up to appropriate modular twists. Moreover, all three cohomologies have the same set of harmonic representatives,

Ker Δ

. □

8 Homological properties of Dirac cohomology

Let us start by showing that although we proved that in some cases Dirac cohomology of a unitary

(g, K)

-module with respect to

D (g, l)

can be identified with

\bar{u}

-cohomology or

u

-homology, one should by no means expect that these notions agree for general

(g, K)

-modules. Let us see that this is not the case even for

(s l (2, C), S O (2))

-modules.

Consider the module

V

which is a nontrivial extension of the discrete series representation

W

of highest weight

- 2

by the trivial module

C

0 \to C \to V \to W \to 0 .

(In other words,

V

is a dual Verma module.) The

k

-weights of

V

(for the basis element

[\begin{matrix} 0 & - i \\ i & 0 \end{matrix}]

k

) are

0, - 2, - 4, . . .

. We are considering the case

l = k

u

is spanned by

u = \frac{1}{2} [\begin{matrix} 1 & i & i & - 1 \end{matrix}]

and

\bar{u}

is spanned by

u^{*} = \frac{1}{2} [\begin{matrix} 1 & - i & - i & - 1 \end{matrix}]

For any

(s l (2, C), S O (2))

-module

X

we have

X \otimes S = X \otimes 1 \oplus X \otimes u,

with

d : X \otimes 1 \to X \otimes u

given by

d (v \otimes 1) = u^{*} \cdot v \otimes u

\partial : X \otimes u \to X \otimes 1

given by

\partial (v \otimes u) = u \cdot v \otimes 1

, and

D = d - 2 \partial

. By an easy direct calculation, we see that

H_{0} (u; V) = 0; H_{1} (u; V) = C v_{0} \otimes u; H^{0} (\bar{u}; V) = C v_{0} \otimes 1; H^{1} (\bar{u}; V) = C v_{0} \otimes u \oplus C v_{- 2} \otimes u; H_{D} (V) = Ker D = C v_{0} \otimes u .

as vector spaces. Here

v_{i}

denotes a vector in

V

k

-weight

i

. So we see

H_{D} (V) = H_{\cdot} (u; V) \neq H^{\cdot} (\bar{u}; V)

On the other hand, for

C

and

W

another easy calculation (which can be shortened by using Theorem 4.7, as both

C

and

W

are unitary) implies

H^{0} (\bar{u}; C) = H_{0} (u; C) = H_{D}^{0} (C) = C 1 \otimes 1; H^{1} (\bar{u}; C) = H_{1} (u; C) = H_{D}^{1} (C) = C 1 \otimes u; H^{0} (\bar{u}; W) = H_{0} (u; W) = H_{D}^{0} (W) = 0; H^{1} (\bar{u}; W) = H_{1} (u; W) = H_{D}^{1} (W) = C v_{- 2} \otimes u .

To explain why Dirac cohomology of

V

differs from the

\bar{u}

-cohomology of

V

, we will examine their behavior with respect to extensions. Recall the well known long exact sequences for Lie algebra homology and cohomology corresponding to our short exact sequence

0 \to C \to V \to W \to 0 .

They are

0 \to C 1 \otimes u \to C v_{0} \otimes u \to 0 C v_{- 2} \otimes u \to C 1 \otimes 1 \to 0 \to 0 \to 0

for

u

-homology and

0 \to C 1 \otimes 1 \to C v_{0} \otimes 1 \to 0 \to C 1 \otimes u \to C v_{- 2} \otimes u \oplus C v_{0} \otimes u \to C v_{- 2} \otimes u \to 0

for

\bar{u}

-cohomology. Here all arrows are the obvious ones except for the one labelled by

0

For Dirac cohomology, instead of a long exact sequence (which clearly does not makes sense in general, as Dirac cohomology is not

Z

-graded), there is a six-term exact sequence.

In the above example, this sequence is

C 1 \otimes 1 - - - - \to 0 - - - - \to 0 ↑ ↓ C v_{- 2} \otimes u \leftarrow - - - - 0 C v_{0} \otimes u \leftarrow - - - - C 1 \otimes u

We see that in this example the six-term sequence agrees with the

u

-homology long exact sequence only because of the presence of zeros; in general, all three sequences are different.

To define the six-term sequence in a more general situation, let us assume that the Dirac cohomology is

Z_{2}

-graded. This happens whenever we are starting from

g = r \oplus s

with

s

even-dimensional; this is automatic when

r = l

is a Levi subalgebra. Let

0 \to X \to i Y \to p Z \to 0

be a short exact sequence of

(g, K)

-modules. Tensor this sequence by

S

, and denote the arrows still by

i

and

p

(they get tensored by the identity on

S

). Assuming that

D^{2}

is a semisimple operator for each of the three modules, we can construct a six-term exact sequence

H_{D}^{0} (X) - - - - \to H_{D}^{0} (Y) - - - - \to H_{D}^{0} (Z) ↑ ↓ H_{D}^{1} (Z) \leftarrow - - - - H_{D}^{1} (Y) \leftarrow - - - - H_{D}^{1} (X)

The horizontal arrows are induced by

i

and

p

. The vertical arrows are the connecting homomorphisms, defined as follows. Let

z \in Z \otimes S

represent a Dirac cohomology class, so

D z = 0

. Choose

y \in Y \otimes S

such that

p y = z

. Since

D^{2}

is semisimple, we can assume

D^{2} y = 0

. Since

p D y = D p y = D z = 0

, we see that

D y = i x

for some

x \in X

. Since

D^{2} y = 0

, we see that

D x = 0

, so

x

defines a cohomology class. This class is by definition the image of the class of

z

under the connecting homomorphism. Clearly, we changed parity when we applied

D

, and this defines both vertical arrows at once. It is easy to see that this map is well defined, and that the resulting six-term sequence is exact. To conclude:

Theorem 8.1. Let

g = r \oplus s

be an orthogonal decomposition, with

r

a reductive subalgebra and

s

even-dimensional. Let

0 \to X \to Y \to Z \to 0

be a short exact sequence of

(g, K)

-modules and assume that the square of the Dirac operator

D (g, r)

is a semisimple operator for

X

Y

and

Z

. Then there is a six-term exact sequence corresponding to this short exact sequence, as described above. □

Finally, let us comment on what can be done when

s

is odd dimensional, say

dim s = 2 n + 1

. The usual spin modules

S_{1}

and

S_{2}

are not

Z_{2}

-graded and thus it seems the above construction does not make sense. Recall that

S_{1}

and

S_{2}

are defined by writing

s = C^{2 n} \oplus C

, considering the spin module for

C (C^{2 n})

, and letting the last basis element of

s

act in two different ways (preserving the even and odd subspace instead of exchanging them).

We can instead consider the unique irreducible graded module

\tilde{S}

C (s)

. It can be constructed as the restriction of the (unique) spin module for

C (C^{2 n + 2})

C (s) \subset C (C^{2 n + 2})

. As a non-graded module,

\tilde{S}

decomposes as

S_{1} \oplus S_{2}

. If we define Dirac cohomology using

\tilde{S}

in place of

S_{1}

S_{2}

, we double it, but we do get a

Z_{2}

-grading.

Then the above construction works also in the odd case. Thus, this is probably a more natural definition of Dirac cohomology in the odd case.

It remains to see what can be done if

D^{2}

is not a semisimple operator. One possibility might be to consider a more general definition of Dirac cohomology in that setting.

References

J. Adams, Nilpotent cohomology of the oscillator representation, J. Reine Angew. Math. 449 (1994), 1–7.
A. Alekseev, E. Meinrenken, Lie theory and the Chern-Weil homomorphism, math.RT/0308135.
M. Atiyah, W. Schmid, A geometric construction of the discrete series for semisimple Lie groups, Invent. Math. 42 (1977), 1–62.
A. Borel, N. Wallach, Continuous cohomology, discrete subgroups, and representations of reductive groups, Second edition. Mathematical Surveys and Monographs, 67. American Mathematical Society, Providence, RI, 2000.
W. Casselman, M. S. Osborne, The $n$ -cohomology of representations with an infinitesimal character, Comp. Math. 31 (1975), 219–227.
C. Chevalley, The algebraic theory of spinors, Columbia University Press, 1954.
D. H. Collingwood, The $n$ -homology of Harish-Chandra modules: generalizing a theorem of Kostant, Math. Ann. 272 (1985), no. 2, 161–187.
A. Connes, H. Moscovici, The $L^{2}$ -index theorem for homogeneous spaces of Lie groups, Ann. of Math. 115 (1982), no. 2, 291–330.
T. J. Enright, Analogues of Kostant's $u$ -cohomology formulas for unitary highest weight modules, J. Reine Angew. Math. 392 (1988), 27–36.
R. Hotta, R. Parthasarathy, A geometric meaning of the multiplicities of integrable discrete classes in $L^{2} (Γ \ G)$ , Osaka J. Math. 10 (1973), 211–234.
J.-S. Huang, P. Pandžić, Dirac cohomology, unitary representations and a proof of a conjecture of Vogan, J. Amer. Math. Soc. 15 (2002), 185–202.
J.-S. Huang, P. Pandžić, Dirac operators in representation theory, Representations of Real and P-adic Groups, Lecture Notes Series, Vol. 2, Institute for Mathematical Sciences, National University of Singapore, Singapore University Press and World Scientific, 2004, pp. 163-219.
V. Kac, Lie superalgebras, Adv. in Math. 26 (1977), 8–96.
B. Kostant, Lie algebra cohomology and the generalized Borel-Weil theorem, Ann. of Math. 74 (1961), 329–387.
B. Kostant, A cubic Dirac operator and the emergence of Euler number multiplets of representations for equal rank subgroups, Duke Math. Jour. 100 (1999), 447–501.
B. Kostant, A generalization of the Bott-Borel-Weil theorem and Euler number multiplets of representations, Lett. Math. Phys. 52 (2000), 61–78.
B. Kostant, Dirac cohomology for the cubic Dirac operator, Studies in memory of I. Schur, in Progress of Math. vol. 210 (2003), 69–93.
S. Kumar, Induction functor in non-commutative equivariant cohomology and Dirac cohomology, preprint, University of North Carolina, 2003.
R. Langlands, The dimension of spaces of automorphic forms, Amer. J. of Math. 85 (1963), 99–125.
R. Parthasarathy Dirac operator and the discrete series, Ann. of Math. 96 (1972), 1–30.
W. Schmid, $L^{2}$ -cohomology and the discrete series, Ann. of Math. 103 (1976), 375–394.
D.A. Vogan, Representations of real reductive Lie groups, Birkhäuser, Boston, 1981.
D.A. Vogan, Dirac operators and unitary representations, 3 talks at MIT Lie groups seminar, Fall 1997.
D.A. Vogan, $n$ -cohomology in representation theory, a talk at “Functional Analysis VII”, Dubrovnik, Croatia, September 2001.
N. R. Wallach, Real Reductive Groups, Volume I, Academic Press, 1988.

Department of Mathematics, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong SAR, China E-mail address : mahuang@ust.hk Department of Mathematics, University of Zagreb, Bijenicka 30, 10000 Zagreb, Croatia E-mail address : pandzic@math.hr Centre de mathematiques Laurent Schwartz, Ecole Polytechnique, 91128 Palaiseau Cedex, France E-mail address : renard@math.polytechnique.fr

Jing-Song Huang, Pavle Pandžić,

David Renard