In mathematics, the Zilber–Pink conjecture is a far-reaching generalisation of many famous Diophantine conjectures and statements, such as André–Oort, Manin–Mumford, and Mordell–Lang. For algebraic tori and semiabelian varieties it was proposed by Boris Zilber[1] and independently by Enrico Bombieri, David Masser, Umberto Zannier[2] in the early 2000's. For semiabelian varieties the conjecture implies the Mordell–Lang and Manin–Mumford conjectures. Richard Pink proposed (again independently) a more general conjecture for Shimura varieties which also implies the André–Oort conjecture.[3] In the case of algebraic tori, Zilber called it the Conjecture on Intersection with Tori (CIT). The general version is now known as the Zilber–Pink conjecture. It states roughly that atypical or unlikely intersections of an algebraic variety with certain special varieties are accounted for by finitely many special varieties.

Statement

Atypical and unlikely intersections

The intersection of two algebraic varieties is called atypical if its dimension is larger than expected. More precisely, given three varieties , a component of the intersection is said to be atypical in if . Since the expected dimension of is , atypical intersections are "atypically large" and are not expected to occur. When , the varieties and are not expected to intersect at all, so when they do, the intersection is said to be unlikely. For example, if in a 3-dimensional space two lines intersect, then it is an unlikely intersection, for two randomly chosen lines would almost never intersect.

Special varieties

Special varieties of a Shimura variety are certain arithmetically defined subvarieties. They are higher dimensional versions of special points. For example, in semiabelian varieties special points are torsion points and special varieties are translates of irreducible algebraic subgroups by torsion points. In the modular setting special points are the singular moduli and special varieties are irreducible components of varieties defined by modular equations.

Given a mixed Shimura variety and a subvariety , an atypical subvariety of is an atypical component of an intersection where is a special subvariety.

The Zilber–Pink conjecture

Let be a mixed Shimura variety or a semiabelian variety defined over , and let be a subvariety. Then contains only finitely many maximal atypical subvarieties.[4]

The abelian and modular versions of the Zilber–Pink conjecture are special cases of the conjecture for Shimura varieties, while in general the semiabelian case is not. However, special subvarieties of semiabelian and Shimura varieties share many formal properties which makes the same formulation valid in both settings.

Partial results and special cases

While the Zilber–Pink conjecture is wide open, many special cases and weak versions have been proven.

If a variety contains a special variety then by definition is an atypical subvariety of . Hence, the Zilber–Pink conjecture implies that contains only finitely many maximal special subvarieties. This is the Manin–Mumford conjecture in the semiabelian setting and the André–Oort conjecture in the Shimura setting. Both are now theorems; the former has been known for several decades,[5] while the latter was proven in full generality only recently.[6]

Many partial results have been proven on the Zilber–Pink conjecture.[7][8][9] An example in the modular setting is the result that any variety contains only finitely many maximal strongly atypical subvarieties, where a strongly atypical subvariety is an atypical subvariety with no constant coordinate.[10][11]

References

  1. Zilber, Boris (2002), "Exponential sums equations and the Schanuel conjecture", J. London Math. Soc., 65 (2): 27–44, doi:10.1112/S0024610701002861.
  2. Bombieri, Enrico; Masser, David; Zannier, Umberto (2007), Anomalous Subvarieties—Structure Theorems and Applications, International Mathematics Research Notices, vol. 2007.
  3. Pink, Richard (2005). "A Combination of the Conjectures of Mordell–Lang and André–Oort". Geometric Methods in Algebra and Number Theory. Progress in Mathematics. Vol. 235. pp. 251–282. CiteSeerX 10.1.1.499.3023. doi:10.1007/0-8176-4417-2_11. ISBN 0-8176-4349-4.
  4. Habegger, Philipp; Pila, Jonathan (2016), o-minimality and certain atypical intersections, Ann. Sci. Éc. Norm. Supér, vol. 49, pp. 813–858.
  5. Raynaud, Michel (1983). "Sous-variétés d'une variété abélienne et points de torsion". In Artin, Michael; Tate, John (eds.). Arithmetic and geometry. Papers dedicated to I. R. Shafarevich on the occasion of his sixtieth birthday. Vol. I: Arithmetic. Progress in Mathematics (in French). Vol. 35. Birkhäuser-Boston. pp. 327–352. MR 0717600. Zbl 0581.14031.
  6. Pila, Jonathan; Shankar, Ananth; Tsimerman, Jacob; Esnault, Hélène; Groechenig, Michael (2021-09-17). "Canonical Heights on Shimura Varieties and the André-Oort Conjecture". arXiv:2109.08788 [math.NT].
  7. Habegger, Philipp; Pila, Jonathan (2012), Some unlikely intersections beyond André-Oort, Compositio Math., vol. 148, pp. 1–27.
  8. Daw, Christopher; Orr, Martin (2021), Unlikely intersections with CM curves in , Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), vol. 22, pp. 1705–1745.
  9. Daw, Christopher; Orr, Martin (2022), Quantitative Reduction Theory and Unlikely Intersections, IMRN, vol. 2022, pp. 16138–16195.
  10. Pila, Jonathan; Tsimerman, Jacob (2016), "Ax-Schanuel for the j-function", Duke Math. J., 165 (13): 2587–2605, arXiv:1412.8255, doi:10.1215/00127094-3620005, S2CID 118973278
  11. Aslanyan, Vahagn (2021), "Weak Modular Zilber–Pink with Derivatives", Math. Ann., arXiv:1803.05895, doi:10.1007/s00208-021-02213-7, S2CID 119654268

Further reading

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.