🔢 mathematics

Extremal mappings of tori, Teichmüller potentials and symmetric-space distance

This paper provides a modular interpretation for the symmetric-space distance $d_{X_n}$ on the Teichmüller space of flat $n$ -dimensional tori ( $n \geq 3$ ) by proving that the distance is realized as the minimum value of newly introduced "total expansion" and "Hilbert-Schmidt expansion" functionals, which are uniquely minimized by affine maps within their respective homotopy classes.

Original authors: Benson Farb, Eduard Looijenga

Published 2026-08-18

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Benson Farb, Eduard Looijenga

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 a world made of perfect, flat shapes that wrap around themselves, like a video game screen where walking off the right edge brings you back on the left. Mathematicians call these shapes tori. While a simple doughnut is the most famous example, these shapes can exist in many dimensions, and they can be stretched or squashed in different ways while keeping their total volume the same. For decades, mathematicians have tried to measure the distance between two such shapes. If you have one flat, square torus and another that is stretched into a long rectangle, how far apart are they in the grand library of all possible shapes? For two-dimensional shapes, a solution was found in 1939, but for shapes with three or more dimensions, the answer remained a mystery. The tools that worked for the simpler cases failed completely when applied to the more complex ones, leaving a gap in our understanding of how these geometric worlds relate to one another.

Two researchers, Benson Farb and Eduard Looijenga, have finally filled that gap. They have discovered a new way to measure the distance between these high-dimensional flat shapes by looking at how one shape can be stretched to become another. Their work solves a problem that had stood unanswered for over eighty years. The key to their solution is a concept they call "total expansion." Imagine taking a map of a city and stretching it to fit a larger area. Some parts of the map might stretch a little, while others stretch a lot. The researchers realized that to find the true distance between two shapes, you cannot just look at the single worst stretch or the average stretch. Instead, you must look at the entire pattern of stretching across every possible direction at once. They developed a formula that combines all these different stretches into a single number, which perfectly matches the mathematical distance between the shapes.

Before this discovery, mathematicians had tried to use other methods to find this distance. They looked at the maximum amount any single part of the shape was stretched, or the total energy required to stretch it, or how much it distorted the angles. The authors proved that none of these familiar methods work for shapes with three or more dimensions. In fact, they showed that relying on these old methods leads to the wrong answer. For example, two very different shapes might look identical if you only check their maximum stretch or their total energy, even though they are actually quite far apart in the mathematical sense. The researchers demonstrated that only their new method, which carefully balances the stretching in all directions, can correctly distinguish between these shapes and measure the distance between them.

The beauty of their finding is that the best way to stretch one shape into another is surprisingly simple. The most efficient path is not a complex, twisting deformation, but a straight, uniform stretch. In mathematical terms, the optimal map is an "affine" map, which means it stretches the shape evenly in straight lines without any bending or twisting. The researchers proved that among all the possible ways to transform one shape into another, the one that minimizes their new "total expansion" measure is always this simple, straight stretch. This result holds true not just for the shapes themselves, but also for a related measure they call "Hilbert-Schmidt expansion," which looks at the stretching in a slightly different way but leads to the same conclusion.

This discovery does more than just solve an abstract puzzle; it connects to a deeper structure in mathematics known as a symmetric space. This is a special kind of geometric landscape where every point represents a different shape. The researchers showed that the distance between any two points on this landscape is exactly the same as the minimum amount of stretching required to turn one shape into the other. This confirms a long-held intuition that the geometry of these shapes is governed by the most efficient way to transform them. Their work also extends to more complex shapes called Kummer orbifolds, which are like these flat tori but with specific points where the shape folds over itself. The same rules apply, suggesting that this principle of efficient stretching is a fundamental law of these geometric worlds.

The implications of this work reach into the study of other complex shapes, such as those that appear in theories about the universe. The researchers hint that their method could help solve similar problems for Ricci-flat manifolds, which are shapes that have no internal curvature and are important in physics. They propose that the distance between these complex shapes might also be found by looking for the most efficient stretching map. While they have not yet solved that specific problem, they have provided the tools and the proof that such a solution is possible. By showing that the distance between shapes is defined by the simplest, most direct way to stretch one into the other, they have brought clarity to a field that had been clouded by failed attempts and confusing results. Their work stands as a definitive answer to a question that had puzzled mathematicians for generations, proving that even in the most abstract corners of geometry, the simplest path is often the truest one.

Technical Summary: Extremal Mappings of Tori, Teichmüller Potentials and Symmetric-Space Distance

Problem Statement
The symmetric space $X_n = SL(n, \mathbb{R})/SO(n)$ is identified with the Teichmüller space of marked, unit-volume, flat $n$ -dimensional tori. This space carries a unique (up to scale) $SL(n, \mathbb{R})$ -invariant Riemannian metric, denoted $d_{X_n}$ . While the case $n=2$ was resolved by Teichmüller in 1939—interpreting the hyperbolic metric $d_{X_2}$ as the solution to an extremal problem involving the minimal quasiconformal dilatation of a map between tori—the analogous modular interpretation for $n \ge 3$ has remained open.

