Dirac cohomology, unitary representations and a proof of a conjecture of Vogan

Let be a connected semisimple Lie group with finite center. Let be the maximal compact subgroup of corresponding to a fixed Cartan involution . We prove a conjecture of Vogan which says that if the Dirac cohomology of an irreducible unitary -module contains a -type with highest weight , then has infinitesimal character . Here is the half sum of the compact positive roots. As an application of the main result we classify irreducible unitary -modules with non-zero Dirac cohomology, provided has a strongly regular infinitesimal character. We also mention a generalization to the setting of Kostant's cubic Dirac operator.