Higher rank Gelfand-Kapranov-Zelevinsky fans

Technische Samenvatting: Hoger-rangs Gelfand-Kapranov-Zelevinsky-fans

Probleemstelling
Het artikel behandelt de noodzaak om de klassieke Gelfand-Kapranov-Zelevinsky (GKZ) theorie — die polyedrische fans (secundaire fans) associeert aan puntconfiguraties om torische degeneraties en resultanten te bestuderen — te generaliseren naar een "hoger-rangs" setting. In het klassieke geval ($N=1$) mappen hoogtefuncties een puntconfiguratie $A$ naar $\mathbb{R}$, wat regelmatige polytopische subdivisies induceert. De auteurs beogen hogere-rangs GKZ-fans te definiëren en te bestuderen waarbij hoogtefuncties $A$ mappen naar $\mathbb{R}^N$ (voor $N \geq 1$), uitgerust met de lexicografische orde. De primaire uitdagingen liggen in het definiëren van de passende polyedrische geometrische structuren in deze hogere-rangs context, waar de standaard Euclidische topologie en Farkas' lemma falen, en het vaststellen hoe deze structuren zich verhouden tot quasi-valuaties op de homogene coördinatengingen van de geassocieerde torische variëteiten.

Methodologie
De auteurs maken gebruik van een combinatie van discrete geometrie, polyedrische combinatoriek en algebraïsche geometrie.

1. Discrete Geometrie van $\mu$-polyedrische kegels: Om het gebrek aan een standaard totale orde die compatibel is met de Euclidische topologie in $\mathbb{R}^N$ ($N>1$) op te vangen, fixeren de auteurs de lexicografische orde en maken zij gebruik van de bijbehorende orde-topologie. Zij introduceren $\mu$-polyedrische kegels in de ruimte van matrices $M_{N,r}(\mathbb{R})$ als eindige intersecties van gegeneraliseerde gesloten halfruimtes gedefinieerd door een bilineaire afbeelding $\mu$.
2. Polaire Correspondentie en Co-vlakken: Een centraal instrument is de ontwikkeling van een polaire dualiteit tussen polyedrische kegels in $\mathbb{R}^r$ en $\mu$-polyedrische kegels in $M_{N,r}(\mathbb{R})$. Om de geometrie van deze kegels te beheren, introduceren de auteurs het nieuwe concept van co-vlakken (tangente kegels gegenereerd door een lijn toe te voegen door een punt in de kegel) en co-fans. Zij stellen vast dat de vlakken van $\mu$-polyedrische kegels corresponderen met co-vlakken van hun polaire duale.
3. Constructie van Hogere-rangs GKZ-kegels: Gebruikmakend van het raamwerk van stuksgewijze lineaire afbeeldingen $g: K(P) \to \mathbb{R}^N$ die "convex naar boven" zijn met betrekking tot de lexicografische orde, definiëren de auteurs hogere-rangs GKZ-kegels $C(Q, N)$. Deze kegels bestaan uit matrices $\Psi$ die een specifieke polytopische subdivisie $Q$ van de convexe omhullende van $A$ induceren.
4. Algebraïsche Toepassing: De auteurs construeren een quasi-valuatie $V_\Psi$ op de homogene coördinatengang $K[X_A]$ van de torische variëteit geassocieerd met $A$. Deze valuatie wordt afgeleid van de stuksgewijs lineaire afbeelding $g_\Psi$ geassocieerd met een punt $\Psi$ in een hogere-rangs GKZ-kegel.

Kernbijdragen en Resultaten

• Definitie van Hogere-rangs GKZ-fans: Het artikel definieert hogere-rangs GKZ-kegels $C(Q, N)$ en bewijst dat dit $\mu$-polyedrische kegels zijn. Het toont aan dat deze kegels, geïndexeerd door regelmatige polytopische subdivisies, samensmelten tot een volledige fan $\Sigma_N$ in $M_{N,r}(\mathbb{R})$ (Theorem 3.31). Dit beantwoordt de vraag hoe analogen van GKZ-kegels gedefinieerd kunnen worden en of zij een volledige fan vormen in de hogere-rangs setting.
• Polaire Dualiteit en Regulariteit: De auteurs bewijzen dat de hogere-rangs GKZ-kegels de polaire dualen zijn van "GKZ-conditie-kegels" (Proposition 3.26). Zij definiëren regelmatige subdivisies in de hogere-rangs context, waarbij zij aantonen dat een subdivisie regelmatig is dan en slechts dan als de bijbehorende hogere-rangs GKZ-kegel niet-leeg is (Proposition 3.29). Deze definitie komt overeen met de klassieke definitie wanneer $N=1$.
• Quasi-valuaties en Khovanskii-bases: Voor elke matrix $\Psi$ in een hogere-rangs GKZ-kegel definiëren de auteurs een radicale, discrete, homogene quasi-valuatie $V_\Psi$ op $K[X_A]$ (Proposition 4.8). Zij bewijzen dat voor elk dergelijk $\Psi$, de quasi-valuatie een eindige Khovanskii-basis toelaat (Corollary 5.3).
• Semi-torische Degeneraties: Het artikel bestudeert de geometrische degeneratie geïnduceerd door $V_\Psi$. Er wordt aangetoond dat de geassocieerde gegradeerde algebra $\text{gr}_{V_\Psi} K[X_A]$ gereduceerd en eindig gegenereerd is. Geometrisch gezien is $\text{Proj}(\text{gr}_{V_\Psi} K[X_A])$ een gereduceerde, irredundante vereniging van een eindig aantal evendimensionale torische variëteiten, één voor elke polytope in de subdivisie $Q$ (Theorem 5.1). Deze variëteit hangt alleen af van de subdivisie $Q$, en niet van de specifieke keuze van $\Psi$ binnen de kegel.

Betekenis
Het artikel beweert positieve antwoorden te bieden op drie fundamentele vragen betreffende de uitbreiding van de GKZ-theorie naar hogere rangen:

1. Het vestigt de discrete geometrische structuur van hogere-rangs GKZ-kegels als $\mu$-polyedrische kegels binnen een volledige fan.
2. Het bevestigt dat deze kegels samengevoegd kunnen worden tot een volledige fan, wat de klassieke secundaire fan generaliseert.
3. Het demonstreert dat punten in deze kegels quasi-valuaties definiëren die leiden tot vlakke degeneraties van torische variëteiten naar verenigingen van torische variëteiten, waarbij de combinatoriek van de onderliggende polytopische subdivisie wordt gecodeerd.

Het werk breidt de klassieke resultaten van Gelfand, Kapranov en Zelevinsky (met betrekking tot resultanten en discriminanten) en Sturmfels (met betrekking tot Gröbner-degeneraties) uit naar een hogere-rangs raamwerk. Het biedt een rigoureuze geometrische en algebraïsche fundering voor het bestuderen van semi-torische degeneraties via hogere-rangs quasi-valuaties, waarbij de combinatoriek van polytopische subdivisies direct wordt gekoppeld aan de structuur van de geassocieerde gegradeerde algebra's.