Fine Deligne–Lusztig Varieties

• Fine Deligne–Lusztig varieties are locally closed subvarieties of partial flag varieties that generalize classical Deligne–Lusztig constructions with rich stratifications.
• They employ parabolic induction to relate their closures, cohomology, and character formulas to those of classical varieties in Levi subgroups.
• They connect with affine stratifications and combinatorial frameworks, enabling precise arithmetic intersection computations in Shimura-theoretic settings.

Fine Deligne–Lusztig varieties are locally closed subvarieties of partial flag varieties attached to a connected reductive group over a finite field, a parabolic type, and a Frobenius-twisted relative position. They generalize the classical Deligne–Lusztig varieties from the full flag variety to partial flag varieties, and in Coxeter-type settings they also appear as the geometric pieces governing stratifications of affine Deligne–Lusztig varieties and basic loci of Shimura-theoretic moduli spaces. Their study lies at the intersection of finite reductive groups, affine flag geometry, Bruhat–Tits theory, and arithmetic intersection theory (He et al., 2019, Goertz, 2018).

1. Definition in partial flag varieties

Let $\mathbb{F}_q$ be a finite field, let $k=\overline{\mathbb{F}_q}$, and let $\sigma$ be the Frobenius automorphism. If $\mathbb{G}$ is a connected reductive group over $\mathbb{F}_q$, with $G=\mathbb{G}_k$, Weyl group $W$, set of simple reflections $\mathbb{S}$, and a $\sigma$-stable Borel $B$ containing a maximal torus $k=\overline{\mathbb{F}_q}$0, then for $k=\overline{\mathbb{F}_q}$1 and $k=\overline{\mathbb{F}_q}$2 the fine Deligne–Lusztig variety is

$k=\overline{\mathbb{F}_q}$3

Here $k=\overline{\mathbb{F}_q}$4 is the parabolic corresponding to $k=\overline{\mathbb{F}_q}$5, and $k=\overline{\mathbb{F}_q}$6 denotes the minimal-length representatives for $k=\overline{\mathbb{F}_q}$7 (He et al., 2019).

These varieties partition the partial flag variety: $k=\overline{\mathbb{F}_q}$8 When $k=\overline{\mathbb{F}_q}$9, the construction recovers the classical Deligne–Lusztig variety $\sigma$0 in the full flag variety. In this sense, fine Deligne–Lusztig varieties generalize the classical, or coarse, theory by partitioning partial flag varieties rather than only full flag varieties.

The closure relation is controlled by a partial order: $\sigma$1 This gives a precise replacement, in the partial-flag setting, for the Bruhat-type closure calculus familiar from classical Deligne–Lusztig theory. A common simplification is to identify fine Deligne–Lusztig varieties with ordinary Deligne–Lusztig varieties on a partial flag variety; the formula above shows that the fine theory carries a genuinely richer stratification indexed by $\sigma$2 and the order $\sigma$3.

2. $\sigma$4-unbranched data, closure stratifications, and parabolic induction

A particularly tractable class arises from a $\sigma$5-unbranched datum $\sigma$6. The combinatorial condition is that $\sigma$7 is contained in a single $\sigma$8-orbit, while $\sigma$9 is a connected, simply-laced sub-diagram of the Dynkin diagram with no branches, each node representing a distinct $\mathbb{G}$0-orbit, and one end-node lying in $\mathbb{G}$1 (He et al., 2019).

Under this hypothesis, the closure of a distinguished fine Deligne–Lusztig variety admits a chain stratification: $\mathbb{G}$2 Each stratum $\mathbb{G}$3 is again a fine Deligne–Lusztig variety. This gives a recursive geometry in which the closure is built from finitely many finer pieces of the same type.

The decisive structural statement is that every such $\mathbb{G}$4 is related by parabolic induction to a classical Deligne–Lusztig variety for a Levi subgroup $\mathbb{G}$5: $\mathbb{G}$6 Here $\mathbb{G}$7 is an explicit nested parabolic, and $\mathbb{G}$8 is a classical Deligne–Lusztig variety for the finite reductive group $\mathbb{G}$9. The significance of this formula is methodological as much as geometric: it reduces questions about closures, cohomology, and fixed points of fine Deligne–Lusztig varieties to the classical theory after passage to suitable Levi subgroups.

