---
title: Higher Deligne–Lusztig Reps
url: https://www.emergentmind.com/topics/higher-deligne-lusztig-representations
type: topic
---

# Higher Deligne–Lusztig Reps

Higher Deligne–Lusztig representations are cohomologically defined virtual representations attached to reductive groups over finite quotients of discrete valuation rings, parahoric quotients of \(p\)-adic groups, and related semi-infinite or loop-theoretic spaces. They generalize classical Deligne–Lusztig induction from finite reductive groups to settings with positive depth, congruence filtration, and affine or semi-infinite geometry. In the finite-ring model, one starts from a connected reductive group scheme \(\mathbb{G}\) over a discrete valuation ring \(\mathcal O\), passes to the level-\(r\) quotient \(\mathcal O_r=\mathcal O/\varpi^r\), and forms the Lang-preimage variety \(L^{-1}(FU)\) or its mixed-level variants; for a character \(\theta\in \mathrm{Irr}(T^F)\), the associated virtual representation is
\[
R_{T,U}^{\theta}:=\sum_i(-1)^i H_c^i\!\big(L^{-1}(FU),\overline{\mathbb Q_\ell}\big)_\theta.
\]
In parahoric and deep-level settings the same pattern persists, but \(G_r\) is replaced by Moy–Prasad quotients or positive-loop group schemes, and the resulting cohomology realizes positive-depth representation-theoretic constructions. Across these settings, higher Deligne–Lusztig theory serves as a geometric mechanism for producing irreducible representations, establishing character formulas, and relating geometric constructions to algebraic inductions, Yu types, and local Langlands phenomena [1604.01615] [2406.06430] [2601.06929].

## 1. Finite-ring foundations and the higher Lang construction

The finite-ring theory begins with a connected reductive group scheme \(\mathbb G\) over a complete discrete valuation ring \(\mathcal O\) with residue field \(\mathbb F_q\), and the level quotient \(\mathcal O_r=\mathcal O/\varpi^r\). After passage through the Greenberg functor, one obtains an algebraic group \(G=G_r\) over \(\mathbb F_q\) with Frobenius \(F\), together with reduction morphisms
\[
\rho_{r,i}\colon G\to G_i,
\]
whose kernels \(G^i\) form the congruence filtration. For a maximal torus \(T\subseteq G\) and a Borel \(B=TU\), the basic higher Deligne–Lusztig variety is the Lang fiber \(L^{-1}(FU)\), where \(L(g)=g^{-1}F(g)\), and the associated virtual representation is the alternating compactly supported \(\ell\)-adic cohomology in the \(\theta\)-isotypic part [1604.01615] [2311.05354].

A parallel formulation uses mixed-level subgroups
\[
U^{b,r-b}:=U^b (U^-)^{r-b},
\]
and defines
\[
R_{T,U,b}^{\theta}:=\sum_i(-1)^iH_c^i\big(L^{-1}(FU^{b,r-b}),\overline{\mathbb Q_\ell}\big)_\theta.
\]
This interpolates between the standard higher Deligne–Lusztig representation \(R_{T,U}^{\theta}=R_{T,U,r}^{\theta}\) and other Deligne–Lusztig type constructions relevant to algebraisation and Gérardin-type representations [1807.02912] [1711.10208].

Genericity conditions are central. The finite-ring literature distinguishes general position, regularity, genericity, and strong genericity. Regularity is expressed by nontriviality on norm images from root subtori, general position by trivial stabilizer in the finite Weyl group, and strong genericity by an additional stabilizer condition on the inflated character \(\widetilde{\theta}\) along congruence subgroups. Under regularity and general position, higher Deligne–Lusztig representations are irreducible up to sign; this extends the classical irreducibility criterion to finite local rings [2311.05354] [1604.01615].

