Search

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.

The space mission MICROSCOPE dedicated to the test of the Equivalence Principle (EP) operated from April 25, 2016 until the deactivation of the satellite on October 16, 2018. In this analysis we compare the free-fall accelerations ($a_{\rm A}$ and $a_{\rm B}$) of two test masses in terms of the E\"otv\"os parameter $\eta({\rm{A, B}}) = 2 \frac{a_{\rm A}- a_{\rm B}}{a_{\rm A}+ a_{\rm B}}$. No EP violation has been detected for two test masses, made from platinum and titanium alloys, in a sequence of 19 segments lasting from 13 to 198 hours down to the limit of the statistical error which is smaller than $10^{-14}$ for $ \eta({\rm{Ti, Pt}})$. Accumulating data from all segments leads to $\eta({\rm{Ti, Pt}}) =[-1.5\pm{}2.3{\rm (stat)}\pm{}1.5{\rm (syst)}] \times{}10^{-15}$ showing no EP violation at the level of $2.7\times{}10^{-15}$ if we combine stochastic and systematic errors quadratically. This represents an improvement of almost two orders of magnitude with respect to the previous best such test performed by the E\"ot-Wash group. The reliability of this limit has been verified by comparing the free falls of two test masses of the same composition (platinum) leading to a null E\"otv\"os parameter with a statistical uncertainty of $1.1\times{}10^{-15}$., Comment: Class. Quantum Grav. 39 204009

The MICROSCOPE mission was designed to test the Weak Equivalence Principle (WEP), stating the equality between the inertial and the gravitational masses, with a precision of $10^{-15}$ in terms of the E\"otv\"os ratio $\eta$. Its experimental test consisted of comparing the accelerations undergone by two collocated test masses of different compositions as they orbited the Earth, by measuring the electrostatic forces required to keep them in equilibrium. This was done with ultra-sensitive differential electrostatic accelerometers onboard a drag-free satellite. The mission lasted two and a half years, cumulating five-months-worth of science free-fall data, two thirds with a pair of test masses of different compositions -- Titanium and Platinum alloys -- and the last third with a reference pair of test masses of the same composition -- Platinum. We summarize the data analysis, with an emphasis on the characterization of the systematic uncertainties due to thermal instabilities and on the correction of short-lived events which could mimic a WEP violation signal. We found no violation of the WEP, with the E\"otv\"os parameter of the Titanium and Platinum pair constrained to $\eta({\rm Ti, Pt})~=~ [-1.5 \pm 2.3~{\rm (stat)} \pm 1.5~{\rm (syst)}]~\times 10^{-15}$ at $1\sigma$ in statistical errors., Comment: Phys. Rev. Lett. 129, 121102

Electric currents circulating between charged clouds and the earth surface during lightning discharges are responsible for considerable damages and casualties. It is therefore important to develop better protection methods in addition to the traditional Franklin rod. Here we present the first demonstration that filaments formed by short and intense laser pulses can guide lightning discharges over considerable distances. We believe that this experimental breakthrough will lead to progress in lightning protection and lightning physics. An experimental campaign was carried out on the S\"antis Mountain in Northeastern Switzerland during the Summer of 2021 with a high repetition rate terawatt laser. The guiding of an upward negative lightning leader over a distance of 50 m was recorded by two separate high-speed cameras. The guiding of negative lightning leaders by laser filaments was corroborated in three other instances by VHF interferometric measurements, and the number of X-ray bursts detected during guided lightning events was significantly increased. While this research field has been very active for more than 20 years with many research groups around the world working to achieve this goal, this result demonstrates lightning guiding by lasers, which may lead to the development of a laser lightning rod. This work paves the way for new atmospheric applications of ultrashort lasers and represents a significant step forward in the development of a laser based lightning protection for airports, launchpads or large infrastructures., Comment: Laser-guided lightning. Nat. Photon. (2023)

The MICROSCOPE mission aims to test the Weak Equivalence Principle (WEP) in orbit with an unprecedented precision of 10$^{-15}$ on the E\"otv\"os parameter thanks to electrostatic accelerometers on board a drag-free micro-satellite. The precision of the test is determined by statistical errors, due to the environment and instrument noises, and by systematic errors to which this paper is devoted. Systematic error sources can be divided into three categories: external perturbations, such as the residual atmospheric drag or the gravity gradient at the satellite altitude, perturbations linked to the satellite design, such as thermal or magnetic perturbations, and perturbations from the instrument internal sources. Each systematic error is evaluated or bounded in order to set a reliable upper bound on the WEP parameter estimation uncertainty., Comment: To be released in CQG MICROSCOPE Special Edition

Dedicated accelerometers have been developed for the MICROSCOPE mission taking into account the specific range of acceleration to be measured on board the satellite. Considering one micro-g and even less as the full range of the instrument, leads to a customized concept and a high performance electronics for the sensing and servo-actuations of the accelerometer test-masses. In addition to a very accurate geometrical sensor core, a high performance electronics architecture provides the measurement of the weak electrostatic forces and torques applied to the test-masses. A set of capacitive sensors delivers the position and the attitude of the test-mass with respect to a very steady gold coated cage made in silica. The voltages applied on the electrodes surrounding each test-mass are finely controlled to generate the adequate electrical field and so the electrostatic pressures on the test-mass. This field maintains the test-mass motionless with respect to the instrument structure. Digital control laws are implemented in order to enable instrument operation flexibility and a weak position sensor noise. These electronics provide both the scientific data for MICROSCOPE's test of General Relativity and the data for the satellite drag-free and attitude control system (DFACS)., Comment: To be submitted to CQG's MICROSCOPE special issue

