🔢 mathematics

Superforms, supercurrents and convex geometry

This paper develops the calculus of superforms as a novel tool for convex geometry, applying it to the study of valuations on convex bodies, Alexandrov-Fenchel inequalities, and Monge-Ampère equations on the boundaries of convex bodies.

Original authors: Bo Berndtsson

Published 2026-08-07

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Bo Berndtsson

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 a detective trying to solve a mystery about shapes. In the world of mathematics, there is a special branch called convex geometry that studies "convex bodies"—think of these as perfectly smooth, bulging shapes like a basketball, a loaf of bread, or a jellybean, where if you draw a line between any two points inside, the whole line stays inside. For over a century, mathematicians have been trying to understand the hidden rules that govern how these shapes fit together, how big they are, and how their surfaces behave. One of the biggest puzzles in this field is a set of rules called the Alexandrov-Fenchel inequalities. These are like a cosmic law that says, "If you mix and match these shapes in certain ways, the resulting volume can never be smaller than a specific number." It's a bit like a recipe rule: "No matter how you stir the batter, you can't make a cake smaller than the size of the bowl."

To crack this code, mathematicians usually use heavy-duty tools from calculus and geometry. But recently, a new tool has been invented called superforms. Think of a superform as a "super-powered" mathematical object that carries two sets of information at once: the normal position of a point (like $x, y, z$ ) and a secret, invisible partner (like $\xi, \eta, \zeta$ ). It's like giving a shape a shadow that moves in a parallel universe, allowing us to see relationships that are invisible to the naked eye. This paper takes that super-tool and uses it to rewrite the rules of convex geometry, making some of the hardest proofs much simpler and revealing a deep, surprising connection between the shapes of our world and the abstract math of "complex" numbers.

The Super-Tool for Shape-Shifting

In this paper, the author, Bo Berndtsson, acts like a master architect who has found a new blueprint for building mathematical theories. He takes the "superform" calculus—a system originally designed for a different kind of geometry called tropical geometry—and applies it to the study of convex bodies. The main goal isn't necessarily to discover brand-new shapes or volumes (though there are a few new tricks), but to show that the existing, well-known rules of convex geometry can be explained in a much more natural, elegant way using this super-tool.

The paper introduces a few key ideas to make this work. First, it defines a special class of these super-tools called "strong" forms. Imagine you have a pile of Lego bricks. Some piles are stable and solid (strong), while others are wobbly and might fall apart (weak). In the world of superforms, there are some that are "weakly positive" and "weakly negative" at the same time, which is confusing. The author shows that if you stick to the "strong" ones, everything becomes stable and predictable. This is crucial because it allows mathematicians to multiply these shapes together without the math breaking down.

The Magic of "Homogeneous" Shapes

One of the paper's most clever moves involves a concept called strongly homogeneous forms. To understand this, imagine a shape that looks exactly the same whether you zoom in or zoom out, like a fractal or a perfect cone. In math, this is called "homogeneous." The author shows that any convex shape (like a cube or a sphere) can be turned into a special kind of "cone" in a higher dimension. By doing this, the complicated rules for the shape on the ground (in our normal space) become simple rules for the cone in the sky. This trick allows the author to translate problems about the surface of a shape into problems about the volume of a cone, which is much easier to solve.

Cracking the Alexandrov-Fenchel Code

The paper uses these tools to tackle the Alexandrov-Fenchel inequalities head-on. These inequalities are like the "Goldilocks" rule of geometry: they set the perfect limits on how mixed volumes of shapes can relate to each other. The author provides two fresh proofs for this theorem:

Alexandrov's Method: He rewrites a famous proof by Alexandrov using superforms. It's like taking a complex, winding path through a forest and finding a straight, paved road that leads to the same destination. The superforms simplify the steps, making the logic clearer and shorter.
Gromov's Method: He also adapts a proof by the famous mathematician Gromov. Gromov originally used complex shapes from algebraic geometry (like toric varieties) to solve this. The author says, "Wait, we don't need those fancy complex shapes!" Instead, he uses a "real variable" version, essentially building a compact world (a sphere with a boundary) out of real numbers. This proves the same result without needing the heavy machinery of complex geometry, showing that the rules of convex shapes are universal and don't need a "complex" passport to be understood.

