🔢 mathematics

Twisted triple product root numbers and a cycle of Darmon-Rotger

This paper establishes that a specific algebraic cycle on the triple product of the modular curve $X_0(p)$ is null-homologous and that the associated twisted triple product $L$ -function has a global root number of $-1$, providing strong evidence under standard conjectures that the cycle is non-torsion.

Original authors: David T. -B. G. Lilienfeldt

Published 2026-06-24

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: David T. -B. G. Lilienfeldt

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: A Mathematical Detective Story

Imagine you are a detective trying to solve a mystery involving three specific types of mathematical objects called modular forms. Think of these as highly complex, vibrating musical notes that contain deep secrets about numbers.

The author of this paper, David Lilienfeldt, is investigating what happens when you take three of these "notes" (let's call them $f_1, f_2,$ and $f_3$ ) and mix them together. But there's a twist: he mixes them with a special "flavor" called a quadratic character (think of this as a filter that changes the sound based on whether numbers are "left-handed" or "right-handed" in a specific way).

The paper has two main goals:

To prove that a specific geometric shape (a "cycle") built from these notes is actually "empty" in a topological sense (it doesn't enclose any real volume).
To calculate a specific number (the "root number") that tells us how this mixture behaves.

Part 1: The Darmon–Rotger Cycle (The "Ghost" Shape)

The Setup:
Imagine a giant, multi-dimensional space made by taking a specific curve (called $X_0(p)$ ) and stacking three copies of it on top of each other. This creates a 3D space (well, a 3-dimensional mathematical space).

The Object:
Darmon and Rotger previously defined a special shape inside this space. They did this by looking at elliptic curves (which are like donuts) and their sub-parts. They created two versions of a shape:

$\Delta_+$ : A shape made of points where a certain mathematical "score" is positive (specifically, a quadratic residue).
$\Delta_-$ : A shape made of points where that score is negative (a non-residue).

They then defined a "cycle" as the difference between these two shapes: $\Xi = \Delta_+ - \Delta_-$ .

The Discovery:
Lilienfeldt proves that this difference, $\Xi$ , is null-homologous.

The Analogy: Imagine drawing a loop on a piece of paper. If the loop encloses a hole, it's "real." If you draw a loop that is just a tiny squiggle that doesn't go anywhere, or if you draw a loop that can be shrunk down to a single point without tearing the paper, it is "null-homologous."
The Result: The paper proves that the Darmon–Rotger cycle is like a squiggle that can be shrunk to nothing. It doesn't enclose any "volume" in the mathematical sense. It is a "ghost" shape.

The Symmetry:
The paper also checks how this shape reacts when you swap the three copies of the curve around (like swapping three people in a line).

If the prime number $p$ is of a certain type ( $p \equiv 1 \mod 4$ ), the shape stays exactly the same no matter how you swap them.
If $p$ is of another type ( $p \equiv 3 \mod 4$ ), swapping two of them flips the shape's sign (like turning a glove inside out).

Part 2: The Root Number (The "Balance Scale")

The Concept:
In number theory, there is a famous equation (the functional equation) that relates an L-function (a complex formula describing the notes) at one point to its value at another point. There is a "balance factor" in this equation called the root number (or global root number). It can only be $+1$ or $-1$.

If the root number is $+1$ , the equation is balanced in a way that suggests the formula might be zero (or have an even number of zeros) at its center.
If the root number is $-1$, the equation is "unbalanced" in a way that forces the formula to be zero at its center.

The Calculation:
The author calculates this root number for the "twisted" mixture of the three notes ( $f_1 \otimes f_2 \otimes f_3 \otimes \chi$ ).

The Result: The root number is $-1$.

Why this matters:
Because the root number is $-1$, the paper proves that the L-function must be zero at its center point ( $s=2$ ). Furthermore, because the number is odd ($-1$), it suggests the function crosses the zero line (it doesn't just touch it and bounce back). This means the "order of vanishing" is odd (likely 1, 3, 5, etc.).

Part 3: The Connection (The "Gross–Zagier" Philosophy)

This is the speculative but exciting part of the paper.

There is a famous idea in mathematics (the Gross–Zagier philosophy) that links these abstract "ghost shapes" (cycles) to the zeros of these L-functions.

The Rule of Thumb: If the L-function has a zero of order 1 (it crosses the line once), then there should be a "non-trivial" (real, non-zero) cycle associated with it.

The Author's Conclusion:

We know the L-function has a zero of odd order (because the root number is $-1$).
We have a specific cycle (the Darmon–Rotger cycle) that is defined over a specific number field.
The Big Question: Is this cycle actually "real" (non-torsion), or is it just a "ghost" (torsion/trivial)?

The paper does not prove that the cycle is real. It only proves that the conditions are perfect for it to be real.

The Analogy: Imagine you find a locked door (the L-function zero) that must open because of the physics of the room (the root number). You also have a key (the Darmon–Rotger cycle). The paper proves the key fits the lock's mechanism perfectly, but the author admits, "I haven't actually turned the key yet to see if the door opens."

Summary of Claims

The Cycle is a Ghost: The specific geometric shape defined by Darmon and Rotger is "null-homologous" (it can be shrunk to a point).
The Root Number is -1: The twisted triple product L-function has a root number of $-1$, which mathematically forces it to have a zero at its center.
The Conjecture: Based on deep conjectures (Beilinson–Bloch–Kato), this suggests the cycle might be "non-torsion" (it might actually be a meaningful, infinite object), but the paper stops short of proving this final step.

The paper is a rigorous proof of the "setup" (the shape is a ghost, the number is -1) and a strong hint that the "payoff" (the cycle is a real, useful object) is waiting to be discovered.

Technical Summary of "Twisted Triple Product Root Numbers and a Cycle of Darmon–Rotger"

Problem Statement
This paper investigates the arithmetic properties of a specific algebraic cycle, the Darmon–Rotger cycle, defined on the triple product of the prime level modular curve $X_0(p)$ . The cycle is constructed over the quadratic extension $K = \mathbb{Q}(\sqrt{\chi(-1)p})$ , where $\chi$ is the Legendre symbol modulo $p$ . The central problem is to determine the homological and rational equivalence properties of this cycle and to relate its non-triviality to the analytic behavior of a twisted triple product $L$ -function, $L(f_1 \otimes f_2 \otimes f_3 \otimes \chi, s)$ , where $f_1, f_2, f_3$ are normalized cuspidal eigenforms of weight 2 and level $\Gamma_0(p)$ . Specifically, the author seeks to verify whether the global root number of this $L$ -function is $-1$, which, under the Beilinson–Bloch–Kato conjectures and the Gross–Zagier philosophy, would suggest the cycle is non-torsion.

Methodology
The paper employs a combination of algebraic geometry, the theory of modular curves, and the representation theory of Weil–Deligne groups.

Geometric Construction: The author provides an alternative description of the Darmon–Rotger cycle $\Xi = \Delta_+ - \Delta_-$ as the difference of images of specific maps from the full level $p$ modular curve $X(p)$ to $X_0(p)^3$ . This description utilizes the moduli interpretation of $X(p)$ involving elliptic curves with full level $p$ structures and the Weil pairing. The action of the symmetric group $S_3$ and the Galois group $\text{Gal}(K/\mathbb{Q})$ on these cycles is analyzed to determine their invariance properties.
Homological Triviality: To prove the cycle is null-homologous, the author utilizes the Gross–Schoen projector $P_{GKS}(e)$ . By demonstrating that the cycle is invariant under this projector (which annihilates certain cohomology groups), the paper establishes that the cycle lies in the null-homologous part of the Chow group. An alternative proof using the de Rham cycle class map is also sketched.
Root Number Computation: The calculation of the global root number $W(F, \chi)$ for the twisted triple product $L$ -function relies on the local-global principle for epsilon factors. The author computes the epsilon factor at the prime $p$ by analyzing the associated 8-dimensional Weil–Deligne representation of $F \otimes \chi$ . This involves decomposing the representation into tensor products of special representations ($sp(2)$) and characters, and explicitly calculating the epsilon factor using properties of Gauss sums and the conductor of the twisting character $\chi$ .

Key Contributions and Results

The Darmon–Rotger Cycle: The paper proves that the Darmon–Rotger cycle $\Xi = \Delta_+ - \Delta_-$ is null-homologous. It establishes that $\Xi$ defines an element in the Chow group $\text{CH}^2(X_0(p)^3_K)^{\tau=-1}_0$ . The action of the symmetric group $S_3$ on $\Xi$ is determined: if $p \equiv 1 \pmod 4$ , $S_3$ fixes $\Xi$ ; if $p \equiv 3 \pmod 4$ , $S_3$ acts on $\Xi$ via the sign character.
Global Root Number: The main analytic result is Theorem 1.2, which states that the global root number of the twisted triple product $L$ $L$ -function $L(F, \chi, s)$ $L (F, χ, s)$ is $-1$. Consequently, the $L$ $L$ -function vanishes to an odd order at its central critical point $s=2$ $s = 2$ .
- The proof hinges on showing that the local root number at $p$ is $1$, while the root number at infinity is $-1$.
- A crucial technical distinction from the untwisted case (studied by Gross–Kudla) is that the epsilon factor of the twisted Weil–Deligne representation at $p$ is equal to the epsilon factor of the underlying Weil representation, leading to a different conductor and root number calculation.
Conductor Calculation: The paper explicitly computes the conductor of the twisted representation as $\text{cond}(F, \chi) = p^8$ .

Significance and Claims
The paper positions its results within the framework of the Beilinson–Bloch–Kato conjectures and the Gross–Zagier philosophy.

Connection to $L$ -values: Since the root number is $-1$, the order of vanishing of the $L$ -function at $s=2$ is at least 1. Under the Beilinson–Bloch–Kato conjectures, this implies that the dimension of the relevant Selmer group (and thus the Chow group) is at least 1.
Non-Torsion Speculation: The author notes that while the root number suggests the Darmon–Rotger cycle $\Xi$ could be non-torsion (specifically, that $t_F \Xi \neq 0$ if the order of vanishing is exactly 1), the paper does not provide a proof of this non-torsion property. The author explicitly states, "we do not currently have a proof of this."
Comparison with Modified Diagonal Cycles: The paper contrasts the Darmon–Rotger cycle with the modified diagonal cycle $\Delta_{GKS}(e)$ studied by Gross–Kudla and Gross–Schoen. Unlike the modified diagonal cycle, which requires a choice of base point and a projector to become null-homologous, the Darmon–Rotger cycle is canonically defined without such choices. The author speculates that if both the untwisted and twisted $L$ -functions have order of vanishing 1, the Chow group might decompose into a direct sum generated by these two distinct cycles, though this remains "pure speculation."

In summary, the paper rigorously establishes the geometric properties of the Darmon–Rotger cycle and the analytic properties of the associated twisted $L$ -function, providing strong theoretical evidence (via root numbers) for the cycle's potential arithmetic significance, while acknowledging that the proof of its non-triviality in the Chow group remains an open problem.

The Big Picture: A Mathematical Detective Story

Part 1: The Darmon–Rotger Cycle (The "Ghost" Shape)

Part 2: The Root Number (The "Balance Scale")

Part 3: The Connection (The "Gross–Zagier" Philosophy)

Summary of Claims

More like this