Nonemptiness of single affine Deligne-Lusztig varieties

Titel: Non-emptiness van enkele Affiene Deligne-Lusztig Variëteiten

Auteur: Dong Gyu Lim
Onderwerp: Getaltheorie, Algebraïsche Groepen, Representatietheorie

1. Probleemstelling en Achtergrond

Affiene Deligne-Lusztig variëteiten (ADLV's) spelen een centrale rol in de studie van de speciale vezels van Shimura-variëteiten en moduli-ruimten van shtuka's. Deze variëteiten worden gedefinieerd voor een reductieve groep $G$ over een lokaal veld, een element $b$ in de groep en een cocharakter $\mu$ (of een element $x$ in de Iwahori-Weyl-groep).

De paper richt zich specifiek op het niet-leegheidsprobleem voor enkele (single) affiene Deligne-Lusztig variëteiten op het Iwahori-niveau.

• Definitie: Voor een element $x$ in de Iwahori-Weyl-groep $\tilde{W}$ en een element $b \in G(\breve{Q}_p)$, is de variëteit gedefinieerd als:
  $$X_x(b) := \{ gI \in G(\breve{Q}_p)/I : g^{-1}b\sigma(g) \in I \dot{x} I \}$$
  waarbij $I$ de Iwahori-subgroep is en $\sigma$ de Frobenius-afbeelding.
• Context: Het niet-leegheidsprobleem is opgelost voor de "hyperspeciale" en algemene parabolische niveaus via Mazur's ongelijkheid (de voorwaarde $[b] \in B(G, \mu)$). Echter, voor het Iwahori-niveau (het fijnste niveau) is de situatie complexer. De variëteit is een disjuncte unie van "enkele" stukken $X_x(b)$.
• Bestaande Resultaten: Voor het "basis" geval (waar $b$ een basis-element is) is er een criterium bekend onder de voorwaarde dat $x$ in de "geschrompen Weyl-kamers" (shrunken Weyl chambers) ligt. Dit criterium, bekend als GHN B (He, Görtz, Nie), stelt dat $X_x(b) \neq \emptyset$ dan en slechts dan als de Kottwitz-mappen overeenkomen en de $\sigma$-ondersteuning van een specifiek element $\eta_\sigma(x)$ volledig is ($S$).
• Het Gat: Er was tot nu toe geen expliciet criterium bekend voor $x$ die niet in de geschrompen Weyl-kamers liggen (d.w.z. $x$ ligt in de zogenaamde kritieke stroken of critical strips).

2. Methodologie en Nieuwe Ideeën

De auteur introduceert een nieuwe aanpak om de beperking van de "geschrompen Weyl-kamers" weg te nemen. De kern van de methode bestaat uit de volgende stappen:

1. Definitie van de verzameling $W_x$:
   De paper introduceert een nieuwe verzameling $W_x \subset W_0$ (de relatieve Weyl-groep). Intuïtief vertegenwoordigt $W_x$ de elementen die $x$ "embedden" in de aangrenzende geschrompen Weyl-kamers.

   • Als $x$ in een geschrompen kamer ligt, is $W_x = \{id\}$.
   • Als $x$ in precies één kritieke strook ligt, is $W_x = \{id, s\}$, waarbij $s$ de eenvoudige reflectie is gerelateerd aan die strook.
   • De definitie is gebaseerd op de analyse van de verzameling positieve wortels $\Phi_x$ waarvoor $x$ in de bijbehorende kritieke strook ligt. De auteur bewijst dat de complementen van deze verzamelingen een specifieke "anti-gesloten" structuur hebben.

2. Generalisatie van het $\sigma$-ondersteuningscriterium:
   In plaats van alleen te kijken naar $\eta_\sigma(x)$, stelt de auteur dat men het criterium moet testen voor alle conjugaten van $\eta_\sigma(x)$ onder de actie van elementen in $W_x$.

   • De hypothese is dat $X_x(b) \neq \emptyset$ als en slechts als voor alle $r \in W_x$, de $\sigma$-ondersteuning van $\sigma^{-1}(r)\eta_\sigma(x)r^{-1}$ de volledige verzameling eenvoudige reflecties $S$ is.

3. Technische Hulpmiddelen:

   • Gebruik van de Newton-afbeelding en Kottwitz-afbeelding.
   • Analyse van de actie van de Weyl-groep op dominante cocharakters en de coëfficiënten van wortels.
   • Gebruik van resultaten over gesloten en parabolische deelverzamelingen van wortelsystemen (gebaseerd op werk van DCH94).
   • Een scherpere analyse van de lengte $\ell(x)$ en de positie van $x$ ten opzichte van de fundamentele kamers.

3. Belangrijkste Bijdragen en Resultaten

De paper presenteert een nieuw conjectureel criterium voor de niet-leegheid van $X_x(b)$ in het basisgeval, en bewijst dit voor bijna alle gevallen.

Hoofdstelling (Conjecture 1.2 & Theorem 1.3):
Laat $G$ een eenvoudige, quasi-split reductieve groep van adjoint-type zijn en $b$ een basis-element. Laat $x \in \tilde{W}$ zodanig dat $\kappa_G(x) = \kappa_G(b)$ en $\hat{\text{supp}}_\sigma(x) = \tilde{S}$ (een technische voorwaarde die uitzonderlijke gevallen uitsluit).
Dan is $X_x(b) \neq \emptyset$ dan en slechts dan als:
$$\text{supp}_\sigma(\sigma^{-1}(r)\eta_\sigma(x)r^{-1}) = S \quad \text{voor alle } r \in W_x.$$

Resultaten van het bewijs:

1. Algemene Gültigheid: De "alleen als" richting ($\Rightarrow$) geldt voor alle $x$ met een voldoende grote lengte $\ell(x) \gg 0$. De "als" richting ($\Leftarrow$) geldt voor alle $x$.
2. Speciale Klassen: Het criterium is volledig bewezen voor:
   • Elementen $x$ die in precies één kritieke strook liggen.
   • Translatie-elementen en elementen van de vorm $v t_\mu$.
   • Groepen van type $A_n$ onder specifieke voorwaarden (waarbij de uitzonderingen slechts een klein gat laten in de conjectuur).
3. Versterking van bestaande theorema's: De paper toont aan dat het oude criterium (GHN A) kan worden verscherpt tot een meer expliciete vorm (Theorem 1.6), die stelt dat $X_x(b) \neq \emptyset$ als $x$ niet "afkomstig is van een echte Levi-deelgroep" (voor grote lengte).

Toepassingen:

• Beschrijving van $B(G)_x$: De paper geeft een volledige beschrijving van de verzameling $\sigma$-geconjugeerde klassen $[b]$ waarvoor $X_x(b) \neq \emptyset$ voor specifieke "cordiale" elementen $x$.
• Dimension Formules: Er wordt een nieuwe conjecturele dimensieformule voorgesteld voor $x$ in één kritieke strook, die een recursieve relatie gebruikt om de dimensie te berekenen.

4. Betekenis en Impact

• Oplossing van een open probleem: Dit werk verwijdert de restrictie van de "geschrompen Weyl-kamers" die decennialang een obstakel was in de theorie van ADLV's. Het biedt het eerste expliciete criterium voor het niet-leegheidsprobleem in de algemene (niet-geschrompen) context.
• Structuur van de Iwahori-niveau: Het inzicht in de verzameling $W_x$ en de relatie met kritieke stroken biedt een dieper begrip van de geometrische structuur van de affiene flagvariëteit en de interactie tussen de Frobenius-actie en de Weyl-groep.
• Verbinding met andere werken: De paper maakt een interessante link met recente werken van Felix Schremmer over "length-positive" verzamelingen, waarbij blijkt dat de door de auteur gedefinieerde verzameling $W_x$ nauw verwant is aan Schremmer's $LP(x)$.
• Toekomstige richting: De resultaten vormen de basis voor het oplossen van het dimensieprobleem voor ADLV's buiten de geschrompen kamers, wat essentieel is voor het volledig begrijpen van de moduli-ruimten van shtuka's en Shimura-variëteiten.

Samenvattend biedt Dong Gyu Lim een doorbraak in het classificeren van wanneer affiene Deligne-Lusztig variëteiten niet-leeg zijn, door een elegant en expliciet criterium te formuleren dat werkt voor de meest verfijnde niveau-structuren, met slechts een eindig aantal uitzonderingen.