🔢 mathematics

Kudla-Millson lift of toric cycles and restriction of Hilbert modular forms

The paper demonstrates that the Kudla-Millson lift of toric cycles in a quadratic space of even dimension results in a cusp form that can be expressed as the diagonal restriction of a parallel weight one Hilbert modular form, ultimately providing a formula that relates the dimensions of these restrictions to the dimensions of the spans of toric and special cycles.

Original authors: Romain Branchereau

Published 2026-02-10

📖 3 min read🧠 Deep dive

CC BY 4.0

Original authors: Romain Branchereau

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 master chef trying to understand the secret recipe of a complex, multi-layered cake. This paper is essentially a mathematical "recipe book" that explains how a very complex, high-dimensional "flavor" (a modular form) can be broken down into simpler, more familiar ingredients (Hilbert modular forms) using a special mathematical tool called a "seesaw."

Here is the breakdown of the paper using everyday analogies.

1. The Main Characters

The Modular Form (The Complex Cake): In mathematics, modular forms are highly symmetrical, complex functions. Think of them as a gourmet, multi-layered cake with flavors from all over the world. They are beautiful but incredibly hard to study directly.
The Toric Cycles (The Ingredients): These are geometric shapes (like loops or paths) hidden inside the complex structure of the cake. The paper focuses on "toric cycles," which you can think of as specific, fundamental ingredients—like flour, eggs, or sugar—that are tucked away inside the layers.
The Kudla-Millson Lift (The Blender): This is a mathematical machine. You feed it a geometric shape (an ingredient), and it "blends" it into a modular form (a flavor). It turns geometry into algebra.

2. The Core Discovery: The "Seesaw" Trick

The most important part of this paper is a technique called a "Seesaw Identity."

Imagine a playground seesaw. On one side, you have a heavy weight representing a complex mathematical object. On the other side, you have a different set of objects. The "seesaw" tells us that if we balance these two sides correctly, we can learn everything about the heavy weight by simply looking at the lighter side.

In this paper, the author uses the seesaw to show that a very complicated "flavor" (the Kudla-Millson lift of a toric cycle) is actually just a "diagonal restriction" of a Hilbert modular form.

The Analogy: Imagine you have a giant, 3D holographic projection of a mountain. It’s hard to grasp the whole thing at once. But the "seesaw" tells you that if you shine a light on it from a specific angle, the 2D shadow it casts on the ground is actually a perfect, simplified map of that mountain. The paper proves that these complex "flavors" are just the "shadows" of even more structured mathematical objects.

3. Why does this matter? (The "Spans" Section)

The final part of the paper asks: "If we take all these ingredients (toric cycles) and blend them all together, can we recreate the entire cake?"

The author calculates the "dimension" (the variety or richness) of these flavors. He finds a mathematical formula that relates how many unique "ingredients" we have to how many unique "flavors" we can create.

It’s like asking: "If I have 10 different spices, can I make every possible dish in a professional kitchen, or am I missing something fundamental?" The paper provides the mathematical proof to help answer exactly what is missing and what can be fully recreated.

Summary in Three Sentences

The Problem: Modular forms are too complex to study all at once.
The Solution: By using "toric cycles" (geometric paths) and a "seesaw" (a mathematical balancing act), we can turn these complex forms into simpler "shadows" called Hilbert modular forms.
The Result: We now have a precise way to measure how much of the "mathematical universe" can be built using these specific geometric ingredients.

This paper, titled "Kudla-Millson lift of toric cycles and restriction of Hilbert modular forms" by Romain Branchereau, explores the deep connection between the homology of locally symmetric spaces associated with orthogonal groups and the theory of Hilbert modular forms.

1. The Problem

The central objective is to understand the nature of the Kudla-Millson theta lift when it is evaluated on specific homological cycles known as toric cycles (cycles attached to algebraic tori).

