Sharifi's Eisenstein-ideal annihilation conjecture

Let ϖ~:H1(X1(N),C,Zp)+K\widetilde{\varpi}:H_1(X_1(N),C_{\infty},\mathbf Z_p)_+\to\mathcal K be the cyclotomic map, and let I\mathfrak I_{\infty} be the Eisenstein ideal acting on the source. Sharifi's Eisenstein-ideal conjecture. One has

ϖ~(ηx)=0\widetilde{\varpi}(\eta x)=0

for every ηI\eta\in\mathfrak I_{\infty} and every xH1(X1(N),C,Zp)x\in H_1(X_1(N),C_{\infty},\mathbf Z_p). Equivalently, the map factors through the Eisenstein quotient. The conjecture is presented as Sharifi's conjecture in the paper; the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Emmanuel Lecouturier and Jun Wang, “On a conjecture of Sharifi and Mazur's Eisenstein ideal”, arXiv:1910.03205 (2019).

Additional references

2 papers in this index state this conjecture (2018–2019). The statement above is taken from the most recent of them; the others are arXiv:1809.05982.

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.