Technische Samenvatting: Apolariteit voor Border Cactus Decompositie

Probleemstelling

Het artikel behandelt het probleem van het karakteriseren van de lidmaatschap van een punt $F$ (of een lineaire deelruimte $W$) in cactusvariëteiten en secantvariëteiten van gladde projectieve torische variëteiten $X$. Specifiek streeft het naar het generaliseren van de border apolariteitstechniek, die eerder is ontwikkeld voor secantvariëteiten over de complexe getallen, naar:

1. Cactusvariëteiten ($K_r(X)$), die secantvariëteiten generaliseren door decomposities toe te staan in 0-dimensionale schema's van graad ten hoogste $r$, in plaats van enkel verzamelingen van $r$ onderscheidende punten.
2. Willekeurige algebraïsch gesloten velden $k$, waarbij de restrictie tot karakter nul of de complexe getallen die in eerder werk (specifiek [BB21]) werd gevonden, wordt opgeheven.
3. Lineaire deelruimten $W \subset H^0(X, L)^*$, wat de theorie uitbreidt van enkelvoudige punten naar hogere-dimensionale deelruimten (equivalent aan simultane decomposities in de niet-border setting).

De kernuitdaging ligt in het feit dat standaard apolariteit een schema $R$ relateert aan een punt via de inclusie van idealen $I(R) \subset \text{Ann}(F)$. Echter, voor border rank en cactus rank moet men rekening houden met limieten van dergelijke schema's of niet-gereduceerde schema's, waarbij het ideaal $I(R)$ mogelijk niet verzadigd is of niet goed gedraagt onder vlakke degeneratie. Het artikel beoogt "border cactus decomposities" rigoureus te definiëren met behulp van idealen in de Cox-ring (totale coördinaten-ring) van de torische variëteit.

Methodologie

De auteurs maken gebruik van een combinatie van multigraad Hilbert-schema's, Cox-ring theorie en apolariteit om een correspondentie tussen geometrische objecten (subschema's) en algebraïsche objecten (idealen) te construeren.

1. Multigraad Hilbert-schema's en Verzadiging

