Theta cycles and the Beilinson--Bloch--Kato conjectures

This paper introduces canonical classes in Selmer groups, derived from special cycles in unitary Shimura varieties and generalizing Heegner points, which are conjectured to play a central role in verifying the Beilinson–Bloch–Kato conjectures in rank 1.

The Gist

Here is an explanation of the paper "Theta Cycles and the Beilinson–Bloch–Kato Conjectures" by Daniel Disegni, translated into everyday language with creative analogies.

The Big Picture: Finding a Needle in a Cosmic Haystack

Imagine the universe of numbers is a giant, complex machine. Mathematicians have built a theory called the Beilinson–Bloch–Kato (BBK) Conjecture. This theory is like a massive instruction manual that predicts how the machine behaves.

Specifically, the manual makes a bold prediction about a specific part of the machine (a "Galois representation," which is a fancy way of describing a pattern of symmetries in numbers). The manual says:

"If you look at a specific mathematical 'signal' (called an L-function) and it goes silent (vanishes) exactly once at a specific moment, then there must be exactly one special 'hidden object' (a Selmer class) hiding in the machine. If the signal doesn't go silent, the object doesn't exist."

The problem? We have the manual, but we can't see the hidden object. We need a way to find it.

The Solution: The "Theta Cycle"

This paper introduces a new tool called a Theta Cycle. Think of a Theta Cycle as a high-tech metal detector designed specifically to find that one hidden object.

Here is how the author, Daniel Disegni, builds this detector:

1. The Map and the Treasure (Shimura Varieties)

To find the hidden object, the author looks at a special landscape called a Unitary Shimura Variety.

• Analogy: Imagine a vast, multi-dimensional garden. In this garden, there are specific, rare flowers called Special Cycles. These flowers are like landmarks.
• The author takes these flowers and uses a mathematical process to turn them into "coordinates" or "arrows" pointing toward the hidden object in the number machine.

2. The Translator (Theta Correspondence)

The garden (Shimura variety) speaks a different language than the number machine (Galois representation). To connect them, the author uses a translator called the Theta Correspondence.

• Analogy: Imagine you have a song playing in a concert hall (the garden). You want to know what that song sounds like when played on a specific instrument in a different room (the number machine). The "Theta Correspondence" is the acoustics engineer who translates the sound from the hall to the instrument perfectly.
• This translation process creates the Theta Cycle. It's a specific "arrow" (a class in a Selmer group) that represents the special flowers from the garden, now translated into the language of the number machine.

3. The "One-and-Only" Rule

The paper proves a crucial property of this Theta Cycle:

• The Conjecture: The hidden object exists and is unique (dimension = 1) if and only if the Theta Cycle is not zero.
• The Analogy: Think of the Theta Cycle as a lightbulb.
  • If the lightbulb is ON (non-zero), it means the hidden object exists and is unique.
  • If the lightbulb is OFF (zero), it means the hidden object doesn't exist.
  • The paper shows that this lightbulb turns on exactly when the "signal" (the L-function) goes silent once, just as the manual predicted.

The Two Types of Signals

The paper looks at two ways to check if the signal is silent:

1. The Complex Signal (The Classical View):

   • This is like listening to the song in the concert hall. The author shows that if the song goes silent at the right moment, the lightbulb (Theta Cycle) turns on. This connects the "music" of numbers to the "geometry" of the garden.

2. The p-adic Signal (The Digital View):

   • This is like looking at the digital waveform of the song. The author constructs a "p-adic L-function" (a digital version of the signal).
   • The paper proves that if this digital signal has a specific "glitch" (vanishes to order 1), then the Theta Cycle is definitely real and non-zero.

Why is this a Big Deal?

Before this paper, mathematicians had a few examples of these "hidden objects" (like Heegner points on elliptic curves, which are like finding a single specific grain of sand on a beach). But for more complex, higher-dimensional machines, they didn't know how to find the sand.

