Non-abelian congruences between \(L\)-values of elliptic curves (Q931914)

Let \(p\) be an odd prime and \(E/{\mathbb Q}\) an elliptic curve which has good ordinary reduction at \(p\). Fix a \(p\)-power free integer \(\Delta>1\) which is coprime to \(p\). The False Tate extension, denoted \({\mathbb Q}_{FT}\) is defined by \({\mathbb Q}_{FT}=\bigcup_{n\geq 1}{\mathbb Q}(\mu_{p^n},\Delta^{1/p^n})\), and has Galois group \(G\) equal to the semidirect product \({\mathbb Z}_p \rtimes {\mathbb Z}_p^{\times}\). In the formulation of the noncommutative main conjecture, \textit{J. Coates} et al. [Publ. Math., Inst. Hautes Étud. Sci. 101, 163--208 (2005; Zbl 1108.11081)] predict the existence of a non-abelian \(p\)-adic \(L\)-function \(L_p^{\text{anal}}(E/{\mathbb Q}_{FT})\) which is an element in the \(K_1\) group of the Iwasawa algebra of \(G\) localised at a canonical Ore set. The evaluation of this \(p\)-adic \(L\)-function at Artin representations \(\rho\) of \(G\) interpolate the twisted \(L\)-values of the complex \(L\)-function associated to \(E\). \textit{K. Kato} [K-Theory 34, No. 2, 99--140 (2005; Zbl 1080.19002)] reduced the question of the existence of this non-abelian \(p\)-adic \(L\)-function to a sequence of congruence relations amongst the abelian \(p\)-adic \(L\)-functions interpolating \(E\) over the false Tate extension. Under certain additional hypothesis, the authors prove weak forms of Kato's \(K_1\)-congruences. This provides evidence towards the existence of the noncommutative \(p\)-adic \(L\)-function. Their results provide a theoretical proof for similar congruences found numerically by Tim and Vladimir Dokchitser.