Abstract:We state and prove a variant of the André-Oort conjecture for the product of 2 modular curves in positive characteristic, assuming GRH for quadratic fields.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a variant of the André–Oort conjecture in the product of modular curves. Specifically, the authors Bas Edixhoven and Rodolphe Richard studied the set of special points in the product of two modular curves in positive characteristic (i.e., over the finite field $\mathbb{F}_p$), and assuming the Generalized Riemann Hypothesis (GRH) over quadratic fields, they proved that the Zariski closures of these special point sets have a specific geometric structure.
### Core of the problem
1. **Variant of the André–Oort conjecture**: The original conjecture mainly focuses on special points and special sub - varieties in Shimura varieties. This paper generalizes it to the product of modular curves in positive characteristic.
2. **Assume GRH**: In order to simplify the handling of certain number - theoretic problems, the Generalized Riemann Hypothesis (GRH) over quadratic fields is assumed in the paper. This makes some complex number - theoretic results more easily applicable.
3. **Zariski closure of special points**: The main objective of the article is to describe the geometric properties of the Zariski closure $Z$ of these special point sets, especially the part where the dimension of the irreducible components is 1.
### Specific content
- **CM points**: The paper defines CM points (complex multiplication points) and discusses their properties on modular curves and their reductions over finite fields.
- **Theorem 1.2**: Assuming that GRH holds, for a prime number $p$, if $\Sigma$ is the set consisting of the reductions of CM points in $\mathbb{A}^2_{\mathbb{F}_p}$, then all one - dimensional irreducible components of $Z$ are special, that is, either a fiber of a projection or an irreducible component of some $Y_0(n)$ in $\mathbb{A}^2_{\mathbb{F}_p}$.
- **Hecke correspondence**: The paper also uses the Hecke correspondence $T_\ell$ to study the properties of these special point sets and proves that under certain conditions, the intersection of $Z$ and $T_\ell\times T_\ell(Z)$ is still one - dimensional.
### Main conclusions
Through the above research, the authors prove that under the premise of assuming GRH, the Zariski closures of the special point sets in the product of modular curves have a series of special geometric properties, which are helpful for understanding the algebraic - geometric structure in the product of modular curves.
### Mathematical formulas
Some of the key formulas and symbols involved in the paper include:
- $j(E)$ represents the $j$-invariant of the elliptic curve $E$.
- $Y_0(n)$ represents the modular curve, which parameterizes elliptic curves with the cyclic group $\mathbb{Z}/n\mathbb{Z}$.
- $T_\ell$ represents the Hecke correspondence, acting on the $j$-line.
- $\text{Pic}(O_{K,f})$ represents the ideal class group.
Hopefully, this information can help you better understand the research purpose and main content of this paper. If you have more questions, feel free to continue asking!