---
title: Vogan's Conjecture in Representation Theory
url: https://www.emergentmind.com/topics/vogan-s-conjecture
type: topic
---

# Vogan's Conjecture in Representation Theory

“Vogan’s Conjecture” is not a single statement but a family of conjectures attached to David Vogan’s program in representation theory. In current usage, the label most often refers to one of three technically distinct assertions: the Dirac-cohomological determination of infinitesimal character; the identification of Arthur packets with geometrically defined ABV-packets for \(p\)-adic groups; and the fundamental parallelepiped constraint on unitary representations with real infinitesimal character. Recent work has converted substantial parts of each formulation into theorem, while also extending the underlying mechanisms to category \(\mathcal O\), algebraic families, graded affine Hecke algebras, rational Cherednik algebras, and quantum groups [2508.00547] [2404.07463] [2407.16512].

## 1. Principal meanings of the term

The modern literature uses the expression in several related but non-equivalent senses.

| Formulation | Representative statement | Status in the data |
|---|---|---|
| Dirac cohomology | \(H_D\) determines the infinitesimal character up to Weyl conjugacy | Classical theorem and multiple extensions |
| \(p\)-adic ABV/A-packets | \(\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)\) for \(\phi=\phi_\psi\) | Tempered case proved generally; \(\mathrm{GL}_n\) proved fully |
| Fundamental parallelepiped | Fully supported Hermitian modules outside FPP are non-unitary | Proved for complex simple groups |

In the real-group Dirac setting, the conjecture says that if Dirac cohomology contains a \(\widetilde K\)-type of highest weight \(\mu\), then the infinitesimal character is \(W(\mathfrak g,\mathfrak h)\)-conjugate to \((\mu+\rho_{\mathfrak k})^{\mathfrak t}_{\mathfrak h}\) [2508.00547]. In the \(p\)-adic setting, Vogan’s conjecture on \(A\)-packets predicts that the geometrically defined ABV-packet attached to a local Arthur parameter recovers Arthur’s packet [2404.07463]. In the unitary-dual setting for complex groups, Vogan’s fundamental parallelepiped conjecture asserts that nontrivial unitary phenomena for fully supported irreducible Hermitian modules with real infinitesimal character occur only inside a bounded region of the dominant chamber [2407.16512].

## 2. Dirac cohomology and infinitesimal character

For a connected real reductive Lie group with Cartan decomposition \(\mathfrak g=\mathfrak k\oplus\mathfrak p\), the algebraic Dirac operator is the canonical \(K\)-invariant element
\[
D\in U(\mathfrak g)\otimes Cl(\mathfrak p,\beta|_{\mathfrak p}),
\]
acting on \(V\otimes S\), where \(S\) is a spin module. Its square satisfies the fundamental identity
\[
2D^2=\Omega(\mathfrak g,\beta)\otimes 1-\Omega(\mathfrak k_\Delta,\beta|_{\mathfrak k})+\|\rho_{\mathfrak g}\|^2-\|\rho_{\mathfrak k}\|^2.
\]
The corresponding Dirac cohomology is
\[
H_D(V)=\ker D/(\ker D\cap \operatorname{im} D).
\]
In the formulation recorded in the recent family-theoretic treatment, if \(V\) is an irreducible \((\mathfrak g,K)\)-module and \(H_D(V)\) contains a \(\widetilde K\)-type of highest weight \(\mu\in\mathfrak t^*\), then the infinitesimal character \(\lambda\in\mathfrak h^*\) is \(W(\mathfrak g,\mathfrak h)\)-conjugate to \((\mu+\rho_{\mathfrak k})^{\mathfrak t}_{\mathfrak h}\) [2508.00547]. This is the Huang–Pandžić resolution of the classical Dirac-cohomological form of Vogan’s conjecture.

