$F$-injectivity does not imply $F$-fullness in normal domains

Dit artikel presenteert voorbeelden van noetheriaanse lokale domeinen in positieve karakteristiek die $F$-injectief zijn maar niet $F$-volledig, waarbij het gedrag van $F$-injectiviteit onder zuiver intransparabele eindige basisveranderingen een centrale rol speelt.

De kern

Stel je voor dat wiskundigen een enorme bibliotheek van "perfecte" gebouwen bouwen. In deze bibliotheek vertegenwoordigt elk gebouw een wiskundige structuur (een ring) die bepaalde regels volgt. De auteurs van dit artikel, Alessandro, Thomas en Austyn, zijn op zoek naar een heel specifiek type gebouw: een dat sterk genoeg is om niet in te storten (dat noemen ze F-injectief), maar dat toch een paar rare, onopgeloste gebreken heeft.

Hier is wat ze hebben ontdekt, vertaald naar alledaagse taal:

1. De Regels van het Spel: De "Frobenius"-Controle

In deze wiskundige wereld gebruiken ze een speciale controlemechanisme, de Frobenius-afbeelding. Je kunt dit zien als een strenge inspecteur die door het gebouw loopt om te kijken of alles waterdicht is.

• F-injectief: Als de inspecteur door het gebouw loopt, ziet hij geen lekken die naar binnen lopen. Alles wat hij ziet, blijft op zijn plaats. Het gebouw is stabiel.
• F-vol (F-full): Dit is een nog strengere eis. Hierbij moet de inspecteur niet alleen zien dat er geen lekken zijn, maar ook dat hij elk deel van het gebouw kan bereiken en controleren. Er mag geen enkele hoek zijn die hij niet kan inspecteren.

Vroeger dachten wiskundigen: "Als een gebouw F-injectief is (geen lekken naar binnen), dan is het waarschijnlijk ook wel F-vol (volledig inspecteerbaar)." Het was een logische aanname, net als dat als een huis geen daklekkages heeft, het ook wel een degelijke fundering zal hebben.

2. De Ontdekking: De "Valstrik"

De auteurs van dit artikel hebben echter een verrassende ontdekking gedaan. Ze hebben gebouwen ontworpen die F-injectief zijn (ze lekken niet naar binnen), maar niet F-vol zijn (er zijn hoeken die de inspecteur niet kan bereiken).

Ze hebben zelfs een nog vreemder fenomeen gevonden:

• De "Onzichtbare" Lek: Ze bouwden een gebouw dat er perfect uitziet in zijn eigen taal (de basiswereld). Maar zodra ze het gebouw verplaatsten naar een buurland met een iets andere taal (een zogenaamde "pure onreine uitbreiding" van het getalveld), bleek het gebouw ineens te lekken!
• Dit is als een huis dat in Nederland perfect droog is, maar zodra je het naar een ander klimaat verplaatst, het dak begint te lekken. De eigenschap "niet lekken" is dus niet altijd stabiel als je de omgeving verandert.

3. De Twee Voorbeelden (De "Gebouwen")

De auteurs hebben twee specifieke voorbeelden ontworpen om dit te bewijzen:

• Voorbeeld A (Het 2D-huis): Ze bouwden een tweedimensionaal huis (een vlakke structuur). Dit huis was sterk genoeg om niet in te storten en leek perfect, maar het had een verborgen gebrek: als je het naar een buurland verplaatste, viel het uit elkaar. Dit toonde aan dat zelfs "normale" huizen (die geen gaten in de muren hebben) deze instabiliteit kunnen hebben.
• Voorbeeld B (Het 3D-huis): Ze bouwden een drie dimensionaal huis. Dit huis was zo ontworpen dat het weliswaar sterk was (F-injectief), maar dat de inspecteur bepaalde verdiepingen niet kon bereiken (niet F-vol). Dit was een echt schokkend resultaat, omdat men dacht dat "normale" huizen altijd volledig inspecteerbaar zouden zijn.

4. Waarom is dit belangrijk?

In de wiskundige wereld van de "Minimale Model Programma" (een soort architectuurplan voor complexe vormen) dachten experts dat deze twee eigenschappen (F-injectief en F-vol) bijna hetzelfde waren. Ze dachten dat als je het ene had, je het andere ook wel had.

Dit artikel zegt: "Nee, dat is niet zo."

Ze hebben bewezen dat je een structuur kunt hebben die er sterk uitziet, maar die toch kwetsbaar is voor veranderingen in zijn omgeving. Het is alsof je een auto bouwt die op droog asfalt perfect rijdt, maar die bij de eerste regenbui uit elkaar valt.

