Inversion of adjunction for quotient singularities III: semi-invariant case

Hier volgt een gedetailleerde technische samenvatting van het artikel "Inversion of Adjunction for Quotient Singularities III: Semi-Invariant Case" van Yusuke Nakamura en Kohsuke Shibata.

1. Probleemstelling en Context

Het artikel behandelt twee centrale conjectures in de birationale geometrie met betrekking tot minimale logaritmische discrepanties (mld):

1. De LSC-conjecture (Lower Semi-Continuity): Deze conjecture, voorgesteld door Ambro, stelt dat de functie die een gesloten punt $x$ afbeeldt op zijn minimale logaritmische discrepantie $\text{mld}_x(X, \mathfrak{a})$, laagste halfcontinu is.
2. De PIA-conjecture (Inversion of Adjunction): Deze conjecture relateert de mld van een paar $(X, D, \mathfrak{a})$ aan de mld van de divisor $D$ zelf, en stelt specifiek dat $\text{mld}_x(X, D, \mathfrak{a}) = \text{mld}_x(D, \mathfrak{a}|_D)$ onder bepaalde voorwaarden.

Vorige Werk:
De auteurs bewezen deze conjectures eerder voor eindige lineaire groepquotiënten van volledige doorsnedevariëteiten gedefinieerd door invariante vergelijkingen (waarbij $g(f) = f$ voor alle $g \in G$) in hun artikel [NS22].

Het Gat:
Veel belangrijke singulariteiten, met name 3-dimensionale terminale singulariteiten, ontstaan uit quotiënten van variëteiten gedefinieerd door semi-invariante vergelijkingen (waarbij $g(f) = \chi(g)f$ voor een karakter $\chi$). Het eerdere raamwerk dat uitsluitend invariante vergelijkingen behandelde, was ontoereikend om deze gevallen te hanteren. Het doel van dit artikel is om de resultaten uit invariante vergelijkingen uit te breiden naar semi-invariante vergelijkingen.

2. Methodologie

De auteurs maken gebruik van de theorie van boogruimten (specifiek de Denef-Loeser-theorie) om minimale logaritmische discrepanties te berekenen. De kernmethodologie omvat de volgende stappen:

A. Opzet en Definities

• Variëteiten: Laat $A = \mathbb{A}^N_k$ en $G \subset \text{GL}_N(k)$ een eindige groep zijn. Laat $Y \subset A$ een volledige doorsnede zijn gedefinieerd door $c$ semi-invariante polynomen $f_1, \dots, f_c$.
• Quotiënt: De variëteit van belang is $Y/G$.
• Semi-invariantie: Een polynoom $f$ is $G$-semi-invariant als voor elke $\gamma \in G$, $\gamma(f) = \xi^{a} f$ voor een zekere eenheidswortel $\xi$ en een geheel getal $a$. De auteurs definiëren een gewicht $w_\gamma(f) = a/d$ (waarbij $d = |G|$).

B. Wijziging van de Boogruimteconstructie

In het invariante geval ([NS22]) construeerden de auteurs een schema $B^{(\gamma)}$ over $k[t]$ om de boogruimte van het quotiënt te bestuderen. Voor semi-invariante vergelijkingen faalt de standaardconstructie omdat de getransformeerde vergelijkingen $\lambda^*_\gamma(f_i)$ niet noodzakelijk in $R[t]$ liggen.

Belangrijkste Technische Innovatie:

1. Gewogen Transformatie: De auteurs introduceren een gewijzigde homomorfisme $\lambda^*_\gamma$ en definiëren het schema $B^{(\gamma)}$ met behulp van het ideaal gegenereerd door gewogen termen:
   $$\lambda^*_\gamma(f_i) t^{-w_\gamma(f_i)}$$
   Dit zorgt ervoor dat de generatoren in $R[t]$ liggen, waardoor de constructie van een welgedefinieerd $k[t]$-schema mogelijk is.
2. Uitbreiding naar $k[t^{1/d}]$: Om het differentiaalvormenbundel en Jacobiaanse idealen correct te behandelen, breiden de auteurs de basis uit van $k[t]$ naar $k[t^{1/d}]$. Ze definiëren een schema $B^{(\gamma)}_{1/d}$ en een specifiek inverteerbaar bundel $\mathcal{L}_{B^{(\gamma)}_{1/d}}$ dat de rol van de relatieve canonieke bundel speelt.
3. Vergelijking van Jacobianen: Ze stellen precieze relaties vast tussen de Jacobiaanse idealen van de betrokken morfismen (specifiek $\mu_\gamma$ en $p$) en de Nash-ideal van de oorspronkelijke variëteit $B$. Dit omvat het berekenen van de orde van de Jacobiaan van de morfisme tussen boogruimten.

