Table of Contents
Fetching ...

Kolyvagin's conjecture for modular forms at non-ordinary primes

Enrico Da Ronche

TL;DR

The paper develops a non-ordinary analogue of Kolyvagin's conjecture for modular forms by constructing Kolyvagin classes from Heegner-type cycles on Shimura curves and relating them to theta elements via a reciprocity law. The authors adapt signed local conditions in place of Greenberg conditions, use level-raising to transfer to a non-ordinary setting, and prove the rank-one case through a control-splitting-Wan argument, ultimately extending to higher rank via triangulation and parity. A key input is Wan's $p$-part Tamagawa conjecture for non-ordinary modular forms, which connects special $L$-values, Tamagawa data, and Selmer groups to deduce nontriviality of the Kolyvagin classes. The results yield the $p$-part of the Tamagawa number conjecture for modular motives of analytic rank zero and one, linking $L$-values, regulator data, and Selmer structures in a non-ordinary context with explicit valuation identities. Overall, the work broadens the reach of Kolyvagin-type Euler systems to non-ordinary primes and higher weights, offering new tools for the arithmetic of modular forms and their associated motives.

Abstract

In this article we prove a version of Kolyvagin's conjecture for modular forms at non-ordinary primes. In particular, we generalize the work of Wang on a converse to a higher weight Gross-Zagier-Kolyvagin theorem in order to prove the conjecture under the hypothesis that some Selmer group has rank one. The main ingredients that we use in non-ordinary setting are the signed Selmer groups introduced by Lei, Loeffler and Zerbes. We will also use a result of Wan, i.e., the $p$-part of the Tamagawa number conjecture for non-ordinary modular forms with analytic rank zero. Starting from the rank one case we will show how to prove the full version of the conjecture.

Kolyvagin's conjecture for modular forms at non-ordinary primes

TL;DR

The paper develops a non-ordinary analogue of Kolyvagin's conjecture for modular forms by constructing Kolyvagin classes from Heegner-type cycles on Shimura curves and relating them to theta elements via a reciprocity law. The authors adapt signed local conditions in place of Greenberg conditions, use level-raising to transfer to a non-ordinary setting, and prove the rank-one case through a control-splitting-Wan argument, ultimately extending to higher rank via triangulation and parity. A key input is Wan's -part Tamagawa conjecture for non-ordinary modular forms, which connects special -values, Tamagawa data, and Selmer groups to deduce nontriviality of the Kolyvagin classes. The results yield the -part of the Tamagawa number conjecture for modular motives of analytic rank zero and one, linking -values, regulator data, and Selmer structures in a non-ordinary context with explicit valuation identities. Overall, the work broadens the reach of Kolyvagin-type Euler systems to non-ordinary primes and higher weights, offering new tools for the arithmetic of modular forms and their associated motives.

Abstract

In this article we prove a version of Kolyvagin's conjecture for modular forms at non-ordinary primes. In particular, we generalize the work of Wang on a converse to a higher weight Gross-Zagier-Kolyvagin theorem in order to prove the conjecture under the hypothesis that some Selmer group has rank one. The main ingredients that we use in non-ordinary setting are the signed Selmer groups introduced by Lei, Loeffler and Zerbes. We will also use a result of Wan, i.e., the -part of the Tamagawa number conjecture for non-ordinary modular forms with analytic rank zero. Starting from the rank one case we will show how to prove the full version of the conjecture.

Paper Structure

This paper contains 32 sections, 28 theorems, 156 equations.

Key Result

Theorem 1.1

If Assumption Ass is satisfied and $\dim_\mathbb{F}\mathop{\mathrm{Sel}}\nolimits_{\mathcal{F}(N^-)}(K,A_{f,1})=1$ then $\kappa_f(1,1)$ is not trivial.

Theorems & Definitions (66)

  • Conjecture 1.1
  • Theorem 1.1
  • Theorem 1.2
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 3.1
  • Theorem 3.1
  • proof
  • Definition 3.2
  • ...and 56 more