🔢 mathematics

Arithmetic level raising on triple product of Shimura curves and Gross--Kudla--Schoen Diagonal cycles II: Bipartite Euler system

This paper establishes an unramified arithmetic level raising theorem for the Gross--Kudla--Schoen diagonal cycle on the triple product of Shimura curves, which, when combined with a previous reciprocity law, demonstrates that these cycles form a bipartite Euler system providing evidence for the rank one case of the Bloch--Kato conjecture for the symmetric cube motive of a modular form.

Original authors: Haining Wang

Published 2026-05-15

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Haining Wang

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 trying to solve a massive, cosmic puzzle. In the world of advanced mathematics, specifically number theory, this puzzle involves understanding the hidden patterns of numbers (called "modular forms") and how they relate to geometric shapes (called "Shimura curves").

This paper by Haining Wang is like a master craftsman adding a crucial new piece to a very complex machine called a Bipartite Euler System. Think of this system as a two-sided bridge that connects two different worlds: the world of geometric shapes and the world of number patterns.

Here is a breakdown of what the paper does, using simple analogies:

1. The Setting: A Triple Dance

The paper focuses on a "triple product" of Shimura curves. Imagine three dancers (representing three different number patterns) performing a synchronized routine on a stage.

The Stage: These are special geometric shapes called Shimura curves.
The Dancers: They are "newforms," which are highly structured number patterns.
The Move: The paper studies a specific geometric move called the Gross–Kudla–Schoen diagonal cycle. Think of this as the moment when all three dancers step onto the exact same spot on the stage simultaneously. This creates a special "diagonal" path.

2. The Problem: Level Raising

In this mathematical world, there is a concept called "level raising." Imagine you have a song played on a small guitar (a low level). "Level raising" is like taking that same song and playing it on a much larger, more complex orchestra (a higher level) without changing the melody, but revealing new, hidden harmonies.

The author proves a theorem that allows mathematicians to "raise the level" of these triple-product curves. This is like upgrading the stage and the orchestra to a higher tier, proving that the special "diagonal dance" still works perfectly and creates a predictable, measurable result.

3. The Discovery: The Reciprocity Law

The core achievement of the paper is proving a Reciprocity Law.

The Analogy: Imagine you have a secret code written on a piece of paper (the geometric diagonal cycle). You want to know what this code means in the language of numbers.
The Law: The paper proves that if you take this geometric code and translate it using a specific mathematical tool (the Abel–Jacobi map), it perfectly matches a specific "period integral" (a complex calculation of area and volume) related to the number patterns.
Why it matters: It's like proving that a specific fingerprint left on a geometric shape is mathematically identical to a specific sound wave in a number pattern. They are two sides of the same coin.

4. The Big Picture: The Bipartite Euler System

The author combines this new result with a previous one to show that these geometric cycles and number patterns form a Bipartite Euler System.

The Metaphor: Think of a "Bipartite" system as a two-way street with traffic flowing in opposite directions.
- Side A: The geometric cycles (the dancers on the stage).
- Side B: The number periods (the sound waves).
The paper shows that these two sides talk to each other perfectly. When you change the "level" (the size of the stage), the traffic flows in a predictable way that links the two sides together.

Important Note: The author admits this isn't a "perfect" two-way street in the strictest sense (because the traffic lanes are wider than usual), but it is close enough to be incredibly useful.

5. The Application: Solving the "Rank One" Mystery

The ultimate goal of this work is to help solve the Bloch–Kato Conjecture.

The Conjecture: This is a famous hypothesis in math that tries to predict how many "independent solutions" exist for certain complex equations. It's like asking, "How many unique ways can I arrange these blocks?"
The Result: The paper provides strong evidence for the "rank one" case. This means that for a specific type of number pattern (the "symmetric cube" of a modular form), if the geometric dance (the diagonal cycle) is not empty, then there is exactly one fundamental solution to the equation.
The Takeaway: The paper doesn't solve the whole conjecture, but it builds a very sturdy bridge that proves the "rank one" scenario is highly likely to be true.

Summary

In short, Haining Wang has built a new mathematical bridge. By studying how three geometric shapes interact when they overlap, the author proved that these interactions perfectly match specific calculations involving number patterns. This connection allows mathematicians to predict the number of solutions to deep, unsolved equations, bringing us one step closer to understanding the fundamental architecture of numbers.

Technical Summary: Arithmetic Level Raising on Triple Product of Shimura Curves and Gross–Kudla–Schoen Diagonal Cycles II: Bipartite Euler System

Problem Statement
This article investigates the arithmetic properties of the Gross–Kudla–Schoen diagonal cycle on the triple product of Shimura curves. The primary objective is to establish a "bipartite Euler system" structure for these cycles, specifically in the context of the symmetric cube motive of a modular form. Building upon the author's previous work [Wang], which verified the first reciprocity law, this paper aims to prove the second reciprocity law. The ultimate goal is to utilize these reciprocity laws to provide evidence for the rank one case of the Bloch–Kato conjecture for the symmetric cube motive.

