Showing 1–17 of 17 results for author: Ducros, A

La structure des courbes analytiques

Authors: Antoine Ducros

Abstract: This is a work in progress, far from being in its final form whose purpose is to investigate thoroughly the structure of Berkovich analytic curves and its relation with the semi-stable reduction theorem (of which a new proof is given here, starting from the local study of Berkovich curves) through the formalism of "triangulations". It has been already on the author's webpage for years, but it seem… ▽ More This is a work in progress, far from being in its final form whose purpose is to investigate thoroughly the structure of Berkovich analytic curves and its relation with the semi-stable reduction theorem (of which a new proof is given here, starting from the local study of Berkovich curves) through the formalism of "triangulations". It has been already on the author's webpage for years, but it seems better to make it available on a public preprint server. △ Less

Submitted 17 May, 2024; originally announced May 2024.

Comments: French, 357 p

MSC Class: 14G22; 14G99

Utilisation de l'aplatissement en géométrie de Berkovich

Authors: Antoine Ducros

Abstract: In this article, we carry out the flattening techniques developped in a former work in order to ``embellish" a map between compact analytic spaces, to describe the structure of its image, getting this way a substitute for Chevalley's theorem in the non-archimedean setting, and finally to show that flatness in the world of Berkovich spaces amounts to naive flatness provided one works with local rin… ▽ More In this article, we carry out the flattening techniques developped in a former work in order to ``embellish" a map between compact analytic spaces, to describe the structure of its image, getting this way a substitute for Chevalley's theorem in the non-archimedean setting, and finally to show that flatness in the world of Berkovich spaces amounts to naive flatness provided one works with local rings for the G-topology △ Less

Submitted 28 April, 2023; v1 submitted 5 April, 2023; originally announced April 2023.

Comments: 41 pages, French; some typos found in the first version have been corrected

MSC Class: 14G22; 14G99

Tropical functions on a skeleton

Authors: Antoine Ducros, Ehud Hrushovski, François Loeser, Jinhe Ye

Abstract: We prove a general finiteness statement for the ordered abelian group of tropical functions on skeleta in Berkovich analytifications of algebraic varieties. Our approach consists in working in the framework of stable completions of algebraic varieties, a model-theoretic version of Berkovich analytifications, for which we prove a similar result, of which the former one is a consequence. We prove a general finiteness statement for the ordered abelian group of tropical functions on skeleta in Berkovich analytifications of algebraic varieties. Our approach consists in working in the framework of stable completions of algebraic varieties, a model-theoretic version of Berkovich analytifications, for which we prove a similar result, of which the former one is a consequence. △ Less

Submitted 19 June, 2024; v1 submitted 8 October, 2022; originally announced October 2022.

Comments: 47 pages

MSC Class: 14G22; 03C98 (Primary); 14T20 (Secondary)

Journal ref: Journal de l'École polytechnique -- Mathématiques, Tome 11 (2024), pp. 613-654

Non-archimedean integrals as limits of complex integrals

Authors: A. Ducros, E. Hrushovski, F. Loeser

Abstract: We explain how non-archimedean integrals considered by Chambert-Loir and Ducros naturally arise in asymptotics of families of complex integrals. To perform this analysis we work over a non-standard model of the field of complex numbers, which is endowed at the same time with an archimedean and a non-archimedean norm. Our main result states the existence of a natural morphism between bicomplexes of… ▽ More We explain how non-archimedean integrals considered by Chambert-Loir and Ducros naturally arise in asymptotics of families of complex integrals. To perform this analysis we work over a non-standard model of the field of complex numbers, which is endowed at the same time with an archimedean and a non-archimedean norm. Our main result states the existence of a natural morphism between bicomplexes of archimedean and non-archimedean forms which is compatible with integration. △ Less

Submitted 7 February, 2022; v1 submitted 19 December, 2019; originally announced December 2019.

Comments: 69 pages

MSC Class: 14G22; 03C98 (Primary) 03C20; 14T05 (Secondary)

Journal ref: Duke Mathematical Journal 172, 313-386 (2023)

Dévisser, découper, éclater et aplatir les espaces de Berkovich

Authors: Antoine Ducros