Het artikel legt een brug tussen het Grothendieck Hilbert-schema $\text{Hilb}(X)$ (dat subschema's van $X$ parametriseert) en het multigraad Hilbert-schema $\text{Hilb}(S[X])$ (dat multihomogene idealen in de Cox-ring $S[X]$ parametriseert).

• Cruciale technische tool: De auteurs bewijzen dat voor een vlakke familie van subschema's, de eigenschap dat het geassocieerde homogene ideaal verzadigd is (met betrekking tot het irrelevante ideaal van de torische variëteit) een open conditie is (Theorem 2.1, Corollary 2.2).
• Analyse van de generieke vezel: Ze demonstreren dat een algemene configuratie van punten in een gladde torische variëteit de verwachte Hilbert-functie bezit (Theorem 2.12), wat eerdere resultaten van $\mathbb{C}$ uitbreidt naar elk algebraïsch gesloten veld.

2. De Correspondentie-afbeelding

Een centrale constructie is de morfisme $\text{sch}: \text{Hilb}(S[X]) \to \text{Hilb}(X)$, die een homogeen ideaal afbeeldt op het subschema dat het definieert.

• Proposition 1.3 / Corollary 3.5: Voor elke irreducibele component $H \subset \text{Hilb}(X)$ bestaat er een unieke irreducibele component $H_H \subset \text{Hilb}(S[X])$ zodanig dat de restrictie van $\text{sch}$ naar $H_H$ een birationale morfisme is. Cruciaal is dat een algemeen ideaal in $H_H$ verzadigd is.
• Dit stelt hen in staat om geometrische problemen over subschema's in $X$ te tillen naar problemen over idealen in de Cox-ring $S[X]$.

3. Apolariteit en Border Decomposities

De auteurs maken gebruik van de apolariteitsactie van de Cox-ring $S[X]$ op de duale ruimte $\tilde{S}[X]$.

• Definitie: Een border cactus decompositie wordt gedefinieerd als een homogeen ideaal $I \subset S[X]$ dat in het apolaire ideaal $\text{Ann}(F)$ ligt en die de lidmaatschap van $F$ in een cactusvariëteit getuigt.
• Lineaire Span-afbeelding: Ze construeren een "lineaire span-afbeelding" van het Hilbert-schema naar een Grassmanniaanse, waarmee het probleem wordt opgelost dat het lineaire span van een subschema niet continu is onder vlakke degeneratie. Door te werken op het multigraad Hilbert-schema, definiëren ze een morfisme dat het lineaire span van de limiet-schema's correct vastlegt (Proposition 3.6).

Belangrijkste Bijdragen en Resultaten

1. Generalisering van Border Apolariteit

Het artikel breidt de Weak Border Apolarity stelling uit naar willekeurige karakteristieken en torische variëteiten.

• Theorem 1.1: Als $F \in \sigma_r(X)$ (de $r$-de secantvariëteit), dan bestaat er een homogeen ideaal $I \subset S[X]$ zodanig dat $I \subset \text{Ann}(F)$ en de codimensie van de gegradeerde stukken $I_D$ overeenkomt met de verwachte dimensie $\min(r, \dim S[X]_D)$. Als een oplosbare groep $B$ op $X$ werkt en $F$ behoudt, bestaat er een invariant dergelijk ideaal.

2. Apolariteit voor Border Cactus Decompositions (ABCD)

De belangrijkste theoretische bijdrage is de karakterisering van lidmaatschap in cactusvariëteiten via idealen.

• Theorem 1.4 (ABCD): Een punt $F$ behoort tot de $r$-de cactusvariëteit $K_r(X)$ dan en slechts dan als er een irreducibele component $H \subset \text{Hilb}_r(X)$ bestaat (specifiek één die Gorenstein-schema's bevat) en een homogeen ideaal $I \in H_H$ (de overeenkomstige component in het multigraad Hilbert-schema) zodanig dat $I \subset \text{Ann}(F)$.
• Theorem 1.2 (Weak ABCD): Dit biedt een eindige lijst van Hilbert-functies $\{h_1, \dots, h_k\}$ waarvoor geldt dat als $F \in K_r(X)$, er een ideaal $I \subset \text{Ann}(F)$ bestaat met een van deze Hilbert-functies.

3. Uitbreiding naar Lineaire Deelruimten

De theorie wordt gegeneraliseerd naar lineaire deelruimten $W \subset H^0(X, L)^*$.

• Theorem 4.5 & 4.6: Deze stellingen vestigen een equivalentie tussen het feit dat $W$ behoort tot een Grassmann cactusvariëteit $K_{r,i}(X)$ en de existentie van een ideaal $I$ in de passende component van het multigraad Hilbert-schema zodanig dat $I \subset \text{Ann}(W)$.
• Dit omvat een Borel fixed point argument (Theorem 4.6) om de existentie van invariante idealen te garanderen wanneer een oplosbare groep werkt, wat cruciaal is voor computationele toepassingen met symmetrie.

4. Verfijning van Hilbert-functies

Het artikel onderzoekt de Hilbert-functies van verzadigde idealen in componenten van het Hilbert-schema.

• Proposition 4.10: Voor een component $H \subset \text{Hilb}_r(\mathbb{P}^n)$ is de Hilbert-functie in graad 1 altijd $h_H(1) = \min(r, n+1)$.
• Proposition 4.14: De auteurs leveren een tegenvoorbeeld waarbij voor $r=28$ in $\mathbb{P}^6$ de Hilbert-functie van een algemeen schema in een specifieke component verschilt van de generieke "verwachte" functie in graad 2 ($27 < 28$). Dit benadrukt dat de verzameling relevante Hilbert-functies voor cactus-decompositie niet triviaal is en een zorgvuldige enumeratie vereist.

Betekenis en Claims

Het artikel claimt de methode van border apolariteit geïntroduceerd in [BB21] te verbeteren en uit te breiden. De betekenis ligt in:

1. Veldonafhankelijkheid: Het wegnemen van de afhankelijkheid van de complexe getallen, waardoor de theorie toepasbaar is op elk algebraïsch gesloten veld.
2. Cactusvariëteiten: Het bieden van een rigoureus algebraïsch kader (via het multigraad Hilbert-schema) om cactusvariëteiten te bestuderen, die dienen als obstructies voor determinantale vergelijkingen die secantvariëteiten definiëren.
3. Verenigd Kader: Het verenigen van de studie van secantvariëteiten, cactusvariëteiten en simultane decomposities (lineaire deelruimten) onder één enkel apolariteit-gebaseerd formalisme met betrokkenheid van idealen in de Cox-ring.
4. Algoritmisch Potentieel: Door lidmaatschap te karakteriseren via de existentie van specifieke idealen met begrensde Hilbert-functies, bieden de resultaten een pad voor algoritmische verificatie van de border cactus rank, hoewel het artikel opmerkt dat het enumereren van alle relevante Hilbert-functies voor een algemene $r$ een open probleem blijft.

De auteurs geven expliciet aan dat de resultaten zijn geformuleerd en bewezen voor lineaire deelruimten van elke dimensie, niet enkel voor punten, en dat de "zwakke" versies van de stellingen noodzakelijke voorwaarden zijn (existentie van een ideaal) die ook voldoende zijn voor lidmaatschap in de respectieve variëteiten. Het artikel claimt niet het probleem van het berekenen van de exacte cactus rank voor alle gevallen op te lossen, maar biedt de theoretische machinerie (de "getuige" idealen) om lidmaatschap te testen.