Kazhdan–Lusztig Varieties

• Kazhdan–Lusztig varieties are local intersection spaces defined as the intersection of an opposite Schubert cell with a Schubert variety, capturing key singularities in flag varieties.
• They compute local intersection cohomology and connect combinatorial invariants such as R-, KL-, and h-polynomials within stratified geometric frameworks.
• Their explicit equations, derived via Gröbner degenerations and matrix-patch methods, enable precise calculations of multiplicity, regularity, and structural invariants in algebraic geometry.

Kazhdan–Lusztig varieties are the local intersection spaces that model singularities of Schubert varieties inside flag varieties. In the Weyl-group/flag-variety setting, for $v\le w$ in Bruhat order, they are the intersections

$X_{vw}:=C_v\cap \overline{V_w},$

where $V_w$ is a Schubert cell and $C_v$ is an opposite Schubert cell; equivalently, in type $A$, they appear as local patches $X_w\cap \Omega_v^\circ$ around the torus-fixed point $e_v$. They are the prototype for a broader geometric formalism in which point-counting, intersection cohomology, Gröbner degenerations, and atlas constructions are all organized around transverse slices to a stratified space (Proudfoot, 2017).

1. Classical definition and local-slice interpretation

Let $G$ be a split reductive algebraic group over a finite field $F$, with opposite Borels $B,B^*\subset G$ and common maximal torus $X_{vw}:=C_v\cap \overline{V_w},$0. The Weyl group is

$X_{vw}:=C_v\cap \overline{V_w},$1

and the flag variety is

$X_{vw}:=C_v\cap \overline{V_w},$2

For each $X_{vw}:=C_v\cap \overline{V_w},$3, the Schubert cell and opposite Schubert cell are

$X_{vw}:=C_v\cap \overline{V_w},$4

The Bruhat order is determined by

$X_{vw}:=C_v\cap \overline{V_w},$5

and the weak rank function is

$X_{vw}:=C_v\cap \overline{V_w},$6

For $X_{vw}:=C_v\cap \overline{V_w},$7, one sets

$X_{vw}:=C_v\cap \overline{V_w},$8

These $X_{vw}:=C_v\cap \overline{V_w},$9 are exactly the local pieces usually called Kazhdan–Lusztig varieties in the flag variety setting: intersections of an opposite Schubert cell with a Schubert variety. They are transverse slices to Schubert strata, and they capture the local singularity of $V_w$0 at the point $V_w$1 (Proudfoot, 2017).

In the type $V_w$2 matrix-patch language, the same local geometry is expressed by the opposite Schubert cell

$V_w$3

and the local model

$V_w$4

Kazhdan–Lusztig’s lemma gives

$V_w$5

where

$V_w$6

is the Kazhdan–Lusztig variety. Thus, after removing a trivial affine factor, $V_w$7 is the essential local model of $V_w$8 at $V_w$9 (Li et al., 2010).

A persistent terminological issue is that atlas papers often use “Kazhdan–Lusztig variety” for an intersection of an opposite Schubert cell with a Schubert variety in a Kac–Moody flag manifold, while local Schubert-geometry papers use it for the finite-type slice $C_v$0. These are compatible usages: both refer to the same basic construction of a Schubert variety cut by an opposite cell (Huang, 2019).

2. Intersection cohomology, point-counting, and Kazhdan–Lusztig polynomials

The reason Kazhdan–Lusztig varieties are central is that they compute local intersection cohomology. In the general framework of a stratified variety

$C_v$1

one chooses cone-like slices $C_v$2 and forms

$C_v$3

The key IC-restriction property is that the restriction of $C_v$4 to $C_v$5 is $C_v$6. In the flag-variety case this yields

$C_v$7

so the local intersection cohomology of a Schubert variety is computed by the Kazhdan–Lusztig variety $C_v$8 (Proudfoot, 2017).

Point-counting on the open stratum $C_v$9 produces the classical $A$0-polynomials: $A$1 The main abstract theorem in the geometric KLS formalism then identifies the right KLS-polynomials with stalk IC Poincaré polynomials. In the Bruhat case this gives

$A$2

together with the classical degree bound

$A$3

The same formalism also produces the left KLS-polynomials through opposite Schubert geometry and identifies $A$4-polynomials with global IC Poincaré polynomials of Richardson varieties

$A$5

via

$A$6

In this sense, Kazhdan–Lusztig polynomials are local IC invariants of Kazhdan–Lusztig varieties, while $A$7-polynomials are global IC invariants of Richardson varieties (Proudfoot, 2017).

A distinct but related local invariant is the $A$8-polynomial $A$9 of the associated graded local ring at $X_w\cap \Omega_v^\circ$0. For Schubert varieties,

$X_w\cap \Omega_v^\circ$1

For covexillary $X_w\cap \Omega_v^\circ$2, $X_w\cap \Omega_v^\circ$3 has a positive tableau formula and satisfies

$X_w\cap \Omega_v^\circ$4

but this comparison is genuinely special to the covexillary setting: the paper explicitly notes that $X_w\cap \Omega_v^\circ$5 is false in general (Li et al., 2010).