Abstract: We develop in this article flattening techniques for coherent sheaves in the realm of Berkovich spaces; we are inspired by the general strategy that Raynaud and Gruson have used for dealing with the analogous problem in scheme theory. As an application, we give a general description of the image of an arbitrary morphism between compact analytic spaces. We develop in this article flattening techniques for coherent sheaves in the realm of Berkovich spaces; we are inspired by the general strategy that Raynaud and Gruson have used for dealing with the analogous problem in scheme theory. As an application, we give a general description of the image of an arbitrary morphism between compact analytic spaces. △ Less

Submitted 26 June, 2020; v1 submitted 1 June, 2019; originally announced June 2019.

Comments: In French. This is the (almost) final version, to appear in Compositio Mathematica

MSC Class: 14G22; 14G99

Journal ref: Compositio Math. 157 (2021) 236-302

Réduction en famille d'espaces affinoïdes

Authors: Antoine Ducros

Abstract: Let $k$ be a non-archimedean complete field. We prove a substitute for the reduced fiber theorem (of Bosch, Lütkebohmert and Raynaud) that holds for every morphism $Y\to X$ flat and with geometrically reduced fibers between $k$-affinoid spaces in the sense of Berkovich, without assuming that $X$ and $Y$ are strict, nor that the relative dimension of $Y$ over $X$ is constant. We do not use the orig… ▽ More Let $k$ be a non-archimedean complete field. We prove a substitute for the reduced fiber theorem (of Bosch, Lütkebohmert and Raynaud) that holds for every morphism $Y\to X$ flat and with geometrically reduced fibers between $k$-affinoid spaces in the sense of Berkovich, without assuming that $X$ and $Y$ are strict, nor that the relative dimension of $Y$ over $X$ is constant. We do not use the original reduced fiber theorem, nor the language or the techniques of formal geometry. Our statement is formulated in terms of Temkin's graded reduction; our proof rests on a finiteness result of Grauert and Remmert and on Temkin's theory of (graded) reduction of germs of analytic spaces. It will be used for describing the variation of the connected components of the fiber of a quasi-smooth map in a forthcoming work on flattening in the Berkovich setting. △ Less

Submitted 7 July, 2021; v1 submitted 3 March, 2019; originally announced March 2019.

