scientific article; zbMATH DE number 1969555
This Bourbaki seminar primarily describes the work of \textit{J.-B. Bost} [Publ. Math., Inst. Hautes Étud. Sci. 93, 161--221 (2001; Zbl 1034.14010)], who showed the following. Let \(K\) be a number field embedded in \(\mathbb C\), let \(X\) be a smooth algebraic variety over \(K\) (i.e., an integral separated scheme of finite type over \(K\)), and let \(F\) be an algebraic subbundle of the tangent bundle \(T_X\). We assume that \(F\) is involutive; i.e., closed under the Lie bracket. Then \(F\) defines a holomorphic foliation of the complex manifold \(X(\mathbb C)\). Bost showed that the leaf \(\mathcal F\) through a rational point \(P\in X(K)\) is algebraic if the following local conditions are satisfied: (i) for almost all prime ideals \(\mathfrak p\) of the ring of integers \(\mathcal O_K\) of \(K\), the \(p\)-curvature of the reduction modulo \(\mathfrak p\) of the subbundle \(F\subseteq T_X\) vanishes at \(P\) (here \(p\) is the prime of \(\mathbb Z\) lying below \(\mathfrak p\)); and (ii) the manifold \(\mathcal F\) satisfies the Liouville property: every plurisubharmonic function on \(\mathcal F\) bounded from above is constant. For example, \(\mathcal F\) satisfies the Liouville property if it is a holomorphic image of a complex algebraic variety minus a closed analytic subset. The article also shows how Bost's theorem is related to a conjecture of Grothendieck, predicting when a linear system \((d/dz)Y=A(z)Y\), \(A(z)\in M_d(\mathbb Q(z))\), has a basis of algebraic solutions. In addition, the article shows how Bost's theorem implies a theorem of Y.~André giving a local criterion for when a differential form on a smooth variety is exact; a local criterion for two elliptic curves to be isogenous (special case of a theorem of Faltings); and even a theorem of Kronecker stating that if \(\alpha\) is an element of a number field \(K\) such that \(\alpha\) is congruent to an element of \(\mathbb F_p\) for all but finitely many primes \(\mathfrak p\) of \(K\), then \(\alpha\in\mathbb Q\). For the entire collection see [Zbl 1007.00024].
- scientific article; zbMATH DE number 503129
- scientific article; zbMATH DE number 5019878
- scientific article; zbMATH DE number 1054982
- Diophantine approximation by algebraic hypersurfaces and varieties
- scientific article; zbMATH DE number 1054990
- Diophantine applications of geometric invariant theory
- scientific article; zbMATH DE number 963674
- Arithmetical and geometrical aspects of homogeneous Diophantine approximation by algebraic numbers in a given number field
- Integral points on algebraic varieties. An introduction to Diophantine geometry
- Integral points on algebraic varieties. An introduction to Diophantine geometry
- G-functions and multisum versus holonomic sequences
- Harder-Narasimhan categories
- Algebraic leaves of algebraic foliations over number fields.
- Local positivity and effective Diophantine approximation
- Slopes of adelic vector bundles over global fields
- Regular foliations on weak Fano manifolds
- Construction of codes from Arakelov geometry
- Point counting for foliations over number fields
- Formes linéaires de logarithmes effectives sur les variétés abéliennes
- Maximal slope of tensor product of Hermitian vector bundles
- Algebraization, transcendence, and \(D\)-group schemes
- Cycles in the de Rham cohomology of abelian varieties over number fields
- Algebraic solutions of differential equations over \(\mathbb{P}^1 - \{0, 1, \infty \}\)
- Analytic Curves in Algebraic Varieties over Number Fields
- Values of globally bounded \(G\)-functions
- Euler and algebraic geometry
- Evaluation maps, slopes, and algebraicity criteria
- Differential equations and finite groups
- Algebraic solutions of linear differential equations: an arithmetic approach
- Codimension one foliations in positive characteristic
- An arithmetic characterization of some algebraic functions and a new proof of an algebraicity prediction by Golyshev
- The unbounded denominators conjecture
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4422845)
