Algebraic cycles on products of elliptic curves over \(p\)-adic fields (Q2458837)

\textit{C. Schoen} [J. Algebr. Geom. 11, No. 1, 41--100 (2002; Zbl 1059.14010)] proved that for a complex elliptic curve \(E_C\) with transcendental \(j\)-invariant, the Chow group \(\text{CH}^2(E^3_C)/\ell\) is infinite for certain primes \(\ell\), and the Griffiths group \(\text{Griff}^2(E^3_C)\otimes\mathbb{Q}\) is not finitely generated. In this article the authors show that this phenomenon occurs over finite extensions of \(\mathbb{Q}\) as well. For the proof they employ the cuspidal geometry of modular curves and modular correspondences. Let \(\{q_i\}_{i\geq 1}\) be an infinite sequence of distinct odd primes not equal to \(p\), and let \(N_i=q_1q_2\dots q_i\). For an odd square free integer \(N\), let \(Y_0(4N)\) be a fine moduli scheme representing the functor `elliptic curves with a point of order 4 and a cyclic subgroup of order \(N\)' and let \({\mathcal E}_N\to Y_0(4N)\) be the universal elliptic curve. Then for a prime factor \(q\) of \(N\), there is a morphism \(u_q:{\mathcal E}_N \to{\mathcal E}_N\), which descends to a so-called Atkin-Lehner involution \(w_q:Y_0 (4N)\to Y_0(4N)\). Hence the pair \((u_{q_i},w_{q_i})\) defines an endomorphism \(\Gamma_q\) of \({\mathcal E}_N\times_{Y_0(4N)}\text{Spec}(K_\infty)\), where \(K_\infty =\bigcup_i K_i\) with \(K_i=\mathbb{Q}(Y_0(4N_i))\). From \(\Gamma^3_{q_i}\) and a modified Ceresa cycle [see \textit{C. Schoen}, Asian J. Math. 4, 987--996 (2000; Zbl 1108.14006)], they construct an infinite family of non-trivial cycles in \(\text{CH}^2_{\text{hom}}({\mathcal E}^2_{\overline K})/\ell\). Thereafter they show that these cycles descend to a finite-extension of \(\mathbb{Q}_p\) and complete the proof of the theorem.