The same formalism admits combinatorial and flag-theoretic enlargements. For \(\mathrm{GL}_n\) and \(\mathrm{SL}_n\), admissible flags in \((\overline{\mathbb F_q[[\pi]]/\pi^r})^n\) give a family of virtual representations
\[
R_{\mathcal F,C}^{\theta}
\]
that contains ordinary higher Deligne–Lusztig representations as special cases and, in the stated ranges, affords all nilpotent orbit representations, all regular orbit representations for \(\mathrm{GL}_n\), and invariant Lie algebra characters when \(r=2\) [1904.00769].

## 2. Character formulas, Green functions, and inner products

A major structural advance in higher Deligne–Lusztig theory is the extension of the Deligne–Lusztig character formula from finite fields to finite local rings. For \(g=su\in G^F\) with Jordan decomposition, the higher character \(\mathfrak R_{T,U,b}^{\theta}(g)\) is expressed as a sum over conjugacy data \(h\) with \(s\in {}^h(T_1)^F\), together with a second sum over \(\tau\in {}^h(T^1)^F\), and a trace on compactly supported cohomology of a centralizer-intersected Deligne–Lusztig variety. This motivates a two-variable Green function
\[
Q_{T^h,U^h,b}^{G^h}(u,\tau)
=
\frac{1}{|T^F|}
\mathrm{Tr}\Big((u,\tau)\,\Big|\,\sum_i(-1)^iH_c^i\big(L^{-1}(FU^{r-b,b})^h,\overline{\mathbb Q_\ell}\big)\Big),
\]
which depends simultaneously on a unipotent element \(u\) and a torus congruence parameter \(\tau\) [1807.02912].

These Green functions satisfy the analogues of classical summation identities. In particular,
\[
\sum_{u\in (\mathcal U_{G^x})^F}\ \sum_{\tau\in ((T^1)^x)^F}
Q_{T^x,U^x,b}^{G^x}(u,\tau)
=
|G^F/T_1^F|,
\]
and the averaged Green function
\[
u\mapsto \sum_{\tau\in (T^1)^F}Q_{T,U,b}^G(u,\tau)
\]
is \(\mathbb Z\)-valued on unipotent classes. The dependence on \((T^1)^F\) is a genuinely higher-level phenomenon absent at level \(r=1\) [1807.02912].

At regular semisimple elements, the character formula simplifies sharply. If \(s\) is regular semisimple and its conjugacy class meets \(T_1\), then
\[
\mathfrak R_{T,U,b}^{\theta}(s)=\sum_{w\in W(T)^F}({}^w\theta)(s^c),
\]
independent of \(U\) and \(b\). In the finite-ring setting of Chen–Stasinski, the analogous formula is
\[
\mathrm{Tr}(s,R_{T,U}^{\theta})=\sum_{w\in W(T)^F}({}^w\theta)(s)
\]
for \(s\in T_1^F\) regular semisimple and \(\theta\) strongly generic. The proof uses Broué’s generalized bimodule induction formula together with a centralizer analysis of the fixed-point subvariety [1807.02912] [2311.05354].

Inner-product formulas form the orthogonality theory of higher Deligne–Lusztig representations. Beyond the classical level-one formula, one now has higher-level analogues for several families. For the generalized page-\(b\) varieties,
\[
\big\langle R_{T,U,b}^{\theta}, R_{T,U}^{\theta}\big\rangle
=
\#\,\mathrm{Stab}_{W(T)^F}(\theta)
\]
for regular \(\theta\). For Coxeter-type deep-level Deligne–Lusztig schemes over parahoric quotients, the same orthogonality relation holds under the explicit bound \(q>M\), with \(M\) depending only on the root system, and without any regularity assumption on \(\theta\). This includes the unipotent case \(\theta=1\) and extends previous regular-character results [1711.10208] [2010.15489].

## 3. Algebraisation and induced-model descriptions

