The integral (log) cotangent complex of extensions of valued fields

Titel: Het integraal (log) cotangent complex van extensies van gewaardeerde velden

Auteur: Michaël Maex
Datum: 3 april 2026 (voorgesteld in de tekst)

---

1. Probleemstelling en Motivatie

Het artikel richt zich op de studie van integraal differentieel en log-differentieel modules, evenals het bijbehorende cotangent complex, voor extensies van gewaardeerde velden $(L, v_L)/(K, v_K)$.

• Context: In de birationale meetkunde, analytische meetkunde (Berkovich-ruimten) en getaltheorie spelen invarianten zoals de different, log-different, gewichtsnorm en Kähler-norm een cruciale rol. Deze invarianten worden traditioneel gedefinieerd via de lengte van torsie-subquotiënten van de module van differentieelvormen $\Omega_{L^\circ/K^\circ}$.
• Het probleem: Wanneer de velden niet discreet gewaardeerd zijn (d.w.z. wanneer de waardenring $L^\circ$ niet Noethers is), is het concept van "lengte" van een module niet langer bruikbaar of goed gedefinieerd.
• Doel: De auteur wil expliciete formules vinden voor deze invarianten en de structuur van het (log) cotangent complex beschrijven voor zowel eindige als puur transcedente extensies, zonder aanname van discrete waardering. Dit vereist een generalisatie van bestaande resultaten (zoals die van Gabber en Ramero) naar de logaritmische setting en naar velden met een dichte waardegroep.

---

2. Methodologie

De kern van de aanpak is het gebruik van MacLane-Vaquié-ketens om semi-waarderingen op polynoomringen $K[T]$ te construeren en te analyseren.

• MacLane-Vaquié-theorie: In plaats van de extensie direct te analyseren, benadert de auteur de semi-waardering $w$ op $K[T]$ (die de extensie $L$ definieert) via een keten van augmentaties. Deze ketens bestaan uit:
  • Ordinaire augmentaties: Gebaseerd op "sleutelpolynomen" (key polynomials) $\phi$ en een log-straal $\mu$.
  • Limietaugmentaties: Gebaseerd op een continue familie van augmentaties die convergeren naar een limiet.
