A conjecture of Yves Andre

Andrei Yafaev

DOI: https://doi.org/10.48550/arXiv.math/0302125

2003-02-12

Abstract:In this paper we prove, assuming the Generalised Riemann Hypothesis, a conjecture of Yves Andre that that asserts that a curve in a Shimura variety containing an infinite set of special points is of Hodge type.

Number Theory,Algebraic Geometry

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to prove a special case of a conjecture proposed by Yves André in 1989, namely the so - called André - Oort conjecture. Specifically, the author devotes to proving the following theorem:

### Theorem 1.2
Suppose the Generalised Riemann Hypothesis (GRH) holds for CM fields. Let \((G, X)\) be a Shimura datum and \(K\) be a compact open subgroup of \(G(\mathbb{A}_f)\). Let \(C\) be an irreducible closed algebraic curve in the Shimura variety \(Sh_K(G, X)\), and \(C\) contains an infinite set of special points. Then \(C\) is of Hodge type.

### Brief background:
1. **Shimura data and Shimura varieties**: Shimura data \((G, X)\) and Shimura varieties \(Sh_K(G, X)\) are important tools for studying moduli spaces, especially for understanding special points and subvarieties of Hodge type.
2. **Special points**: These points have special arithmetic properties, usually related to complex multiplication (CM).
3. **Subvarieties of Hodge type**: Such subvarieties have specific geometric and arithmetic properties in Shimura varieties and satisfy certain Hodge structure conditions.

### Core problem:
The core problem of the paper is to prove the above Theorem 1.2, which is actually the conjecture proposed by André in 1989. To prove this, the author uses the powerful assumption of the Generalised Riemann Hypothesis (GRH) and introduces some technical tools to deal with special points in Shimura varieties and their corresponding Galois orbits.

### Main strategies:
1. **Reduce to semisimple adjoint type**: Reduce the group \(G\) in the Shimura data to semisimple adjoint type, so as to simplify the problem.
2. **Use the lower bound estimate of Galois orbits**: By proving the lower bound of the size of Galois orbits, especially for the Galois orbits of special points, it is deduced that the curve \(C\) must be of Hodge type.
3. **Apply the effective Chebotarev density theorem**: Use the effective Chebotarev density theorem under the Generalised Riemann Hypothesis to select appropriate prime numbers \(p\) and elements \(g\) to ensure that the Galois orbit is large enough, so as to conclude that \(C\) is of Hodge type.

### Summary:
The main contribution of this paper is that by introducing new technical tools and using the Generalised Riemann Hypothesis, it successfully proves André's conjecture proposed in 1989 that an irreducible closed algebraic curve in a Shimura variety containing infinitely many special points must be of Hodge type. This result is of great significance in the theory of Shimura varieties and related fields.