Showing 1–30 of 30 results for author: Andre, Y

G-functions, motives, and unlikely intersections -- old and new

Authors: Yves André

Abstract: In this survey, we outline the role of G-functions in arithmetic geometry, notably their link with Picard-Fuchs differential equations and periods. We explain how polynomial relations between special values of G-functions arising from a pencil of algebraic varieties may occur at a parameter where the fiber has more ``motivic" symmetries; and how Bombieri's principle of global relations can be used… ▽ More In this survey, we outline the role of G-functions in arithmetic geometry, notably their link with Picard-Fuchs differential equations and periods. We explain how polynomial relations between special values of G-functions arising from a pencil of algebraic varieties may occur at a parameter where the fiber has more ``motivic" symmetries; and how Bombieri's principle of global relations can be used to control the height of such parameters (which was also one of the origins of the André-Oort conjecture). At the end, we sketch the recent revival of the G-function method in the context of unlikely intersections and the Zilber-Pink conjecture. △ Less

Submitted 16 January, 2025; originally announced January 2025.

MSC Class: 11G; 11J; 14K

On relative integral monodromy of abelian logarithms and normal functions

Authors: Yves André

Abstract: The relative algebraic monodromy of abelian logarithms (defined as the kernel of a map between algebraic monodromy groups attached to an abelian scheme with and without a section) was computed in \cite{A1}: under natural assumptions, this vector group turns out to be maximal. The relative integral monodromy of abelian logarithms is defined similarly as a kernel of integral monodromy groups, with… ▽ More The relative algebraic monodromy of abelian logarithms (defined as the kernel of a map between algebraic monodromy groups attached to an abelian scheme with and without a section) was computed in \cite{A1}: under natural assumptions, this vector group turns out to be maximal. The relative integral monodromy of abelian logarithms is defined similarly as a kernel of integral monodromy groups, without taking Zariski closures. We show that if the integral monodromy of the abelian scheme is a lattice in the algebraic monodromy (which is not always the case), then the relative integral monodromy of the abelian logarithm is also a lattice in the relative algebraic monodromy. The proof uses a Hodge-theoretic interpretation of sections of abelian schemes. We also consider relative integral monodromy groups in the more general context of normal functions. △ Less

Submitted 13 January, 2025; originally announced January 2025.

MSC Class: 11G; 14K

On the observability of Galois representations and the Tate conjecture

Authors: Yves André

Abstract: The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using $p$-adic Hodge theory. We show that an unconditional result lies behind this implication: the {\it observability} of arithmetic monodromy groups of geometri… ▽ More The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using $p$-adic Hodge theory. We show that an unconditional result lies behind this implication: the {\it observability} of arithmetic monodromy groups of geometric origin (in any characteristic) - which leads to a sharpening of Moonen's result. We also discuss another aspect of the Tate conjecture related to the transcendence of $p$-adic periods. △ Less

Submitted 11 March, 2023; originally announced March 2023.

MSC Class: 11G; 14F; 14L

On the canonical, fpqc, and finite topologies on affine schemes. The state of the art

Authors: Yves André, Luisa Fiorot

Abstract: This is a systematic study of the behaviour of finite coverings of (affine) schemes with regard to two Grothendieck topologies: the canonical topology and the fpqc topology. The history of the problem takes roots in the foundations of Grothendieck topologies, passes through main strides in Commutative Algebra and leads to new Mathematics up to perfectoids and prisms. We first review the canonica… ▽ More This is a systematic study of the behaviour of finite coverings of (affine) schemes with regard to two Grothendieck topologies: the canonical topology and the fpqc topology. The history of the problem takes roots in the foundations of Grothendieck topologies, passes through main strides in Commutative Algebra and leads to new Mathematics up to perfectoids and prisms. We first review the canonical topology of affine schemes and show, keeping with Olivier's lost work, that it coincides with the effective descent topology; covering maps are given by universally injective ring maps, which we discuss in detail. We then give a "catalogue raisonné" of examples of finite coverings which separate the canonical, fpqc and fppf topologies. The key result is that finite coverings of regular schemes are coverings for the canonical topology, and even for the fpqc topology (but not necessarily for the fppf topology). We discuss a "weakly functorial" aspect of this result. "Splinters" are those affine Noetherian schemes for which every finite covering is a covering for the canonical topology. We also investigate their mysterious fpqc analogs, and prove that in prime characteristic, they are all regular. This leads us to the problem of descent of regularity by (non-necessarily flat) morphisms $f$ which are coverings for the fpqc topology, which is settled thanks to a recent theorem of Bhatt-Iyengar-Ma. △ Less