The problem involves understanding the relationship between the image of the diagonal cycle under the Abel–Jacobi map and certain period integrals (Gross–Kudla type) via level-raising congruences. While the Gross–Kudla–Schoen cycles on the full triple product do not form a bipartite Euler system in the strict sense defined by Howard [How] due to rank reasons (the local cohomology groups have rank 3 rather than 1), the paper demonstrates that their projection onto the symmetric cube component does satisfy the necessary conditions to form such a system.

Methodology
The methodology relies heavily on the interplay between arithmetic geometry, Galois cohomology, and the theory of Shimura curves.

Arithmetic Level Raising: The core technical tool is the development of an unramified arithmetic level raising theorem for the triple product of Shimura curves. This involves studying the cohomology of Shimura curves $X_d$ and their level-raised counterparts $X_d(p)$ at an $n$ -admissible prime $p$ . The author utilizes the weight spectral sequence and the monodromy filtration of nearby cycles to analyze the cohomology of the special fiber.
Semistable Models: To handle the level raising at a prime of good reduction, the paper constructs a strict semistable model for the triple product $X_d(p)^3$ . This involves blowing up the triple product along specific strata to resolve singularities, following the procedure outlined by Gross and Schoen [GS] and Liu [Liu2]. The geometry of the special fiber is described via a cube of strata, allowing for explicit computation of the monodromy filtration.
Reciprocity Laws: The paper establishes two distinct reciprocity laws:
- The First Reciprocity Law: Relates the singular residue of the diagonal cycle class at a ramified prime $q$ to a Gross–Kudla period integral. This was established in [Wang] and is reviewed here.
- The Second Reciprocity Law: Relates the localization of the diagonal cycle class at an unramified prime $p$ (specifically its finite part) to the same Gross–Kudla period integral. This is the main new result of the current article.
Bipartite Euler System Construction: By combining the two reciprocity laws, the author constructs a system of cohomology classes $(\Theta_n(f, d), \Theta^{[pq]}_n(f, d))$ associated with pairs of admissible primes. The paper verifies that these classes satisfy the required compatibility conditions (reciprocity laws) to form a bipartite Euler system, albeit in a "weaker sense" regarding the rank of the local cohomology groups.
Symmetric Cube Projection: The results are specialized to the case where the triple product is formed by a single modular form $f$ (i.e., $f = (f, f, f)$ ). The author projects the diagonal cycle classes onto the symmetric cube component of the triple tensor product representation, denoted $V^\diamond(f)(-1)$ .

Key Contributions and Results

Theorem 2 (Unramified Level Raising): Establishes an isomorphism between the cohomology of the triple product of Shimura curves at level $N$ and the "new part" of the cohomology at level $Np$ (where $p$ is an $n$ -admissible prime). This isomorphism relates the cohomology to a direct sum of tensor products of spaces of functions on Shimura sets.
Theorem 3 (Second Reciprocity Law): Proves that for an $n$ -admissible prime $p$ , the localization of the diagonal cycle class $\Theta_n(f, d)$ at $p$ satisfies a specific pairing formula with Gross–Kudla periods. Specifically, the pairing of the $j$ -th component of the localized class with a tensor product of functions equals the sum of the product of these functions over the diagonal Shimura set $\Delta_d(B)$ .
$(\text{loc}^{(j)}_p(\Theta_n(f, d)), \phi_1 \otimes \phi_2 \otimes \phi_3) = \sum_{z \in \Delta_d(B)} \phi_1(z) \otimes \phi_2(z) \otimes \phi_3(z)$
Theorem 4 (Evidence for Bloch–Kato Conjecture): Applies the constructed bipartite Euler system to the symmetric cube motive. The paper proves that if the projected diagonal cycle class $\Theta^\diamond(f, d)$ is non-zero, then the Bloch–Kato Selmer group $H^1_f(\mathbb{Q}, V^\diamond(f)(-1))$ has dimension 1 over the coefficient field. This provides a conditional proof of the rank one case of the Bloch–Kato conjecture for the symmetric cube motive.

Significance and Claims
The paper claims to complete the verification of Howard's conjecture [How] regarding the Gross–Kudla–Schoen diagonal cycles as a source for a bipartite Euler system. While the full triple product motive does not yield a strict bipartite Euler system due to rank constraints, the restriction to the symmetric cube component successfully yields such a system.

The significance of the work lies in:

Extending the Bertolini–Darmon Method: It adapts the method of constructing Euler systems via level raising and reciprocity laws (originally developed for Heegner points) to the context of diagonal cycles on triple products of Shimura curves.
Connecting Geometry to $L$ -functions: The reciprocity laws relate the algebraic part of the first derivative of the $L$ -function (via the Abel–Jacobi image of the cycle) to the algebraic part of the central critical value (via the Gross–Kudla period). This mirrors the Gross–Zagier formula and the work of Bertolini–Darmon.
Progress on Bloch–Kato: The results provide concrete evidence for the rank one case of the Bloch–Kato conjecture for the symmetric cube motive, a significant open problem in the arithmetic of automorphic forms.

The author notes that the methods are robust enough to potentially handle the more general triple product motive and extend to an Iwasawa theoretic setting, though these extensions are reserved for future work. The paper also positions its results as the "level raising" counterpart to $p$ -adic reciprocity laws proved by Darmon, Rotger, and others [DR1, DR2], and acknowledges parallel developments by Liu, Tian, Xiao, Zhang, and Zhu [LTX, LTXZZ] for other motives.