Comments: in French, 58 pages. In this version some minor corrections have been made (some of which under a referee's suggestion)

MSC Class: 14G22; 14A99

Introduction à la théorie des schémas

Authors: Antoine Ducros

Abstract: I have merged the lecture notes (in french) of two 24 hour courses I taught at the university Pierre-et-Marie Curie (Paris 6) during the first semester of the academic year 2013-2014. The first one was devoted to the general material that is needed for doing algebraic geometry (categories, commutative algebra, sheaves, locally ringed spaces), and the second one to the foundations of scheme theory. I have merged the lecture notes (in french) of two 24 hour courses I taught at the university Pierre-et-Marie Curie (Paris 6) during the first semester of the academic year 2013-2014. The first one was devoted to the general material that is needed for doing algebraic geometry (categories, commutative algebra, sheaves, locally ringed spaces), and the second one to the foundations of scheme theory. △ Less

Submitted 5 January, 2014; originally announced January 2014.

Comments: 273 pages, written in french

MSC Class: 14-01

About Hrushovski and Loeser's work on the homotopy type of Berkovich spaces

Authors: Antoine Ducros

Abstract: Those are the notes of the two talks I gave in april 2013 in St-John (US Virgin Islands) during the Simons Symposium on non-Archimedean and tropical geometry. They essentially consist of a survey of Hrushovski and Loeser's work on the homotopy type of Berkovich spaces; the last section explains how the author has used their work for studying pre-image of skeleta. Those are the notes of the two talks I gave in april 2013 in St-John (US Virgin Islands) during the Simons Symposium on non-Archimedean and tropical geometry. They essentially consist of a survey of Hrushovski and Loeser's work on the homotopy type of Berkovich spaces; the last section explains how the author has used their work for studying pre-image of skeleta. △ Less

Submitted 20 July, 2015; v1 submitted 2 September, 2013; originally announced September 2013.

Comments: 31 pages. This text will appear in the Proceedings Book of the Simons Symposium on non-Archimedean and tropical geometry (april 2013, US Virgin Islands). I've taken into account the remarks and suggestion of the referees

MSC Class: 14G22; 12J10

Les espaces de Berkovich sont modérés, d'après E. Hrushovski et F. Loeser

Authors: Antoine Ducros

Abstract: This is the (revised) printed version of the talk no 1056 (june 2012) of the Bourbaki seminar, which will be published in an Astérisque volume. This is a report on a paper by Hrushovski and Loeser (/arxiv:1009.0252). In this paper they establish, using in a crucial way model-theoretic tools and especially the notion of a stably dominated type, various tameness properties of the topology of algebra… ▽ More This is the (revised) printed version of the talk no 1056 (june 2012) of the Bourbaki seminar, which will be published in an Astérisque volume. This is a report on a paper by Hrushovski and Loeser (/arxiv:1009.0252). In this paper they establish, using in a crucial way model-theoretic tools and especially the notion of a stably dominated type, various tameness properties of the topology of algebraic Berkovich spaces (e.g. they prove that such a space has the homotopy type of a compact polyhedron). △ Less

Submitted 16 October, 2012; originally announced October 2012.

Comments: 45 pages, french

MSC Class: 03C64; 03C65; 03C99; 14G22

Formes différentielles réelles et courants sur les espaces de Berkovich

Authors: Antoine Chambert-Loir, Antoine Ducros

Abstract: We define a theory of real $(p,q)$-forms and currents on Berkovich spaces which is parallel to the theory of differential forms on complex spaces: integrals, Poincaré-Lelong formula, plurisubharmonic functions, positive currents, Chern forms of metrized line bundles... We define a theory of real $(p,q)$-forms and currents on Berkovich spaces which is parallel to the theory of differential forms on complex spaces: integrals, Poincaré-Lelong formula, plurisubharmonic functions, positive currents, Chern forms of metrized line bundles... △ Less

Submitted 27 April, 2012; originally announced April 2012.

Comments: 124 pages, in French. Preliminary version

Espaces de Berkovich, polytopes, squelettes et théorie des modèles

Authors: Antoine Ducros

Abstract: Let $X$ be an analytic space over a non-Archimedean, complete field $k$ and let $(f_1,..., f_n)$ be a family of invertible functions on $X$. Let $φふぁい$ the morphism $X\to G_m^n$ induced by the $f_i$'s, and let $t$ be the map $X\to (R^*_+)^n$ induced by the norms of the $f_i$'s. Let us recall two results. 1) The compact set $t(X)$ is a polytope of the $R$-vector space $(R^*_+)^n$ (we use the multipl… ▽ More Let $X$ be an analytic space over a non-Archimedean, complete field $k$ and let $(f_1,..., f_n)$ be a family of invertible functions on $X$. Let $φふぁい$ the morphism $X\to G_m^n$ induced by the $f_i$'s, and let $t$ be the map $X\to (R^*_+)^n$ induced by the norms of the $f_i$'s. Let us recall two results. 1) The compact set $t(X)$ is a polytope of the $R$-vector space $(R^*_+)^n$ (we use the multiplicative notation) ; this is due to Berkovich in the locally algebraic case, and has been extended to the general case by the author. 2) If moreover $X$ is Hausdorff and $n$-dimensional, then the pre-image under $φふぁい$ of the skeleton $S_n$ of $G_m^n$ has a piecewise-linear structure making $φふぁい^{-1}(S_n)\to S_n$ a piecewise immersion ; this is due to the author. In this article, we improve 1) and 2), and give new proofs of both of them. Our proofs are based upon the model theory of algebraically closed, non-trivially valued fields. Let us quickly explain what we mean by improving 1) and 2). - Concerning 1), we also prove that if $x\in X$, there exists a compact analytic neighborhood $U$ of $x$, such that for every compact analytic neighborhood $V$ of $x$ in $X$, the germs of polytopes $(t(U),t(x))$ and $(t(V),t(x))$ coincide. - Concerning 2), we prove that the piecewise linear structure on $φふぁい^{-1}(S_n)$ is canonical, that is, doesn't depend on the map we choose to write it as a pre-image of the skeleton; we thus answer a question which was asked to us by Temkin. Moreover, we prove that the pre-image of the skeleton 'stabilizes after a finite, separable ground field extension', and that if $φふぁい_1,..., φふぁい_m$ are finitely many morphisms from $X\to G_m^n$, the union $\bigcup φふぁい_j(S_n)$ also inherits a canonical piecewise-linear structure. △ Less

