Minimal resolutions of toric substacks by line bundles

Titel: Minimale Resoluties van Torische Substacks door Lijnbundels

Auteur: Zengrui Han
Trefwoorden: Torische variëteiten, Torische stacks, Minimale resoluties, Homologische perturbatie, Moore-Penrose inversen, Bondal-stratificatie.

---

1. Het Probleem

In de studie van algebraïsche variëteiten spelen resoluties van diagonalen en structuurrijken een centrale rol. Voor torische variëteiten en stacks is de cohomologie van torische subvariëteiten goed begrepen (o.a. door Fulton en Sturmfels). Onlangs hebben Hanlon, Hicks en Lazarev (HHL) een canonieke cellulaire resolutie geconstrueerd voor de pushforward van de structuurrijk van een torische substack, gebruikmakend van de zogenaamde Bondal-Thomsen collectie van lijnbundels.

Het fundamentele probleem dat in dit artikel wordt aangepakt, is dat de HHL-resolutie vaak niet-minimaal is. Hoewel er algoritmische methoden bestaan (zoals discrete of algebraïsche Morse-theorie) om redundante sommanden te verwijderen en een minimale resolutie te verkrijgen, ontbreekt er tot nu toe een canonieke en puur combinatorische constructie van deze minimale resolutie zelf. Bestaande werken (zoals die van Favero en Sapronov) leveren wel formules voor de Betti-cijfers via homologische spiegel-symmetrie, maar bieden geen expliciete, constructieve methode voor de differentiaal-matrices zonder terug te vallen op spiegel-symmetrie.

2. Methodologie

De auteur combineert twee krachtige wiskundige hulpmiddelen om dit probleem op te lossen:

1. Homologische Perturbatie Lemma (HPL):
   Dit lemma stelt dat als men een ketencomplex $(C_\bullet, d_C)$ heeft dat een sterke deformatie-retract is van een ander complex $(H_\bullet, d_H)$, en men de differentiaal $d_C$ "klein" pertubeert tot $d_{C,\infty} = d_C + \delta$, men de differentiaal van het homologie-complex $d_H$ kan aanpassen tot een nieuwe differentiaal $d_{H,\infty}$. Het resultaat is een nieuw complex dat homotoop-equivalent is aan het geperturbeerde complex.

2. Moore-Penrose Inversen:
   Om de HPL toe te passen, is een specifieke keuze van de homotopie-map $h$ nodig. In principe is deze keuze niet uniek. Han kiest voor de Moore-Penrose inverse van de differentiaal van de geassocieerde graad-complexen.

   • Voordeel: De Moore-Penrose inverse is uniek en vereist geen willekeurige keuzes (zoals een perfecte Morse-matching). Dit garandeert dat de constructie canoniek is en volledig bepaald wordt door de Bondal-stratificatie zelf.
   • Combinatoriek: De auteur maakt gebruik van de "Hedge-formule" (uit werk van Eagon, Miller en Ordog) om de Moore-Penrose inversen combinatorisch te beschrijven via sommen over "hedges" (paren van subsets van basisvectoren).

3. Constructie en Key Contributions

De kern van de constructie verloopt als volgt:

• Bondal-stratificatie en HHL-resolutie: De auteur herneemt de HHL-resolutie, die cellen $\sigma$ koppelt aan lijnbundels $O(\sigma)$. De differentiaal $d$ bevat termen die afhangen van de relatieve posities van deze cellen.
• Filtratie en Geassocieerd Graded Complex: De HHL-resolutie wordt gefiltreerd volgens de partiële orde op de Bondal-Thomsen collectie (de "Bondal-Thomsen poset"). Het geassocieerde graad-complex ($gr_F C_\bullet$) heeft triviale differentiaal op de niveaus waar de lijnbundels gelijk zijn, en alleen "Type I" koppelingen (waar $O(\sigma) > O(\tau)$) blijven over.
• Splitsing in Type I en Type II:
  • Type I: Koppelingen tussen verschillende lijnbundels ($O(\sigma) > O(\tau)$). Deze corresponderen met de oorspronkelijke HHL-differentiaal.
  • Type II: Koppelingen binnen dezelfde lijnbundel ($O(\sigma) = O(\tau)$). Deze corresponderen met de differentiaal van de cellulaire ketencomplexen van de Bondal-stratificatie.