This inductive description also clarifies the adjective “fine.” The partition of $\mathbb{F}_q$0 is not merely coarse orbit combinatorics; it is compatible with a nested system of Levi-theoretic reductions, so the geometry of a partial flag variety is resolved into layers controlled by finite reductive groups of smaller rank.

3. Relation with affine Deligne–Lusztig stratifications

Affine Deligne–Lusztig varieties are defined in affine flag varieties or affine Grassmannians and play a central role in the geometry of moduli spaces of $\mathbb{F}_q$1-divisible groups and in the reduction theory of Shimura varieties. For an Iwahori subgroup $\mathbb{F}_q$2 and $\mathbb{F}_q$3, one has

$\mathbb{F}_q$4

with analogous definitions at parahoric level. In this setting, the comparison between fine geometric decompositions and group-theoretic stratifications is especially important (Goertz, 2018).

For a basic element $\mathbb{F}_q$5, let

$\mathbb{F}_q$6

be the $\mathbb{F}_q$7-centralizer. Chen–Viehmann’s $\mathbb{F}_q$8-stratification is defined using relative position with respect to elements of $\mathbb{F}_q$9: $G=\mathbb{G}_k$0 The resulting strata are locally closed, and only finitely many of them meet any quasi-compact subset. At the same time, the theory records an important limitation: in general, the $G=\mathbb{G}_k$1-stratification need not be a stratification in the strict sense, since closures of strata are not necessarily unions of strata.

In Coxeter type, however, a stronger picture emerges. Görtz proves that for $G=\mathbb{G}_k$2 of Coxeter type and $G=\mathbb{G}_k$3 basic, the $G=\mathbb{G}_k$4-stratification coincides with the Bruhat–Tits stratification of $G=\mathbb{G}_k$5. Each Bruhat–Tits stratum is the image of a classical Deligne–Lusztig variety for the reductive quotient of a parahoric in $G=\mathbb{G}_k$6, and the closure of a stratum is a union of strata. In the corresponding Rapoport–Zink setting, the fine Ekedahl–Oort stratification coincides with the Bruhat–Tits stratification. This is one of the principal mechanisms by which fine Deligne–Lusztig geometry enters arithmetic geometry: the local pieces of an affine or moduli-theoretic space are literally classical Deligne–Lusztig varieties indexed by building-theoretic data.

4. Finite Coxeter type and hyperspecial affine Grassmannians for $G=\mathbb{G}_k$7

A complementary development appears in the study of affine Deligne–Lusztig varieties for $G=\mathbb{G}_k$8 and basic $G=\mathbb{G}_k$9 at hyperspecial level. For a dominant cocharacter $W$0,

$W$1

The paper of 2022 introduces a new condition on $W$2, called being of finite Coxeter type, which is a variant of Coxeter type based on the finite Weyl group $W$3 rather than the affine Weyl group (Shimada, 2022).

If $W$4 denotes the subset of $W$5 whose $W$6-parts are (twisted) Coxeter elements, then $W$7 is of finite Coxeter type if, for the unique basic $W$8-conjugacy class $W$9 in $\mathbb{S}$0,

$\mathbb{S}$1

The main classification theorem states that, up to central translates $\mathbb{S}$2, $\mathbb{S}$3 is of finite Coxeter type if and only if it has one of the following forms: $\mathbb{S}$4 for $\mathbb{S}$5, with $\mathbb{S}$6 if $\mathbb{S}$7 and $\mathbb{S}$8 if $\mathbb{S}$9.

For such $\sigma$0, the geometric structure simplifies drastically. If $\sigma$1, then

$\sigma$2

where $\sigma$3, $\sigma$4 is a classical finite Deligne–Lusztig variety associated to a Coxeter element in $\sigma$5, and $\sigma$6 is a finite-dimensional affine space. In the more general family one has

$\sigma$7

Each irreducible component is locally closed in a Schubert cell and is individually described as $\sigma$8.

Within the affine literature, this is one of the explicit senses in which “fine” Deligne–Lusztig geometry appears: the affine variety decomposes into classical Deligne–Lusztig factors times affine spaces. The proof leverages Iwahori-level descriptions using the work of Chan–Ivanov and then shows that, under the finite Coxeter type condition, the pushforward to the hyperspecial quotient preserves the product decomposition. The dimension is governed by

$\sigma$9

so the affine-space factor can be read off from the standard group-theoretic invariants after subtracting the dimension of the finite Deligne–Lusztig factor.

5. Cohomology, character formulas, and arithmetic applications

