Zero-cycles on self-product of modular curves

Kenichiro Kimura
2004-06-25
Abstract: We use the elements in $K$-cohomology groups which are constructed by Flach and Mildenhall to obtain a finiteness result for the torsion part of the Chow group of a self-product of a modular curve.
Algebraic Geometry
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on proving a conjecture about the properties of zero - cycles on self - product modular curves. Specifically, by studying the modular forms and the actions of their related Hecke operators, the author explores the properties of these zero - cycles under certain specific conditions. The main contribution of the paper is to provide a modest evidence for this conjecture, especially to prove the boundary map \[ \partial:H^1(C \times C, K_2) \rightarrow \bigoplus_{p \in \tilde{S}} \text{Pic}(C \times C \mod p) \] The cokernel is a torsion group. Here, $\tilde{S}$ is a set of prime numbers satisfying certain conditions. This result is of great significance for understanding the algebraic K - theory of modular curves and the related Chow groups. In addition, when considering the elliptic curve $C$, $\tilde{S}$ contains almost all prime numbers, which further strengthens the significance of the above conclusion. The paper also discusses the relationship between these results and Maeda's conjecture, which involves the irreducibility of Hecke polynomials. In summary, the main purpose of this paper is to provide support for the conjecture about the properties of zero - cycles on the self - product of modular curves through specific constructions and calculations, and to explore the connections between these properties and the broader fields of algebraic geometry and number theory.