On the integrality of modular symbols and Kato's Euler system for elliptic curves (Q2439238)

Let \(E/\mathbb Q\) be an elliptic curve, and \(\omega_E\) be its Neron differential (i.e., \(dx/(2y+a_1x+a_3)\) for the usual Weierstrass equation for \(E\)). We can easily see that the integrals \(\int \omega_E\) against all elements of \(H_1(E(\mathbb C), \mathbb Z)\) form a lattice \(\mathcal L_E\) of \(\mathbb C\), and it is well known that for the newform \(f_E\) associated to \(E\) and any \(r \in \mathbb Q\), \[ \lambda(r)=2\pi i \int_{\infty}^r f(\tau)d\tau=[r]_E^+\cdot \Omega_E^+ + [r]_E^-\cdot \Omega_E^- \] where \([r]_E^{\pm}\) are some rational numbers and \(\Omega_E^{\pm}\) are the minimal absolute values of non-zero elements in \(\mathcal L_E\) on the real and the imaginary axes respectively (``periods''). See \textit{Y. Manin} [Akad. Nauk SSSR Ser. Mat. 36, 19--66 (1972; Zbl 0243.14008)] and \textit{V. G. Drinfel'd} [Funct. Anal. Appl. 7, 155--156 (1973); translation from Funkts. Anal. Prilozh. 7, No. 2, 83--84 (1973; Zbl 0285.14006)]. The numbers \([r]_E^{\pm}\) are not necessarily integral, and the aim of the paper under review is to improve on the bound for their denominators. The only odd primes that can divide these denominators are those that divide the degrees of the isogenies of \(E\) defined over \(\mathbb Q\), for example, the odd primes dividing the conductor \(N_E\) of \(E\). However, the author proves that if \(p^2 \nmid N_E\), then \(p\) does not divide the denominators of \([r]_E^{\pm}\). Then, he shows that \textit{K. Kato}'s result [in: Cohomologies \(p\)-adiques et applications arithmétiques (III). Paris: Société Mathématique de France. 117--290 (2004; Zbl 1142.11336)] using his Euler systems can be improved in a certain case by the author's work on the denominators of modular symbols. More specifically, he shows the following: Let \(E\) be an elliptic curve and \(p\) an odd prime of semi-stable reduction. Assume that \(E[p]\) is reducible as a Galois module over \(\mathbb Q\). Then, \[ \mathrm{char}(\mathrm{Sel}(E/\mathbb Q(\mu_{p^{\infty}}))) | L_p(E). \] (The improvement is that in the original result of Kato, the coefficients of \(L_p(E)\) might have bounded denominators.)