🔢 mathematics

A generalised cross-ratio and limits of local heights

This paper generalizes the classical cross-ratio to configurations of planes in projective space, establishing a fundamental link between this geometric invariant, height pairings over complex numbers, and intersection degrees over discretely valued fields to characterize the asymptotic behavior of degenerating holomorphic families.

Original authors: Hidde Lammert Bakker, Emre Can Sertöz

Published 2026-07-08

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Hidde Lammert Bakker, Emre Can Sertöz

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

The Big Picture: Measuring Geometry with a "Ruler"

Imagine you have a ruler. In the world of simple geometry, if you have four dots on a straight line, there is a special number called the cross-ratio that tells you exactly how those dots are arranged relative to each other. It's like a unique fingerprint for that specific arrangement of four points. If you move the dots around, this number changes. If you stretch or shrink the whole line, the number stays the same.

This paper takes that simple idea of "four dots on a line" and asks: What happens if we replace the dots with giant, flat sheets (planes) floating in a much higher-dimensional space?

The authors, Bakker and Sertöz, create a new, "super-charged" version of this cross-ratio. They show that this new number doesn't just describe the shape; it also measures the "distance" or "interaction" between these shapes in a very deep mathematical way.

The Main Characters: The Planes and the Cross-Ratio

1. The Setup (The Complementary Configuration)
Imagine a room (projective space). Inside, you have two pairs of flat sheets:

Pair A: Two sheets ( $A_1$ and $A_2$ ) that are, say, 2-dimensional (like flat walls).
Pair B: Two other sheets ( $B_1$ and $B_2$ ) that are "complementary" in size. If the room is big enough, these are smaller sheets (like lines or points) that are positioned so they never touch the Pair A sheets.

The authors define a special number, the Generalised Cross-Ratio, based on how these four sheets are arranged. It's calculated by mixing and matching the sheets in a specific formula (multiplying and dividing their "coordinates").

2. The Magic Connection: Geometry meets "Height"
In mathematics, there is a concept called "height." Think of height not as how tall a building is, but as a measure of complexity or separation.

If two shapes are far apart, their "height" is high.
If they are close, the height is low.

The authors prove a stunning fact: The Generalised Cross-Ratio is exactly equal to this "height" measurement.

If you are working with complex numbers (like in standard geometry), the cross-ratio tells you the "Archimedean height" (the standard distance).
If you are working with numbers that have a "valuation" (like prime numbers in number theory), the cross-ratio tells you how many times the shapes intersect when you look at them through a specific mathematical lens.

Analogy: Imagine you have two pairs of magnets. The "cross-ratio" is a single number that tells you exactly how strongly they repel or attract each other. The paper proves that this single number is the only thing you need to know to understand their interaction, whether you are measuring it with a standard ruler or a special magnetic detector.

The Plot Twist: When Things Crash (Degeneration)

The most exciting part of the paper happens when things go wrong. Imagine you have a family of these four sheets moving smoothly over time. But, as time reaches zero, the sheets start to crash into each other. They are no longer disjoint; they intersect.

In the old world, if the sheets crash, the cross-ratio formula breaks (you get a division by zero). But the authors say: "Don't panic. We can fix this."

The "Degenerate" Cross-Ratio
When the sheets crash, they don't just disappear; they leave behind a "scar" or a "ghost" of where they touched. The authors invent a new tool called the Degenerate Cross-Ratio.

Instead of just looking at the sheets, they look at the tiny, infinitesimal way the sheets are separating from each other right at the moment of the crash.
They call this a "limit perturbation." It's like looking at the dust particles flying off when two cars collide. Even though the cars are smashed, the dust tells you exactly how they hit.

The Result:
The authors show that the "limit" of the height (the value as the sheets crash) is exactly this new Degenerate Cross-Ratio.

Theorem C: The "limit period" (the final value of the height as the shapes degenerate) is simply the Degenerate Cross-Ratio of the crashed configuration.

Why This Matters (According to the Paper)

The paper connects three different worlds that usually don't talk to each other:

Geometry: The shape and arrangement of planes.
Number Theory: How these shapes behave with prime numbers (valuations).
Analysis: How these shapes behave as they change over time (limits and asymptotics).

The "Aha!" Moment:
The paper proves that the rate at which the "height" blows up (goes to infinity) as the shapes crash is determined by a simple counting number: How many times do the shapes intersect?

If the shapes intersect once, the height grows at a specific speed.
If they intersect ten times, it grows ten times faster.

This confirms a guess (conjecture) made by other mathematicians (Chen, Holmes, De Jong) but proves it for this specific, high-dimensional case of planes.

Summary in a Nutshell

Generalization: They took the classic "four points on a line" cross-ratio and upgraded it to "four planes in high-dimensional space."
Equivalence: They proved this new cross-ratio is the same as the "height" (complexity) of the shapes.
Crash Landing: When the shapes crash into each other, the formula breaks, but they invented a "degenerate" version that works by looking at the tiny details of the crash.
The Connection: The speed at which the "height" explodes during a crash is directly linked to how many times the shapes intersect.

In short: The paper gives us a universal ruler that works for high-dimensional shapes, tells us how to measure them even when they break, and proves that the "damage" they do to each other is perfectly predictable.

Technical Summary: A Generalised Cross-Ratio and Limits of Local Heights

Problem Statement
The paper addresses the generalization of the classical cross-ratio, a fundamental projective invariant of four points on a line, to higher-dimensional projective spaces. Specifically, it seeks to define a cross-ratio for a configuration of four linear subspaces (planes) in $\mathbb{P}^n$ : a pair of $k$ -dimensional planes ( $A_1, A_2$ ) and a pair of $(n-k-1)$ -dimensional planes ( $B_1, B_2$ ), such that $A_i \cap B_j = \emptyset$ .

