Unexpected toric Richardson varieties

Titel: Onverwachte Torische Richardson Variëteiten

Auteurs: Eugene Gorsky, Soyeon Kim, Melissa Sherman-Bennett

---

1. Probleemstelling en Context

Richardson-variëteiten zijn belangrijke objecten in de algebraïsche meetkunde en combinatoriek, die ontstaan als doorsneden van Schubert-cellen en tegenovergestelde Schubert-cellen in de volledige vlagvariëteit $Fl(n)$. Voor twee permutaties $v, w \in S_n$ met $v \leq w$ in de Bruhat-orde, wordt de open Richardson-variëteit $R_{v,w}$ gedefinieerd als $X_w \cap X_v$, en de gesloten Richardson-variëteit $\overline{R}_{v,w}$ is de Zariski-sluiting daarvan.

Een centrale vraag in dit domein is wanneer deze variëteiten torisch zijn. Een variëteit $X$ heet torisch als er een algebraïsche torus $T$ op werkt met een dichte baan.

• Het is bekend dat $R_{v,w}$ torisch is ten opzichte van de standaard torus $T \subset SL(n)$ (diagonaalmatrices) dan en slechts dan als de wortels geassocieerd met elke maximale keten van $v$ naar $w$ lineair onafhankelijk zijn. In dit geval is de dimensie van de variëteit maximaal $n-1$.
• De auteurs onderzoeken de situatie waarin $R_{v,w}$ torisch is ten opzichte van een andere torus $T'$, mogelijk van hogere dimensie. Dit leidt tot het concept van "onverwachte" (unexpected) torische Richardson-variëteiten, waarbij de dimensie $d > n-1$ kan zijn.

De kernvraag is: Wanneer is een gesloten Richardson-variëteit $\overline{R}_{v,w}$ een torische variëteit, en wat zijn de combinatorische en meetkundige eigenschappen daarvan?

---

2. Methodologie

De auteurs combineren technieken uit verschillende gebieden:

1. Combinatoriek van Bruhat-intervallen: Analyse van de structuur van het interval $[v, w]$ in de Bruhat-orde, met name de afwezigheid van specifieke substructuren (2-kronen).
2. Cluster-algebra's: Gebruikmaking van het feit dat open Richardson-variëteiten cluster-variëteiten zijn. De auteurs analyseren wanneer de cluster-variëteit een torus is (alle variabelen zijn "gevroren").
3. Positroid-variëteiten en Plabic-graaf: Projectie van Richardson-variëteiten naar Grassmannianen $Gr(k, n)$, wat leidt tot positroid-variëteiten. De auteurs gebruiken plabic-graaf (planaire, bicolore graaf) om deze structuren te coderen.
4. Momentpolytopen: Onderzoek van de momentafbeelding en de bijbehorende polytopen. De auteurs beschrijven de gezichtsrooster (face lattice) van deze polytopen en hun relatie met de Deodhar-decompositie.
5. Parametrisatie: Gebruik van de Marsh-Rietsch-parametrisatie (MR-parametrisatie) om expliciete coördinaten en matrixrepresentaties te construeren.

---

3. Belangrijkste Bijdragen en Resultaten

A. Karakterisering van Torische Richardson-variëteiten

De belangrijkste theoretische doorbraak is de equivalentie tussen de open variëteit die een torus is, en de gesloten variëteit die torisch is.

• Stelling 1.1 & 1.2: De volgende voorwaarden zijn equivalent:
  1. De open Richardson-variëteit $R_{v,w}$ is isomorf met een torus.
  2. De gesloten Richardson-variëteit $\overline{R}_{v,w}$ is een torische variëteit.
  3. Het Bruhat-interval $[v, w]$ bevat geen subinterval isomorf met $S_3$ (een "2-kroon").
  4. Het Bruhat-interval $[v, w]$ is een tralier (lattice).
  5. Het interval-poset van subintervallen is een tralier.

Dit betekent dat de aanwezigheid van een 2-kroon (de Bruhat-grafiek van $S_3$) de enige obstructie is voor het torisch zijn van de variëteit.

B. "Onverwachte" Torische Variëteiten

De auteurs tonen aan dat er torische Richardson-variëteiten bestaan met dimensie $d > n-1$.

