\(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\) (Q640777): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q61772772, #quickstatements; #temporary_batch_1712201099914
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q2707572 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994840 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finitude des couples d'invariants modulaires singuliers sur une courbe algébrique plane non modulaire / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Schanuel's conjectures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Topics in Differential Algebraic Geometry I: Analytic Subgroups of Algebraic Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: An effective version of Wilkie's theorem of the complement and some effective o-minimality results. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Periods of 1-motives and transcendence. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Schanuel's conjecture for non-isoconstant elliptic curves over function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Lindemann-Weierstrass theorem for semi-abelian varieties over function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Derivatives of Siegel modular forms and exponential functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5719099 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Anomalous Subvarieties—Structure Theorems and Applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: On unlikely intersections of complex varieties with tori / rank
 
Normal rank
Property / cites work
 
Property / cites work: The number of integral points on arcs and ovals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4351906 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Seminar on complex multiplication. Seminar held at the Institute for Advanced Study, Princeton, N.J., 1957--58 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The algebraic independence of Weierstrass functions and some related numbers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Independence of points on elliptic curves arising from special points on modular and Shimura curves. I: Global results / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equidistribution of special subvarieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Points of small height on elliptic curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3710508 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A generalization of the Tarski-Seidenberg theorem, and some nondefinability results / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4392286 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logarithmic-Exponential Power Series / rank
 
Normal rank
Property / cites work
 
Property / cites work: The elementary theory of restricted analytic fields with exponentiation / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the real exponential field with restricted analytic functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Geometric categories and o-minimal structures / 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: Q2739523 / 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: Subvarieties of Shimura varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4317713 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4428502 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Projections of semi-analytic sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gauss’ class number problem for imaginary quadratic fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4364755 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3518705 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Autour d'une conjecture de Serge Lang. (Around a conjecture by Serge Lang) / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Manin-Mumford conjecture and the model theory of difference fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3999699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The theory of the exponential differential equations of semiabelian varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: The André-Oort conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4760414 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Division points on curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Number theory III: Diophantine geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exponential diophantine equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Factoring integers with elliptic curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4075012 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On algebraic differential equations satisfied by automorphic functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3344315 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Counting points of small height on elliptic curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3066538 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exponentiation is Hard to Avoid / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3425142 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4267948 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4222388 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4519603 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3594232 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4350109 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniform definability of the Weierstrass \(\wp\) functions and generalized tori of dimension one / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definability of restricted theta functions and families of abelian varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the algebraic points of a definable set / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rational Points of Definable Sets and Results of Andre-Oort-Manin-Mumford type / rank
 
Normal rank
Property / cites work
 
Property / cites work: Counting rational points on a certain exponential-algebraic surface / rank
 
Normal rank
Property / cites work
 
