Big Heegner Point Euler System

• Big Heegner Point Euler System is a Λ-adic framework that organizes Heegner cohomology classes across varying Hida families and imaginary quadratic fields.
• It employs critical twists and twisted Kummer maps to connect CM points with Galois cohomology, satisfying precise Hecke and norm relations.
• The system underpins advanced reciprocity laws, exceptional zero phenomena, and Kolyvagin descent methods, solidifying its role in Iwasawa theory.

The Big Heegner Point Euler System is the $\Lambda$-adic system of Heegner cohomology classes attached to an ordinary Hida family and an imaginary quadratic field $K$, organized so that both the modular form and the anticyclotomic conductor vary compatibly. In Howard’s construction, the system lives in the Galois cohomology of the critical twist of the big ordinary Galois representation attached to the family, specializes to Heegner classes for arithmetic points of the Hida family, satisfies Hecke- and corestriction relations in the conductor variable, and lies in Greenberg Selmer groups (Howard, 2012). Later work related these classes to two-variable anticyclotomic $p$-adic $L$-functions, extended the construction to quaternionic Shimura curves and to totally real settings, and analyzed exceptional zero and Kolyvagin-system phenomena [(Castella, 2014); (Castella, 2015); (Zerman, 7 Jul 2025); (Jiménez, 30 Oct 2025)].

1. Hida-theoretic framework and critical twists

The ambient object is a Hida family of ordinary modular forms. In Howard’s formulation one starts from Hida’s big ordinary Hecke algebra and a branch $R$ through a fixed ordinary eigenform; the associated big Galois representation $T$ is free of rank two over $R$ and carries a continuous $G_{\mathbf Q}$-action (Howard, 2012). In the notation used by Castella, one likewise has a finite flat local extension $I$ of the Iwasawa algebra $\Lambda = O_L[[1+p\mathbf Z_p]]$ and a Hida family

$K$0

together with a free rank-$K$1 $K$2-module $K$3 endowed with a continuous Galois action (Castella, 2015).

A defining feature is ordinarity at $K$4. For each place $K$5 there is an exact sequence

$K$6

with both $K$7 free of rank one; after passing to Castella’s notation, the ordinary filtration takes the form

$K$8

with $K$9 unramified and Frobenius acting by $p$0 [(Howard, 2012); (Castella, 2015)]. The critical character $p$1 or $p$2 is then used to define a critical, self-dual twist $p$3 or $p$4, and Howard records a perfect alternating, $p$5-invariant $p$6-bilinear pairing

$p$7

for the twisted representation (Howard, 2012).

The imaginary quadratic field $p$8 is required to satisfy a Heegner hypothesis. In Howard’s 2012 construction, this is the existence of an ideal $p$9 with $L$0; for the results in §3 of that paper, $L$1 is also coprime to $L$2, implying that all prime divisors of $L$3 are split in $L$4 (Howard, 2012). Howard explicitly remarks that there is no restriction on the behavior of $L$5 in $L$6; it may be split, ramified, or inert (Howard, 2012). In Castella’s explicit reciprocity and exceptional-zero work, by contrast, $L$7 is assumed to split in $L$8 [(Castella, 2014); (Castella, 2015)].

Within this framework, “big” refers to $L$9-adic variation. The Hecke algebra, the Galois representation, the Selmer groups, and the Heegner classes are defined over a coefficient ring finite flat over an Iwasawa algebra, so that arithmetic specialization recovers the objects attached to ordinary modular forms of varying weight and character (Buyukboduk, 2013).

2. Construction from CM points and Kummer maps

Howard’s construction begins with CM points on the tower of modular curves $R$0 attached to $R$1. For $R$2 prime to $R$3, one considers the order $R$4 of conductor $R$5, the ring class field $R$6, and CM elliptic curves

$R$7

equipped with level structures. This produces Heegner points

$R$8

and, after ordinary and weight projection, classes $R$9 with Galois transformation law

$T$0

for $T$1 (Howard, 2012).

Howard then applies a twisted Kummer map. For $T$2,

$T$3

sends a point to a cocycle built from compatible $T$4-division points. The resulting classes

$T$5

are made compatible in $T$6 by the degeneracy maps and the $T$7-distribution relation, and their inverse limit yields Howard’s big Heegner point

$T$8

(Howard, 2012).

In the anticyclotomic direction, Castella formulates the compatible family as

$T$9

where $R$0 is the anticyclotomic $R$1-extension and $R$2 (Castella, 2015). The finite-level classes satisfy a Greenberg Selmer condition, and for each prime $R$3 the localization is constrained by

$R$4

(Castella, 2015). Complex conjugation acts by a sign: $R$5 (Castella, 2015).

The construction has a direct interpolation property. For any arithmetic prime of the Hida branch, the specialization of the big Heegner system produces the Heegner-point Euler system for the specialized ordinary modular form; in weight two and trivial character it recovers the Kummer images of classical Heegner points on the modular abelian variety (Howard, 2012).

