Explicit Heegner Points: Kolyvagin's Conjecture and Non-trivial Elements in the Shafarevich-Tate Group

TL;DR

This paper provides computational and theoretical evidence supporting Kolyvagin's conjecture by explicitly computing Heegner points and demonstrating their implications on Selmer groups and the Shafarevich-Tate group for specific elliptic curves.

Contribution

It offers new explicit computations of Heegner points over ring class fields and verifies Kolyvagin's conjecture for rank two elliptic curves, linking analytic rank to Selmer group structure.

Findings

Verified Kolyvagin's conjecture for specific rank two elliptic curves.

Produced non-trivial classes in the Shafarevich-Tate group using computed Heegner points.

Demonstrated the relation between analytic rank and Selmer group corank.

Abstract

Kolyvagin used Heegner points to associate a system of cohomology classes to an elliptic curve over $\Q$ and conjectured that the system contains a non-trivial class. His conjecture has profound implications on the structure of Selmer groups. We provide new computational and theoretical evidence for Kolyvagin's conjecture. More precisely, we explicitly compute Heegner points over ring class fields and use these points to verify the conjecture for specific elliptic curves of rank two. We explain how Kolyvagin's conjecture implies that if the analytic rank of an elliptic curve is at least two then the $\Z_p$-corank of the corresponding Selmer group is at least two as well. We also use explicitly computed Heegner points to produce non-trivial classes in the Shafarevich-Tate group.