Dirac induction for Harish-Chandra modules

Let G be a connected real reductive Lie group with Cartan involution Θ, such that K = G^Θ is a maximal compact subgroup of G, and such that G and K have equal rank. Let g be the complexified Lie algebra of G. We introduce new notions of Dirac cohomology and homology of a Harish- Chandra module X for the pair (g,K). If X is unitary or finite-dimensional, then these new notions both coincide with the version of Dirac cohomology introduced by Vogan and further studied by Huang-Pandžić and others. The new notions have certain advantages. Notably, if X is irreducible and has nonzero Dirac cohomology (respectively homology), then X is uniquely determined by its Dirac cohomology (respectively homology). Furthermore, one can define adjoint functors that we call Dirac induction functors. We study basic properties of these functors and we calculate their result explicitly in some examples.