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

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Kim, Chan-Ho
Format: Preprint
Published: 2022
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911755411652608
author Kim, Chan-Ho
author_facet Kim, Chan-Ho
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2203_12161
institution arXiv
publishDate 2022
record_format arxiv
spellingShingle A higher Gross-Zagier formula and the structure of Selmer groups
Kim, Chan-Ho
Number Theory
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.
title A higher Gross-Zagier formula and the structure of Selmer groups
topic Number Theory
url https://arxiv.org/abs/2203.12161