Samenvattend in een metafoor:

Stel je voor dat je een slimme slot hebt (F-injectief). Je kunt er geen inbreker in krijgen (geen lekken naar binnen).

• De oude theorie zei: "Als je geen inbreker in je huis kunt krijgen, dan is je huis ook volledig beveiligd en kun je elke hoek controleren (F-vol)."
• Dit artikel zegt: "Niet waar! We hebben een slot ontworpen dat geen inbreker toelaat, maar dat wel een geheime achterdeur heeft die je niet kunt zien of openen. En als je het slot naar een ander land verplaatst, werkt het slot ineens helemaal niet meer."

Conclusie: De auteurs hebben laten zien dat de wereld van deze wiskundige structuren veel complexer en verrassender is dan men dacht. "Stabiel" betekent niet altijd "volledig", en wat perfect lijkt in één omgeving, kan falen in een andere. Ze hebben de grenzen van onze kennis verschoven door specifieke, slim ontworpen voorbeelden te bouwen die de regels breken.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "F-INJECTIVITY DOES NOT IMPLY F-FULLNESS IN NORMAL DOMAINS" van De Stefani, Polstra en Simpson, in het Nederlands.

Probleemstelling

Het artikel adresseert een fundamenteel vraagstuk binnen de theorie van singulariteiten in positieve karakteristiek (F-singulariteiten). Specifiek onderzoeken de auteurs de relatie tussen F-injectiviteit en sterkere eigenschappen zoals F-volheid (F-fullness) en F-anti-nilpotentie, binnen de context van normale domeinen.

• Achtergrond: F-injectieve ringen worden beschouwd als de karakteristiek-p tegenhanger van Du Bois-singulariteiten in de complexe Minimal Model Program. Ze zijn echter minder restrictief dan F-regular of F-rationale singulariteiten.
• Het probleem: Het is bekend dat F-injectiviteit bepaalde structurele eigenschappen mist die wel gelden voor F-pure ringen, zoals stabiliteit onder basisuitbreidingen (base change) en het gedrag bij hypervlakdoorsneden (Bertini-stellingen).
• De centrale vraag: Geldt deze "pathologie" ook voor normale of geometrisch normale ringen? Er was een sterke vermoeden dat het aannemen van normaliteit deze tekortkomingen zou kunnen verhelpen, en dat F-injectieve normale ringen misschien wel F-vol zouden zijn (wat relevant is voor de vervormingstheorie van F-injectiviteit).
• Doel: Bewijzen dat F-injectiviteit, zelfs in combinatie met geometrische normaliteit, niet impliceert dat een ring F-vol is, noch dat deze F-anti-nilpotent is.

Methodologie

De auteurs gebruiken een constructieve aanpak gebaseerd op de theorie van gegradeerde ringen en lokale cohomologie.

1. Constructie van Hypervlakken: Ze beginnen met het construeren van specifieke tweedimensionale hypervlakken $R = S/fS$ over een veld $k = \mathbb{F}_p(t)$ (waarbij $t$ een onbepaalde is). De polynomen $f$ zijn zorgvuldig gekozen om te werken met de Jacobiaanse ideaal en de gradaties van de variabelen.
2. Veronese-Subringen: Om de eigenschappen van de lokale cohomologiemodules te manipuleren, nemen ze de $n$-de Veronese-subring $T = R^{(n)}$ van deze hypervlakken. Dit stelt hen in staat om de Frobenius-actie op specifieke graden (met name graad 0) te isoleren en te controleren.
3. Segre-producten: Voor het bewijs van Theorem B (dimensie 3) gebruiken ze het Segre-product van de eerder geconstrueerde ring $T$ met een polynoomring in twee variabelen ($k[u,v]$). Dit verhoogt de dimensie naar 3 en breekt de Cohen-Macaulay-eigenschap, wat essentieel is voor het tegenovergestelde resultaat.
4. Analyse van Frobenius-actie:
   • Ze analyseren de injectiviteit van de Frobenius-afbeelding $F: H^i_{\mathfrak{m}}(R) \to H^i_{\mathfrak{m}}(R)$ in verschillende graden.
   • Ze tonen aan dat de actie injectief is in "voldoende negatieve" graden (via Propositie 2.1) en in graad 0 voor de oorspronkelijke ring.
   • Ze demonstreren echter dat na een zuiver onseparable basisuitbreiding (bijvoorbeeld $k \to k^{1/p}$), de injectiviteit in graad 0 verloren gaat.