• The Breakthrough: Disegni shows that the "Theta Cycle" method works for a huge class of these complex machines, not just the simple ones.
• The "Euler System" Bonus: The paper also hints that these Theta Cycles aren't just single arrows; they are part of a larger, organized system (an Euler System).
  • Analogy: Finding one arrow is good. But finding a whole treasure map that links arrows together across different dimensions is even better. This map allows mathematicians to prove that the hidden object is the only one there, effectively solving the mystery of the machine's behavior.

Summary in a Nutshell

1. The Goal: Prove that a specific mathematical pattern exists exactly when a signal goes silent.
2. The Problem: We can't see the pattern directly.
3. The Method: Build a "Theta Cycle"—a bridge that translates geometric shapes (flowers in a garden) into number patterns.
4. The Result: If the signal goes silent, the bridge (Theta Cycle) appears. If the bridge appears, the pattern exists.
5. The Impact: This provides a powerful new way to verify deep mathematical predictions about how numbers and geometry are secretly connected.

In short, Disegni has built a new, universal metal detector that finally allows us to "see" the invisible structures predicted by the most important conjectures in modern number theory.

Technical Summary

Here is a detailed technical summary of the paper "Theta Cycles and the Beilinson–Bloch–Kato Conjectures" by Daniel Disegni.

1. Problem Statement

The paper addresses the Beilinson–Bloch–Kato (BBK) conjectures, which predict a deep relationship between the analytic properties of $L$-functions associated with Galois representations and the algebraic structure of their associated Selmer groups.

Specifically, for an irreducible, geometric Galois representation $\rho: G_E \to \mathrm{GL}_n(\mathbb{Q}_p)$ of weight $-1$ over a CM field $E$:

• The conjecture posits that the dimension of the Bloch–Kato Selmer group $H^1_f(E, \rho)$ is equal to the order of vanishing of the $L$-function $L(\rho, s)$ at the central point $s=0$.
• The case of rank 1 (where the Selmer group is 1-dimensional) is of particular interest. In the classical case of elliptic curves ($n=2$), this is linked to the non-vanishing of Heegner points.
• The Gap: While Heegner points provide a concrete geometric realization for $n=2$, there was no general, canonical construction of algebraic cycles in higher dimensions ($n \geq 4$) that could serve as a "Theta cycle" to generate the Selmer group and test the BBK conjecture for general conjugate-symplectic representations.

2. Methodology

Disegni constructs these higher-dimensional analogues of Heegner points, termed Theta cycles, using a synthesis of automorphic forms, theta correspondence, and arithmetic geometry.

A. Representation-Theoretic Setup

• Automorphic Descent: The author starts with a relevant automorphic representation $\Pi$ of $\mathrm{GL}_n(\mathbb{A}_E)$ associated with $\rho$. Using the automorphic descent method (based on the work of Ginzburg, Rallis, Soudry, and others), $\Pi$ is transferred to a representation $\pi$ of a quasi-split unitary group $G = U(W)$.
• Theta Correspondence: The representation $\pi$ is further transferred via the local and global theta correspondence to a representation $\sigma$ of an incoherent unitary group $H = U(V)$, where $V$ is a hermitian space of dimension $n$ with signature $(n-1, 1)$ at one archimedean place and $(n, 0)$ elsewhere.
• Modularity of Generating Series: A crucial step relies on the conjectural modularity of generating series of special cycles (Hypothesis 4.3). This asserts that a formal sum of algebraic cycles, weighted by automorphic data, forms a modular form taking values in the cohomology of Shimura varieties.

B. Construction of Theta Cycles