Submitted 12 July, 2012; v1 submitted 29 March, 2012; originally announced March 2012.

Comments: French, 52 pages. This is a new version, including some minor changes and a partial rewriting of sections 2.7 -- 2.8.4

MSC Class: 14G; 14G22; 12J10

Families of Berkovich spaces

Authors: Antoine Ducros

Abstract: This text is devoted to the systematic study of relative properties in the context of Berkovich analytic spaces. We first develop a theory of flatness in this setting. After having shown through a counter-example that naive flatness cannot be the right notion because it is not stable under base change, we define flatness by {\em requiring} invariance under base change, and we study a first importa… ▽ More This text is devoted to the systematic study of relative properties in the context of Berkovich analytic spaces. We first develop a theory of flatness in this setting. After having shown through a counter-example that naive flatness cannot be the right notion because it is not stable under base change, we define flatness by {\em requiring} invariance under base change, and we study a first important class of flat morphisms, that of quasi-smooth ones. We then show the existence of local {\em dévissages} (in the spirit of Raynaud and Gruson) for coherent sheaves, which we use, together with a study of the local rings of "generic fibers" of morphisms, to prove that a {\em boundaryless}, naively flat morphism is flat. After that we prove that the image of a compact analytic space by a flat morphism can be covered by a compact, relatively Cohen-Macaulay and zero-dimensional multisection, and the image of the latter is shown to be a compact analytic domain of the target; we thus recover the result by Raynaud telling that the image of a compact analytic space under a flat morphism is a compact analytic domain of the target. In the last part of this work we study some validity loci. We first prove that the flatness locus of a given morphism of analytic spaces is a Zariski-open subset of the source. We then look at the {\em fiberwise} validity loci of the usual commutative algebra properties. We prove that the results we could expect actually hold: the fiberwise validity locus of such a property is Zariski-constructible, and Zariski-open under suitable extra assumptions (flatness, and also sometimes equidimentionality). △ Less

Submitted 9 October, 2017; v1 submitted 21 July, 2011; originally announced July 2011.

Comments: 272 pages. This is the final version, to appear as a memoir in the Astérisque collection. I am again very grateful to the referee for his/her incredibly careful reading of the revised version

MSC Class: 14G22; 14A99

Toute forme modérément ramifiée d'un polydisque ouvert est triviale

Authors: Antoine Ducros

Abstract: Let k be a complete, non-Archimedean field and let X be a k-analytic space ; assume that there exists a tamely ramified finite extension L/k such that X_L is isomorphic to an open polydisc over L ; we prove that X is itself isomorphic to an open polydisc over k. The proof consists in using the {\em graded} reduction (a notion which is due to Temkin) of the algebra of functions on $X$, together wit… ▽ More Let k be a complete, non-Archimedean field and let X be a k-analytic space ; assume that there exists a tamely ramified finite extension L/k such that X_L is isomorphic to an open polydisc over L ; we prove that X is itself isomorphic to an open polydisc over k. The proof consists in using the {\em graded} reduction (a notion which is due to Temkin) of the algebra of functions on $X$, together with some graded counterparts of classical commutative algebra results: Nakayama's lemma, going-up theorem, basic notions about étale algebras, etc. △ Less

Submitted 25 November, 2011; v1 submitted 1 June, 2011; originally announced June 2011.

Comments: I've made some minor corrections, and I've added an example of a non-trivial virtual open disc which has a rational point

MSC Class: 14G20; 14G22

Étale cohomology of schemes and analytic spaces

Authors: Antoine Ducros

Abstract: Those are notes of a mini-course the author gave in July 2010 at the university Paris 6 (Jussieu) during the summer school of the ANR (Agence nationale de la recherche) BERKO. Those are notes of a mini-course the author gave in July 2010 at the university Paris 6 (Jussieu) during the summer school of the ANR (Agence nationale de la recherche) BERKO. △ Less