The Secret Language of Valuations

The paper also dives into valuations. In simple terms, a valuation is a way of assigning a number to a shape (like its volume, surface area, or a more abstract "weight") such that if you glue two shapes together, the number for the new shape is the sum of the numbers for the parts (minus the overlap). The author discovers a beautiful dictionary that translates these valuations into the language of superforms.

He shows that every "smooth" valuation (a nice, well-behaved way of measuring shapes) corresponds to a specific "strongly homogeneous" superform. It's like having a secret code where every way of measuring a shape has a unique "shadow" in the super-world. He even suggests that this relationship is like a Fourier transform—a famous math tool that turns a sound wave into a spectrum of frequencies. Here, the "sound" is the shape, and the "spectrum" is the superform. This analogy helps mathematicians see that operations on shapes (like adding them together) are just like multiplying their super-shadows.

The Surface Area Mystery

Finally, the paper connects these ideas to Minkowski's surface area measure. This is a way of describing how much "surface" a shape has, but not just as a number—it's a map that tells you how the surface is oriented in different directions. The author shows that solving the problem of "what shape has this specific surface map?" is the same as solving a specific type of equation (the Monge-Ampère equation) on the surface of a sphere. He proves that as long as the "center of gravity" of the surface map is balanced (zero), there is exactly one shape that fits the description. This confirms a long-standing mathematical guess and provides a clear, step-by-step method for finding that shape.

The Bottom Line

In short, this paper doesn't just solve a puzzle; it changes the language we use to describe the puzzle. By introducing superforms and the concept of "strong" positivity, the author creates a unified framework where the rules of convex geometry, the behavior of surface areas, and the properties of valuations all fit together perfectly. He proves that the Alexandrov-Fenchel inequalities hold true using simpler, more direct arguments, and he establishes a one-to-one link between how we measure shapes and the abstract super-forms that represent them. While the math is deep, the message is clear: the universe of convex shapes is more orderly and interconnected than we thought, and with the right "super" lens, the hidden patterns become beautifully visible.

Technical Summary: Superforms, Supercurrents and Convex Geometry

Problem and Motivation
The paper addresses the need for a unified and natural framework to formulate classical results in convex geometry, specifically concerning valuations on convex bodies, the Alexandrov-Fenchel inequalities, and Monge-Ampère equations on the boundaries of convex bodies. While these topics have been extensively studied using classical methods (e.g., by Alexandrov, Minkowski, McMullen, and Alesker), the author, Bo Berndtsson, proposes applying the calculus of superforms and supercurrents—a formalism inspired by Kähler geometry but adapted to real geometry—to these problems. The primary objective is not necessarily to prove entirely new theorems, but to provide a convenient language where known results can be formulated naturally and where new structural insights (such as the characterization of "strong" forms) emerge.

Methodology
The core methodology involves adapting the theory of superforms, originally introduced by Lagerberg for tropical geometry, to the setting of convex geometry. Key technical components include:

Superforms and Supercurrents: The author defines superforms on $\mathbb{R}^n$ as differential forms on the complexification $\mathbb{C}^n = \mathbb{R}^n_x \oplus \mathbb{R}^n_\xi$ with coefficients independent of the imaginary variables $\xi$ . The operators $d$ and $d^\#$ (analogous to $\partial$ and $\bar{\partial}$ in Kähler geometry, where $d^\# = J^{-1}dJ$ ) are used to define a calculus of wedge products.
Positivity and "Strong" Forms: A crucial distinction is made between different notions of positivity. In the real setting, forms can be both weakly positive and weakly negative ("weakly null"). To overcome this, the paper focuses on "strong" forms, defined as differences of strongly positive forms. The author proves that forms arising in applications to valuations satisfy an orthogonality condition that makes them "strong," allowing the application of the Bedford-Taylor theory of wedge products of currents.
Strongly Homogeneous Forms: The paper introduces the concept of "strongly homogeneous" currents. A current $\Omega$ is strongly homogeneous if it is closed and satisfies $\delta^\# \Omega = 0$ (where $\delta^\#$ is contraction with the Euler vector field in the $\xi$ -direction). This condition ensures the current is symmetric and invariant under scaling in the $x$ -variable.
The Pairing and Representation: A central tool is a pairing between 1-homogeneous functions (support functions of convex bodies) and strongly homogeneous currents. This allows the representation of valuations as integrals of the form $\int e^{\omega_K} \wedge \Omega$ , where $\omega_K = dd^\# h_K$ and $e^{\omega_K}$ is defined via a power series expansion.
Geometric Translations: The paper utilizes the identification of convex bodies with 1-homogeneous convex functions (support functions) and maps the space of convex bodies modulo translation to the space of $(1,1)$ -currents of the form $dd^\# h_K$ .