Submitted 3 January, 2021; v1 submitted 10 December, 2019; originally announced December 2019.

Comments: Final version, accepted in Ann. Sc. Norm. Super. Pisa Cl. Sci

A note on 1-motives

Authors: Yves André

Abstract: We prove that for $1$-motives defined over an algebraically closed subfield of $\C$, viewed as Nori motives, the motivic Galois group is the Mumford-Tate group. In particular, the Hodge realization of the tannakian category of (Nori) motives generated by $1$-motives is fully faithful. We prove that for $1$-motives defined over an algebraically closed subfield of $\C$, viewed as Nori motives, the motivic Galois group is the Mumford-Tate group. In particular, the Hodge realization of the tannakian category of (Nori) motives generated by $1$-motives is fully faithful. △ Less

Submitted 24 November, 2018; v1 submitted 24 July, 2018; originally announced July 2018.

Comments: slightly expanded version. To appear in Intern. Res. Math. Notices

MSC Class: 19E; 14F; 14D; 14C

The Betti map associated to a section of an abelian scheme (with an appendix by Z. Gao)

Authors: Yves André, Pietro Corvaja, Umberto Zannier

Abstract: Given a point $ξ$ on a complex abelian variety $A$, its abelian logarithm can be expressed as a linear combination of the periods of $A$ with real coefficients, the Betti coordinates of $ξ$. When $(A, ξ)$ varies in an algebraic family, these coordinates define a system of multivalued real-analytic functions. Computing its rank (in the sense of differential geometry) becomes important when one is i… ▽ More Given a point $ξ$ on a complex abelian variety $A$, its abelian logarithm can be expressed as a linear combination of the periods of $A$ with real coefficients, the Betti coordinates of $ξ$. When $(A, ξ)$ varies in an algebraic family, these coordinates define a system of multivalued real-analytic functions. Computing its rank (in the sense of differential geometry) becomes important when one is interested about how often $ξ$ takes a torsion value (for instance, Manin's theorem of the kernel implies that this coordinate system is constant in a family without fixed part only when $ξ$ is a torsion section). We compute this rank in terms of the rank of a certain contracted form of the Kodaira-Spencer map associated to $(A, ξ)$ (assuming $A$ without fixed part, and $\mathbb{Z} ξ$ Zariski-dense in $A$), and deduce some explicit lower bounds in special situations. For instance, we determine this rank in relative dimension $\leq 3$, and study in detail the case of jacobians of families of hyperelliptic curves. Our main application, obtained in collaboration with Z. Gao, states that if $A\to S$ is a principally polarized abelian scheme of relative dimension $g$ which has no non-trivial endomorphism (on any finite covering), and if the image of $S$ in the moduli space $\mathcal{A}_g$ has dimension at least $g$, then the Betti map of any non-torsion section $ξ$ is generically a submersion, so that $ξ^{-1}A_{tors}$ is dense in $S(\mathbb{C})$. △ Less

Submitted 9 February, 2018; originally announced February 2018.

Comments: 31 pages, with an Appendix by Z. Gao

MSC Class: 11G; 11J; 14K; 14M

Weak functoriality of Cohen-Macaulay algebras

Authors: Yves Andre

Abstract: We prove the weak functoriality of (big) Cohen-Macaulay algebras, which controls the whole skein of "homological conjectures" in commutative algebra [H1][HH2]. Namely, for any local homomorphism $ R\to R'$ of complete local domains, there exists a compatible homomorphism between some Cohen-Macaulay $R$-algebra and some Cohen-Macaulay $R'$-algebra. When $R$ contains a field, this is already kno… ▽ More We prove the weak functoriality of (big) Cohen-Macaulay algebras, which controls the whole skein of "homological conjectures" in commutative algebra [H1][HH2]. Namely, for any local homomorphism $ R\to R'$ of complete local domains, there exists a compatible homomorphism between some Cohen-Macaulay $R$-algebra and some Cohen-Macaulay $R'$-algebra. When $R$ contains a field, this is already known [[3.9]{HH2}]. When $R$ is of mixed characteristic, our strategy of proof is reminiscent of G. Dietz's refined treatment [D] of weak functoriality of Cohen-Macaulay algebras in characteristic $p$; in fact, developing a "tilting argument" due to K. Shimomoto, we combine the perfectoid techniques of [A1][A2] with Dietz's result. △ Less

Submitted 24 November, 2018; v1 submitted 30 January, 2018; originally announced January 2018.

Comments: A short erratum to the author's "le lemme d'Abhyankar perfectoïde" is added

MSC Class: 13D22; 13H05; 14G20

Perfectoid spaces and the homological conjectures

Authors: Yves Andre

Abstract: This is a survey of recent advances in commutative algebra, especially in mixed characteristic, obtained by using the theory of perfectoid spaces. An explanation of these techniques and a short account of the author's proof of the direct summand conjecture are included. One then portrays the progresses made with these (and related) techniques on the so-called homological conjectures. This is a survey of recent advances in commutative algebra, especially in mixed characteristic, obtained by using the theory of perfectoid spaces. An explanation of these techniques and a short account of the author's proof of the direct summand conjecture are included. One then portrays the progresses made with these (and related) techniques on the so-called homological conjectures. △ Less

Submitted 30 January, 2018; originally announced January 2018.

Comments: intended for the ICM 2018

MSC Class: 13D22; 13H05; 14G20

La conjecture du facteur direct

Authors: Yves Andre

Abstract: Building on his reduction to the case of an unramified complete regular local ring R of mixed characteristic, we propose a proof in the framework of P. Scholze's perfectoid theory. The main ingredients are the perfectoid "Abhyankar lemma" and an analysis of Kummer extensions of R by a thickening technique. Building on his reduction to the case of an unramified complete regular local ring R of mixed characteristic, we propose a proof in the framework of P. Scholze's perfectoid theory. The main ingredients are the perfectoid "Abhyankar lemma" and an analysis of Kummer extensions of R by a thickening technique. △ Less

Submitted 1 September, 2016; originally announced September 2016.

Comments: in French

MSC Class: 13D22; 13H05; 14G20

Le lemme d'Abhyankar perfectoide

Authors: Yves Andre

Abstract: We extend Faltings's "almost purity theorem" on finite etale extensions of perfectoid algebras (as generalized by Scholze and Kedlaya-Liu) to the ramified case, without restriction on the discriminant. The key point is a perfectoid version of Riemann's extension theorem. Categorical aspects of uniform Banach algebras and perfectoid algebras are revisited beforehand. We extend Faltings's "almost purity theorem" on finite etale extensions of perfectoid algebras (as generalized by Scholze and Kedlaya-Liu) to the ramified case, without restriction on the discriminant. The key point is a perfectoid version of Riemann's extension theorem. Categorical aspects of uniform Banach algebras and perfectoid algebras are revisited beforehand. △ Less

Submitted 31 August, 2016; originally announced September 2016.

Comments: in French

MSC Class: 11S15; 14G20

Groupes de Galois motivques et périodes

Authors: Yves André

Abstract: In the mid sixties, A. Grothendieck envisioned a vast generalization of Galois theory to systems of polynomials in several variables, motivic Galois theory, and introduced tannakian categories on this occasion. In characteristic zero, various unconditional approaches were later proposed. The most precise one, due to J. Ayoub, relies on Voevodsky theory of mixed motives and on a new tannakian theor… ▽ More In the mid sixties, A. Grothendieck envisioned a vast generalization of Galois theory to systems of polynomials in several variables, motivic Galois theory, and introduced tannakian categories on this occasion. In characteristic zero, various unconditional approaches were later proposed. The most precise one, due to J. Ayoub, relies on Voevodsky theory of mixed motives and on a new tannakian theory. It sheds new light on periods of algebraic varieties, and shows in particular that polynomial relations between periods of a pencil of algebraic varieties always arise from Stokes formula. △ Less

Submitted 12 June, 2016; originally announced June 2016.

Comments: in French. Bourbaki seminar, November 2015

MSC Class: 11H99; 14C30; 14F42; 18G55; ; 19E15; ; 32G20

On the Kodaira-Spencer map of abelian schemes

Authors: Yves André

Abstract: Let $A$ be an abelian scheme over a smooth affine complex variety $S$, $\varOmega_A$ the $\sO_S$-module of $1$-forms of the first kind on $A$, $\sD_S\varOmega_A$ the $\sD_S$-module spanned by $\varOmega_A$ in the first algebraic De Rham cohomology module, and $θ_\partial: \varOmega_A \to \sD_S\varOmega_A/\varOmega_A$ the Kodaira-Spencer map attached to a tangent vector field $\partial$ on $S$. We… ▽ More Let $A$ be an abelian scheme over a smooth affine complex variety $S$, $\varOmega_A$ the $\sO_S$-module of $1$-forms of the first kind on $A$, $\sD_S\varOmega_A$ the $\sD_S$-module spanned by $\varOmega_A$ in the first algebraic De Rham cohomology module, and $θ_\partial: \varOmega_A \to \sD_S\varOmega_A/\varOmega_A$ the Kodaira-Spencer map attached to a tangent vector field $\partial$ on $S$. We compare the rank of $\sD_S\varOmega_A/\varOmega_A$ to the maximal rank of $θ_\partial$ when $\partial$ varies: we show that both ranks do not change when one passes to the "modular case", \ie when one replaces $S$ by the smallest weakly special subvariety of $\sA_g$ containing the image of $S$ (assuming, as one may up to isogeny, that $A/S$ is principally polarized), we then analyse the "modular case" and deduce, for instance, that {\it for any abelian pencil of relative dimension $g$ with Zariski-dense monodromy in $Sp_{2g}$}, {\it the derivative with respect to a parameter of a non zero abelian integral of the first kind is never of the first kind}. △ Less

Submitted 12 June, 2016; originally announced June 2016.

MSC Class: 11G; 14K; 14M

Idées galoisiennes

Authors: Yves André

Abstract: Classical applications of Galois theory concern algebraic numbers and algebraic functions. Still, the night before his duel, Galois wrote that his last mathematical thoughts had been directed toward applying his "theory of ambiguity to transcendental functions and transcendental quantities". We outline some more or less recent ideas and results in this direction. Classical applications of Galois theory concern algebraic numbers and algebraic functions. Still, the night before his duel, Galois wrote that his last mathematical thoughts had been directed toward applying his "theory of ambiguity to transcendental functions and transcendental quantities". We outline some more or less recent ideas and results in this direction. △ Less

Submitted 13 July, 2012; originally announced July 2012.

Comments: from "Histoires de Mathématiques, Journées X-UPS, May 2011", published by Ecole Polytechnique, France

Uniform sheaves and differential equations

Authors: Yves André

Abstract: Real blow-ups and more refined "zooms" play a key role in the analysis of singularities of complex-analytic differential modules. They do not change the underlying topology, but the uniform structure. This suggests to revisit the cohomology theory of differential modules with help of a suitable new notion of uniform sheaves based on the uniformity rather than the topology. We also investigate… ▽ More Real blow-ups and more refined "zooms" play a key role in the analysis of singularities of complex-analytic differential modules. They do not change the underlying topology, but the uniform structure. This suggests to revisit the cohomology theory of differential modules with help of a suitable new notion of uniform sheaves based on the uniformity rather than the topology. We also investigate the $p$-adic situation (in particular, an analog of real blow-ups) from this uniform viewpoint. △ Less

Submitted 13 July, 2012; originally announced July 2012.

MSC Class: 12H25; 14F30; 14F40; 18F20; 32S40; 54B40; 54E05; 54E15

Solution algebras of differential equations and quasi-homogeneous varieties: a new differential Galois correspondence

Authors: Yves Andre

Abstract: We develop a new connection between Differential Algebra and Geometric Invariant Theory, based on an anti-equivalence of categories between solution algebras associated to a linear differential equation (i.e. differential algebras generated by finitely many polynomials in a fundamental set of solutions), and affine quasi-homogeneous varieties (over the constant field) for the differential Galois g… ▽ More We develop a new connection between Differential Algebra and Geometric Invariant Theory, based on an anti-equivalence of categories between solution algebras associated to a linear differential equation (i.e. differential algebras generated by finitely many polynomials in a fundamental set of solutions), and affine quasi-homogeneous varieties (over the constant field) for the differential Galois group of the equation. Solution algebras can be associated to any connection over a smooth affine variety. It turns out that he spectrum of a solution algebra is an algebraic fiber space over the base variety, with quasi-homogeneous fiber. We discuss the relevance of this result to Transcendental Number Theory. △ Less

Submitted 13 July, 2012; v1 submitted 6 July, 2011; originally announced July 2011.

Comments: Slightly improved version of "Solution algebras of differential equations and quasi-homogeneous varieties"

MSC Class: 12H05; 14M17; 14L24; 11J81

On nef and semistable hermitian lattices, and their behaviour under tensor product

Authors: Yves André

Abstract: We study the behaviour of semistability under tensor product in various settings: vector bundles, euclidean and hermitian lattices (alias Humbert forms or Arakelov bundles), multifiltered vector spaces. One approach to show that semistable vector bundles in characteristic zero are preserved by tensor product is based on the notion of nef vector bundles. We revisit this approach and show how far… ▽ More We study the behaviour of semistability under tensor product in various settings: vector bundles, euclidean and hermitian lattices (alias Humbert forms or Arakelov bundles), multifiltered vector spaces. One approach to show that semistable vector bundles in characteristic zero are preserved by tensor product is based on the notion of nef vector bundles. We revisit this approach and show how far it can be transferred to hermitian lattices. J.-B. Bost conjectured that semistable hermitian lattices are preserved by tensor product. Using properties of nef hermitian lattices, we establish an inequality which improves on earlier results in that direction. On the other hand, we show that, in contrast to nef vector bundles, nef hermitian lattices are not preserved by tensor product. We axiomatize our method in the general context of monoidal categories, and give an elementary proof of the fact that semistable multifiltered vector spaces (which play a role in diophantine approximation) are preserved by tensor product. △ Less

Submitted 9 August, 2010; originally announced August 2010.

Comments: revised version

Slope filtrations

Authors: Yves André

Abstract: Many slope filtrations occur in algebraic geometry, asymptotic analysis, ramification theory, p-adic theories, geometry of numbers... These functorial filtrations, which are indexed by rational (or sometimes real) numbers, have a lot of common properties. We propose a unified abstract treatment of slope filtrations, and survey how new ties between different domains have been woven by dint of d… ▽ More Many slope filtrations occur in algebraic geometry, asymptotic analysis, ramification theory, p-adic theories, geometry of numbers... These functorial filtrations, which are indexed by rational (or sometimes real) numbers, have a lot of common properties. We propose a unified abstract treatment of slope filtrations, and survey how new ties between different domains have been woven by dint of deep correspondences between different concrete slope filtrations. △ Less

Submitted 3 April, 2009; v1 submitted 19 December, 2008; originally announced December 2008.

MSC Class: 11Gxx; 14Dxx; 18Exx; 34Exx; 34Kxx

An introduction to motivic zeta functions of motives

Authors: Yves André

Abstract: It oftens occurs that Taylor coefficients of (dimensionally regularized) Feynman amplitudes $I$ with rational parameters, expanded at an integral dimension $D= D_0$, are not only periods (Belkale, Brosnan, Bogner, Weinzierl) but actually multiple zeta values (Broadhurst, Kreimer). In order to determine, at least heuristically, whether this is the case in concrete instances, the philosophy of m… ▽ More It oftens occurs that Taylor coefficients of (dimensionally regularized) Feynman amplitudes $I$ with rational parameters, expanded at an integral dimension $D= D_0$, are not only periods (Belkale, Brosnan, Bogner, Weinzierl) but actually multiple zeta values (Broadhurst, Kreimer). In order to determine, at least heuristically, whether this is the case in concrete instances, the philosophy of motives - more specifically, the theory of mixed Tate motives - suggests an arithmetic approach (Kontsevich): counting points of algebraic varieties related to $I$ modulo sufficiently many primes $p$ and checking that the number of points varies polynomially in $p$. On the other hand, Kapranov has introduced a new "zeta function", the role of which is precisely to "interpolate" between zeta functions of reductions modulo different primes $p$. In this survey, we outline this circle of ideas and some of their recent developments. △ Less

Submitted 19 December, 2008; originally announced December 2008.

MSC Class: 81Qxx; 32Gxx; 19Fxx; 19Exx; 14Fxx

Galois theory, motives and transcendental numbers

Authors: Yves Andre

Abstract: From its early beginnings up to nowadays, algebraic number theory has evolved in symbiosis with Galois theory: indeed, one could hold that it consists in the very study of the absolute Galois group of the field of rational numbers. Nothing like that can be said of transcendental number theory. Nevertheless, couldn't one associate conjugates and a Galois group to transcendental numbers such as… ▽ More From its early beginnings up to nowadays, algebraic number theory has evolved in symbiosis with Galois theory: indeed, one could hold that it consists in the very study of the absolute Galois group of the field of rational numbers. Nothing like that can be said of transcendental number theory. Nevertheless, couldn't one associate conjugates and a Galois group to transcendental numbers such as $π$? Beyond, can't one envision an appropriate Galois theory in the field of transcendental number theory? In which role? The aim of this text is to indicate what Grothendieck's theory of motives has to say, at least conjecturally, on these questions. △ Less

Submitted 16 May, 2008; originally announced May 2008.

MSC Class: 32G; 14D; 11J; 34M

Ambiguity theory, old and new

Authors: Yves Andre

Abstract: This is a introductory survey of some recent developments of "Galois ideas" in Arithmetic, Complex Analysis, Transcendental Number Theory and Quantum Field Theory, and of some of their interrelations. This is a introductory survey of some recent developments of "Galois ideas" in Arithmetic, Complex Analysis, Transcendental Number Theory and Quantum Field Theory, and of some of their interrelations. △ Less

Submitted 16 May, 2008; originally announced May 2008.

MSC Class: 11J81; 11R32; 11S20; 14H30; 14H81; 32S40; 34M15; 34M35; 34M37; 81T99

An algebraic proof of Deligne's regularity criterion for integrable connections

Authors: Yves André

Abstract: Deligne's regularity criterion for an integrable connection $\nabla$ on a smooth complex algebraic variety $X$ says that $\nabla$ is regular along the irreducible divisors at infinity in some fixed normal compactification of $X$ if and only if the restriction of $\nabla$ to every smooth curve on $X$ is fuchsian (i.e. has only regular singularities at infinity). The "only if" part is the difficul… ▽ More Deligne's regularity criterion for an integrable connection $\nabla$ on a smooth complex algebraic variety $X$ says that $\nabla$ is regular along the irreducible divisors at infinity in some fixed normal compactification of $X$ if and only if the restriction of $\nabla$ to every smooth curve on $X$ is fuchsian (i.e. has only regular singularities at infinity). The "only if" part is the difficult implication. Deligne's proof is transcendental and uses Hironaka's resolution of singularities. We present a purely algebraic proof of this implication which does not use resolution beyond the case of plane curves. It relies upon a study of the formal structure of integrable connections on surfaces with (possibly irregular) singularities along a divisor with normal crossings. △ Less

Submitted 30 January, 2007; originally announced January 2007.

Comments: 13 pages. This is a sequel to: [Baldassarri F., Towards an algebraic proof of Deligne's regularity criterion. An informal survey of open problems, Milan J. Math. 73 (2005)], and replaces math.AG/0411549. to appear in RIMS Kokyuroku Bessatsu

MSC Class: 14 (primary); 34 (secondary)

Structure des connexions méromorphes formelles de plusieurs variables et semi-continuité de l'irrégularité

Authors: Yves André

Abstract: We prove Malgrange's conjecture on the absence of confluence phenomena for integrable meromorphic connections. More precisely, if $ Y\to X$ is a complex-analytic fibration by smooth curves, $Z$ a hypersurface of $Y$ finite over $X$, and $\nabla$ an integrable meromorphic connection on $Y$ with poles along $Z$, then the function which attaches to {\smit x} $\in X$ the sum of the irregularities of… ▽ More We prove Malgrange's conjecture on the absence of confluence phenomena for integrable meromorphic connections. More precisely, if $ Y\to X$ is a complex-analytic fibration by smooth curves, $Z$ a hypersurface of $Y$ finite over $X$, and $\nabla$ an integrable meromorphic connection on $Y$ with poles along $Z$, then the function which attaches to {\smit x} $\in X$ the sum of the irregularities of the fiber $\nabla_{(x)}$ at the points of $Z_x$ is lower semicontinuous. The proof relies upon a study of the formal structure of integrable meromorphic connections in several variables. △ Less

Submitted 30 January, 2007; originally announced January 2007.

Comments: 44 pages. Submitted

MSC Class: 14 (primary); 34 (secondary)

An algebraic proof of Deligne's regularity criterion

Authors: Yves André, Francesco Baldassarri

Abstract: Deligne's regularity criterion for an integrable connection $\nabla$ on a smooth complex algebraic variety $X$ says that $\nabla$ is regular along the irreducible divisors at infinity in some fixed normal compactification of $X$ if and only if the restriction of $\nabla$ to every smooth curve on $X$ is regular ({\it i. e.} has only regular singularities at infinity). The ``only if" part is the d… ▽ More Deligne's regularity criterion for an integrable connection $\nabla$ on a smooth complex algebraic variety $X$ says that $\nabla$ is regular along the irreducible divisors at infinity in some fixed normal compactification of $X$ if and only if the restriction of $\nabla$ to every smooth curve on $X$ is regular ({\it i. e.} has only regular singularities at infinity). The ``only if" part is the difficult implication. Deligne's proof is transcendental, and uses Hironaka's resolution of singularities. We give here an elementary and purely algebraic proof of this implication: it is, as far as we know, the first algebraic proof of Deligne's regularity criterion. △ Less

Submitted 10 January, 2005; v1 submitted 24 November, 2004; originally announced November 2004.

Comments: N. Tsuzuki kindly indicated to us a serious error in section 2 of this paper. We think we know a way out, and are working to a revision. Please ignore this manuscript meanwhile!

Différentielles non commutatives et théorie de Galois différentielle ou aux différences

Authors: Yves André

Abstract: We show how the Galois-Picard_Vessiot theory of differential equations and difference equations, and the theory of holonomy groups in differential geometry, are different aspects of a unique Galois theory. The latter is based upon the construction and study of the tensor product of non commutative connections over a commutative base, without any curvature assumption. This theory provides an alge… ▽ More We show how the Galois-Picard_Vessiot theory of differential equations and difference equations, and the theory of holonomy groups in differential geometry, are different aspects of a unique Galois theory. The latter is based upon the construction and study of the tensor product of non commutative connections over a commutative base, without any curvature assumption. This theory provides an algebraic frame for the study of the confluence arising when the increment of a difference equation tends to 0. △ Less

Submitted 26 March, 2002; originally announced March 2002.

Comments: 65 pages

MSC Class: 12H05; 12H10; 12H20; 13N05; 13N10; 34M15; 81Q70; 18D10; 53C; 46L

Journal ref: Annales Scient. Éc. Norm. Sup. 34 (2001), 685--739

Nilpotence, radicaux et structures monoïdales

Authors: Yves André, Bruno Kahn, avec un appendice de Peter O'Sullivan

Abstract: For $K$ a field, a Wedderburn $K$-linear category is a $K$-linear category $\sA$ whose radical $\sR$ is locally nilpotent and such that $\bar \sA:=\sA/\sR$ is semi-simple and remains so after any extension of scalars. We prove existence and uniqueness results for sections of the projection $\sA\to \bar\sA$, in the vein of the theorems of Wedderburn. There are two such results: one in the general… ▽ More For $K$ a field, a Wedderburn $K$-linear category is a $K$-linear category $\sA$ whose radical $\sR$ is locally nilpotent and such that $\bar \sA:=\sA/\sR$ is semi-simple and remains so after any extension of scalars. We prove existence and uniqueness results for sections of the projection $\sA\to \bar\sA$, in the vein of the theorems of Wedderburn. There are two such results: one in the general case and one when $\sA$ has a monoidal structure for which $\sR$ is a monoidal ideal. The latter applies notably to Tannakian categories over a field of characteristic zero, and we get a generalisation of the Jacobson-Morozov theorem: the existence of a pro-reductive envelope $\Pred(G)$ associated to any affine group scheme $G$ over $K$. Other applications are given in this paper as well as in a forthcoming one on motives. △ Less

Submitted 12 October, 2002; v1 submitted 26 March, 2002; originally announced March 2002.

Comments: 145 pages. Version a paraitre aux Rendiconti del Seminario Matematico dell'Universita' di Padova

MSC Class: 16N; 16D; 18D10; 18E; 14L; 16G60; 13E10; 17C

Journal ref: Rendiconti del Seminario Matematico dell'UniversitÃ? di Padova 108 (2002), 107--291

Filtrations de type Hasse-Arf et monodromie p-adique

Authors: Yves André

Abstract: One proves the Crew-Tsuzuki "p-adic local monodromy conjecture" (for local fields of characteristic p>0). One proves the Crew-Tsuzuki "p-adic local monodromy conjecture" (for local fields of characteristic p>0). △ Less

Submitted 23 March, 2002; originally announced March 2002.

Comments: 32 pages

MSC Class: 11S70; 11F85; 12H25; 18D15

Journal ref: Invent. Math. 148 (2002), 285--317

Period mappings and differential equations. From $\bf C$ to $\bf C_p$

Authors: Yves André

Abstract: This is an introduction to $p$-adic geometry and $p$-adic analysis focusing on the theme of $p$-adic period mappings. We follow as closely as possible the development of the classical theory of complex period mappings, blending differential equations, group theory and geometry. The text ends with a detailed discussion of $p$-adic triangle groups. This is an introduction to $p$-adic geometry and $p$-adic analysis focusing on the theme of $p$-adic period mappings. We follow as closely as possible the development of the classical theory of complex period mappings, blending differential equations, group theory and geometry. The text ends with a detailed discussion of $p$-adic triangle groups. △ Less

Submitted 19 March, 2002; originally announced March 2002.

Comments: 246 pages

On a geometric description of $Gal(\bar{\bf Q}_p/{\bf Q}_p)$ and a p-adic avatar of $\hat{GT}$

Authors: Yves André

Abstract: We develop a $p$-adic version of the so-called Grothendieck-Teichmüller theory (which studies $Gal(\bar{\bf Q}/{\bf Q})$ by means of its action on profinite braid groups or mapping class groups). For every place $v$ of $\bar{\bf Q}$, we give some geometrico-combinatorial descriptions of the local Galois group $Gal(\bar{\bf Q}_v/{\bf Q}_v)$ inside $Gal(\bar{\bf Q}/{\bf Q})$. We also show that… ▽ More We develop a $p$-adic version of the so-called Grothendieck-Teichmüller theory (which studies $Gal(\bar{\bf Q}/{\bf Q})$ by means of its action on profinite braid groups or mapping class groups). For every place $v$ of $\bar{\bf Q}$, we give some geometrico-combinatorial descriptions of the local Galois group $Gal(\bar{\bf Q}_v/{\bf Q}_v)$ inside $Gal(\bar{\bf Q}/{\bf Q})$. We also show that $Gal(\bar{\bf Q}_p/{\bf Q}_p)$ is the automorphism group of an appropriate $π_1$-functor in $p$-adic geometry. △ Less

Submitted 24 October, 2002; v1 submitted 18 March, 2002; originally announced March 2002.

Comments: version to appear in Duke Math. J

MSC Class: 11R32; 14H30; 14G22; 14G20; 20F28; 20F36

Séries Gevrey de type arithmétique, II. Transcendance sans transcendance

Authors: Yves André

Abstract: In this second part, we study the Diophantine properties of values of arithmetic Gevrey series of non-zero order at algebraic points. We rely on the fact, proved in the first part, that the minimal differential operator (with polynomial coefficients) which annihilates such a series has no non-trivial singularity outside the origin and infinity. We show how to draw from this fact some transcend… ▽ More In this second part, we study the Diophantine properties of values of arithmetic Gevrey series of non-zero order at algebraic points. We rely on the fact, proved in the first part, that the minimal differential operator (with polynomial coefficients) which annihilates such a series has no non-trivial singularity outside the origin and infinity. We show how to draw from this fact some transcendence properties, and recover in particular the fundamental theorem of the Siegel-Shidlovsky theory on algebraic independence of values of E-functions. The paradox of the title points out the contrast between the qualitative aspect of this new argument and the essentially quantitative aspect of the traditional approach. At last, we discuss q-analogues of the theory (theta-functions, q-exponential,...). △ Less

Submitted 29 February, 2000; originally announced March 2000.

Comments: 16 pages, French, published version

Report number: Annals migration 4-2001

Journal ref: Ann. of Math. (2) 151 (2000), no. 2, 741-756

Séries Gevrey de type arithmétique, I. Théorèmes de pureté et de dualité

Authors: Yves André

Abstract: Gevrey series are ubiquitous in analysis; any series satisfying some (possibly non-linear) analytic differential equation is Gevrey of some rational order. The present work stems from two observations: 1) the classical Gevrey series, e.g. generalized hypergeometric series with rational parameters, enjoy arithmetic counterparts of the Archimedean Gevrey condition; 2) the differential operators wh… ▽ More Gevrey series are ubiquitous in analysis; any series satisfying some (possibly non-linear) analytic differential equation is Gevrey of some rational order. The present work stems from two observations: 1) the classical Gevrey series, e.g. generalized hypergeometric series with rational parameters, enjoy arithmetic counterparts of the Archimedean Gevrey condition; 2) the differential operators which occur in classical treatises on special functions have a rather simple structure: they are either Fuchsian, or have only two singularities, 0 and infinity, one of them regular, the other irregular with a single slope... The main idea of the paper is that the arithmetic property 1) accounts for the global analytic property 2): the existence of an injective arithmetic Gevrey solution at one point determines to a large extent the global behaviour of a differential operator with polynomial coefficients. Proofs use both p-adic and complex analysis, and a detailed arithmetic study of the Laplace transform. △ Less

Submitted 29 February, 2000; originally announced March 2000.

Comments: 36 pages, French, published version

Report number: Annals migration 4-2001

Journal ref: Ann. of Math. (2) 151 (2000), no. 2, 705-740