1 results
Level compatibility in Sharifi’s conjecture
- Part of
-
- Journal:
- Canadian Mathematical Bulletin / Volume 66 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 11 April 2023, pp. 1194-1212
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
-
Romyar Sharifi has constructed a map
$\varpi _M$ from the first homology of the modular curve 
$X_1(M)$ to the K-group 
$K_2(\operatorname {\mathrm {\mathbf {Z}}}[\zeta _M+\zeta _M^{-1}, \frac {1}{M}]) \otimes \operatorname {\mathrm {\mathbf {Z}}}[1/2]$, where 
$\zeta _M$ is a primitive Mth root of unity. Sharifi conjectured that 
$\varpi _M$ is annihilated by a certain Eisenstein ideal. Fukaya and Kato proved this conjecture after tensoring with 
$\operatorname {\mathrm {\mathbf {Z}}}_p$ for a prime 
$p\geq 5$ dividing M. More recently, Sharifi and Venkatesh proved the conjecture for Hecke operators away from M. In this note, we prove two main results. First, we give a relation between 
$\varpi _M$ and 
$\varpi _{M'}$ when 
$M' \mid M$. Our method relies on the techniques developed by Sharifi and Venkatesh. We then use this result in combination with results of Fukaya and Kato in order to get the Eisenstein property of 
$\varpi _M$ for Hecke operators of index dividing M.