1. Special Cycles: The author defines codimension-$r$ special cycles $Z(x)_K$ on unitary Shimura varieties $X_K$ associated with $H$. These cycles are defined via orthogonal complements of vectors in the hermitian space.
2. Arithmetic Theta Lifts: By pairing these special cycles with vectors from the automorphic representations $\pi$ and $\sigma$, the author constructs a map:
   $$\Theta_\rho: \Lambda_\rho \to H^1_f(E, \rho)$$
   where $\Lambda_\rho$ is a 1-dimensional $\mathbb{Q}_p$-line constructed from the tensor product of the automorphic representations and the Weil representation.
3. Canonical Nature: The resulting class $\Theta_\rho$ is defined uniquely up to a scalar (the choice of basis for $\Lambda_\rho$).

3. Key Contributions

1. Definition of Theta Cycles: The paper introduces a canonical construction of Selmer classes for general even-dimensional conjugate-symplectic Galois representations, generalizing the concept of Heegner points to higher dimensions.
2. Height Formulas: The paper establishes explicit formulas relating the Nekovář $p$-adic height and the Beilinson–Bloch complex height of these Theta cycles to the derivatives of $L$-functions.
   • Complex Case: $\langle \Theta_\rho(\lambda), \Theta_{\rho^*(1)}(\lambda') \rangle \propto L'(\rho, 0)$.
   • $p$-adic Case: $\langle \Theta_\rho(\lambda), \Theta_{\rho^*(1)}(\lambda') \rangle \propto \frac{d}{ds} L_p(\rho)|_{s=0}$.
     These formulas are reformulations of breakthrough results by Li–Liu and Liu–Disegni, adapted to this specific setting.
3. Connection to Euler Systems: The paper demonstrates that these Theta cycles form the base of a JNS Euler system (Jetchev–Nekovář–Skinner). This is a critical technical advancement because Euler systems provide the machinery to bound Selmer groups.

4. Main Results

The paper summarizes its findings in Theorem A, which connects the non-vanishing of Theta cycles to the BBK conjecture under specific hypotheses (modularity of generating series, injectivity of Abel-Jacobi maps, etc.):

1. Existence: Under the assumption of the modularity of special cycle generating series (Hypothesis 4.3), a non-zero map $\Theta_\rho$ exists.
2. Analytic $\implies$ Algebraic:
   • If the complex $L$-function vanishes to order 1 at $s=0$, then $\Theta_\rho \neq 0$.
   • If the $p$-adic $L$-function vanishes to order 1, then $\Theta_\rho \neq 0$ (and the modularity hypothesis holds).
3. Algebraic $\implies$ Rank 1:
   • If $\Theta_\rho \neq 0$ and $\rho$ has a "sufficiently large" image, then $\dim_{\mathbb{Q}_p} H^1_f(E, \rho) = 1$.
   • This implies that the non-vanishing of the Theta cycle forces the Selmer group to be exactly 1-dimensional, confirming the "rank 1" case of the BBK conjecture.

5. Significance

• Generalization of Gross-Zagier: The work extends the Gross-Zagier formula (relating heights of Heegner points to $L$-derivatives) and the Kolyvagin-Gross-Zagier theorem (relating non-vanishing to Selmer rank) to arbitrary even dimensions and general CM fields.
• Bridge between Analysis and Arithmetic: It provides a concrete geometric object (the Theta cycle) that acts as the bridge between the analytic side ($L$-functions) and the arithmetic side (Selmer groups) for a broad class of representations.
• Foundation for Future Proofs: By constructing these cycles and linking them to JNS Euler systems, the paper lays the groundwork for proving the rank 1 case of the BBK conjecture for higher-dimensional representations, a major open problem in number theory.
• Refinement of Liu's Work: It refines previous constructions by Y. Liu, offering a more canonical approach via the "multiplicity-one" principle and clarifying the role of the theta correspondence in the descent process.

In summary, Disegni's paper provides the necessary geometric and automorphic machinery to test the Beilinson–Bloch–Kato conjectures in rank 1 for higher-dimensional Galois representations, establishing that the non-vanishing of these "Theta cycles" is equivalent to the Selmer group having dimension 1.