Submitted 4 January, 2011; originally announced January 2011.

MSC Class: 14A99; 14F20

Les espaces de Berkovich sont excellents

Authors: Antoine Ducros

Abstract: In this paper, we first study the local rings of a Berkovich analytic space from the point of view of commutative algebra. We show that those rings are excellent ; we introduce the notion of a an analytically separable extension of non-archimedean complete fields (it includes the case of the finite separable extensions, and also the case of any complete extension of a perfect complete non-archim… ▽ More In this paper, we first study the local rings of a Berkovich analytic space from the point of view of commutative algebra. We show that those rings are excellent ; we introduce the notion of a an analytically separable extension of non-archimedean complete fields (it includes the case of the finite separable extensions, and also the case of any complete extension of a perfect complete non-archimedean field) and show that the usual commutative algebra properties (Rm, Sm, Gorenstein, Cohen-Macaulay, Complete Intersection) are stable under analytically separable ground field extensions; we also establish a GAGA principle with respect to those properties for any finitely generated scheme over an affinoid algebra. A second part of the paper deals with more global geometric notions : we define, show the existence and establish basic properties of the irreducible components of analytic space ; we define, show the existence and establish basic properties of its normalization ; and we study the behaviour of connectedness and irreducibility with respect to base change. △ Less

Submitted 27 January, 2009; v1 submitted 5 June, 2007; originally announced June 2007.

Comments: This is the (almost) definitive version of the paper, which is going to appear in "Annales de l'institut Fourier"

MSC Class: 14G22; 14B99

Finitude cohomologique des morphismes propres en géométrie algébrique : une preuve transcendante sans techniques projectives

Authors: Antoine Ducros

Abstract: We propose here a transcendantal proof of the coherence of the higher direct images of a coherent sheaf by a proper morphism of algebraic varieties, which does not use Chow's lemma nor any projective method. The main tool here are comparison with coherent cohomology of a (Berkovich) analytic space over a trivially valued field, and Kiehls' theorem about the proper morphisms between rigid-analyti… ▽ More We propose here a transcendantal proof of the coherence of the higher direct images of a coherent sheaf by a proper morphism of algebraic varieties, which does not use Chow's lemma nor any projective method. The main tool here are comparison with coherent cohomology of a (Berkovich) analytic space over a trivially valued field, and Kiehls' theorem about the proper morphisms between rigid-analytic spaces. △ Less

Submitted 18 December, 2006; originally announced December 2006.

MSC Class: 14A15; 14F99

Triangulation et cohomologie étale sur une courbe analytique

Authors: Antoine Ducros

Abstract: Let $k$ be a non-archimedean complete valued field and let X be a smooth Berkovich analytic $k$-curve. Let $F$ be a finite locally constant étale sheaf on $k$ whose torsion is prime to the residue characteristic. We denote by $|X|$ the underlying topological space and by $πぱい$ the canonical map from the étale site to $|X|$. In this text we define a triangulation of $X$, we show that it always exis… ▽ More Let $k$ be a non-archimedean complete valued field and let X be a smooth Berkovich analytic $k$-curve. Let $F$ be a finite locally constant étale sheaf on $k$ whose torsion is prime to the residue characteristic. We denote by $|X|$ the underlying topological space and by $πぱい$ the canonical map from the étale site to $|X|$. In this text we define a triangulation of $X$, we show that it always exists and use it to compute $H^{0}(|X|,R^{q}πぱい\_{*}F)$ and $H^{1}(|X|,R^{q}πぱい\_{*}F)$. If $X$ is the analytification of an algebraic curve we give sufficient conditions so that those groups are isomorphic to their algebraic counterparts ; if the cohomology of $k$ has a dualizing sheaf in some degree $d$ (e.g $k$ is $p$-adic, or $k=C((t))$) then we prove a duality theorem between $H^{0}(|X|,R^{q}πぱい\_{*}F)$ and $H^{1}\_ {c}(|X|,R^{d+1}πぱい\_{*}G)$ where $G$ is the tensor product of the dual sheaf of $F$ with the dualizing sheaf and the sheaf of $n$-th roots of unity. △ Less

Submitted 28 January, 2005; originally announced January 2005.

MSC Class: 14F20; 14G20; 14G22