The authors note that natural candidates for such an interpretation fail for $n \ge 3$ . Specifically, minimizing the Lipschitz constant (minimal dilatation), the quasiconformal dilatation, or the total energy (Hilbert-Schmidt energy of the derivative) within a homotopy class does not yield the symmetric space distance $d_{X_n}$ . The paper addresses the problem of finding a functional defined on the space of Lipschitz maps between flat tori whose infimum in a homotopy class recovers $d_{X_n}$ .

Methodology and Definitions
The paper introduces two new functionals, termed "Teichmüller potentials," defined on the space of Lipschitz maps $f: M \to N$ between closed Riemannian manifolds. These are constructed from the singular values of the derivative $Df$.

Singular Values and Preliminaries: For a linear map $A: E \to F$ between inner product spaces, let $\sigma_1 \ge \sigma_2 \ge \dots \ge 0$ be the singular values. The $k$ -dilatation $Dilk(f)$ is the essential supremum of the operator norm of the $k$ -th exterior power of the derivative, $\|\wedge^k Df_p\|$ . The $k$ -th Hilbert-Schmidt energy $E_k(f)$ is the integral over the manifold of the squared Hilbert-Schmidt norm of $\wedge^k Df_p$ .
Total Expansion ($TE$): The total expansion is defined as:
$TE(f) = \sqrt{\sum_{k=1}^r (\log Dilk(f) - \log Dilk-1(f))^2}$
where $r = \min(\dim M, \dim N)$ . This functional aggregates the $k$ -dilatations into a single $L^\infty$ -type quantity.
Hilbert-Schmidt Expansion ($HE$): The Hilbert-Schmidt expansion is derived from the "Hilbert-Schmidt energy polynomial" $P_f(t) = \sum E_k(f) t^k$ . If $P_f(t)$ is factored as $\prod (1 + y_k t)$ , then:
$HE(f) = \frac{1}{\sqrt{2}} \sqrt{\sum (\log y_k)^2}$
This functional is of $L^2$ -type, integrating the energy densities.

The authors utilize a linear algebra lemma (Lemma 2.4) involving trace inequalities and majorization to compare linear maps, and employ homotopy formulas for flat currents to relate integrals of pullbacks of forms to the homotopy class.

Key Results
The main theorem (Theorem 1.1) establishes that for flat tori $T_0$ and $T_1$ of dimension $n$ and a homotopy class $F$ of maps with absolute degree $d = \text{vol}(T_0)/\text{vol}(T_1)$ :

Minimization by Affine Maps: Both $TE(f)$ and $HE(f)$ attain their minimum values on the set of volume-preserving Lipschitz maps in the homotopy class $F$ . Crucially, these minima are achieved only by the affine maps in that class (maps equivariant with respect to the translation groups).
Recovery of Symmetric Space Distance: The minimum value of these functionals equals the symmetric space distance between the marked tori:
$d_{X_n}((T_0, F_0), (T_1, F_1)) = \inf_{h \in F_1 \circ F_0^{-1}} TE(h) = \inf_{h \in F_1 \circ F_0^{-1}} HE(h)$
where the infimum is taken over volume-preserving Lipschitz maps.

The paper provides a proof that affine maps minimize the individual $Dilk$ and $E_k$ functionals (Theorem 2.1). It then demonstrates that the specific combination of these functionals defined by $TE$ and $HE$ preserves this minimization property and correctly computes the geodesic distance on $X_n$ .

Significance and Scope
The paper claims to solve the long-standing problem of providing a modular interpretation of the symmetric space metric $d_{X_n}$ for $n \ge 3$ via extremal mapping problems. It highlights that while standard candidates (Lipschitz constant, quasiconformal dilatation, total energy) fail to distinguish between different symmetric space distances (as shown in Remark 2.6), the newly defined potentials $TE$ and $HE$ succeed.

The authors extend these results to Kummer orbifolds (Theorem 3.4), showing that the symmetric space distance for these orbifolds is similarly realized by minimizing $TE$ and $HE$ over volume-preserving Lipschitz maps.

Furthermore, the paper connects the infinitesimal version of the Hilbert-Schmidt expansion to the geometry of the space of Riemannian metrics. Proposition 3.1 shows that $HE$ induces the standard Riemannian metric on the space of metrics with fixed volume. In the context of surfaces of genus $g \ge 2$ , this recovers the Weil-Petersson metric (Example 3.2).

The paper concludes by posing open problems regarding the extension of these results to the Teichmüller space of Ricci-flat metrics on K3 surfaces (Problem 3.5) and identifying other manifolds where the infimum of $HE$ determines a path metric on the moduli space of metrics (Problem 3.6). The authors explicitly state that the idea of using $k$ -dilatations and Hilbert-Schmidt energies to derive Theorem 2.1 originated from a conversation with ChatGPT Pro, and Claude Pro assisted in checking proofs.

More like this