3. Explicit equations and Gröbner-theoretic models

One of the most developed aspects of the subject is the passage from geometric slices to explicit defining ideals. In the complete flag variety $X_w\cap \Omega_v^\circ$6, the opposite cell around $X_w\cap \Omega_v^\circ$7 is coordinatized by a specialized generic matrix $X_w\cap \Omega_v^\circ$8, and the Kazhdan–Lusztig ideal

$X_w\cap \Omega_v^\circ$9

is generated by all minors of size

$e_v$0

of the southwest submatrices $e_v$1. The corresponding affine scheme is

$e_v$2

so Kazhdan–Lusztig ideals are the explicit equations for Kazhdan–Lusztig varieties in local coordinates (Li et al., 2010).

For covexillary $e_v$3, the geometry is especially well behaved. The essential minors form a Gröbner basis for a generalized antidiagonal term order; the initial ideal is squarefree and equidimensional; and the associated Stanley–Reisner complex is a vertex decomposable shellable ball or sphere. The initial ideal admits a pipe-dream prime decomposition, and multiplicity is counted by facets of that complex, equivalently by flagged semistandard Young tableaux of shape $e_v$4 with flagging $e_v$5 (Li et al., 2010).

Affine type $e_v$6 admits a parallel but technically more intricate picture. In the affine flag variety $e_v$7, opposite Schubert conditions are expressed using infinite periodic matrices, while a preferred reduced word $e_v$8 gives Bott–Samelson coordinates in which the Schubert cell $e_v$9 is linearly parametrized. Pulling back the opposite Schubert equations yields explicit generators $G$0 for the affine Kazhdan–Lusztig ideal, and these generators form a Gröbner basis. The initial ideal is the Stanley–Reisner ideal of the subword complex $G$1, giving a flat degeneration of the affine Kazhdan–Lusztig variety to a combinatorial model (Elek et al., 2019).

Type $G$2 has a different explicit realization on a large class of patches. In the symplectic flag variety, for $G$3 satisfying

$G$4

the opposite cell admits coordinates by a partial symmetric matrix, and the type $G$5 Kazhdan–Lusztig variety

$G$6

is defined by essential southwest minors of that partially filled symmetric matrix. The central theorem states that these essential minors form a Gröbner basis with respect to any diagonal term order. The resulting initial ideals are squarefree Stanley–Reisner ideals of subword complexes, and the associated multidegrees and $G$7-polynomials are described by type $G$8 pipe dreams. The paper also emphasizes that the $G$9-avoiding or “small-patch” condition is not merely technical: beyond that regime, the natural essential minors need not form a Gröbner basis (Escobar et al., 2021).

4. Combinatorial and homological invariants of special families

Kazhdan–Lusztig varieties support a broad range of singularity invariants beyond intersection cohomology. In the covexillary case, Gröbner degenerations of Kazhdan–Lusztig ideals provide a positive combinatorial rule for Hilbert–Samuel multiplicity and a formula for the Hilbert series of the local ring. If $F$0 is covexillary, then

$F$1

equals the number of flagged semistandard Young tableaux of shape $F$2 with row bounds $F$3, and also admits the determinantal formula

$F$4

The Hilbert series of the local ring is expressed through flagged set-valued tableaux (Li et al., 2010).

For covexillary Schubert varieties, the local $F$5-polynomial

$F$6

admits a positive formula by flagged semistandard tableaux and lower-saturated set-valued tableaux, and the paper proves nonnegativity and upper semicontinuity in Bruhat order. It also gives a drift-configuration rule for $F$7, establishing a parallel between local intersection cohomology and the tangent-cone Hilbert series. At $F$8, this yields

$F$9

in the covexillary setting (Li et al., 2010).

A newer homological invariant is Castelnuovo–Mumford regularity. For $B,B^*\subset G$0-avoiding permutations $B,B^*\subset G$1, the coordinate ring

$B,B^*\subset G$2

is homogeneous, and the paper gives a combinatorial algorithm computing

$B,B^*\subset G$3

from skew excited Young diagrams. The main formula is

$B,B^*\subset G$4

equivalently,

$B,B^*\subset G$5

In the ladder specialization, this becomes a count of unforced elbows in a distinguished zipped lattice-path family. The paper stresses that the $B,B^*\subset G$6-avoiding hypothesis is essential: it guarantees homogeneity and the skew-diagram combinatorics on which the algorithm rests (Robichaux, 2023).

5. Atlases and local models beyond finite type

The concept of a Kazhdan–Lusztig variety also appears as a local model in broader stratified geometry. A stratified variety $B,B^*\subset G$7 has a Kazhdan–Lusztig atlas with modelling Kac–Moody flag variety $B,B^*\subset G$8 if there is a ranked poset injection into $B,B^*\subset G$9 and charts $X_{vw}:=C_v\cap \overline{V_w},$00 around minimal strata such that

$X_{vw}:=C_v\cap \overline{V_w},$01

In this language, the partial flag manifold $X_{vw}:=C_v\cap \overline{V_w},$02 with the projected Richardson stratification admits a Kazhdan–Lusztig atlas: each standard chart