Property / cites work: The rational points of a definable set / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rational points in periodic analytic sets and the Manin-Mumford conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definable Sets in Ordered Structures. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Combination of the Conjectures of Mordell-Lang and André-Oort / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3655924 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Courbes sur une variété abélienne et points de torsion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3704011 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Counting in a conjecture of Lang / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3535224 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quasianalytic Denjoy-Carleman classes and o-minimality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Betti numbers of congruence groups. (Appendix: On representations of compact \(p\)-adic groups by Ze'ev Rudnick) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5670687 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Über die Classenzahl quadratischer Zahlkörper / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4732552 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Pfaffian closure of an o-minimal structure / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5825286 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Manin-Mumford Conjecture: A Brief Survey / rank
 
Normal rank
Property / cites work
 
Property / cites work: Positivity and discretion of algebraic points of curves / 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: Q3655925 / 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: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theorem of the complement and some new o-minimal structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Special points on products of two Shimura curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: A conjecture of Yves André's / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3499981 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equidistribution of small points on abelian varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3378997 / rank
 
Normal rank
Property / cites work
 
Property / cites work: EXPONENTIAL SUMS EQUATIONS AND THE SCHANUEL CONJECTURE / rank
 
Normal rank

Latest revision as of 14:00, 4 July 2024

scientific article
Language Label Description Also known as
English
\(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
scientific article

    Statements

    \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\) (English)
    0 references
    0 references
    20 October 2011
    0 references
    This paper provides new unconditional results related to conjectures by André, Oort, Manin, Mumford, Mordell, Lang and Bogomolov by using the theory of \(o\)-minimal structures from Model Theory. Let \(n\), \(m\), \(\ell\) be nonnegative integers, \(\Gamma_1,\dots,\Gamma_n\) be congruence subgroups of \(\text{SL}_2(\mathbb Z)\), \(Y_i=\Gamma_i\backslash \mathbb H\) (\(i=1,\dots,n\)) the corresponding modular curves, \(E_1,\dots,E_m\) elliptic curves defined over the field \({\overline{\mathbb Q}}\) of algebraic numbers, \(\text{G}\) the multiplicative group \(\text{G}_m(\mathbb C)\), \(X\) the product \(Y_1 \times \cdots \times Y_n\times E_1 \times\cdots \times E_m \times \text{G}^\ell\) and \(V\) a subvariety of \(X\). One of the main results of this paper is that \(V\) contains only a finite number of maximal special subvarieties. An equivalent statement is the following: if \(\Sigma\) is a set of special points of \(X\) with Zariski closure \(V_\Sigma\), then the irreducible components of \(V_\Sigma\) are special subvarieties. For the special case \(n=\ell=0\) with \(X=Y_1 \times \cdots \times Y_n\), this solves the André--Oort conjecture for the product of modular curves (the general case of this conjecture deals with Shimura varieties). For \(n=0\) and \(X=E_1 \times\cdots \times E_m\times \text{G}^\ell\), the result is a special case of a result of M.~Hindry which includes the case \(n=\ell=0\), \(X=E_1 \times\cdots \times E_m\) (result of M.~Raynaud on the Manin--Mumford conjecture) and \(m=n=0\), \(X=\text{G}^\ell\) (result of M.~Laurent on a conjecture of Lang on the intersection of a subvariety of a semi-algebraic variety with the set of division points of a finitely generated group of rational points). The strategy of the present paper was proposed by U.~Zannier; it has its source in an unpublished manuscript by \textit{P.~Sarnak} [``Torsion points on varieties and homology of abelian covers'', unpublished manuscript (1998)]. See also \textit{P.~Sarnak } and \textit{S.~Adams} [Isr. J. Math. 88, No. 1--3, 31--72 (1994; Zbl 0843.11027)]. Sarnak's work led to the paper by \textit{E. Bombieri} and \textit{J. Pila} [Duke Math. J. 59, 337--357 (1989; Zbl 0718.11048)], which was then developed by the author and \textit{A.~J.~Wilkie} [Duke Math. J. 133, 591--616 (2006; Zbl 1217.11066)]. Three recent papers follow this strategy and involve proofs along similar lines. In a joint paper with \textit{U.~Zannier} [Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 19, No. 2, 149--162 (2008; Zbl 1164.11029)], the author gave a new proof of a Manin--Mumford Conjecture. \textit{D. Masser} and \textit{U. Zannier} [Am. J. Math. 132, No. 6, 1677--1691 (2010; Zbl 1225.11078)] gave a proof of a special but new case of Pink's relative Manin--Mumford Conjecture. And the author [Int. Math. Res. Not. 2009, No. 13, 2476--2507 (2009; Zbl 1243.14021)] gave new proofs of certain known results of André--Oort--Manin--Mumford type, including the cases (\(n=2\), \(m=\ell=0\)) and (\(n=m=1\), \(\ell=0\)).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    André--Oort conjecture
    0 references
    definable set
    0 references
    Manin--Mumford conjecture
    0 references
    rational point
    0 references
    abelian varieties
    0 references
    modular curves
    0 references
    special points
    0 references
    special subvarieties
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references