🔢 mathematics

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

This paper constructs the integral and log cotangent complexes for finite or purely transcendental extensions of real valued fields using MacLane-Vaquié chains to derive explicit formulas for key invariants and to generalize Gabber and Ramero's results on higher homology control to the logarithmic setting.

Original authors: Michaël Maex

Published 2026-04-03

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Michaël Maex

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand the shape of a mysterious, jagged mountain range. In mathematics, this "mountain range" is a valued field—a number system where every number has a "height" or "weight" assigned to it (called a valuation).

When mathematicians move from a simple, flat plain (a base field $K$ ) up to a complex, jagged peak (an extension field $L$ ), they want to measure exactly how much the terrain has changed. They want to know: How "twisted" is this new landscape? How much "friction" or "resistance" exists when we try to move between the two?

This paper, by Michaël Maex, is a new, highly detailed map and a set of measuring tools for these mathematical landscapes. Here is the breakdown in everyday language:

1. The Problem: Measuring the "Roughness" of Numbers

In standard geometry, if you stretch a rubber sheet, you can measure how much it stretched. In the world of these special number fields, mathematicians use something called a Cotangent Complex.

Think of the Cotangent Complex as a super-sensitive seismograph. It doesn't just tell you if an earthquake happened; it records the exact vibration, the direction, and the intensity of every tiny shift in the number system.

The "Integral" part: This is like measuring the roughness of the ground including the dirt and rocks (the integers), not just the smooth air above it.
The "Log" part: This is a special version of the seismograph that pays extra attention to the "edges" and "boundaries" of the landscape, like the coastline or the edge of a cliff.

2. The Tool: The "MacLane-Vaquié" Ladder

The biggest challenge is that these number landscapes can be infinitely complex and jagged. You can't just measure them all at once.

The author uses a method called a MacLane-Vaquié chain. Imagine trying to climb a sheer cliff face. You can't jump to the top. Instead, you build a ladder, rung by rung.

The Rungs (Augmentations): Each step up the ladder is a small, manageable change in the number system.
The Key Polynomials: These are the specific "handholds" or "rocks" you grab onto to move from one rung to the next. They are the most important features of the terrain at that specific height.

The paper's main achievement is showing exactly how to build this ladder for any extension of these number fields, whether the field is finite (a small hill) or purely transcendental (an infinite, wild mountain).

3. The Discovery: A Formula for the "Twist"

By building this ladder rung-by-run, the author derives simple formulas to calculate the Different and the Discrepancy.

The Different (The "Friction" Meter): This measures how much the new number system "resists" the old one. If the numbers are very similar, the friction is low. If they are very different (like trying to mix oil and water), the friction is high. The paper gives a formula to calculate this friction based entirely on the "steps" (the ladder rungs) you took to get there.
The Discrepancy (The "Distance" Meter): This measures how far the new landscape is from a "perfectly flat" reference line. It's like measuring how many miles you are from the nearest highway.

4. The "Log" Twist: Paying Attention to the Edges

The paper introduces a special "Log" version of these measurements.

Analogy: Imagine you are walking through a forest. The standard measurement tells you how bumpy the ground is. The Log measurement tells you how close you are to the edge of the forest, the river, or the cliff.
In mathematics, these "edges" are crucial for understanding singularities (points where things break or go wrong). The author shows that by using "Key Polynomials" (the handholds), you can perfectly track these edges and calculate the "Log Different" (the friction at the edge).

5. Why This Matters