$X_{vw}:=C_v\cap \overline{V_w},$03

is stratified-isomorphic to an affine Kazhdan–Lusztig variety in the affine flag manifold,

$X_{vw}:=C_v\cap \overline{V_w},$04

and the strata correspond by

$X_{vw}:=C_v\cap \overline{V_w},$05

Thus projected Richardson varieties in $X_{vw}:=C_v\cap \overline{V_w},$06 are locally modeled by affine Kazhdan–Lusztig varieties (Huang, 2019).

A second atlas theory concerns toric surfaces. A Kazhdan–Lusztig atlas on a stratified toric surface $X_{vw}:=C_v\cap \overline{V_w},$07 consists of affine neighborhoods of torus-fixed points stratified-isomorphic to

$X_{vw}:=C_v\cap \overline{V_w},$08

in the flag variety of a Kac–Moody group, together with a $X_{vw}:=C_v\cap \overline{V_w},$09-equivariant degeneration

$X_{vw}:=C_v\cap \overline{V_w},$10

For toric surfaces this reduces to decomposing the moment polygon into quadrilateral moment polytopes of Richardson surfaces, the “pizza” construction. The paper proves that the only toric surfaces admitting equivariant Bruhat atlases are $X_{vw}:=C_v\cap \overline{V_w},$11 and $X_{vw}:=C_v\cap \overline{V_w},$12, while in the Kazhdan–Lusztig-atlas setting there are $X_{vw}:=C_v\cap \overline{V_w},$13 or $X_{vw}:=C_v\cap \overline{V_w},$14 broken toric surfaces admitting simply-laced atlases and at most $X_{vw}:=C_v\cap \overline{V_w},$15 broken toric surfaces where $X_{vw}:=C_v\cap \overline{V_w},$16 is any Kac-Moody group (Elek, 2016).

These atlas results clarify a common misconception: a Kazhdan–Lusztig variety need not only be viewed as an isolated local slice inside a finite-dimensional flag variety. In atlas theory it functions as a universal local model for larger stratified spaces.

6. Extensions, identifications, and related constructions

Several recent works show that Kazhdan–Lusztig varieties arise in settings that initially look unrelated to Schubert patches. In classical types, the decisive geometric input is an isomorphism of Kazhdan–Lusztig varieties due to Anderson–Ikeda–Jeon–Kawago. For a covexillary Schubert variety $X_{vw}:=C_v\cap \overline{V_w},$17 and a torus-fixed point $X_{vw}:=C_v\cap \overline{V_w},$18, there exist inverse Grassmannian elements $X_{vw}:=C_v\cap \overline{V_w},$19 in a doubled-rank classical group such that

$X_{vw}:=C_v\cap \overline{V_w},$20

Consequently,

$X_{vw}:=C_v\cap \overline{V_w},$21

and, after standard symmetries, the covexillary Kazhdan–Lusztig polynomial is identified with a Grassmannian one. This uses the Kazhdan–Lusztig variety as the local singularity model that transfers known formulas from Grassmannian to covexillary Schubert geometry in types $X_{vw}:=C_v\cap \overline{V_w},$22 (Jeon, 2021).

A more dramatic identification appears in quiver geometry. For a type $X_{vw}:=C_v\cap \overline{V_w},$23 quiver $X_{vw}:=C_v\cap \overline{V_w},$24 with dimension vector $X_{vw}:=C_v\cap \overline{V_w},$25, the generalized Zelevinsky map

$X_{vw}:=C_v\cap \overline{V_w},$26

restricts, for each rank parameter $X_{vw}:=C_v\cap \overline{V_w},$27, to a scheme-theoretic isomorphism

$X_{vw}:=C_v\cap \overline{V_w},$28

In other words, every type $X_{vw}:=C_v\cap \overline{V_w},$29 quiver locus is a Kazhdan–Lusztig variety. Because Kazhdan–Lusztig varieties are known to be normal, Cohen–Macaulay, and to have rational singularities (in characteristic $X_{vw}:=C_v\cap \overline{V_w},$30), the same follows immediately for type $X_{vw}:=C_v\cap \overline{V_w},$31 quiver loci (Xu et al., 2023).

Finally, some adjacent literature uses different global geometric objects whose cohomology realizes characters of Kazhdan–Lusztig basis elements. The varieties $X_{vw}:=C_v\cap \overline{V_w},$32 and their parabolic analogues $X_{vw}:=C_v\cap \overline{V_w},$33 are Lusztig varieties, not classical Kazhdan–Lusztig varieties; their intersection cohomology realizes characters of KL basis elements, and the paper explicitly distinguishes them from the usual opposite-cell slices (Abreu et al., 2022, Abreu et al., 2022). This suggests a useful boundary of the term: in the narrow Schubert-geometric sense, Kazhdan–Lusztig varieties remain the local intersections $X_{vw}:=C_v\cap \overline{V_w},$34 or $X_{vw}:=C_v\cap \overline{V_w},$35; in broader representation-theoretic usage, they sit inside a larger ecosystem of geometric models governed by the same Hecke-theoretic and intersection-cohomological structures.