Liftings of ideals in positive characteristic to those in characteristic zero:Surface case

Titel: Opheffingen van Idealen in Positieve Karakteristiek naar Karakteristiek Zero: Het Oppervlaktegeval

Auteur: Shihoko Ishii
Publicatiedatum: 15 april 2026 (arXiv:2506.23533v4)

---

1. Het Probleem

De algebraïsche meetkunde in positieve karakteristiek ($p > 0$) vertoont vaak fundamenteel andere eigenschappen dan in karakteristiek zero ($0$), vooral wat betreft singulariteiten van variëteiten en paren bestaande uit een variëteit en een ideaal (multi-idealen). Een centrale uitdaging is het vergelijken van invarianten van singulariteiten, zoals log-discrepanties ($a(E; A, \mathfrak{a}^{\mathbf{e}})$), minimale log-discrepanties (mld) en log-canonieke drempelwaarden (lct), tussen deze twee werelden.

Hoewel er resultaten bestaan die aantonen dat bepaalde verzamelingen van deze invarianten in karakteristiek zero discrete zijn, is het niet vanzelfsprekend of deze eigenschappen en de specifieke waarden in positieve karakteristiek behouden blijven of zich in de verzameling van karakteristiek zero bevinden. Bestaande tegenvoorbeelden (zoals die van Kollár in dimensie $\ge 3$) tonen aan dat directe generalisaties niet altijd werken. Het doel van dit artikel is om een methodologie te ontwikkelen om invarianten in positieve karakteristiek te "lift" (op te heffen) naar karakteristiek zero, specifiek voor het geval van gladde oppervlakken (dimensie 2).

2. Methodologie: Skeletten en Opheffing

De kern van de methode is het introduceren van het concept van "skeletten" (skeletons) om een brug te slaan tussen ringen in positieve karakteristiek en die in karakteristiek zero.

• Skeletten (Definitie 2.1): Een subring $S$ van een $k$-algebra $R$ (waar $k$ karakteristiek $p$ heeft) heet een skelet als $S$ een eindig gegenereerde $\mathbb{Z}/(p)$-algebra is en $k[S] = R$.
• Compatibele Skeletten (Definitie 2.2): Een skelet $\tilde{S}$ in een $\mathbb{C}$-algebra $\tilde{R}$ is compatibel met $S$ als $\tilde{S}$ plat is over $\mathbb{Z}$ bij $p$ en $S \cong \tilde{S} \otimes_{\mathbb{Z}} \mathbb{Z}/(p)$. In dit geval noemt men $\tilde{R}$ een opheffing van $R$.
• Constructie van Opheffingen: De auteur construeert een opeenvolging van opblazingen (blow-ups) in positieve karakteristiek en bouwt daarvoor een corresponderende opeenvolging in karakteristiek zero. Dit gebeurt inductief:
  1. Men begint met een affiene ruimte $A_0 = \mathbb{A}^N_k$.
  2. Voor elke stap $i$ (opblazing in een gesloten punt $P_i$) worden de coëfficiënten van de definierende idealen opgenomen in een skelet $\Sigma$.
  3. Door de coëfficiënten te "lift" naar een skelet $\tilde{\Sigma} \subset \mathbb{C}$, wordt een compatibel skelet $\tilde{S}_i$ geconstrueerd.
  4. Men gebruikt Propositie 2.7 en Corollarium 2.8 om te garanderen dat de definierende idealen van de punten en de uitzonderlijke divisors in het skelet niveau "primaire opheffingen" zijn (d.w.z. ze blijven priem en behouden hun hoogte).

De methode is beperkt tot dimensie 2 (oppervlakken). Voor dimensie 3 of hoger bestaat er een tegenvoorbeeld van Kollár, wat impliceert dat de stelling voor hogere dimensies moet worden gemodificeerd (een onderwerp voor toekomstig werk).

3. Belangrijkste Resultaten

Hoofdstelling (Theorema 1.1)

Voor een algebraïsch gesloten lichaam $k$ van karakteristiek $p > 0$ en een opeenvolging van opblazingen in gesloten punten van $\mathbb{A}^N_k$ die de oorsprong domineren, bestaat er een corresponderende opeenvolging van variëteiten over $\mathbb{C}$ ($\tilde{A}_i$) met de volgende eigenschappen:

1. Modulair equivalentie: $\tilde{A}_i \pmod p = A_i$.
2. Structuur: De morfismen $\tilde{\phi}_i$ zijn opblazingen in gesloten punten $\tilde{P}_i$.
3. Invarianten van Divisors: De coëfficiënten van de relatieve canonieke divisor ($k_{\tilde{E}_i}$) zijn gelijk aan die in positieve karakteristiek ($k_{E_i}$).
4. Valuaties van Functies (Specifiek voor $N=2$): Voor elke polynoom $f \in k[x_1, x_2]$ bestaat er een opheffing $\tilde{f} \in \mathbb{C}[x_1, x_2]$ zodanig dat de valuaties langs de uitzonderlijke divisors gelijk zijn:
   $$v_{E_i}(f) = v_{\tilde{E}_i}(\tilde{f})$$
   Opmerking: Deze gelijkheid voor valuaties geldt niet noodzakelijk voor $N \ge 3$ (Kollár's tegenvoorbeeld), maar is cruciaal voor het oppervlaktegeval.

Corollarium 1.2: Opheffing van Multi-idealen

Voor een glad oppervlak en een multi-ideaal $\mathfrak{a}^{\mathbf{e}}$ bestaat er een opheffing naar $\mathbb{C}$ waarbij de log-discrepanties behouden blijven:
$$a(E; A, \mathfrak{a}^{\mathbf{e}}) = a(\tilde{E}; \tilde{A}, \tilde{\mathfrak{a}}^{\mathbf{e}})$$

Corollarium 1.3: Discreteheid van Log-Discrepanties

De verzameling van log-discrepanties voor paren bestaande uit een glad oppervlak en een multi-ideaal in positieve karakteristiek is een eindige verzameling en is onafhankelijk van de keuze van het oppervlak. Dit bewijst de discreteheid van deze invarianten in positieve karakteristiek, een eigenschap die eerder alleen bekend was in karakteristiek zero.

Corollarium 1.4: Inclusie van Invarianten

De verzamelingen van minimale log-discrepanties (mld) en log-canonieke drempelwaarden (lct) in positieve karakteristiek zijn opgenomen in de corresponderende verzamelingen in karakteristiek zero:
$$\{ \text{mld}(0; A, \mathfrak{a}^{\mathbf{e}}) \mid A/k \text{ glad oppervlak} \} \subseteq \{ \text{mld}(0; \tilde{A}, \tilde{\mathfrak{a}}^{\mathbf{e}}) \mid \tilde{A}/\mathbb{C} \text{ glad oppervlak} \}$$
Dit betekent dat elke waarde die in positieve karakteristiek voorkomt, ook in karakteristiek zero kan worden bereikt.

Corollarium 1.5: Campillo's Complexe Model

De methode biedt een constructie voor Campillo's complexe model van een vlakke kromme singulariteit in positieve karakteristiek. Er bestaat een opheffing van de kromme naar $\mathbb{C}$ die dezelfde equisingulariteitstypen (via multipliciteitsdata van opeenvolgende opblazingen) heeft als het origineel.

4. Significatie en Bijdrage

1. Brug tussen Karakteristieken: Het artikel biedt een robuuste methode ("skeleton lifting") om problemen in positieve karakteristiek te reduceren tot karakteristiek zero, specifiek voor oppervlakken. Dit is een krachtig alternatief voor bestaande methoden zoals torische methoden.
2. Bevestiging van Discreteheid: Het bewijst dat de verzameling van log-discrepanties in positieve karakteristiek discrete is, wat een fundamenteel resultaat is in de classificatie van singulariteiten.
3. Verband met Bestaande Resultaten: De resultaten bevestigen en herbewijzen eerdere bevindingen (zoals de inclusie van mld en lct verzamelingen) die eerder met torische methoden waren bewezen, maar nu via een meer geometrische en algebraïsche aanpak.
4. Beperkingen en Toekomst: De auteur benadrukt dat de methode voor de gelijkheid van valuaties ($v_{E_i}(f) = v_{\tilde{E}_i}(\tilde{f})$) faalt in dimensie $\ge 3$. Dit onderstreept de complexiteit van singulariteiten in hogere dimensies en markeert een duidelijke grens voor de huidige theorie.

Conclusie

Shihoko Ishii presenteert een elegante en technische oplossing voor het probleem van het vergelijken van singulariteitsinvarianten tussen verschillende karakteristieken. Door het gebruik van skeletten en inductieve constructies van opblazingen, slaagt de auteur erin om de theorie van log-discrepanties en log-canonieke drempelwaarden voor gladde oppervlakken in positieve karakteristiek volledig te koppelen aan die in karakteristiek zero. Dit resulteert in sterke bewijzen voor discreteheid en inclusie, en biedt een nieuwe perspectief op de structuur van singulariteiten.