C. De Hoofdformule

De auteurs leiden een formule af voor de minimale logaritmische discrepantie in de oorsprong $x$ van de quotiëntvariëteit $Y/G$:
$$\text{mld}_x(Y/G, \mathfrak{a}^\tau) = \inf_{\gamma \in G, b_1, b_2 \in \mathbb{Z}_{\ge 0}} \left\{ \text{codim}(C_{\gamma, b_1, b_2}) + \text{age}(\gamma) - w_\gamma(f) - b_2 - \tau b_1 \right\}$$
Hierbij is $w_\gamma(f) = \sum w_\gamma(f_i)$ de nieuwe term die wordt geïntroduceerd door de semi-invariante aard van de vergelijkingen. De term $\text{age}(\gamma)$ is de standaardleeftijd van het groepselement, en $C_{\gamma, b_1, b_2}$ zijn specifieke contactloci in de boogruimte van het gewijzigde schema $B^{(\gamma)}$.

3. Belangrijkste Bijdragen en Resultaten

A. Stelling 1.5 (Inversie van Aansluiting voor Quotiënten)

Dit is het centrale technische resultaat. Het vestigt een precieze gelijkheid tussen de mld van de quotiëntvariëteit $Y/G$ en de mld van de omringende ruimte $A/G$ met een specifiek ideaalbundel:
$$\text{mld}_y(Y, \mathfrak{a}\mathcal{O}_Y) = \text{mld}_y\left(X, (f_1^d \cdots f_c^d)^{1/d} \mathfrak{a}\right)$$
Deze formule reduceert het probleem op de singuliere quotiënt $Y$ effectief tot een probleem op de omringende quotiënt $X$, aangepast met het product van de definiërende vergelijkingen verheven tot de macht van de groeporde.

B. Stelling 1.4 (PIA-conjecture voor Semi-invariante Gevallen)

Met behulp van het bovenstaande resultaat bewijzen de auteurs de PIA-conjecture voor eindige lineaire groepquotiënten van volledige doorsneden gedefinieerd door semi-invariante vergelijkingen. Specifiek, als $D$ een klt Cartier-divisor is op $Y$, dan geldt:
$$\text{mld}_y(Y, D, \mathfrak{a}) = \text{mld}_y(D, \mathfrak{a}|_D)$$

C. Stelling 1.2 (LSC-conjecture voor Semi-invariante Gevallen)

Het artikel bewijst dat de functie voor minimale logaritmische discrepantie laagste halfcontinu is voor variëteiten $Y/G$ gedefinieerd door semi-invariante vergelijkingen.

• Betekenis: Dit breidt de bekende geldigheid van de LSC-conjecture uit naar een bredere klasse van singulariteiten, inclusief 3-dimensionale terminale singulariteiten.

4. Betekenis en Impact

1. Oplossing voor 3D Terminale Singulariteiten: De classificatie van 3-dimensionale terminale singulariteiten (door Reid en Mori) toont aan dat deze quotiënten zijn van gladde punten of cDV-punten. Deze impliceren vaak semi-invariante vergelijkingen. Door de LSC- en PIA-conjectures voor dit geval te bewijzen, bieden de auteurs een complete theoretische onderbouwing voor het gedrag van mld in dimensie 3.
2. Generalisatie van Boogruimtetheorie: Het artikel past de Denef-Loeser-theorie van boogruimten succesvol aan om semi-invariante vergelijkingen te hanteren. De introductie van het gewicht $w_\gamma(f)$ en de uitbreiding naar $k[t^{1/d}]$-schema's zijn nieuwe technische hulpmiddelen die toepasbaar kunnen zijn op andere problemen die groepswerkingen met niet-triviale karakters betrekken.
3. Onderbouwing voor Beëindiging van Flips: Aangezien de LSC- en ACC-conjectures impliceren dat flips worden beëindigd (een cruciale stap in het Minimale Modelprogramma), versterkt dit resultaat de theoretische fundamenten van het MMP in de context van quotiëntsingulariteiten.

5. Conclusie

Nakamura en Shibata generaliseren hun eerdere werk over invariante vergelijkingen succesvol naar het complexere semi-invariante geval. Door zorgvuldig de constructie van boogruimten te wijzigen en een gewichtscorrectieterm $w_\gamma(f)$ in te voeren, bewijzen ze de Inversie van Aansluiting en de Laagste Halfcontinuïteit van minimale logaritmische discrepanties voor een brede klasse van quotiëntsingulariteiten. Dit werk is een kritieke stap naar een volledig begrip van singulariteiten in hogere-dimensionale birationale geometrie, met name die welke voortkomen uit eindige groepswerkingen.