Berkovich spaces are excellent
From MaRDI portal
Publication:734603
DOI10.5802/AIF.2470zbMATH Open1177.14049arXiv1107.4259OpenAlexW2963784931MaRDI QIDQ734603FDOQ734603
Publication date: 13 October 2009
Published in: Annales de l’institut Fourier (Search for Journal in Brave)
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 important class of flat morphisms, that of quasi-smooth ones. We then show the existence of local {em d'evissages} (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).
Full work available at URL: https://arxiv.org/abs/1107.4259
Berkovich spacesexcellence, base field extension, irreducible components, normalizationnon-archimedean analytic spaces
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
- Toroidal geometry and non-archimedean analytic geometry. Application to the homotopy type of certain formal schemes
- Irreducible components of rigid spaces
- Étale cohomology for non-Archimedean analytic spaces
- Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
- On local properties of non-Archimedean analytic spaces
- Parties semi-algébriques d'une variété algébrique \(p\)-adique. (Semi-algebraic subsets of a \(p\)-adic algebraic variety.)
- Variation de la dimension relative en géométrie analytique p-adique
- A Non-Archimedean Interpretation of the Weight Zero Subspaces of Limit Mixed Hodge Structures
- Théorie de Fredholm $p$-adique
- Nagata's criterion and openness of loci for Gorenstein and complete intersection
- A new proof of the Gerritzen-Grauert theorem
- Un résultat de connexité pour les variétés analytiques p-adiques: privilège et noethérianité
- Ausgezeichnete Ringe in der nichtarchimedischen analytischen Geometrie.
Cited In (26)
- About Hrushovski and Loeser’s Work on the Homotopy Type of Berkovich Spaces
- Functorial factorization of birational maps for qe schemes in characteristic 0
- Berkovich spaces on \(\mathbb Z\): local study
- Good formal structures for flat meromorphic connections. III: Irregularity and turning loci
- Lubin-Tate and Drinfeld bundles
- Cohomological Finiteness of Proper Morphisms in Algebraic Geometry: A Purely Transcendental Proof, Without Projective Tools
- On Liu morphisms in non-Archimedean geometry
- Relative and logarithmic resolution of singularities
- Dévisser, découper, éclater et aplatir les espaces de Berkovich
- Picard groups in \(p\)-adic Fourier theory
- Un résultat de connexité pour les variétés analytiques p-adiques: privilège et noethérianité
- On local properties of non-Archimedean analytic spaces. II
- Functorial desingularization of quasi-excellent schemes in characteristic zero: the nonembedded case
- Patching over Berkovich curves and quadratic forms
- Tamely ramified forms of closed polydisks and laces
- Patching over analytic fibers and the local-global principle
- Finiteness theorems for vanishing cycles of formal schemes
- Tropical Skeletons
- The convergence Newton polygon of a \(p\)-adic differential equation. II: Continuity and finiteness on Berkovich curves
- A nonarchimedean Ax-Lindemann theorem
- Continuity of roots after Rabinoff
- Global pluripotential theory over a trivially valued field
- Degenerations of amoebae and Berkovich spaces
- Réduction en famille d'espaces affinoïdes
- DEFINABLE SETS OF BERKOVICH CURVES
- Paraboline variation over -adic families of -modules
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Berkovich spaces are angelic 👍 👎
- Berkovich spaces embed in Euclidean spaces 👍 👎
- Berkovich spaces and tubular descent 👍 👎
- Countability Properties of Some Berkovich Spaces 👍 👎
This page was built for publication: Berkovich spaces are excellent
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q734603)