Key Contributions and Results

Framework for Valuations: The paper establishes a one-to-one correspondence between translation-invariant valuations on convex bodies and strongly homogeneous currents.
- Smooth Valuations: It is shown that smooth translation-invariant valuations correspond uniquely to smooth, strongly homogeneous forms (Theorem 15.6, 15.8). This recovers and extends Alesker's results, providing a "Fourier-like" transform where the map $K \mapsto e^{\omega_K}$ acts as a character.
- Monotone Valuations: The paper characterizes monotone translation-invariant valuations as those corresponding to weakly positive, strongly homogeneous currents (Theorem 15.10). This generalizes results by McMullen and Firey regarding mixed volumes.
Alexandrov-Fenchel Inequalities: The paper provides two proofs of the Alexandrov-Fenchel inequalities using this formalism:
1. Alexandrov's Proof: A simplified version of Alexandrov's second proof is presented using a differential operator $A$ on the sphere, defined via superforms. The proof relies on the Lorentzian signature of a specific quadratic form derived from mixed volumes.
2. Gromov's Variant: A real-variable variant of Gromov's proof (originally for the Khovanskii-Teissier theorem on toric varieties) is developed. Instead of using toric compactifications, the author compactifies $\mathbb{R}^n$ by adding a sphere at infinity and studies the Dirichlet problem for Alexandrov's operator on a half-sphere.
Monge-Ampère Equations: The paper relates Minkowski's surface area measure to the Monge-Ampère equation on the boundary of convex bodies. It formulates the solvability of the surface area problem (finding a convex body with a given surface area measure) as the solvability of a Monge-Ampère equation on the sphere, specifically $(dd^\# \phi)^{n-1} = \Omega$ , where $\Omega$ is a strongly homogeneous current.
Characterization of Strong Forms: A significant technical result is Theorem 18.1, which characterizes "strong" forms as those annihilated by the operator $T = \sum dx_i \wedge \delta_{\xi_i}$ . This connects the theory of superforms to the theory of primitive forms in Kähler geometry via a mirror-symmetry-like isomorphism.

Significance and Claims
The paper claims modesty regarding the novelty of the main theorems, noting that many results (such as the Alexandrov-Fenchel inequalities and the structure of valuations) are classical or known in the work of Alesker, McMullen, and others. The significance lies in the reformulation and unification provided by the superformalism:

Natural Framework: The superformalism allows known results to be stated in a way that closely mirrors the structure of Kähler geometry (e.g., intersection products, positivity, Hodge theory), making the analogies between convex geometry and complex geometry explicit.
New Characterizations: The paper introduces new characterizations, such as the identification of smooth valuations with smooth strongly homogeneous forms and the specific definition of "strong" forms as the necessary subclass for the theory to work.
Simplification: The formalism offers minor simplifications in proofs, particularly in Alexandrov's proof of the Alexandrov-Fenchel theorem and in the handling of the Dirichlet problem on the half-sphere.
Extension to Non-Smooth Cases: The framework naturally adapts to non-smooth valuations and convex bodies, providing a unified treatment for both smooth and general cases without requiring separate ad-hoc arguments.

In summary, the paper serves as a bridge, demonstrating that the calculus of superforms provides a powerful and elegant language for convex geometry, capable of reproducing deep classical results while offering new structural insights into the nature of valuations and mixed volumes.