The same mechanism persists in the full BGG category \(\mathcal O\). For a finite-dimensional complex semisimple \(\mathfrak g\), a reductive \(\mathfrak h\subset\mathfrak g\) containing a Cartan \(\mathfrak t\), and the cubic Dirac operator \(D_{\mathfrak g,\mathfrak h}\), the paper on category \(\mathcal O\) proves that for any \(M\in\mathcal O_{\chi_\lambda}\), the Dirac cohomology \(H_D^{\mathfrak g,\mathfrak h}(M)\) is finitely generated, belongs to \(\mathcal O(\mathfrak h)\), and satisfies
\[
H_D^{\mathfrak g,\mathfrak h}(M)^{\xi_\mu}\neq 0 \;\Longrightarrow\; \mu \text{ is } W\text{-conjugate to }\lambda.
\]
It also proves a nonvanishing theorem: if \(M\neq 0\), then \(H_D^{\mathfrak g,\mathfrak h}(M)\neq 0\) [2209.12566]. In the Hermitian symmetric case \((\mathfrak g,\mathfrak k)\) with \(M\) unitary in \(\mathcal O\), Dirac cohomology is identified with nilpotent Lie algebra cohomology,
\[
H_D^{\mathfrak g,\mathfrak k}(M)\cong H^\bullet(\mathfrak p^+;M)\otimes \mathbb C_{\rho-\rho_{\mathfrak k}},
\]
which makes the conjecture compatible with Hodge-theoretic structures already present in highest-weight theory [2209.12566].

A further extension places the conjecture in algebraic one-parameter families interpolating a real reductive group and its Cartan motion group. For deformation-like families
\[
\mathfrak g_{(n)}=(\mathbb C[t]\otimes \mathfrak k)\oplus (t^n\mathbb C[t]\otimes \mathfrak p),
\]
the family Dirac operator \(D(\mathfrak g_{(n)},\beta,t^n)\) satisfies a family square formula, and if a generically irreducible admissible family has nonzero family Dirac cohomology then its family infinitesimal character is \(W(\mathfrak g,\mathfrak h)\)-conjugate to \(I_R\otimes(\mu+\rho_{\mathfrak k})^{\mathfrak t}_{\mathfrak h}\). In particular, the family infinitesimal character is constant across the deformation parameter [2508.00547].

## 3. Analogues in Hecke, Cherednik, and quantum settings

The Dirac formulation of Vogan’s conjecture has robust analogues outside the classical \((\mathfrak g,K)\)-module category. For graded affine Hecke algebras \(H\), the Dirac element \(D\in H\otimes C(V)\) satisfies
\[
D^2=-\Omega\otimes 1+\rho(\Omega_{\widetilde W}),
\]
and the resulting theorem says that if \(X\) is an \(H\)-module with nonzero Dirac cohomology and a genuine \(\widetilde W\)-type \(\sigma\) occurs in \(H_D(X)\), then the central character of \(X\) is the one attached to the nilpotent orbit \(\Psi(\sigma)\) under Ciubotaru’s parametrization [1006.3822]. This is explicitly presented as an affine-Hecke analogue of Vogan’s conjecture.

For rational Cherednik algebras \(H_{t,c}(W,\mathfrak h)\), the half-Dirac operators
\[
D_x=\sum_i x_i\otimes y_i,\qquad D_y=\sum_i y_i\otimes x_i
\]
satisfy \(D_x^2=D_y^2=0\), and their cohomology identifies with Lie algebra cohomology and homology. The paper proves a Casselman–Osborne type theorem via a Dirac morphism \(\zeta_d\): if \(\sigma\otimes \beta\) occurs in \(H^\bullet(\mathfrak h^*,M)\), then \(\zeta_d^*(\sigma\otimes \chi)=\beta\); at \(t=0\), if an irreducible \(W\)-module \(\nu\) occurs in \(H^\bullet(\mathfrak h^*,M)\), then the central character of \(M\) is \(\zeta_d^*(\nu\otimes \chi)\) [1511.07965]. The paper describes this as the rational-Cherednik counterpart of the statement that Dirac-type cohomology determines infinitesimal or central character.

For the quantum group \(U_q(\mathfrak{sl}_2)\), the Dirac operator
\[
D=E\otimes c(F_0)+F\otimes c(E_0)
\]
admits a Harish–Chandra-type morphism \(\zeta\) such that, for every central element \(z\),
\[
z\otimes 1=\zeta(z)+Da+aD
\]
for a suitable \(U_q(\mathfrak k)\)-invariant \(a\). If \(H_D(M)\) contains a \(U_q(\mathfrak k)\)-type of character \(\chi_i\), then the infinitesimal character \(\chi\) of \(M\) satisfies \(\chi=\chi_i\circ\zeta\) [1702.02435]. This is the quantum \(\mathfrak{sl}_2\) analogue of Vogan’s conjecture.

## 4. ABV-packets, Arthur packets, and the \(p\)-adic formulation