• Toepassing van HPL:
  De auteur beschouwt het verschil $\delta = d - gr_F d$ als de perturbatie. De homotopie $h$ wordt gedefinieerd als de negatieve Moore-Penrose inverse van de differentiaal van de Type II-koppelingen.
  Door de HPL toe te passen, wordt de nieuwe differentiaal $d_{min}$ berekend als een som over alle mogelijke "zig-zag" paden in de stratificatie. Een pad bestaat uit een afwisseling van Type I (HHL-gewichten) en Type II (Moore-Penrose gewichten) stappen.

Combinatorische Beschrijving van Differentiaal:
De differentiaal $d_{min}$ in de minimale resolutie wordt expliciet gegeven door een som over alle paden $\lambda$ van een cel $\sigma$ naar $\tau$:
$$\Sigma_{\sigma, \tau} = \sum_{\lambda \in P(\sigma, \tau)} (-1)^{l(\lambda)} w_\lambda$$
Waarbij $w_\lambda$ het product is van de HHL-gewichten en de MP-gewichten langs het pad, en $l(\lambda)$ het aantal Type II-stappen is.

4. Belangrijkste Resultaten

• Stelling 1.1 (Hoofdstelling): Het complex dat wordt verkregen door de HPL toe te passen op de HHL-resolutie (met de Moore-Penrose homotopie), is een minimale resolutie van de pushforward van de structuurrijk van de torische substack.
• Stelling 1.2: In de taal van de Cox-ring $S$ van een torische variëteit $X$, vormt dit complex een minimale virtuele resolutie van de $Cl(X)$-gegradueerde $S$-module $S/I_Y$ (waar $I_Y$ het definiërende ideaal is).
• Canonieke Aard: De constructie is volledig canoniek; de differentiaal-matrices worden uitsluitend bepaald door de geometrie van de Bondal-stratificatie en vereisen geen externe keuzes.
• Algebraïsch Bewijs: Het resultaat levert een puur algebraïsch bewijs voor de formule van Favero en Sapronov voor de Betti-cijfers, zonder gebruik te maken van homologische spiegel-symmetrie.

5. Betekenis en Impact

• Oplossing van een open probleem: Het artikel biedt de eerste canonieke en combinatorische constructie van minimale resoluties voor deze klasse van objecten, een probleem dat eerder als moeilijk werd beschouwd.
• Brug tussen Gebieden: Het verbindt de theorie van torische stacks, homologische algebra (perturbatie lemma) en lineaire algebra (Moore-Penrose inversen) op een nieuwe manier.
• Toepasbaarheid: De methode is niet alleen theoretisch, maar ook berekenbaar. In Sectie 6 wordt een expliciet voorbeeld gegeven voor de gewogen projectieve ruimte $\mathbb{P}(3,1,1)$, waarbij de auteur de minimale resolutie expliciet berekent en vergelijkt met een versie die gebruikmaakt van een willekeurige Morse-matching (wat resulteert in een "mooiere" maar niet-canonieke vorm).
• Combinatorische Inzicht: Door de differentiaal te beschrijven als een som over paden met specifieke gewichten, biedt het paper een diep inzicht in de structuur van deze resoluties, wat nuttig kan zijn voor verdere onderzoek in commutatieve algebra en algebraïsche meetkunde.

Kortom, het paper transformeert een niet-minimale, maar bekende constructie (HHL) in een minimale, canonieke en volledig combinatorisch beschrijfbare resolutie door slim gebruik te maken van perturbatietechnieken en de unieke eigenschappen van Moore-Penrose inversen.