Resumen de Evaluation maps, slopes, and algebraicity criteria

Jean-Benoît Bost

• We discuss criteria for the algebraicity of a formal subscheme V� in the completionX�P at some rational point P of an algebraic variety X over some field K. In particular we consider the case where K is a function field or a number field, and we discuss applications concerning the algebraicity of leaves of algebraic foliations, algebraic groups, absolute Tate cycles, and the rationality of germs of formal functions on a curve over a number field.