---
title: Stark–Heegner Cycles in Number Theory
url: https://www.emergentmind.com/topics/stark-heegner-cycles
type: topic
---

# Stark–Heegner Cycles in Number Theory

Stark–Heegner cycles are a family of constructions that transfer the Heegner-point paradigm from CM settings to real quadratic, ATR, and Bianchi settings, typically by replacing globally visible algebraic points or cycles with objects defined first through \(p\)-adic integration, modular symbols, or topological cycles, and then relating their Abel–Jacobi images to Selmer groups and derivatives of \(L\)-functions. In the Bianchi setting they are local cohomology classes attached to Bianchi modular forms; in ATR settings they are null-homologous cycles on Hilbert modular varieties paired with Eisenstein forms; in real quadratic and plectic settings they appear as \(p\)-adic local points, higher-dimensional cohomology classes, or S-arithmetic cycles. A persistent theme is that Bloch–Kato and Stark-type conjectures predict global rationality, reciprocity, and control by central derivatives or higher derivatives of automorphic \(L\)-functions [1910.14581] [2112.07402] [1411.0961] [2104.12575].

## 1. Genealogy and conceptual scope

The modern theory begins from the analogy with classical Heegner points, whose arithmetic significance is controlled by Gross–Zagier and Kolyvagin, and from Darmon’s construction of \(p\)-adic Stark–Heegner points for real quadratic fields. In higher weight and in non-CM settings, the relevant objects cease to be ordinary points on modular curves and instead become local cohomology classes, higher-codimension cycles, or S-arithmetic cycles on Bianchi or Hilbert modular quotients. In the Bianchi context, Stark–Heegner cycles are described as \(p\)-adic, Hecke-equivariant algebraic cycles attached to Bianchi modular forms, with Abel–Jacobi images in semistable local cohomology; in the ATR setting, they are null-homologous topological cycles on Hilbert modular varieties; in the plectic setting, they are conjecturally related to wedge powers of Mordell–Weil or Selmer classes [1910.14581] [1411.0961] [2104.12575].

A common source of confusion is that the expression “Stark–Heegner cycle” does not denote a single geometric object across the literature. The Bianchi papers work with a “local Chow” substitute
\[
(\Delta_0 \otimes \mathrm{Div}(\mathcal H_{\mathfrak p}^{ur}) \otimes V_{k,k})_\Gamma,
\]
whereas the ATR paper works with cycles \(A_T\) in \(H_{n-1}(X,\mathbf Z)\), and the equidistribution paper studies S-arithmetic cycles
\[
\Delta_\psi \subset \mathrm{PGL}_2^+(\mathbf Z[1/p])\backslash (H \times H_p).
\]
This suggests that the unifying feature is not a single ambient geometry but a common package: optimal embeddings, ring class fields, Abel–Jacobi regulators, and conjectural reciprocity laws [1910.14581] [2411.08215].

The theory is also explicitly designed to match sign conditions in functional equations. In the Bianchi setting, under the Stark–Heegner hypothesis one has \(\varepsilon(f/K)=-1\), so the central value vanishes and Bloch–Kato predicts nontrivial Selmer classes. In the ATR setting, the order of vanishing \(c=1\) is reflected in the exactness of a projected Eisenstein form and in the torsion of the cycle \(A_T\). In the plectic setting, the anticyclotomic \(p\)-adic \(L\)-function vanishes to order at least \(r\), and the theory is built to detect \(r\)-fold phenomena rather than rank one alone [1910.14581] [1411.0961] [2104.12575].

## 2. Bianchi Stark–Heegner cycles and their local Abel–Jacobi images

Let \(F\) be an imaginary quadratic field, \(p\) an unramified rational prime in \(F\), and \(f\) or \(\mathcal F\) a cuspidal Bianchi eigenform of parallel weight \(k+2\) and level \(U_0(\mathcal N)\), new at the prime above \(p\). The associated \(2\)-dimensional \(p\)-adic Galois representation \(V_p(f)\) or \(V_p(\mathcal F)\) is the target of the local construction. The basic source object is the \(\Gamma\)-coinvariant module
\[
(\Delta_0 \otimes \mathrm{Div}(\mathcal H_p^{ur}) \otimes V_{k,k})_\Gamma,
\]
where \(\Delta_0=\mathrm{Div}^0(\mathbf P^1(F))\), \(\mathcal H_p^{ur}\) is the \(p\)-adic upper half-plane, and \(V_{k,k}=V_k\otimes V_k\). Optimal embeddings \(\Psi:\mathcal O\hookrightarrow \mathcal R\) of an order \(\mathcal O\) in a quadratic extension \(K/F\) into an Eichler order \(\mathcal R\subset M_2(\mathcal O_F[1/p])\) produce fixed points \(\tau_\Psi,\tau_\Psi^\theta\in \mathcal H_p^{ur}(K)\), a polynomial \(P_\Psi\in V_{2,2}\), and an element \(\gamma_\Psi\in \Gamma\). The Stark–Heegner cycle is then
\[
D_\Psi := (\gamma_\Psi\cdot x-x)\otimes \tau_\Psi \otimes (N_{F/\mathbf Q}(D_{K/F}))^{-k_0/4}P_\Psi^{k_0/2},
\]
well defined in the \(\Gamma\)-coinvariants and independent of the chosen cusp \(x\) after passage to the class \([D_\Psi]\) [1910.14581] [2112.07402].