3. Euler relations, local conditions, and specialization

The designation “Euler system” is justified by precise corestriction relations. At $R$6, Howard proves the $R$7-distribution relation

$R$8

which induces the corresponding relation for the big classes (Howard, 2012). For primes $R$9 inert in $G_{\mathbf Q}$0, Howard proves

$G_{\mathbf Q}$1

and a local Frobenius compatibility asserting that $G_{\mathbf Q}$2 and $G_{\mathbf Q}$3 have the same image in local cohomology (Howard, 2012).

In the Hida-family formulation, the conductor relation is commonly written as

$G_{\mathbf Q}$4

where after specialization at an arithmetic point $G_{\mathbf Q}$5 of weight $G_{\mathbf Q}$6 the Hecke polynomial is

$G_{\mathbf Q}$7

(Castella, 2015). At primes dividing $G_{\mathbf Q}$8, there are analogous relations involving $G_{\mathbf Q}$9 and Atkin–Lehner involutions (Castella, 2015).

These classes are built to satisfy Greenberg local conditions. Howard defines the strict Greenberg local condition by unramifiedness away from $I$0 and by the kernel of the map to $I$1 at $I$2; the Selmer group is then

$I$3

(Howard, 2012). Proposition 2.4.5 in Howard shows that the big Heegner classes satisfy these local conditions (Howard, 2012).

A central feature of Howard’s theory is nontrivial specialization. Theorem 3.1.1 and Corollary 3.1.2 show that for any arithmetic prime $I$4, and for all $I$5, the specialization $I$6 is nontrivial in $I$7 (Howard, 2012). Howard explicitly states that this extends the Cornut–Vatsal nonvanishing from weight $I$8 and trivial character to all ordinary modular forms in the Hida family (Howard, 2012).

The same local and norm compatibilities are the input for Kolyvagin descent. Büyükboduk develops Kolyvagin’s descent for Howard’s system, interpolates and controls the Tamagawa factors at bad primes, and constructs a big Kolyvagin system

$I$9

with initial class

$\Lambda = O_L[[1+p\mathbf Z_p]]$0

under the hypotheses H.Tam and H.stz (Buyukboduk, 2013).

4. Reciprocity laws and analytic interpolation

Castella proves an explicit reciprocity law relating Howard’s big Heegner points to a two-variable anticyclotomic $\Lambda = O_L[[1+p\mathbf Z_p]]$1-adic $\Lambda = O_L[[1+p\mathbf Z_p]]$2-function $\Lambda = O_L[[1+p\mathbf Z_p]]$3 that interpolates the Bertolini–Darmon–Prasanna $\Lambda = O_L[[1+p\mathbf Z_p]]$4-adic Rankin $\Lambda = O_L[[1+p\mathbf Z_p]]$5-series in Hida families (Castella, 2014). On the Galois side, the key input is a Perrin–Riou-style anticyclotomic regulator

$\Lambda = O_L[[1+p\mathbf Z_p]]$6

whose specializations interpolate Bloch–Kato logarithms or dual exponentials, together with explicit local factors (Castella, 2014). The reciprocity law itself states

$\Lambda = O_L[[1+p\mathbf Z_p]]$7

in $\Lambda = O_L[[1+p\mathbf Z_p]]$8 (Castella, 2014).

The same paper also identifies higher-weight specializations of big Heegner points with classical generalized Heegner cycles. For arithmetic $\Lambda = O_L[[1+p\mathbf Z_p]]$9 of weight $K$00, one has

$K$01

in $K$02, and at finite level

$K$03

(Castella, 2014). This is the precise comparison between the Greenberg-Selmer specialization of a big Heegner point and the étale Abel–Jacobi image of a classical Heegner cycle.

In the definite quaternionic setting, Longo and Vigni recast the geometric construction into big theta elements. Starting from Heegner points $K$04 on definite Shimura sets satisfying the $K$05-distribution relations, they define compatible elements

$K$06

and prove that for arithmetic $K$07 of trivial nebentypus,

$K$08

where $K$09 is the anticyclotomic $K$10-adic $K$11-function constructed from Chida–Hsieh theta elements (Castella et al., 2014). In that setting, the geometric Euler system is encoded by the compatible Heegner-point system and its $K$12-adic theta elements rather than by $K$13-classes.

A quaternionic explicit reciprocity law of the same general shape is established by Longo, Occhipinti, and Vigni. For the big Heegner point

$K$14

the big algebraic $K$15-adic $K$16-function defined through a Perrin–Riou logarithm satisfies

$K$17

(Longo et al., 5 Oct 2025). This is the quaternionic analogue of Castella’s explicit reciprocity law.

5. Exceptional zero phenomena and derived Heegner classes

A major refinement of the theory concerns exceptional arithmetic points, especially weight-$K$18 specializations with multiplicative reduction at $K$19. Castella studies the semistable non-crystalline case, where $K$20 is semistable but not crystalline, so that $K$21 has nontrivial monodromy $K$22 and the usual interpolation factor at $K$23 may vanish (Castella, 2015).

