Multigraded Regularity of the Complete Flag Variety

Technische Samenvatting: Multigraadse Regulariteit van de Volledige Flag-variëteit

Probleemstelling
Dit artikel behandelt de berekening van de multigraadse regulariteit van de volledige flag-variëteit, $Fl(\mathbb{C}^n)$, onder de Plücker-inbedding. Hoewel Maclagan en Smith de multigraadse regulariteit introduceerden om de Castelnuovo-Mumford-regulariteit te generaliseren naar producten van projectieve ruimten, blijven expliciete berekeningen voor specifieke families van variëteiten schaars. De auteurs richten zich op de volledige flag-variëteit, een klasse van variëteiten die een rijke combinatorische structuur bezit en een natuurlijke multigraad heeft geïnduceerd door de Plücker-inbedding in een product van projectieve ruimten $\mathbb{P}^{\binom{n}{1}-1} \times \cdots \times \mathbb{P}^{\binom{n}{n-1}-1}$. De centrale vraag is het bepalen van de verzameling multide degrees $d \in \mathbb{Z}^{n-1}$ waarvoor de coherente schab van $\iota^*\mathcal{O}_{Fl(\mathbb{C}^n)}$ $d$-regulier is, waarbij $\iota$ de Plücker-inbedding is.

Methodologie
De studie maakt gebruik van de wisselwerking tussen combinatorische data en multigraadse commutatieve algebra. Het primaire theoretische instrument is de Borel-Weil-Bott-stelling, die een volledige combinatorische beschrijving biedt van de cohomologie van lijnbundels op volledige flag-variëteiten. Specifiek maken de auteurs gebruik van Bott's algoritme (en de variant met inversie-telling) om het verdwijnen van cohomologiegroepen $H^i(F, \mathcal{O}_F(a))$ te bepalen.

De definitie van multigraadse regulariteit vereist het verdwijnen van cohomologiegroepen $H^i(P, \mathcal{G}(d-c))$ voor alle $i > 0$ en alle $c \in \mathbb{N}^{n-1}$ met $|c|=i$. De auteurs stellen vast dat voor de volledige flag-variëteit de regulariteit van het definiërende ideaal $S/I$ samenvalt met de regulariteit van de geassocieerde coherente schab $\iota^*\mathcal{O}_{Fl(\mathbb{C}^n)}$.

Om de computationele complexiteit naarmate $n$ toeneemt te beheersen, ontwikkelen de auteurs inductieve relaties tussen de regulariteitsregio's van $Fl(\mathbb{C}^n)$ en $Fl(\mathbb{C}^{n-1})$. Deze relaties stellen de auteurs in staat om binnenste en buitenste grenzen voor de regulariteitsregio van $Fl(\mathbb{C}^{n+1})$ af te leiden op basis van de berekende regio voor $Fl(\mathbb{C}^n)$. Voor kleine waarden van $n$ voeren de auteurs expliciete berekeningen uit met de software Macaulay2, waarbij zij de verdwijning van cohomologie verifiëren via de inversie-telling-criteria afgeleid van de Bott-stelling.

Belangrijkste Bijdragen en Resultaten

1. Inductieve Grenzen (Stellingen A en B):
   Het artikel bewijst twee cruciale inductieve proposities betreffende de propagatie van regulariteit:

   • Propagatie van Niet-regulariteit: Als een multide degree $a$ niet in de regulariteitsregio van $Fl(\mathbb{C}^n)$ zit, dan zijn voor elke integer $b$ de uitgebreide degrees $(a, b)$ en $(b, a)$ niet in de regulariteitsregio van $Fl(\mathbb{C}^{n+1})$. Dit biedt een methode voor het vaststellen van buitenste grenzen.
   • Propagatie van Regulariteit: Als $a$ in de regulariteitsregio van $Fl(\mathbb{C}^n)$ zit, dan zijn $(a, b)$ en $(b, a)$ in de regulariteitsregio van $Fl(\mathbb{C}^{n+1})$, mits $b$ voldoende groot is (specifiek $b \geq \dim(Fl(\mathbb{C}^{n+1}))$). Dit biedt binnenste grenzen.

2. Expliciete Berekeningen voor Lage $n$ (Stelling A):
   De auteurs bieden een volledige beschrijving van de minimale elementen van de regulariteitsregio voor $n \leq 6$:

   • $n=3$: De regulariteitsregio is $\mathbb{N}^2$ (minimaal element $(0,0)$).
   • $n=4$: De minimale elementen zijn $(1,0,0), (0,1,0), (0,0,1)$. Het verifiëren hiervan vereist het controleren van 83 cohomologiecondities.
   • $n=5$: Er zijn 19 minimale elementen.
   • $n=6$: Er zijn 179 minimale elementen.
     Het aantal cohomologiecondities dat vereist is om een enkel element te verifiëren groeit snel (bijv. 15.503 condities voor $n=6$), wat computationele assistentie noodzakelijk maakt.

3. Asymptotisch Gedrag (Stelling C):
   Door de minimale totale graad $m(n) = \min \{|d| : d \in \text{reg}(Fl(\mathbb{C}^n))\}$ te analyseren, stellen de auteurs grenzen vast aan de groei van de regulariteitsregio:

   • Ondergrens: $m(n) \geq \frac{6}{5}n - 6$ voor $n \geq 7$.
   • Bovengrens: $m(n) \leq \frac{n^3 - n - 24}{6}$.
     Dit toont aan dat de groei van de minimale totale graad minstens lineair en hoogstens cubisch is in $n$.

4. Standaard Gegradeerde Regulariteit:
   Het artikel berekent ook de standaard gegradeerde regulariteit van de flag-variëteit wanneer deze in een enkele projectieve ruimte is ingebed via de Segre-inbedding van de Plücker-afbeelding. De regulariteit is getoond te $d-1$ te zijn, waarbij $d = \dim(Fl(\mathbb{C}^n)) = \binom{n}{2}$.

Betekenis en Claims
Het artikel claimt de eerste volledige beschrijving te bieden van de multigraadse regulariteit voor de volledige flag-variëteit voor een reeks $n$, waarbij zij verder gaat dan theoretische definities naar expliciete computationele resultaten. Het benadrukt de moeilijkheid van het probleem, waarbij wordt opgemerkt dat het aantal te verifiëren condities factorial met $n$ groeit.

De betekenis ligt in het overbruggen van combinatorische algebraïsche meetkunde en multigraadse commutatieve algebra. Door gebruik te maken van de combinatorische structuur van de flag-variëteit (specifiek de Bruhat-orde en de Borel-Weil-Bott-stelling), demonstreren de auteurs dat multigraadse regulariteit inderdaad gecodeerd is in combinatorische data, vergelijkbaar met hoe Castelnuovo-Mumford-regulariteit is gecodeerd voor Grassmanniaanse en Schubert-variëteiten.

De auteurs blijven bescheiden over de algemene casus voor willekeurige $n$. Hoewel zij vermoeden dat de groei van $m(n)$ kwadratisch is (specifiek $m(n) = \binom{n-2}{2}$ voor $n \geq 4$) en dat de regulariteitsregio langs de diagonaal $(a, \dots, a)$ bepaald wordt door $a \geq \frac{n-3}{2}$, blijven dit openstaande vragen. Het artikel claimt niet het probleem voor alle $n$ te hebben opgelost, maar stelt eerder een kader van inductieve grenzen vast en biedt een concrete dataset voor lage dimensies die de asymptotische gedraging suggereert.