Indexed metadata

The Tamagawa number conjecture and Kolyvagin’s conjecture for motives of modular forms

Matteo Longo, Stefano Vigni

Source record

Source: Crossref

Published: Jul 30, 2026

DOI: 10.1007/s40687-026-00646-7

Open original source ↗

Source abstract

Abstract Assuming specific instances of two general conjectures in arithmetic algebraic geometry (bijectivity of p -adic regulator maps, injectivity of p -adic Abel–Jacobi maps), we prove several cases of the p -part of the Tamagawa number conjecture ( p -TNC) of Bloch–Kato and Fontaine–Perrin-Riou for (homological) motives of modular forms of even weight ≥4\ge 4 ≥ 4 in analytic rank 1. More precisely, we prove our results for a large class of newforms f and prime numbers p that are ordinary for f and such that the weight of f is congruent to 2 modulo 2(p−1)2(p-1) 2 ( p - 1 ) . Inspired by work of W. Zhang in weight 2, which builds on the congruence method originally developed by Bertolini–Darmon, the key ingredient in our strategy is an analogue for p -adic Galois representations attached to higher (even) weight newforms of Kolyvagin’s conjecture on the p -indivisibility of derived Heegner points on elliptic curves, which we prove via a p -adic variation method exploiting the arithmetic of Hida families. Along the way, we also prove (under similar assumptions) the p -TNC for modular motives in analytic rank 0 and the rationality conjecture of Beilinson and Deligne on the existence of zeta elements on the fundamental line in analytic ranks 0 and 1. Prior to this work, the only known results on (questions related to) the p -TNC for modular motives were in weight 2 and analytic rank ≤1\le 1 ≤ 1 and in even weight and analytic rank 0. As further applications of our result on Kolyvagin’s conjecture in higher weight, we deduce a structure theorem for Selmer groups, p -parity results, converse theorems and higher rank results for modular forms and modular motives.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.