The paper “Fine Deligne-Lusztig varieties and Arithmetic Fundamental Lemmas” proves a character formula for some closed fine Deligne–Lusztig varieties and applies it to fixed-point computations arising from basic loci of Shimura varieties of Coxeter type (He et al., 2019).

For a regular element $B$0, the trace on the cohomology of the closure $B$1 is expressed as

$B$2

The summation runs over the finitely many strata in the closure and over representatives in suitable tori of Levi subgroups. This formula reduces the trace computation for a closed fine Deligne–Lusztig variety to explicit group-theoretic data attached to Levi pieces, thereby formalizing the inductive mechanism suggested by the parabolic-induction description.

In the minuscule cases relevant to arithmetic applications, the core geometric move is the reduction of an intersection problem on a Rapoport–Zink space to a fixed-point problem on a finite variety $B$3. By Lefschetz,

$B$4

The variety $B$5 is stratified by fine Deligne–Lusztig pieces, and the character formula evaluates the trace by passing through those strata.

This leads to arithmetic intersection formulas for diagonal cycles on unitary and GSpin Rapoport–Zink spaces arising from the arithmetic Gan–Gross–Prasad conjectures. In particular, the arithmetic fundamental lemma in the minuscule case is proved without assumptions on the residual characteristic. The explicit formula quoted in the summary is

$B$6

where $B$7 is the unique monic irreducible self-reciprocal polynomial in the characteristic polynomial $B$8 of $B$9 with odd multiplicity. The arithmetic significance is direct: intersection lengths are computed by cohomological traces on fine Deligne–Lusztig varieties or their closures.

6. Combinatorial and topological perspectives

Recent work places the affine side of the subject into an explicit combinatorial framework via the double Bruhat graph. For a finite Weyl group $k=\overline{\mathbb{F}_q}$00, this graph has vertices $k=\overline{\mathbb{F}_q}$01 and edges

$k=\overline{\mathbb{F}_q}$02

for $k=\overline{\mathbb{F}_q}$03 and $k=\overline{\mathbb{F}_q}$04, together with increasing paths determined by a reflection order and weights in the coroot lattice. Schremmer uses this language to describe structure constants of the Iwahori–Hecke algebra and, as an application, nonemptiness and dimension of affine Deligne–Lusztig varieties for most elements of the affine Weyl group and arbitrary $k=\overline{\mathbb{F}_q}$05-conjugacy classes (Schremmer, 2023).

The geometric applications include the criterion that $k=\overline{\mathbb{F}_q}$06 is nonempty if and only if there exists an increasing path in the double Bruhat graph with the required weight, and, when nonempty,

$k=\overline{\mathbb{F}_q}$07

where $k=\overline{\mathbb{F}_q}$08 is the multiset of lengths of the relevant paths. The summary explicitly notes that by focusing on the “fine” data of the double Bruhat graph—weights, paths, and recursive relations—the framework enables answers to fine questions about geometry such as explicit enumeration of components or the description of generic versus non-generic Newton strata.

A complementary topological perspective comes from the description of connected components of minuscule affine Deligne–Lusztig varieties. For hyperspecial level and Hodge–Newton indecomposable $k=\overline{\mathbb{F}_q}$09, Chen, Kisin, and Viehmann prove that

$k=\overline{\mathbb{F}_q}$10

unless $k=\overline{\mathbb{F}_q}$11 is central, in which case $k=\overline{\mathbb{F}_q}$12 is discrete. They also show that $k=\overline{\mathbb{F}_q}$13 acts transitively on $k=\overline{\mathbb{F}_q}$14 (Chen et al., 2013). The same summary makes the analogy with finite Deligne–Lusztig varieties explicit: in the finite case, connected components correspond to orbits under the abelianized fundamental group or component group, whereas in the affine setting the Kottwitz homomorphism plays the role of the component map and $k=\overline{\mathbb{F}_q}$15 replaces the finite component group.

Taken together, these developments show that fine Deligne–Lusztig varieties occupy two closely related roles. In the finite setting they are the intrinsic strata of partial flag varieties, with closures and cohomology controlled by Levi induction. In the affine setting they are the finite-type pieces through which more complicated loop-group varieties become accessible, whether through Bruhat–Tits and $k=\overline{\mathbb{F}_q}$16-stratifications, finite Coxeter type decompositions for $k=\overline{\mathbb{F}_q}$17, or path combinatorics in the double Bruhat graph.