This paper focus on the description of the design and performance of the MICROSCOPE satellite and its Drag-Free and Attitude Control System (DFACS). The satellite is derived from CNES' Myriade platform family, albeit with significant upgrades dictated by the unprecedented MICROSCOPE's mission requirements. The 300kg drag-free microsatellite has completed its 2-year flight with higher-than-expected performances. Its passive thermal concept allowed for variations smaller than 1 $\mu$K at the measurement frequency $f_{\rm{EP}}$. The propulsion system provided a 6 axis continuous and very low noise thrust from zero to some hundreds of micronewtons. Finally, the performance of its DFACS (aimed at compensating the disturbing forces and torques applied to the satellite) is the finest ever achieved in low Earth orbit, with residual accelerations along the three axes are lower than $10^{-12} {\rm m/s}^2$ at $f_{\rm{EP}}$ over 8 days., Comment: References updated

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\'e" 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., Comment: Final version, accepted in Ann. Sc. Norm. Super. Pisa Cl. Sci

The Weak Equivalence Principle (WEP), stating that two bodies of different compositions and/or mass fall at the same rate in a gravitational field (universality of free fall), is at the very foundation of General Relativity. The MICROSCOPE mission aims to test its validity to a precision of $10^{-15}$, two orders of magnitude better than current on-ground tests, by using two masses of different compositions (titanium and platinum alloys) on a quasi-circular trajectory around the Earth. This is realised by measuring the accelerations inferred from the forces required to maintain the two masses exactly in the same orbit. Any significant difference between the measured accelerations, occurring at a defined frequency, would correspond to the detection of a violation of the WEP, or to the discovery of a tiny new type of force added to gravity. MICROSCOPE's first results show no hint for such a difference, expressed in terms of E\"otv\"os parameter $\delta(Ti,Pt)=[-1\pm{}9{\rm (stat)}\pm{}9{\rm (syst)}] \times{}10^{-15}$ (both 1$\sigma$ uncertainties) for a titanium and platinum pair of materials. This result was obtained on a session with 120 orbital revolutions representing 7\% of the current available data acquired during the whole mission. The quadratic combination of 1$\sigma$ uncertainties leads to a current limit on $\delta$ of about $1.3\times{}10^{-14}$., Comment: To appear in CQG

We study the use of frequency upconversion schemes of near-IR picosecond laser pulses and compare their ability to guide and trigger electric discharges through filamentation in air. Upconversion, such as Second Harmonic Generation, is favorable for triggering electric discharges for given amount of available laser energy, even taking into account the losses inherent to frequency conversion. We focus on the practical question of optimizing the use of energy from a given available laser system and the potential advantage to use frequency conversion schemes.

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., Comment: slightly expanded version. To appear in Intern. Res. Math. Notices

Given a point $\xi$ 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 $\xi$. When $(A, \xi)$ 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 $\xi$ 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 $\xi$ 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, \xi)$ (assuming $A$ without fixed part, and $\mathbb{Z} \xi$ 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 $\xi$ is generically a submersion, so that $\xi^{-1}A_{tors}$ is dense in $S(\mathbb{C})$., Comment: 31 pages, with an Appendix by Z. Gao

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., Comment: A short erratum to the author's "le lemme d'Abhyankar perfecto\"ide" is added

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., Comment: intended for the ICM 2018

According to the Weak Equivalence Principle, all bodies should fall at the same rate in a gravitational field. The MICROSCOPE satellite, launched in April 2016, aims to test its validity at the $10^{-15}$ precision level, by measuring the force required to maintain two test masses (of titanium and platinum alloys) exactly in the same orbit. A non-vanishing result would correspond to a violation of the Equivalence Principle, or to the discovery of a new long-range force. Analysis of the first data gives $\delta\rm{(Ti,Pt)}= [-1 \pm 9 (\mathrm{stat}) \pm 9 (\mathrm{syst})] \times 10^{-15}$ (1$\sigma$ statistical uncertainty) for the titanium-platinum E\"otv\"os parameter characterizing the relative difference in their free-fall accelerations., Comment: Typos corrected

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., Comment: in French

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., Comment: in French

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., Comment: in French. Bourbaki seminar, November 2015

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 $\theta_\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 $\theta_\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}.

Acoustic signals generated by filamentation of ultrashort TW laser pulses in water are characterized experimentally. Measurements reveal a strong influence of input pulse duration on the shape and intensity of the acoustic wave. Numerical simulations of the laser pulse nonlinear propagation and the subsequent water hydrodynamics and acoustic wave generation show that the strong acoustic emission is related to the mechanism of superfilamention in water. The elongated shape of the plasma volume where energy is deposited drives the far-field profile of the acoustic signal, which takes the form of a radially directed pressure wave with a single oscillation and a very broad spectrum., Comment: 9 pages, 12 figures

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., Comment: from "Histoires de Math\'ematiques, Journ\'ees X-UPS, May 2011", published by Ecole Polytechnique, France

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.

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., Comment: Slightly improved version of "Solution algebras of differential equations and quasi-homogeneous varieties"

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., Comment: revised version

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.

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.

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 $\pi$? 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.

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.

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., Comment: 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

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., Comment: 44 pages. Submitted

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., Comment: 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!

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., Comment: 65 pages

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., Comment: 145 pages. Version a paraitre aux Rendiconti del Seminario Matematico dell'Universita' di Padova

One proves the Crew-Tsuzuki "p-adic local monodromy conjecture" (for local fields of characteristic p>0)., Comment: 32 pages

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., Comment: 246 pages

We develop a $p$-adic version of the so-called Grothendieck-Teichm\"uller 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 $\pi_1$-functor in $p$-adic geometry., Comment: version to appear in Duke Math. J

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., Comment: 36 pages, French, published version