The analytic input is a system of Bianchi modular symbols and double integrals. There is a Hecke-equivariant injection from cuspidal Bianchi forms to modular symbols, and Williams’ control theorem lifts the classical symbol to an overconvergent symbol. On the larger Ihara group one constructs a canonical harmonic modular symbol
\[
\Phi_{\mathcal F}^{har}\in \mathrm{Symb}_\Gamma(D_{k_0}^p(\mathbf P_p^1,L))_{(\mathcal F)},
\]
with one-dimensional \((\mathcal F)\)-isotypic component. Double integrals define pairings \(\Phi^{\log_p,\sigma}\) and \(\Phi^{\mathrm{ord}_p}\), and these in turn produce a filtered \((\varphi,N)\)-module \(D_f\) or \(\mathcal D_{\mathcal F}\). Under semistability, and conditionally in general or unconditionally in the base-change case, this module is identified with Fontaine’s semistable module \(\mathcal D_{st}(V_p(f)|_{G_{F_{\mathfrak p}}})\) [1910.14581] [2112.07402].

The \(p\)-adic Abel–Jacobi map is defined by
\[
\Phi^{AJ}_\sigma:(\Delta_0\otimes \mathrm{Div}(\mathcal H_p^{ur})\otimes V_{k_0,k_0})_\Gamma
\to
\mathcal D_{\mathcal F,L}^\sigma/\mathrm{Fil}^{(k_0+2)/2},
\]
lifting the double-integral pairing. Composing with the Bloch–Kato exponential gives classes in
\[
H^1_{st}\bigl(L,V_p(\mathcal F)(k_0/2+1)\bigr),
\]
and the local Stark–Heegner classes are
\[
s^\sigma_{[\Psi]}:=\Phi^{AJ}_\sigma(D_{[\Psi]}),\qquad s^\sigma_\chi:=\Phi^{AJ}_\sigma(D_\chi).
\]
The original Bianchi paper proves that these values are independent of the chosen Abel–Jacobi lift on Stark–Heegner cycles, using the vanishing \(H_1(\Gamma,V_{k,k})=0\) [1910.14581].

## 3. Selmer conjectures, reciprocity, and the base-change theorem

The global conjectural framework is formulated in terms of semistable Bloch–Kato Selmer groups over ring class fields. If \(H_\chi\) is the abelian subextension of the ring class field \(H_{\mathcal C}/K\) cut out by a character \(\chi\), the expected global class is
\[
\mathcal S_\chi \in \mathrm{Sel}_{st}\bigl(H_\chi,V_p(\mathcal F)(k_0/2+1)\bigr)^\chi,
\]
and the conjectural local-global compatibility is
\[
\exp_{BK}\circ \phi\bigl(\Phi^{AJ}(D_\chi)\bigr)=\mathrm{res}_p(\mathcal S_\chi).
\]
In the earlier formulation this is accompanied by a Shimura reciprocity law under the action of \(\mathrm{Pic}(\mathcal O)\simeq \mathrm{Gal}(H_{\mathcal C}/K)\), and by the prediction that \(s_\chi\neq 0\) should force
\[
L'(f/K,\chi,(k+2)/2)\neq 0.
\]
The sign condition comes from the Stark–Heegner hypothesis: \(p\) is inert in \(K\), every prime dividing the tame level part \(M\) splits in \(K\), and hence the functional equation has sign \(-1\) at the center [1910.14581].

The principal unconditional result currently available is the base-change theorem. Assume \((N,D_F)=1\), let \(\mathcal F=\mathrm{BC}_{F/\mathbf Q}(f)\) be the quadratic base-change of a classical newform \(f\in S_{k_0+2}(\Gamma_0(N))^{new}\), write \(N=pN^+N^-\), require the Heegner hypothesis on the factorization of \(N\), assume \(\omega_p=1\), and impose
\[
\omega_{\mathfrak M}=(-1)^{(k_0+2)/2}.
\]
Then there exists
\[
\mathcal S_K\in \mathrm{Sel}_{st}\bigl(K,V_p(\mathcal F)(k_0/2+1)\bigr)
\]
such that
\[
\exp_{BK}\circ \phi\bigl(\Phi^{AJ}(D_{\mathbbm 1})\bigr)=\mathrm{res}_p(\mathcal S_K).
\]
This proves, in the base-change scenario, the rationality conjecture for the trivial character and establishes that the local Stark–Heegner class is the restriction of a global Selmer class defined over \(K\) [2112.07402].

The proof combines several analytic and arithmetic ingredients. The paper constructs a two-variable base-change Bianchi \(p\)-adic \(L\)-function, proves a \(p\)-adic Artin factorization
\[
(D_K)^{\lambda_\kappa/2}L_p(\mathbf F/K,\psi_K,\lambda_\kappa)
=
\eta\, L_p(\mathbf F,\chi_1,\lambda_\kappa)\,L_p(\mathbf F,\chi_2,\lambda_\kappa),

Source: https://www.emergentmind.com/topics/stark-heegner-cycles