In this setting Castella first extends the Bertolini–Darmon–Prasanna $K$24-adic Gross–Zagier formula to the $K$25-new semistable non-crystalline case. For a $K$26-new $K$27 of weight $K$28, and a Hecke character $K$29 of conductor $K$30 and infinity type $K$31 with $K$32, the formula is

$K$33

(Castella, 2015). After specialization to the norm character $K$34, this becomes

$K$35

(Castella, 2015).

The exceptional-zero theorem concerns Howard’s big Heegner points specialized at a split multiplicative point $K$36 with $K$37. Writing

$K$38

Castella proves

$K$39

and constructs a derived class $K$40 such that

$K$41

(Castella, 2015). Here

$K$42

is the difference between the Mazur–Tate–Teitelbaum $K$43-invariant of $K$44 and the Ferrero–Greenberg/Gross–Koblitz $K$45-invariant of $K$46 (Castella, 2015). Pairing with $K$47 yields

$K$48

(Castella, 2015).

This exceptional-zero identity is the rank-one Heegner/Euler-system analogue of the Mazur–Tate–Teitelbaum phenomenon. Castella’s proof compares two evaluations of a two-variable anticyclotomic $K$49-adic $K$50-function along the line $K$51, using a big logarithm map with explicit Euler factors and an improved Coleman-style map that removes the vanishing factor at the exceptional point (Castella, 2015).

6. Kolyvagin systems, quaternionic variants, and higher-rank reinterpretations

The Iwasawa-theoretic role of the Big Heegner Point Euler System is to provide a source of Kolyvagin systems and characteristic-ideal divisibilities. Büyükboduk’s descent on Howard’s Euler system yields a big Kolyvagin system over $K$52 and proves the one-sided divisibility

$K$53

under the stated hypotheses (Buyukboduk, 2013). A key innovation there is the interpolation of Tamagawa factors through the Tamagawa element

$K$54

which controls bad-prime local conditions uniformly across the Hida family (Buyukboduk, 2013).

Quaternionic generalizations replace modular curves by Shimura curves and relax the classical Heegner hypothesis. Zerman constructs a modified universal Kolyvagin system starting from the big Heegner point Euler system of Longo–Vigni on towers of quaternionic Shimura curves, under a generalized Heegner hypothesis in which primes dividing $K$55 split in $K$56 and primes dividing $K$57 are inert, with $K$58 a square-free product of an even number of primes (Zerman, 7 Jul 2025). The resulting modified universal Kolyvagin system

$K$59

leads to the divisibility

$K$60

(Zerman, 7 Jul 2025).

A further extension to totally real fields is developed by Dong and Wang. Under the weak Heegner hypothesis for a CM extension $K$61, they construct big Heegner points in the definite setting and big Heegner classes in the indefinite setting for Hida families of Hilbert modular forms, with the same characteristic Hecke and corestriction compatibilities

$K$62

and

$K$63

(Jiménez, 30 Oct 2025). In the definite case they also define a totally real analogue of Longo–Vigni’s two-variable $K$64-adic $K$65-function

$K$66

(Jiménez, 30 Oct 2025).

At a more conceptual level, Kataoka and Sano reinterpret Heegner points within the formalism of higher-rank Euler systems. For $K$67 and an imaginary quadratic field $K$68 satisfying the Heegner hypothesis, they set $K$69, so that the basic rank is $K$70, and define a $K$71-adic Heegner element

$K$72

as the determinantal image of the big Heegner point $K$73 (Kataoka et al., 2022). Their Theorem 5.18 shows that Perrin-Riou’s Heegner point main conjecture is equivalent to the rank-two Iwasawa main conjecture

$K$74

(Kataoka et al., 2022). This does not alter Howard’s original construction, but it places the big Heegner point in a determinant-theoretic framework adapted to higher-rank Euler systems.

In the anticyclotomic elliptic-curve setting, the broader Heegner-point Euler-system program culminates in the proof of Perrin-Riou’s Heegner point main conjecture by Castella, Çiperiani, Skinner, and Sprung. Their distinguished class

$K$75

for the anticyclotomic big representation $K$76 satisfies

$K$77

and, when $K$78 splits in $K$79, this is identified with the square of the Bertolini–Darmon–Prasanna $K$80-adic $K$81-function via an explicit reciprocity law (Burungale et al., 2019). Although this is not Howard’s Hida-family construction, it exhibits the same structural principle: a compatible anticyclotomic Heegner system controls Selmer groups through Euler-system and reciprocity mechanisms.

Across these variants, the Big Heegner Point Euler System remains the same type of object: a compatible family of Heegner classes over a large coefficient ring, subject to Hecke-theoretic norm relations and ordinary local conditions, and designed to interpolate arithmetic information across weight, conductor, and anticyclotomic direction. Its later refinements show that trivial zeros, quaternionic settings, and higher-rank determinant formalisms do not replace the original construction; they extend its range and clarify its role in anticyclotomic Iwasawa theory.