The authors investigate the relationship between this geometric invariant and arithmetic invariants, specifically the augmented height pairing of the cycles $A_1 - A_2$ and $B_1 - B_2$ . The core problem involves understanding how this pairing behaves under degeneration (limits) in both Archimedean (complex) and non-Archimedean (discretely valued) settings. The authors aim to establish that the asymptotic behavior of the height pairing is governed by the valuation of this generalized cross-ratio and that the limiting value corresponds to a "degenerate cross-ratio" defined on intersecting configurations.

Methodology
The methodology combines tools from algebraic geometry, Hodge theory, and intersection theory:

Algebraic Definition: The authors define the generalized cross-ratio using exterior algebra. For subspaces $\hat{A}_i \subset V$ and $\hat{B}_j \subset V$ (where $V$ is an $(n+1)$ -dimensional vector space), they utilize generators of the top exterior powers $\det \hat{A}_i$ and $\det \hat{B}_j^\perp$ (the annihilator in the dual space). The cross-ratio is constructed as a ratio of pairings between these generators, ensuring independence from the choice of bases.
Hodge-Theoretic Interpretation: Over the complex numbers, the authors relate the cross-ratio to the extension class in the category of Mixed Hodge Structures (MHS). They identify the augmented height pairing with the extension class of a specific cohomology group $H^{2k+1}(\mathbb{P}^n \setminus (B_1 \cup B_2), A_1 \cup A_2)(k+1)$ .
Incidence Correspondence: To prove the equality between the height pairing and the cross-ratio, the authors construct an incidence correspondence between the Grassmannian of $k$ -planes and the projective space. They demonstrate an isomorphism between the relevant cohomology groups of the configuration and the cohomology of the Grassmannian relative to the "forbidden" loci of the $B$ -planes.
Intersection Theory over DVRs: For the non-Archimedean case, the authors work over a Discrete Valuation Ring (DVR). They utilize Fulton's intersection theory to compute the intersection degree of the Zariski closures of the cycles. By analyzing the Smith Normal Form of the inclusion map of lattices, they relate the intersection multiplicity to the valuation of the determinant of the transition matrix, which corresponds to the valuation of the cross-ratio.
Degenerate Configurations: To handle limits where planes intersect, the authors introduce a "degenerate cross-ratio." This requires additional data: an isomorphism between the determinant of the intersection locus and the determinant of the quotient space. They define "limit perturbations" (induced by the family's deformation) and "arithmetic perturbations" (induced by integral models over number fields) to fix this data.

Key Contributions and Results

Theorem A (Complex Case): The augmented height pairing of the cycles $A_1 - A_2$ and $B_1 - B_2$ in $\mathbb{P}^n(\mathbb{C})$ is exactly equal to the generalized cross-ratio $(A_1, A_2; B_1, B_2)$ . This generalizes the known result for points on a line to higher dimensions. The proof utilizes a correspondence on the Grassmannian rather than induction.
Theorem B (Non-Archimedean Case): Over a discretely valued field with valuation ring $R$ , the intersection degree of the Zariski closures of the cycles $(A_1 - A_2) \cdot (B_1 - B_2)$ equals the valuation of the cross-ratio $v_R(A_1, A_2; B_1, B_2)$ . This establishes that the $p$ -adic valuation of the cross-ratio measures the degeneration of the configuration.
Corollary B' (Asymptotics): For a holomorphic family of configurations degenerating at $t=0$ , the leading coefficient $m$ in the asymptotic expansion of the Archimedean height pairing ( $\sim m \log |t|$ ) is the intersection degree of the cycles over the central fiber. This confirms a conjecture by Chen for the case of degenerating planes.
Theorem C (Limit Periods): The regularized limit of the cross-ratio as $t \to 0$ equals the degenerate cross-ratio of the central fiber configuration, evaluated with respect to an induced "limit perturbation" $c_{\text{lim}}$ . This perturbation encodes the infinitesimal separation of the intersecting planes.
Corollary C'' (Arithmetic Interpretation): When the central fiber is defined over a number field of class number 1, the limit period $u(0)$ is related to an "arithmetic cross-ratio" defined via integral lattices. The logarithm of the limit period differs from the logarithm of the arithmetic cross-ratio by a correction term involving the ratio of the limit perturbation to the arithmetic perturbation.

Significance and Claims
The paper claims to provide a unified "motivic" framework for understanding the limits of height pairings. By generalizing the cross-ratio, the authors demonstrate that the asymptotic behavior of these analytic invariants is strictly governed by algebraic intersection numbers.

The authors note that their results confirm Chen's conjecture regarding the divergence rate of height pairings for degenerating algebraically trivial cycles in the specific case of planes. Furthermore, the work offers a concrete interpretation of the "limit period" (the constant term in the asymptotic expansion) not merely as a complex number, but as a degenerate cross-ratio on the central fiber, corrected by infinitesimal deformation data.

The paper acknowledges that Theorem A agrees with a recent result by Goncharov but provides a distinct proof via correspondence. The authors position their work as a generalization of previous studies on limits of periods for curves and nodal degenerations, extending these concepts to mixed periods in arbitrary dimensions and allowing for "arbitrarily bad" degenerations of the cycles. The results are presented as adaptations of the first author's master's thesis, with streamlined proofs for the intersection degree theorem.

The Big Picture: Measuring Geometry with a "Ruler"

The Main Characters: The Planes and the Cross-Ratio

The Plot Twist: When Things Crash (Degeneration)

Why This Matters (According to the Paper)

Summary in a Nutshell

More like this