Ekedahl–Shepherd-Barron–Taylor/Bost conjecture on algebraicity of leaves from p-curvature
Establish that for a foliation F ⊂ T_{M/R} on a smooth R-scheme M, where R is a finitely generated subalgebra of C, the complex-analytic leaves are analytifications of algebraic subvarieties of M_C if and only if the reduction F mod p is closed under p-th powers for almost all primes p, i.e., F has vanishing p-curvature.
References
Conjecture [Ekedahl--Shepherd-Barron--Taylor {Conjecture F, Bost }] Let R\subset \mathbb{C} be a finitely-generated \mathbb{Z}-algebra, and M a smooth R-scheme. Let \mathscr{F}\subset T_{M/R} be a foliation, i.e.~a sub-bundle of Lie algebras. Then the complex-analytic leaves of \mathscr{F} are analytifications of algebraic subvarieties of M_{\mathbb{C}} if and only if \mathscr{F}\bmod p is closed under p-th powers mod p for almost all primes p, i.e.~it has vanishing p-curvature.