Mazur–Tate's order-of-vanishing and weak main conjectures

Let EE be an elliptic curve over \mathdsQ\mathds{Q}, let KK be an abelian number field of conductor mm, and set G=GK=Gal(K/\mathdsQ)G=G_K=\operatorname{Gal}(K/\mathds{Q}). Let R\mathcal{R} be a ring such that R[G]\mathcal{R}[G] contains the Mazur–Tate element θKMT\theta_K^\mathrm{MT}. Write IR,GI_{\mathcal{R},G} for the augmentation ideal of R[G]\mathcal{R}[G], S(E/K)S(E/K) for the integral Selmer group, r=rk\mathdsZE(\mathdsQ)r=\operatorname{rk}_{\mathds{Z}}E(\mathds{Q}), and sp(m)\operatorname{sp}(m) for the number of primes dividing mm at which EE has split-multiplicative reduction. The zeroth Fitting ideal of an R[G]\mathcal{R}[G]-module MM is denoted by FittR[G]0(M)\operatorname{Fitt}^0_{\mathcal{R}[G]}(M).

Mazur–Tate conjecture. The following claims are valid:

θKMTIR,Gr+sp(m);\theta_K^\mathrm{MT}\in I_{\mathcal{R},G}^{r+\operatorname{sp}(m)};

\nand

θKMTFittR[G]0(S(E/K)\mathdsZR).\theta_K^\mathrm{MT}\in\operatorname{Fitt}^0_{\mathcal{R}[G]}(S(E/K)\otimes_{\mathds{Z}}\mathcal{R}).

These are respectively the order-of-vanishing conjecture and the weak main conjecture of Mazur and Tate. The paper studies their pp-parts and proves results under suitable hypotheses, but the claims are presented here as conjectures and are not resolved in general.

Sources & referencesView supporting material

Primary source

Dominik Bullach and Matthew H. L. Honnor, “On the refined `Birch–Swinnerton-Dyer type' conjectures of Mazur and Tate”, arXiv:2511.07203 (2025).

Additional references

5 papers in this index state this conjecture (2016–2025). The statement above is taken from the most recent of them; the others are arXiv:2203.12157, arXiv:2008.02422, arXiv:1804.00418, arXiv:1612.03743.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.