• Deze variëteiten zijn niet torisch ten opzichte van de standaard torus $T \subset SL(n)$, maar wel ten opzichte van een andere torus $T'$ die niet uitbreidt tot de volledige vlagvariëteit.
• Ze noemen deze "onverwacht" (unexpected).
• Er wordt een oneindige familie gegeven gebaseerd op "grote hyperkubus"-intervallen (uit eerder werk [14]), waarbij de dimensie $d = O(n \log n)$ kan groeien.

C. Meetkunde van Momentpolytopen

De auteurs geven een volledig beschrijving van de momentpolytoop $\mathcal{P}(v, w)$ van een torische Richardson-variëteit.

• Stelling 1.3: Het gezichtsrooster (face lattice) van de momentpolytoop $\mathcal{P}(v, w)$ is isomorf met het poset van subintervallen van $[v, w]$. De $s$-dimensionale gezichten corresponderen met subintervallen $[v', w']$ met lengte $s$.
• Stelling 1.5: De momentpolytoop is de Minkowski-som van affiene transformaties van positroid-polytopen, geïndexeerd door de plabic-graaf $G_k(v, w)$.
• Corollarium 1.4: Het poset van subintervallen is precies dan het gezichtsrooster van een polytoop als het interval geen 2-kronen bevat.

D. Projecties naar Grassmannianen

Wanneer $R_{v,w}$ een torus is:

• De projectie $\pi_k(R_{v,w})$ naar $Gr(k, n)$ is een open positroid-variëteit die zelf ook een torus is.
• De bijbehorende plabic-graaf $G_k(v, w)$ is een bos (een graaf zonder cycli). Dit is een cruciaal combinatorisch kenmerk.

---

4. Technische Details en Constructies

• Deodhar-decompositie: De open variëteit wordt ontleed in componenten. Als $R_{v,w}$ een torus is, bestaat deze uit precies één component (de Deodhar-torus).
• MR-parametrisatie: De auteurs gebruiken de Marsh-Rietsch-matrix $g$ om coördinaten te definiëren. De niet-nul Plücker-coördinaten (flag minors) zijn dan unieke monomen in de parameters.
• Affiene Equivalenties: Er wordt een expliciete relatie gelegd tussen de positroid-polytoop $P_k(v, w)$ (in $\mathbb{R}^n$) en de component-polytoop $\mathcal{P}_k(v, w)$ (in de ruimte van de torus) via een affiene transformatie $A^{(k)}$.
• Expliciete Voorbeelden:
  • Een 4-dimensionale hyperkubus-interval in $S_4$ levert een torische variëteit op.
  • Een oneindige familie voor even $n$ met $w=(1, n)$ en $v=s_2 s_4 \dots s_{n-2}$.
  • De familie gebaseerd op dyadisch goed verdeelde permutaties (uit [14]), waarbij de plabic-graaf inductief wordt beschreven.

---

5. Betekenis en Impact

1. Oplossing van een Open Vraag: Het artikel beantwoordt positief de vraag of de actie van een cluster-torus op een open Richardson-variëteit uitbreidt naar de gesloten variëteit, mits de dimensie maximaal is (d.w.z. als de open variëteit een torus is).
2. Nieuwe Klasse van Variëteiten: Het introduceert en classificeert een nieuwe klasse van "onverwachte" torische variëteiten met hoge dimensie, die buiten het bereik van de standaard $T$-actie vallen.
3. Combinatorisch-Meetkundige Link: Het versterkt de link tussen de combinatoriek van Bruhat-intervallen (afwezigheid van 2-kronen) en de meetkunde van torische variëteiten en hun polytopen. Het toont aan dat de structuur van het interval volledig de combinatoriek van de momentpolytoop bepaalt.
4. Toepassingen in Cluster-theorie: De resultaten bieden inzicht in de relatie tussen cluster-structuren, cluster-variëteiten en hun compactificaties, wat relevant is voor de studie van totale positiviteit en integrabele systemen.

Samenvattend biedt dit werk een volledige karakterisering van wanneer Richardson-variëteiten torisch zijn, beschrijft ze de bijbehorende meetkunde via polytopen en plabic-graaf, en onthult een rijke familie van hoge-dimensionale voorbeelden die eerder onbekend waren.