A central problem, raised by Lusztig, asks whether the cohomological higher Deligne–Lusztig representations coincide with explicitly induced algebraic representations. At even levels \(r=2l\), this was resolved by identifying the geometric representation with induction from the “arithmetic radical”
\[
U^{\pm}:=(U^-)^l U^l,
\]
a commutative \(F\)-rational subgroup normalized by \(N(T)\). In the generic case,
\[
R_{T,U}^{\theta}\cong \mathrm{Ind}_{(TU^{\pm})^F}^{G^F}\widetilde{\theta}
\cong \mathrm{Ind}_{(TG^l)^F}^{G^F}\widetilde{\theta},
\]
and consequently
\[
\dim R_T^{\theta}=|G_l^F|/|T_l^F|.
\]
This answered the even-level algebraisation problem and yielded applications such as the verification of Letellier’s conjecture for \(\mathrm{GL}_2\) and \(\mathrm{GL}_3\) [1604.01615].

The odd-level case requires additional structure. For \(r>1\), Chen–Stasinski proved a full algebraisation theorem. If \(\theta\) is strongly generic, then
\[
R_{T,U}^{\theta}\cong e_\theta(1)^r\cdot \mathrm{Ind}_{(TG^{l'})^F}^{G^F}\hat\rho_\theta,
\]
where \(l=\lceil r/2\rceil\), \(l'=\lfloor r/2\rfloor\), and \(\hat\rho_\theta\in \mathrm{Irr}((TG^{l'})^F)\) is characterized by trace formulas on \((T^1G^{l'})^F\) and on \(T_1^F\). In odd level, a Heisenberg representation \(\rho_\theta\) of \((T^1G^{l'})^F\) intervenes, with
\[
\dim \rho_\theta=q^{\#\Phi^+},
\]
and \(\rho_\theta\) admits extensions to \((TG^{l'})^F\). For \(q\ge 7\), the sign is explicitly determined by
\[
e_{\theta}(s)=(-1)^{\mathrm{rk}_q(T_1)+\mathrm{rk}_q(C_{G_1}(s)^{\circ})}.
\]
This completes algebraisation at all levels \(r>1\) [2311.05354].

An induction formula underlies the proof:
\[
R_{T,U}^{\theta}\cong \mathrm{Ind}_{(TG^{l'})^F}^{G^F}H_c^*(X_0)_\theta,
\]
where
\[
X_0=L^{-1}(FU^{l',l})\cap TG^{l'}.
\]
Thus the geometric representation is induced from an intermediate cohomology module on a smaller subgroup. This induction description is also the vehicle for the new proof of the regular-semisimple character formula and for the explicit determination of odd-level extensions [2311.05354].

The relation to Gérardin’s algebraic constructions is also clarified. Under the hypotheses stated in the paper, and for \(q\ge 7\), the signed higher Deligne–Lusztig representation
\[
(-1)^{r(\mathrm{rk}_q(G_1)+\mathrm{rk}_q(T_1))}R_{T,U}^{\theta}
\]
is isomorphic to Gérardin’s representation whenever the latter is defined. This resolves Lusztig’s problem in the generic regime and unifies geometric and algebraic constructions across even and odd levels [2311.05354].

## 4. Orbits, dimensions, stability, and low-rank phenomena

Higher Deligne–Lusztig representations interact naturally with orbit theory on the last congruence layer. Under assumptions guaranteeing a nondegenerate invariant bilinear form \(\mu\) on \(G^{r-1}\), one obtains a map
\[
\Omega\colon \mathrm{Irr}(G^F)\longrightarrow G_1^F\backslash \mathfrak g^F
\]
to adjoint orbits in the Lie algebra. For regular \(\theta\), at least one irreducible constituent of \(|R_{T,U}^{\theta}|\) has regular semisimple orbit, and if \(\theta\) is generic then \(\Omega(|R_{T,U}^{\theta}|)\) is regular and semisimple. In \(\mathrm{GL}_n\), regular semisimple orbit representations are precisely those of the form \(|R_{T,U}^{\theta}|\) with \(\theta\) regular [2311.05354].

Dimension formulas are now known in several regimes. For strongly generic \(\theta\) and arbitrary \(r>1\),
\[
\dim |R_{T,U}^{\theta}|=|G_1^F/T_1^F|_{p'}\cdot q^{(r-1)\#\Phi^+}.
\]
For \(\mathrm{GL}_n\),
\[
\dim |R_{T,U}^{\theta}|=\frac{|G_1^F|}{|T_1^F|}\cdot q^{(r-2)\frac{n^2-n}{2}}
=
|G_1^F/T_1^F|_{p'}\cdot q^{(r-1)\frac{n^2-n}{2}}.
\]
These formulas were previously unknown at odd levels and align with the classical Steinberg-based formula when \(r=1\) [2311.05354].

A distinct phenomenon appears for Coxeter tori. If \(T\) is Coxeter and \(q\ge 7\) or \(\mathbb G=\mathrm{GL}_n\), then the Coxeter unipotent representation stabilizes with the level:
\[
R_{T_r,U_r}^1\cong \widetilde{R_{T_1,U_1}^1}.
\]
More generally, if \(\theta\) is the trivial inflation of a lower-level character \(\theta'\), then
\[
R_{T_r,U_r}^{\theta}\cong \widetilde{R_{T_{r'},U_{r'}}^{\theta'}}.
\]
This shows that, in the Coxeter unipotent case, higher-level geometry does not produce new representations beyond trivial inflation from lower levels [2404.00233].

Low-rank calculations make the picture explicit. For \(\mathrm{GL}_2\) with Coxeter \(T\), if \(\theta\) is regular then \(( -1)^rR_{T_r,U_r}^{\theta}\) is irreducible of dimension \((q-1)q^{r-1}\). If \(\theta\) is nonregular, the representation reduces to lower conductor level \(r_0\), and the dimensions that occur are exactly
\[
\{(-1)^i(q-1)q^{i-1}\mid i\in\{1,\dots,r\}\}.
\]
For \(\mathrm{SL}_2\), analogous decompositions hold with stated parity and quadratic-character exceptions [2404.00233].

Finally, non-nilpotency criteria distinguish higher Deligne–Lusztig representations from nilpotent orbit representations. If \(\theta\) is regular and in general position, and is nontrivial on the biggest reduction kernel of the center, then \(R_{T,U}^{\theta}\), up to sign, is not nilpotent. This is proved by comparing it against the induced representation \(\mathrm{Ind}_{(B'^{r-1})^F}^{G^F}\mathbf 1\), whose irreducible constituents are precisely the nilpotent representations [1904.00769].

## 5. Parahoric, deep-level, and Yu-type decompositions

In the parahoric setting, higher Deligne–Lusztig representations become virtual smooth representations of \(G^F=G_{x,r}(k)\) or of the ambient \(p\)-adic group via inflation. For \(r>0\), the higher or parahoric Deligne–Lusztig variety is
\[
X_{T,U,r}=\{\,g\in G_r:\ g^{-1}F(g)\in F U_r T_r\,\},
\]
and
\[
R_{T,U,r}(\theta)=\sum_{i\ge 0}(-1)^iH_c^i(X_{T,U,r},\mathbb Q_\ell)[\theta]^{T^F}.
\]
For elliptic \(T\), Chan’s inner-product formula gives
\[
\big(R_{T,U,r}(\theta),R_{T,U,r}(\theta)\big)_{G^F}
=
\big|\mathrm{Stab}_{W_{G_r}(T_r)^F}(\theta|_{T_r^F})\big|,
\]
and \(R_{T,U,r}(\theta)\) is independent of the choice of Borel containing \(T\) [2406.06430].

A decisive structural theorem proves that elliptic higher Deligne–Lusztig representations decompose in the same pattern as Yu’s tame supercuspidal construction. Under the standing prime condition
\[
p\text{ is not a bad prime for }G\text{ and }p\nmid |\pi_1(G_{\mathrm{der}})|,
\]
and with a Howe factorization \(\mathcal A=(G^i,\phi_i,r_i)\), one introduces a geometric Heisenberg-type module
\[
K_0=\sum_{i\ge 0}(-1)^iH_c^i(Z_{H,U,r},\mathbb Q_\ell)[\theta].
\]
Then
\[
R_{T,U,r}(\theta)\cong \mathrm{ind}_{K_F}^{G^F}\,K_0\otimes R_{T,U,0}(\theta^{-1})
\cong
\bigoplus_{\rho} m_\rho\, \mathrm{ind}_{K_F}^{G^F}K_0\otimes \rho,
\]
where \(\rho\) runs over irreducible constituents of the classical depth-zero Deligne–Lusztig representation \(R_{T,U,0}(\theta^{-1})\), and each summand is irreducible and pairwise non-isomorphic. The module \(K_0\) is the geometric analogue of Yu’s Weil–Heisenberg representation [2406.06430].

This decomposition was later made explicit. The geometric Weil–Heisenberg representation \(\kappa'_\Sigma\) differs from Yu’s analytic \(\kappa_\Sigma\) by a character \(\chi\), and under a mild condition on \(q\) one has
\[
\kappa'_\Sigma \cong (-1)^{d_\Sigma}\,\kappa_\Sigma\otimes \varepsilon_\Sigma,
\]
where \(\varepsilon_\Sigma\) is the quadratic character of Fintzen–Kaletha–Spice. Consequently,
\[
R_{T,U}^{\theta,r}
\cong
(-1)^{d_\Sigma}\sum_\rho m_\rho\,
\mathrm{Ind}_{\mathbf K_\Sigma^F}^{\mathbf G^F}
\bigl(\kappa_\Sigma\otimes \varepsilon_\Sigma\otimes \rho\bigr),
\]
giving an explicit irreducible decomposition of elliptic higher Deligne–Lusztig representations [2506.12918].

Deep-level Deligne–Lusztig induction for tamely ramified tori extends this framework beyond unramified tori. One constructs a perfect affine scheme
\[
Z=Z_{\phi,r}:=\{g\in \mathfrak K:\ L(g)\in FJ\},
\]
attached to a tamely ramified torus \(T\), a generic datum \(\Sigma\), and a Lagrangian in a Heisenberg extension. Its cohomology defines a virtual representation
\[
{}^{\mathsf K}(\phi):=H_c^*(Z,\overline{\mathbb Q_\ell})[\phi].
\]
Under the stated largeness assumptions on \(q\), one proves
\[
{}^{\mathsf K}(\phi)\cong (-1)^{d(\phi)}R_{\mathsf K}(\phi^\dagger),
\]
where \(R_{\mathsf K}(\phi^\dagger)\) is the model representation built from the Weil–Heisenberg representation and a classical Deligne–Lusztig factor. As an application, each regular irreducible supercuspidal is the compact induction of a deep-level Deligne–Lusztig representation, and more generally each irreducible supercuspidal is a direct summand of the compact induction of the cohomology of a deep-level Deligne–Lusztig variety [2601.06929].

A complementary generic Mackey formula for higher Lusztig functors was also established. If \(\psi,\psi'\) are \((L,G)\)-generic constituents of \(R^L_{T,B\cap L,r}(\theta)\), then
\[
\langle R_{L,P,r}^G(\psi'),R_{L,P,r}^G(\psi)\rangle_{G_r^F}
=
\langle \psi',\psi\rangle_{L_r^F}.
\]
For elliptic \(T\), this yields irreducibility and a decomposition theorem compatible with Howe factorization [2508.12057].

## 6. Semi-infinite, loop, and division-algebra realizations

Beyond finite rings and parahorics, higher Deligne–Lusztig theory enters a genuinely \(p\)-adic regime through semi-infinite and loop Deligne–Lusztig varieties. For division algebras, Lusztig’s semi-infinite Deligne–Lusztig variety \(X\) is an ind-scheme whose finite-type approximations \(X_h\) carry commuting actions of torus and unipotent groups. For a character \(\chi\) of the finite torus \(T_{h,k}(\mathbb F_q)\), the alternating sum
\[
R_\chi:=\sum_i(-1)^iH_c^i(X_h,\overline{\mathbb Q_\ell})[\chi]
\]
is irreducible, and in fact \(H_c^i(X_h)[\chi]\) is nonzero in exactly one degree \(i=s_\chi=r_\chi\). Moreover, \(X_h\) is maximal in the sense that Frobenius acts on \(H_c^i(X_h)\) by \(( -1)^i q^{ni/2}\), so the cohomology is pure of weight \(ni\) [1606.01795].

For the full semi-infinite variety attached to a division algebra \(D^\times\), the homology \(H_i(X)[\theta]\) attached to a smooth character \(\theta:L^\times\to \overline{\mathbb Q_\ell}^\times\) is concentrated in one degree and yields an irreducible \(D^\times\)-representation when \(\theta\) has trivial Galois stabilizer. The trace at very regular elements is
\[
\mathrm{Tr}(x;H_{r_\theta}(X,\overline{\mathbb Q_\ell})[\theta])
=
(-1)^{r_\theta}\sum_{y\in \mathrm{Gal}(L/F)}\theta(y(x)),
\]
and the resulting correspondence matches the local Langlands and Jacquet–Langlands correspondences [1606.01795] [1505.07185].

For \(n=2\), this program was worked out concretely for the quaternion division algebra: if \(\theta\) is primitive of level \(h\), then
\[
H_c^i(X,\overline{\mathbb Q_\ell})[\theta]=0\quad (i\neq h-1),
\qquad
H_c^{h-1}(X,\overline{\mathbb Q_\ell})[\theta]\cong \rho_\theta,
\]
where \(\rho_\theta\) is the Jacquet–Langlands transfer of the \(\mathrm{GL}_2\)-supercuspidal attached to \(\theta\) by local Langlands [1406.6122].

Loop Deligne–Lusztig varieties of Coxeter type provide a parallel realization for inner forms of \(\mathrm{GL}_n\). For an unramified elliptic maximal torus \(T(K)\cong L^\times\), the loop Deligne–Lusztig variety \(\dot X^{DL}_{\dot w_1}(b)\) has truncated models \(X_h\), and for \(\theta\) in general position one obtains
\[
\pm R_T^G(\theta)\cong \pi_\theta,
\]
where \(\pi_\theta\) is the Jacquet–Langlands transfer of the local Langlands representation attached to
\[
\sigma_\theta=\mathrm{Ind}_{W_L}^{W_K}(\theta\cdot \mu).
\]
This gives a purely local geometric realization of many supercuspidals whose parameter factors through an unramified elliptic torus [1911.03412].

A related phenomenon appears for \(\mathrm{GSp}\). There, the semi-infinite Deligne–Lusztig variety \(X_U(b)\) is identified with an inverse limit of higher-level affine Deligne–Lusztig varieties:
\[
\varprojlim_{r>m}X_m(b)(k)\cong X_U(b).
\]
Moreover, a distinguished component admits a product decomposition, up to perfection,
\[
X_{w_r}(b)^{\mathrm{perf}}\cong X_B^{\mathrm{perf}}\times \mathbb A^{\mathrm{perf}},
\]
so its representation-theoretic content is governed by a classical Deligne–Lusztig factor. The finite-type varieties \(X_h\) studied by Chan and Ivanov then become components of the semi-infinite Deligne–Lusztig space at infinite level, interpreting their cohomology as a realization of Lusztig’s conjectural \(p\)-adic construction for \(\mathrm{GSp}\) [2306.17382].

Finally, recent categorical work reinterprets Deligne–Lusztig theory itself through higher categorical trace. In that framework,
\[
\mathrm{Tr}(\mathrm{Frob},G\!\operatorname{-mod})\simeq \operatorname{Rep}(G(\mathbb F_q)),
\qquad
\mathrm{Tr}(\mathrm{Id},G\!\operatorname{-mod})\simeq \operatorname{Shv}(G/\mathrm{Ad}(G)),
\]
and Deligne–Lusztig induction arises as a trace of a Frobenius-twisted induction 1-morphism. This suggests a categorical extension of higher Deligne–Lusztig theory to loop groups and isocrystal stacks, though the loop case requires additional stack-theoretic input because Lang’s theorem is no longer available [2603.26957].

Source: https://www.emergentmind.com/topics/higher-deligne-lusztig-representations