While previous work (notably by Darmon, Pozzi, and Vonk) established a relationship between intersection numbers of geodesics on modular curves and the diagonal restriction of Hilbert-Eisenstein series, this paper seeks to generalize these results to higher-dimensional quadratic spaces. Specifically, it aims to determine if the generating series of intersection numbers between toric cycles and "special cycles" (cycles arising from embeddings of smaller orthogonal groups) can be identified as the diagonal restriction of a Hilbert modular form.

2. Methodology

The author employs several advanced techniques from arithmetic geometry and automorphic forms:

Étale Algebras with Involutions: The author uses the fact that any even-dimensional quadratic space can be obtained via the restriction of scalars of an étale algebra $E$ equipped with an involution $\epsilon$ . This allows the translation of problems in orthogonal groups $SO(V)$ into problems involving the unit groups of these algebras.
The Seesaw Principle: A fundamental tool used throughout the paper is the "seesaw identity." By setting up a seesaw of dual pairs—specifically $\text{SO}(V) \text{/ } \text{SL}_2(F)$ over $\text{E}^1 \text{/ } \text{SL}_2(\mathbb{Q})$ —the author relates the theta lift on the large orthogonal group to a theta lift on a much smaller group (the torus), which is easier to compute.
Kudla-Millson Theory: The author utilizes the Kudla-Millson differential forms, which act as Thom forms for special cycles. By integrating these forms over toric cycles, the author constructs generating series whose Fourier coefficients are intersection numbers.
Adelic Integration and Weil Representation: The methodology relies on the local and global properties of the Weil representation to ensure the modularity and weight of the resulting forms.

3. Key Contributions and Results

A. Characterization of the Lift (Theorem 1.1 & 1.2)

The paper proves that if $C_\chi$ is a cycle attached to an anisotropic maximal $\mathbb{Q}$ -torus of maximal $\mathbb{R}$ -rank, the Kudla-Millson lift $\Theta_\phi(\tau, C_\chi)$ is a cusp form of weight $d$ (where $2d = \dim V$ ). Crucially, the author proves that this cusp form is the diagonal restriction of a Hilbert modular form of parallel weight one for a subgroup of $\text{SL}_2(F)$ .

B. Generalization to Product of Fields (Theorem 3.4)

The author extends the result to cases where the étale algebra is a product of field extensions. In this scenario, the generating series is shown to be a sum of products of diagonal restrictions of Hilbert modular forms associated with the individual field components.

C. Dimension Formula (Corollary 1.2.1)

A significant technical result is a formula relating the dimensions of various spaces. Under the conditions that $\dim V > 4$ and the signature $q$ is odd, the author provides a formula:
$\dim(S_d(\text{SL}_2(\mathbb{Z}))) - \dim(S_T) = \dim(H_q(Y, \mathbb{C})) - \dim(\text{span}\{H^\perp_{\text{cycle}}, H_T\})$
This relates the span of diagonal restrictions ( $S_T$ ) to the span of toric cycles ( $H_T$ ) and the span of special cycles ( $H_{\text{cycle}}$ ).

D. Concrete Example (Section 4)

The paper provides a detailed example using biquadratic fields in signature $(2, 2)$ . It demonstrates how the intersection numbers of products of geodesics in $Y_0(p) \times Y_0(p)$ correspond to the diagonal restriction of a Hilbert modular form.

4. Significance

The significance of this work lies in its unification of several disparate areas of number theory:

Geometry-Arithmetic Link: It provides a rigorous mechanism to move from topological intersection numbers in locally symmetric spaces to the coefficients of automorphic forms.
Generalization of DPV: It generalizes the Darmon-Pozzi-Vonk theorem from the specific case of modular curves to arbitrary even-dimensional quadratic spaces.
Structural Insight: By using the seesaw principle, the paper provides a structural explanation for why these generating series appear as restrictions of Hilbert modular forms, rather than just proving they exist.
Foundation for Future Research: The results provide a framework for studying "rigid meromorphic cocycles" and their potential algebraicity, as conjectured by Darmon, Gehrmann, and Linowski.