In the \(p\)-adic setting, Vogan’s conjecture concerns the relation between Arthur’s \(A\)-packets and the microlocally defined ABV-packets. For a Langlands parameter
\[
\phi:W_F'=W_F\times SL_2(\mathbb C)\to {}^LG,
\]
the associated infinitesimal parameter is
\[
\lambda_\phi(w)=\phi\!\left(w,\operatorname{diag}(|w|^{1/2},|w|^{-1/2})\right).
\]
Fixing \(\lambda\), one forms the Vogan variety
\[
V_\lambda=\{x\in \hat{\mathfrak g}\mid \operatorname{Ad}(\lambda(w))x=|w|x,\ \forall w\in W_F\},
\]
with \(H_\lambda=Z_{\hat G}(\lambda)\) acting by conjugation. Langlands parameters with infinitesimal parameter \(\lambda\) correspond to \(H_\lambda\)-orbits in \(V_\lambda\). The ABV-packet is defined via microlocal vanishing cycles of \(H_\lambda\)-equivariant perverse sheaves on \(V_\lambda\), and Vogan’s conjecture on \(A\)-packets predicts that if \(\psi\) is an Arthur parameter and \(\phi=\phi_\psi\), then
\[
\Pi^{\mathrm{ABV}}_\phi(G)=\Pi^A_\psi(G)
\]
[2404.07463].

A decisive recent theorem establishes the tempered case. If \(\psi\) is tempered, equivalently if the Arthur \(SL_2\) is trivial, then \(\phi=\phi_\psi\) is tempered, open, and of Arthur type, and one has
\[
\Pi^{\mathrm{ABV}}_\phi(G)=\Pi_\phi(G)=\Pi^A_\psi(G).
\]
More generally, if \(\phi\) is open, then the ABV-packet equals the \(L\)-packet for any connected reductive group [2404.07463]. The later Whittaker-normalization paper strengthens this by proving that ABV-packets are independent of the choice of Whittaker datum as sets, determining the precise twist on the internal parametrization under change of datum, and proving that for open \(\phi\) the microlocal fundamental group \(A^\phi\) equals the usual component group \(A_\phi\), with the normalized vanishing-cycles map coinciding with the LLC parametrization. For tempered Arthur parameters, the ABV internal parametrization coincides with Arthur’s internal parametrization after identifying \(A^\phi\cong A_\psi\) [2412.06824].

The geometry is controlled by the open-orbit criterion. For any \(\phi\),
\[
L(s,\phi,\operatorname{Ad}) \text{ is regular at } s=1
\quad\Longleftrightarrow\quad
C_\phi \text{ is the open } H_\lambda\text{-orbit in }V_\lambda,
\]
and, under the Gross–Prasad–Rallis criterion, this is equivalent to packet genericity. In the ABV setting, the conjecture that \(\Pi^{\mathrm{ABV}}_\phi(G)\) contains a generic representation iff \(\phi\) is open is proved for quasi-split classical groups and pure inner forms [2404.07463] [2412.06824].

For \(\mathrm{GL}_n\), Vogan’s conjecture on Arthur packets has been proved completely. First, the irreducible Arthur-parameter case was settled by identifying the vanishing-cycles packet with the singleton Arthur packet attached to the corresponding ladder or Speh representation [2206.01027]. This was then extended to all Arthur parameters for \(p\)-adic \(\mathrm{GL}_n\), where both the Arthur packet and the ABV-packet are singletons, and the paper proves
\[
\Pi^{\mathrm{ABV}}_{\phi_\psi}(G)=\Pi_\psi(G)=\{\pi_\psi\}
\]
for every Arthur parameter \(\psi\) [2302.10300]. A subsequent paper supplied a new proof of the generalized combinatorial lemma underlying the Cunningham–Ray strategy, again in the \(\mathrm{GL}_n\) case [2311.00249].

The conjectural framework is also borne out in explicit exceptional examples. For unipotent representations of split \(p\)-adic \(G_2\), all ABV-packets and packet coefficients have been computed; ABV extends LLC, is compatible with Aubert duality, and verifies the expected Arthur-type normalization in the relevant cases, while isolating the remaining issues of full stability and comparison with Langlands–Shelstad transfer [2101.04578].

## 5. The fundamental parallelepiped conjecture

