The André-Oort conjecture (Q483225): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(8 intermediate revisions by 6 users not shown) | |||
Property / review text | |||
This paper proves the \textit{André-Oort conjecture} for arbitrary Shimura varieties, under the assumption of the generalized Riemann hypothesis for CM fields or a technical hypothesis on the set of specials points in question. Recall that a Shimura variety \(\text{Sh}(\mathbf{G},X)\) is an inverse system of smooth quasi-projective projective varieties over \(\mathbb{C}\) attached to a connected reductive group \(\mathbf{G}\) over \(\mathbb{Q}\) and a \(\mathbf{G}(\mathbb{R})\)-conjugacy class of homomorphisms \(X \subset \text{Hom}(\text{Res}_{\mathbb{C}/\mathbb{R}}\mathbb{G}_m, \mathbf{G}_{\mathbb{R}})\) satisfying certain axioms (a \textit{Shimura datum}), indexed by sufficiently small compact open subgroups \(K \subset \mathbf{G}(\mathbb{A}_f)\). The formation of \(\text{Sh}(\mathbf{G},X)\) is functorial with respect to an obvious notion of morphism of Shimura data. The group \(\mathbf{G}(\mathbb{A}_f)\) also acts on the right on the tower \(\text{Sh}(\mathbf{G},X)\) by algebraic correspondences, called \textit{Hecke correspondences}. In the context of Shimura varieties, one may define a subvariety \(V \subset \text{Sh}_K(\mathbf{G},X_{\mathbf{G}})\) to be \textit{special} if there exists a Shimura datum \((\mathbf{H},X_{\mathbf{H}})\), a morphism \((\mathbf{H},X_{\mathbf{H}}) \to (\mathbf{G},X_{\mathbf{G}})\), and an element \(g \in \mathbf{G}(\mathbb{A}_f)\) such that \(V\) is an irreducible component of the image of the composite \[ \text{Sh}(\mathbf{H},X_{\mathbf{H}}) \to \text{Sh}(\mathbf{G},X_{\mathbf{G}}) \underset{\longrightarrow}{\cdot g} \text{Sh}(\mathbf{G},X_{\mathbf{G}}{)} \text{Sh}_K(\mathbf{G},X_{\mathbf{G}}). \] (As is pointed out in the paper's introduction, the notion of special can also be understood more generally, in abstract Hodge-theoretic terms.) A \textit{special point} is a special subvariety of dimension zero. If \(V \subset \text{Sh}_K(\mathbf{G},X)\) is special, then one can show that the special points in \(\text{Sh}_K(\mathbf{G},X)(\mathbb{C})\) contained in \(V\) form a dense subset of \(V\) for the strong (and hence for the Zariski) topology. The André-Oort conjecture asserts the converse: that every irreducible component of the Zariski-closure of a collection \(\Sigma \subset \text{Sh}_K(\mathbf{G},X)(\mathbb{C})\) of special points is a special subvariety. The main result of the paper under review is to prove the André-Oort conjecture under the assumption of the generalized Riemann hypothesis for CM fields, or under a technical hypothesis on the Mumford-Tate groups of the points in \(\Sigma\). In fact, the authors prove a natural generalization where \(\Sigma\) may be any collection of special subvarieties, not just points (subject to analogous assumptions). The proof is rooted in the strategy of \textit{B.~Edixhoven} and the second author [Ann.\ Math.\ (2) 157, No.\ 2, 621--645 (2003; Zbl 1053.14023)], who proved the conjecture for curves in Shimura varieties containing infinite sets of special points satisfying the technical hypothesis alluded to above. Two main difficulties arise here. One is the question of irreducibility of transforms of subvarieties under Hecke correspondences. The other is the issue of higher dimensional special subvarieties, which the authors deal with via an inductive technique based on previous work of \textit{E.~Ullmo} and the second author [Ann.\ Math.\ (2) 180, No.\ 3, 823--865 (2014; Zbl 1328.11070)]. | |||
Property / review text: This paper proves the \textit{André-Oort conjecture} for arbitrary Shimura varieties, under the assumption of the generalized Riemann hypothesis for CM fields or a technical hypothesis on the set of specials points in question. Recall that a Shimura variety \(\text{Sh}(\mathbf{G},X)\) is an inverse system of smooth quasi-projective projective varieties over \(\mathbb{C}\) attached to a connected reductive group \(\mathbf{G}\) over \(\mathbb{Q}\) and a \(\mathbf{G}(\mathbb{R})\)-conjugacy class of homomorphisms \(X \subset \text{Hom}(\text{Res}_{\mathbb{C}/\mathbb{R}}\mathbb{G}_m, \mathbf{G}_{\mathbb{R}})\) satisfying certain axioms (a \textit{Shimura datum}), indexed by sufficiently small compact open subgroups \(K \subset \mathbf{G}(\mathbb{A}_f)\). The formation of \(\text{Sh}(\mathbf{G},X)\) is functorial with respect to an obvious notion of morphism of Shimura data. The group \(\mathbf{G}(\mathbb{A}_f)\) also acts on the right on the tower \(\text{Sh}(\mathbf{G},X)\) by algebraic correspondences, called \textit{Hecke correspondences}. In the context of Shimura varieties, one may define a subvariety \(V \subset \text{Sh}_K(\mathbf{G},X_{\mathbf{G}})\) to be \textit{special} if there exists a Shimura datum \((\mathbf{H},X_{\mathbf{H}})\), a morphism \((\mathbf{H},X_{\mathbf{H}}) \to (\mathbf{G},X_{\mathbf{G}})\), and an element \(g \in \mathbf{G}(\mathbb{A}_f)\) such that \(V\) is an irreducible component of the image of the composite \[ \text{Sh}(\mathbf{H},X_{\mathbf{H}}) \to \text{Sh}(\mathbf{G},X_{\mathbf{G}}) \underset{\longrightarrow}{\cdot g} \text{Sh}(\mathbf{G},X_{\mathbf{G}}{)} \text{Sh}_K(\mathbf{G},X_{\mathbf{G}}). \] (As is pointed out in the paper's introduction, the notion of special can also be understood more generally, in abstract Hodge-theoretic terms.) A \textit{special point} is a special subvariety of dimension zero. If \(V \subset \text{Sh}_K(\mathbf{G},X)\) is special, then one can show that the special points in \(\text{Sh}_K(\mathbf{G},X)(\mathbb{C})\) contained in \(V\) form a dense subset of \(V\) for the strong (and hence for the Zariski) topology. The André-Oort conjecture asserts the converse: that every irreducible component of the Zariski-closure of a collection \(\Sigma \subset \text{Sh}_K(\mathbf{G},X)(\mathbb{C})\) of special points is a special subvariety. The main result of the paper under review is to prove the André-Oort conjecture under the assumption of the generalized Riemann hypothesis for CM fields, or under a technical hypothesis on the Mumford-Tate groups of the points in \(\Sigma\). In fact, the authors prove a natural generalization where \(\Sigma\) may be any collection of special subvarieties, not just points (subject to analogous assumptions). The proof is rooted in the strategy of \textit{B.~Edixhoven} and the second author [Ann.\ Math.\ (2) 157, No.\ 2, 621--645 (2003; Zbl 1053.14023)], who proved the conjecture for curves in Shimura varieties containing infinite sets of special points satisfying the technical hypothesis alluded to above. Two main difficulties arise here. One is the question of irreducibility of transforms of subvarieties under Hecke correspondences. The other is the issue of higher dimensional special subvarieties, which the authors deal with via an inductive technique based on previous work of \textit{E.~Ullmo} and the second author [Ann.\ Math.\ (2) 180, No.\ 3, 823--865 (2014; Zbl 1328.11070)]. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11G18 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14G35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6380809 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
André-Oort conjecture | |||
Property / zbMATH Keywords: André-Oort conjecture / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Shimura varieties | |||
Property / zbMATH Keywords: Shimura varieties / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Brian D. Smithling / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q123346353 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1979867642 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1209.0936 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Locus of Hodge Classes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3593818 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Galois orbits and equidistribution of special subvarieties: towards the André-Oort conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2739523 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equidistribution of special subvarieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equidistribution de sous-variétés spéciales II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subvarieties of Shimura varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A conjecture of Yves André's / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Special points on products of modular curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: on a result of moonen on the moduli space of principally polarised abelian varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Raghunathan's measure conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotic behaviour of trajectories of unipotent flows on homogeneous spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3378997 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: MANIN–MUMFORD, ANDRÉ–OORT, THE EQUIDISTRIBUTION POINT OF VIEW / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Special points on the product of two modular curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5580322 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3998559 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Schémas en groupes. III: Structure des schémas en groupes réductifs. Exposés XIX à XXVI. Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3), dirigé par Michel Demazure et Alexander Grothendieck. Revised reprint / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong approximation for Zariski-dense subgroups of semi-simple algebraic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On subgroups of \(GL_ n(F_ p)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4650505 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactification of arithmetic quotients of bounded symmetric domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Note on Holomorphic Imbeddings and Compactification of Symmetric Domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5813959 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Holomorphic imbeddings of symmetric domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Some Properties of Holomorphic Imbeddings of Symmetric Domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4267948 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong approximation for Zariski dense subgroups over arbitrary global fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4002684 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reductive groups on a local field. II. Groups schemes. Existence of valuated root datum / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reductive groups over a local field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4242005 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Admissible representations of a semi-simple group over a local field with vectors fixed under an Iwahori subgroup / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342000 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:41, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The André-Oort conjecture |
scientific article |
Statements
The André-Oort conjecture (English)
0 references
16 December 2014
0 references
This paper proves the \textit{André-Oort conjecture} for arbitrary Shimura varieties, under the assumption of the generalized Riemann hypothesis for CM fields or a technical hypothesis on the set of specials points in question. Recall that a Shimura variety \(\text{Sh}(\mathbf{G},X)\) is an inverse system of smooth quasi-projective projective varieties over \(\mathbb{C}\) attached to a connected reductive group \(\mathbf{G}\) over \(\mathbb{Q}\) and a \(\mathbf{G}(\mathbb{R})\)-conjugacy class of homomorphisms \(X \subset \text{Hom}(\text{Res}_{\mathbb{C}/\mathbb{R}}\mathbb{G}_m, \mathbf{G}_{\mathbb{R}})\) satisfying certain axioms (a \textit{Shimura datum}), indexed by sufficiently small compact open subgroups \(K \subset \mathbf{G}(\mathbb{A}_f)\). The formation of \(\text{Sh}(\mathbf{G},X)\) is functorial with respect to an obvious notion of morphism of Shimura data. The group \(\mathbf{G}(\mathbb{A}_f)\) also acts on the right on the tower \(\text{Sh}(\mathbf{G},X)\) by algebraic correspondences, called \textit{Hecke correspondences}. In the context of Shimura varieties, one may define a subvariety \(V \subset \text{Sh}_K(\mathbf{G},X_{\mathbf{G}})\) to be \textit{special} if there exists a Shimura datum \((\mathbf{H},X_{\mathbf{H}})\), a morphism \((\mathbf{H},X_{\mathbf{H}}) \to (\mathbf{G},X_{\mathbf{G}})\), and an element \(g \in \mathbf{G}(\mathbb{A}_f)\) such that \(V\) is an irreducible component of the image of the composite \[ \text{Sh}(\mathbf{H},X_{\mathbf{H}}) \to \text{Sh}(\mathbf{G},X_{\mathbf{G}}) \underset{\longrightarrow}{\cdot g} \text{Sh}(\mathbf{G},X_{\mathbf{G}}{)} \text{Sh}_K(\mathbf{G},X_{\mathbf{G}}). \] (As is pointed out in the paper's introduction, the notion of special can also be understood more generally, in abstract Hodge-theoretic terms.) A \textit{special point} is a special subvariety of dimension zero. If \(V \subset \text{Sh}_K(\mathbf{G},X)\) is special, then one can show that the special points in \(\text{Sh}_K(\mathbf{G},X)(\mathbb{C})\) contained in \(V\) form a dense subset of \(V\) for the strong (and hence for the Zariski) topology. The André-Oort conjecture asserts the converse: that every irreducible component of the Zariski-closure of a collection \(\Sigma \subset \text{Sh}_K(\mathbf{G},X)(\mathbb{C})\) of special points is a special subvariety. The main result of the paper under review is to prove the André-Oort conjecture under the assumption of the generalized Riemann hypothesis for CM fields, or under a technical hypothesis on the Mumford-Tate groups of the points in \(\Sigma\). In fact, the authors prove a natural generalization where \(\Sigma\) may be any collection of special subvarieties, not just points (subject to analogous assumptions). The proof is rooted in the strategy of \textit{B.~Edixhoven} and the second author [Ann.\ Math.\ (2) 157, No.\ 2, 621--645 (2003; Zbl 1053.14023)], who proved the conjecture for curves in Shimura varieties containing infinite sets of special points satisfying the technical hypothesis alluded to above. Two main difficulties arise here. One is the question of irreducibility of transforms of subvarieties under Hecke correspondences. The other is the issue of higher dimensional special subvarieties, which the authors deal with via an inductive technique based on previous work of \textit{E.~Ullmo} and the second author [Ann.\ Math.\ (2) 180, No.\ 3, 823--865 (2014; Zbl 1328.11070)].
0 references
André-Oort conjecture
0 references
Shimura varieties
0 references
0 references
0 references
0 references