A higher Gross-Zagier formula and the structure of Selmer groups

TL;DR

This paper refines the Gross-Zagier and Waldspurger formulas using Kolyvagin systems and automorphic forms, providing new insights into the structure of Selmer groups of elliptic curves without low rank assumptions.

Contribution

It introduces a Kolyvagin system-based refinement of classical formulas and establishes a structure theorem for Selmer groups, connecting automorphic forms with Euler systems.

Findings

Refined Gross-Zagier formula via Kolyvagin systems.

Established structure theorem for Selmer groups over imaginary quadratic fields.

Linked non-triviality of Kolyvagin systems to main conjectures, with applications to elliptic curves.

Abstract

We describe a Kolyvagin system-theoretic refinement of Gross--Zagier formula by comparing Heegner point Kolyvagin systems with Kurihara numbers when the root number of a rational elliptic curve $E$ over an imaginary quadratic field $K$ is $-1$. When the root number of $E$ over $K$ is 1, we first establish the structure theorem of the $p^\infty$-Selmer group of $E$ over $K$. The description is given by the values of certain families of quaternionic automorphic forms, which is a part of bipartite Euler systems. By comparing bipartite Euler systems with Kurihara numbers, we also obtain an analogous refinement of Waldspurger formula. No low analytic rank assumption is imposed in both refinements. We also prove the equivalence between the non-triviality of various ``Kolyvagin systems" and the corresponding main conjecture localized at the augmentation ideal. As consequences, we obtain new applications of (weaker versions of) the Heegner point main conjecture and the anticyclotomic main conjecture to the structure of $p^\infty$-Selmer groups of elliptic curves of arbitrary rank. In particular, the Heegner point main conjecture localized at the augmentation ideal implies the strong rank one $p$-converse to the theorem of Gross-Zagier and Kolyvagin.