Vogan’s fundamental parallelepiped conjecture concerns the unitary dual rather than Dirac cohomology or Arthur packets. In the complex-group setting fixed in the recent proof, let \(G\) be a connected complex simple Lie group viewed as a real group, with dominant real infinitesimal character \(\Lambda\). The parameter lies inside the FPP when
\[
\langle \Lambda,\beta_i^\vee\rangle\le 1
\]
for all simple roots \(\beta_i\); in the dominant chamber this is equivalent to
\[
\Lambda=\sum_i c_i\varpi_i,\qquad 0\le c_i\le 1.
\]
Dong and Wong prove a sharpened version: if \(\pi\) is an irreducible, fully supported, Hermitian \((\mathfrak g,K)\)-module with dominant real infinitesimal character \(\Lambda\) and \(\Lambda\) does not lie inside the FPP, then \(\pi\) is not unitary up to level \(p\), hence non-unitary. This establishes Vogan’s FPP conjecture for all complex simple Lie groups [2407.16512].

The consequence is a finite reduction of the classification problem. After cohomological or parabolic reduction to fully supported modules, only parameters in the bounded region
\[
0\le \langle \Lambda,\beta_i^\vee\rangle\le 1
\]
need be checked. The proof uses Vogan’s notion of support, Speh–Vogan bottom layer theory, cx-basic \(K\)-types, and explicit analysis in types \(B\), \(C\), \(F_4\), and \(G_2\), with exceptional checks handled case by case [2407.16512].

Independent evidence for the FPP picture comes from Dirac-series classifications of exceptional real forms. For \(E_{7(7)}\), the classification yields \(125\) fully supported scattered Dirac-series representations and \(2057\) strings; the paper states that the calculation partially supports the FPP conjecture, and the fully supported cases have u-small spin-lowest \(K\)-types [2210.15833]. For \(E_{8(-24)}\), the classification yields \(211\) fully supported scattered representations and \(3766\) strings, and the paper states that the calculation continues to support the FPP conjecture; all spin-lowest \(K\)-types of the fully supported scattered part are u-small [2402.00286]. These results do not prove the conjecture in the real-exceptional setting, but they provide a large body of computational evidence aligned with the bounded-region philosophy.

## 6. Methods, consequences, and unresolved cases

Across its different formulations, Vogan’s conjectural program is unified by a small set of structural devices. In the Dirac setting, the key ingredients are the square of the Dirac operator, the associated inequality, and a Dirac morphism from the center to a smaller commutative algebra; these recur in real groups, category \(\mathcal O\), graded affine Hecke algebras, Cherednik algebras, and quantum groups [2209.12566] [1006.3822]. In the \(p\)-adic packet setting, the central objects are Vogan varieties, conormal geometry, equivariant perverse sheaves, and vanishing-cycles functors, with Kazhdan–Lusztig-type multiplicity input bridging geometry and standard-module theory [2404.07463]. In the FPP setting, the decisive tools are support reduction, bottom-layer signature comparison, and explicit control of low-level \(K\)-types [2407.16512].

Several consequences already go beyond the original statements. In the \(p\)-adic setting, one direction of the Gross–Prasad conjecture is proved under the LLC and the \(p\)-adic Kazhdan–Lusztig hypothesis: if an \(L\)-packet contains a generic representation, then \(L(s,\phi,\operatorname{Ad})\) is regular at \(s=1\). The same paper proves the analogous ABV-packet statement and shows that, together with Vogan’s conjecture on ABV-packets, it implies one direction of Shahidi’s enhanced genericity conjecture: if an Arthur packet contains a generic representation, then \(\phi_\psi\) is tempered, provided Arthur’s conjectures for \(G\) are known [2504.04163].

What remains open is sharply formulation-dependent. The non-tempered \(p\)-adic equality \(\Pi^{\mathrm{ABV}}_{\phi_\psi}(G)=\Pi^A_\psi(G)\) is still open in general; the recent general theorem covers open parameters and the tempered Arthur case, and the full non-tempered statement is established only for \(\mathrm{GL}_n\) in the supplied data [2412.06824] [2302.10300]. The FPP conjecture is proved for complex simple groups, but its extension to all real reductive groups remains open [2407.16512]. In the \(G_2\) unipotent case, the ABV computation leaves open the full stability of certain elliptic packets and the identification of geometric transfer with Langlands–Shelstad transfer [2101.04578].

The result is that “Vogan’s Conjecture” now names a cluster of theorems, partial theorems, and active conjectures rather than a single unresolved problem. In each version, the common thesis is that subtle spectral data—infinitesimal character, Arthur packet structure, or unitarity—can be read from a comparatively rigid geometric or Dirac-theoretic object.

Source: https://www.emergentmind.com/topics/vogan-s-conjecture