5. Toepassing van Stellingen: Ze gebruiken stellingen van Enescu, Kollár-Kovács en andere auteurs om te verbinden tussen F-injectiviteit, F-anti-nilpotentie en F-volheid. Specifiek gebruiken ze het feit dat als een ring F-anti-nilpotent is, deze ook F-vol is. Door te tonen dat een ring F-injectief is maar niet F-anti-nilpotent (of niet F-vol), breken ze de implicatie.

Belangrijkste Bijdragen en Resultaten

De paper levert twee hoofdresultaten op die de hiërarchie van F-singulariteiten verfijnen:

Theorema A (Dimensie 2):
Voor elke priem $p > 0$ bestaat er een lokaal domein $R$ van dimensie 2 dat:

• Geometrisch normaal is (en dus Cohen-Macaulay).
• F-injectief is.
• Niet F-anti-nilpotent is.
• Niet F-injectief is onder een zuiver onseparable eindige basisuitbreiding (dus niet geometrisch F-injectief).
• Technisch detail: De ring is een localisatie van een Veronese-subring van een hypervlak. De Frobenius-actie is injectief op de lokale cohomologie in graad 0 voor de oorspronkelijke ring, maar faalt voor de basisuitbreiding.

Theorema B (Dimensie 3):
Voor elke priem $p > 0$ bestaat er een lokaal domein $R$ van dimensie 3 dat:

• Geometrisch normaal is.
• F-injectief is.
• Niet F-vol (not F-full) is.
• Niet Cohen-Macaulay is (dit is noodzakelijk, want in dimensie 2 impliceert normaliteit Cohen-Macaulay, wat F-volheid zou impliceren).
• Technisch detail: De ring wordt geconstrueerd als het Segre-product van de ring uit Theorema A met een polynoomring in twee variabelen. De niet-F-volheid volgt uit het feit dat de Frobenius-actie niet injectief is op de lokale cohomologie na basisuitbreiding, wat in strijd is met de vereisten voor F-volheid (volgens Theorema 2.3 en 2.4).

Diagram van Implicaties:
De auteurs presenteren een diagram dat de relaties tussen verschillende F-singulariteiten visualiseert. Hun werk vult gaten in dit diagram door aan te tonen dat er geen pijl is van "geometrisch F-injectief" naar "F-anti-nilpotent" of "F-vol", zelfs niet onder de aanname van normaliteit.

Significantie

1. Optimaliteit van Dimensie: De geconstrueerde voorbeelden hebben de minimale mogelijke dimensie. Dimensie 2 is optimaal voor het falen van F-anti-nilpotentie bij normale ringen, en dimensie 3 is optimaal voor het falen van F-volheid (omdat dimensie 2 normale ringen automatisch Cohen-Macaulay en dus F-vol zijn).
2. Rol van Normaliteit: Het resultaat weerlegt de hypothese dat het aannemen van normaliteit of geometrische normaliteit de pathologieën van F-injectiviteit (zoals het falen van stabiliteit onder basisuitbreiding) zou oplossen. Het toont aan dat deze pathologieën inherent zijn aan de klasse van F-injectieve ringen, zelfs in de "beste" gevallen (normale domeinen).
3. Deformatieprobleem: De resultaten hebben implicaties voor het deformatieprobleem van F-injectiviteit. Omdat F-volheid een cruciale eigenschap is in de theorie van deformaties (zoals ontwikkeld door Kollár, Kovács en andere), toont dit werk aan dat men niet kan vertrouwen op F-injectiviteit alleen om F-volheid te garanderen in vervormingen.
4. Zuiver Onseparable Basisuitbreiding: Een kernthema is het gedrag van F-injectiviteit onder zuiver onseparable basisuitbreidingen. De auteurs tonen aan dat dit de drijvende kracht is achter het falen van de sterkere eigenschappen. Hun voorbeelden zijn uniek omdat ze voor alle karakteristieken werken in een vaste, minimale dimensie, in tegenstelling tot eerdere voorbeelden in de literatuur die vaak afhankelijk waren van de dimensie die groeide met de karakteristiek.

Kortom, dit artikel sluit een belangrijke theoretische lacune door te bewijzen dat F-injectiviteit, zelfs in combinatie met geometrische normaliteit, een te zwakke voorwaarde is om de sterkere eigenschappen van F-volheid of F-anti-nilpotentie te garanderen.