• Verrijkingen (Enlargements): De auteur introduceert het concept van een "verrijking" van de eenheidsbol $A^\circ$. Een verrijking $[A^\circ, \phi, \mu]$ modelleert de verandering in de eenheidsbol wanneer de waardering wordt verhoogd via een augmentatie.
• Schaalbare ringen (Scalable rings): Om de berekeningen te kunnen uitvoeren, introduceert de auteur "schaalbare ringen". Dit zijn ringen waar elementen herschaald kunnen worden naar elke waarde in de waardegroep door vermenigvuldiging met een constante. Dit zorgt ervoor dat de ringen goed gedragen zich onder lokale volledige doorsneden (complete intersections).
• Logaritmische Geometrie: De methode wordt uitgebreid naar de logaritmische setting (Gabber's log cotangent complex). De auteur toont aan dat de log-differentieelvormen direct gerelateerd zijn aan de differentiaal van de sleutelpolynomen ($d\log \phi_i$).

Technische stappen:

1. Constructie van de ring $R_i$ voor elke stap in de MacLane-Vaquié-keten.
2. Berekening van het cotangent complex $L_{R_i/K^\circ}$ en het log-cotangent complex $L^{log}_{R_i/K^\circ}$ als een limiet van complexe van eindig gepresenteerde ringen.
3. Gebruik van inhoud (content) in plaats van lengte (gebaseerd op Temkin's werk) om de "grootte" van torsie-modules te meten, zelfs in niet-Noetherse situaties.
4. Toepassing van onderscheiden driehoeken (distinguished triangles) om de resultaten van individuele stappen te combineren tot de totale extensie.

---

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert expliciete formules en structurele resultaten voor verschillende invarianten, afhankelijk van het type extensie:

A. Structuur van het Cotangent Complex

• Eindige extensies: Voor een eindige extensie $L/K$ wordt aangetoond dat het cotangent complex $L_{L^\circ/K^\circ}$ en het log-cotangent complex $L^{log}_{L^\circ/K^\circ}$ geconcentreerd zijn in graad 0 (voor de torsie-vrije delen) en dat de hogere homologie verdwijnt (voor $i \ge 2$).
• Homologie: De eerste homologie $H_1$ is torsievrij. Deze is triviaal dan en slechts dan als de extensie separabel is. In het niet-separabele geval is $H_1$ niet-triviaal. Dit generaliseert een belangrijk resultaat van Gabber en Ramero naar de logaritmische setting.

B. Formules voor Invarianten

De auteur geeft expliciete formules voor de different ($d_{L/K}$) en log-different ($d^{log}_{L/K}$) in termen van de stappen van de MacLane-Vaquié-keten:

• Different:
  $$d_{L/K} = \text{stap}((a_i)_{i=1}^{n-1}) - v_{n-1}(f) + v_{n-1}(f') + (\inf \Gamma_{K,>0} - \inf \Gamma_{L,>0})$$
  Waarbij $f$ het irreducibele polynoom is dat de extensie definieert, en $f'$ de afgeleide.
• Log-different:
  $$d^{log}_{L/K} = \text{stap}((a_i)_{i=1}^{n-1}) - v_{n-1}(f) + v_{n-1}(f')$$
  (De term met de infimum van de waardegroepen valt hier weg).

Voor puur transcedente extensies ($L=K(T)$) worden formules gegeven voor de discrepantie ($disc$) en log-discrepantie ($disc^{log}$), die de afstand meten tussen de gegeven waardering en de Gauss-waardering.

C. De Absolute Log-Different

Een nieuwe bijdrage is de definitie en berekening van de absolute log-different ($d^{abs,log}_{L/K}$) voor extensies van transcendentiegraad 1. Deze wordt uitgedrukt als:
$$d^{abs,log}_{L/K} = \text{stap}((a_i)) + w(\phi_0) - \sup\{w(\phi) - w(\phi') \mid \phi \in \text{key polynomials}\}$$
Dit resultaat verbindt de log-different direct met de Kähler semi-waardering (een norm op differentieelvormen) en de sleutelpolynomen.

D. Kähler Semi-waardering

Het artikel bewijst dat de Kähler semi-waardering op $\Omega_{L/K}$ volledig bepaald wordt door de waarden van de differentieelvormen van de sleutelpolynomen uit de MacLane-Vaquié-keten. Dit verschaft een efficiënte manier om deze norm te berekenen zonder rekening te hoeven houden met alle elementen van het veld.

---

4. Significantie en Toepassing

• Generalisatie: Het werk generaliseert fundamentele resultaten uit de theorie van gewaardeerde velden naar situaties waar de waardegroep niet discreet is (bijv. $v(K) \subset \mathbb{R}$), wat essentieel is voor de studie van Berkovich-ruimten.
• Berkovich Meetkunde: De resultaten zijn direct toepasbaar op de studie van skeletten en gewichtsfuncties op Berkovich-ruimten. De log-discrepantie die hier wordt berekend, generaliseert de bekende gewichtsfuncties die gebruikt worden in de analyse van singulariteiten en birationale meetkunde.
• Expliciete Berekeningen: Door de koppeling met MacLane-Vaquié-ketens biedt het artikel een algoritme-achtige methode om complexe invarianten (zoals differenten en discrepanties) te berekenen voor willekeurige extensies, zolang ze benaderd kunnen worden door een keten van augmentaties.
• Logaritmische Setting: Het toont aan dat de logaritmische structuur de berekeningen vaak vereenvoudigt en meer inzicht geeft in de geometrische structuur van de differentieelvormen dan de klassieke niet-logaritmische aanpak.

Conclusie

Michaël Maex biedt een krachtig raamwerk om de differentieel- en cotangenttheorie van gewaardeerde velden te begrijpen in de meest algemene setting (niet-discreet gewaardeerd). Door de brug te slaan tussen de algebraïsche theorie van MacLane-Vaquié-ketens en de analytische theorie van differentieelvormen en log-structuren, levert het artikel essentiële gereedschappen voor de moderne birationale meetkunde en de theorie van Berkovich-ruimten.