Before this paper, mathematicians had to guess or use very complicated, messy methods to measure these "roughness" values, especially when the number systems were not "discrete" (i.e., when the heights weren't just whole numbers like 1, 2, 3, but could be any real number).

The result of this paper is like getting a GPS that works in a dense jungle.

It tells you exactly how "twisted" a new number system is.
It works for any type of number system, no matter how weird.
It connects abstract algebra (numbers) with geometry (shapes and distances), which is vital for fields like cryptography, physics, and understanding the structure of the universe.

Summary Metaphor

Imagine you are a cartographer mapping a new, uncharted continent.

The Valued Field is the continent.
The Extension is a new territory you are exploring.
The MacLane-Vaquié Chain is your method of exploring: you don't fly over; you walk step-by-step, noting every distinct rock and tree (Key Polynomials).
The Cotangent Complex is your surveying equipment.
The Paper is the manual that finally explains exactly how to read your equipment to calculate the "roughness" and "distance" of the new territory, no matter how wild it is.

The author has successfully turned a chaotic, jagged mathematical problem into a clean, step-by-step recipe for measurement.

1. Problem Statement and Motivation

The paper addresses the computation and structural understanding of the integral cotangent complex ( $L_{L^\circ/K^\circ}$ ) and the integral log cotangent complex ( $L^{\log}_{L^\circ/K^\circ}$ ) for extensions of valued fields $(L, v_L)/(K, v_K)$ .

Context: In arithmetic and birational geometry, invariants such as the different, log different, Kähler norm, and log discrepancy are crucial. These are traditionally defined via the length of torsion subquotients of the module of differentials $\Omega_{L^\circ/K^\circ}$ .
The Challenge: When the valuation is not discrete (i.e., the ring of integers $L^\circ$ is non-Noetherian), the classical notion of "length" is undefined or insufficient. Instead, one must use Temkin's content, a generalization of length for modules over non-Noetherian valuation rings.
Goal: The author aims to provide explicit formulas for these invariants and control the higher homology of the cotangent complex for finite and purely transcendental extensions, without assuming the base field is discretely valued or complete.

2. Methodology

The core methodology relies on MacLane-Vaquié theory, which provides a constructive way to describe semi-valuations on polynomial rings $K[T]$ using chains of augmentations.

MacLane-Vaquié Chains: The author approximates the target semi-valuation $w$ on $K[T]$ using a chain of augmentations (ordinary, limit, or stable continuous families) starting from a simple Gauss valuation. This breaks the complex extension into a sequence of simpler steps.
Enlargements and Scalable Rings: To handle the unit balls of these rings ( $R^\circ$ ), the author introduces the concept of enlargements (adding elements to the unit ball corresponding to increasing valuations) and scalable rings (rings where elements can be rescaled to any valuation in the value group).
Explicit Presentations: The paper constructs the rings associated with each step of the augmentation chain as complete intersections (specifically, quotients of polynomial rings by regular sequences). This allows for the explicit computation of the cotangent complex using standard homological algebra (Koszul complexes and distinguished triangles).
Logarithmic Setting: The approach is extended to the logarithmic setting (Gabber's log cotangent complex) by equipping the rings with total or boundary log structures. The author shows that the log differentials are generated by the differentials of the key polynomials in the augmentation chain.
Content Commutation: A significant technical hurdle is proving that the content of the modules commutes with the filtered colimits (unions) used to construct the final ring. The author establishes conditions under which this commutation holds, allowing the calculation of global invariants from local steps.

3. Key Contributions and Results

A. Structural Results on the Cotangent Complex

Vanishing of Higher Homology: For finite or purely transcendental extensions, the higher homology groups ( $H_i$ for $i \geq 2$ ) of both the integral and log cotangent complexes vanish.
Homology in Degree 1:
- $H_1(L_{L^\circ/K^\circ})$ is torsion-free.
- $H_1$ vanishes if and only if the extension is separable. If the extension is inseparable, $H_1$ is non-trivial.
- This generalizes a fundamental result by Gabber and Ramero (originally for discretely valued fields) to the general real-valued setting and extends it to the logarithmic context.

B. Explicit Formulas for Invariants

The paper derives explicit formulas for the different ( $d_{L/K}$ ), log different ( $d^{\log}_{L/K}$ ), and discrepancies in terms of the step of the augmentation chain.

The Step: The "step" of an augmentation measures the distance moved in the valuative tree. The total step of the chain approximating the valuation $w$ is the sum of the steps of individual augmentations.
Formulas for Finite Extensions:
- $d_{L/K} = \text{step}(\text{chain}) - v_{n-1}(f) + v_{n-1}(f') + (\inf \Gamma_{K, >0} - \inf \Gamma_{L, >0})$
- $d^{\log}_{L/K} = \text{step}(\text{chain}) - v_{n-1}(f) + v_{n-1}(f')$
- Here, $f$ is the defining polynomial of the extension, and $f'$ is its derivative.
Formulas for Purely Transcendental Extensions:
- The log discrepancy of a differential form is computed as the step of the chain plus a correction term involving the Kähler semi-valuation.
- The Kähler semi-valuation ($kv$) on $\Omega_{L/K}$ is shown to be determined entirely by the key polynomials of the MacLane-Vaquié chain:
  $kv(dT) = \sup \{ w(\phi) - w(\phi') \mid \phi \in \text{key polynomials} \}$

C. The Absolute Log Different

The paper defines and computes the absolute log different ( $d^{\text{abs}, \log}_{L/K}$ ), an invariant that remains meaningful even for non-algebraic extensions.

It is defined as the content of the torsion part of the log cotangent complex.
The author proves that for purely transcendental extensions, the absolute log different can be computed as a limit of log differents of intermediate approximations, establishing a continuity property at "type IV" points in the Berkovich affine line.

4. Significance and Impact

Generalization: The work removes the restrictive assumption of discrete valuation, allowing these powerful invariants to be studied in the context of Berkovich analytic spaces where valuations are real-valued and often non-discrete.
Computational Power: By linking the cotangent complex to MacLane-Vaquié chains, the paper provides a concrete algorithm to compute differentials and discrepancies. This bridges the gap between abstract homological algebra and explicit valuation theory.
Logarithmic Geometry: The results deepen the understanding of log structures in non-archimedean geometry. The identification of log differentials with key polynomials offers a new perspective on the geometry of the valuative tree.
Applications: The results are foundational for the study of weight functions on Berkovich spaces, which encode both birational and arithmetic information. This has direct implications for the study of skeleta of analytic spaces and embedded resolutions of singularities.

5. Conclusion

Michaël Maex's paper successfully constructs the integral and log cotangent complexes for valued field extensions using MacLane-Vaquié chains. It provides explicit formulas for key invariants (differents, discrepancies) and establishes strong control over the homology of these complexes, generalizing classical results to the non-discrete, real-valued setting. This work serves as a critical technical bridge between valuation theory, homological algebra, and Berkovich geometry.