Utilisation de l'aplatissement en g\'eom\'etrie de Berkovich

Antoine Ducros

arxiv: 2304.02415 · v3 · submitted 2023-04-05 · 🧮 math.AG

Utilisation de l'aplatissement en g\'eom\'etrie de Berkovich

Antoine Ducros This is my paper

Pith reviewed 2026-05-24 08:46 UTC · model grok-4.3

classification 🧮 math.AG

keywords Berkovich spacesflatnessG-topologyChevalley's theoremnon-archimedean analytic geometryanalytic spacesflattening techniquescompact maps

0 comments

The pith

Flattening techniques show flatness in Berkovich spaces equals naive flatness with G-topology local rings and substitute for Chevalley's theorem on images.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper applies flattening techniques from earlier work to maps between compact analytic spaces in Berkovich geometry. This process embellishes the maps and describes the structure of their images, providing a non-archimedean substitute for Chevalley's theorem. It further establishes that flatness coincides with naive flatness when local rings are taken with respect to the G-topology. A sympathetic reader cares because these results clarify how morphisms behave and what their images look like in this setting.

Core claim

By carrying out the flattening techniques developed in a former work in order to embellish a map between compact analytic spaces, the structure of its image is described, getting this way a substitute for Chevalley's theorem in the non-archimedean setting, and finally showing that flatness in the world of Berkovich spaces amounts to naive flatness provided one works with local rings for the G-topology.

What carries the argument

Flattening techniques applied to maps between compact Berkovich analytic spaces, combined with local rings for the G-topology.

If this is right

The image of any map between compact analytic spaces acquires a describable structure via flattening.
Flatness in Berkovich spaces reduces exactly to naive flatness under G-topology local rings.
Morphisms in non-archimedean analytic geometry become more tractable for image analysis.
Prior flattening methods extend directly to the compact Berkovich case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The results may simplify explicit calculations of images for concrete Berkovich maps.
They could support a theory of flat families or base change in this geometry.
Similar techniques might apply to related settings such as rigid analytic spaces.
The G-topology equivalence could influence how local properties are checked in practice.

Load-bearing premise

The flattening techniques from prior work can be carried out to embellish maps between compact analytic spaces in the Berkovich setting.

What would settle it

A specific map between two compact Berkovich analytic spaces for which flattening fails to describe the image structure, or for which flatness differs from naive flatness when using G-topology local rings.

read the original 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 rings for the G-topology

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This applies prior flattening techniques to maps of compact Berkovich spaces to obtain an image description as Chevalley substitute plus flatness equaling naive flatness on G-topology local rings.

read the letter

The main point is that Ducros takes the flattening methods from his earlier paper and runs them on maps between compact analytic spaces in the Berkovich setting. This produces a description of the image after the embellishment step, which functions as a substitute for Chevalley's theorem, and it shows flatness reduces to the naive version when local rings are taken with respect to the G-topology. Both results come directly from carrying out the prior techniques rather than from new foundational work. The paper does a clean job of staying inside that program and stating the outcomes for the compact case, where the methods apply without extra hypotheses showing up in the abstract. The dependence on the former work is explicit, so the value rests on how smoothly the extension goes through in the full arguments. No circularity or internal mismatch appears in the claims, and the scope is kept narrow to compact spaces, which matches the technique's reach. This is for specialists already working in Berkovich geometry or non-archimedean analytic geometry. A reader who needs concrete statements about images of maps or flatness checks in that setting will find the two results usable. It is incremental but targeted, so it deserves a serious referee who can check the details of the application against the earlier flattening results. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The paper applies flattening techniques developed in prior work to 'embellish' maps between compact analytic spaces in the Berkovich setting. This is used to describe the structure of the image of such a map, yielding a substitute for Chevalley's theorem in the non-archimedean context, and to prove that flatness for Berkovich spaces coincides with naive flatness when local rings are taken with respect to the G-topology.

Significance. If the central claims hold, the work supplies concrete tools for handling images of maps and flatness questions in Berkovich geometry by direct extension of earlier flattening results. The Chevalley substitute and the flatness characterization are potentially useful for researchers working with compact analytic spaces over non-archimedean fields.

minor comments (2)

The abstract contains the spelling 'developped' (should be 'developed').
The title is in French while the abstract is in English; the manuscript should state its working language clearly in the introduction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation builds on external prior techniques

full rationale

The abstract states that the paper applies flattening techniques from a former work to embellish maps between compact analytic spaces, describe image structure as a Chevalley substitute, and equate flatness to naive flatness under G-topology local rings. No equations, derivations, or self-referential reductions appear in the provided text. The dependence on prior work is a standard extension rather than a load-bearing self-citation that collapses the central claim to an unverified loop or definition. The argument is presented as a direct application in a specialized setting without internal inconsistencies or reductions by construction visible here. This is the most common honest non-finding for continuation papers.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information available from the abstract alone to identify free parameters, axioms, or invented entities; the work relies on techniques from a former paper whose details are not supplied here.

pith-pipeline@v0.9.0 · 5589 in / 1103 out tokens · 28044 ms · 2026-05-24T08:46:34.360002+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

carry out the flattening techniques... substitute for Chevalley's theorem... flatness... amounts to naive flatness provided one works with local rings for the G-topology
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

enjoliveurs... tour d'éclatements et de morphismes quasi-étales

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages · 1 internal anchor

[1]

Berkovich -- Spectral theory and analytic geometry over non- A rchimedean fields , Mathematical Surveys and Monographs, vol

V. Berkovich -- Spectral theory and analytic geometry over non- A rchimedean fields , Mathematical Surveys and Monographs, vol. 33, American Mathematical Society, Providence, RI, 1990

work page 1990
[2]

Hautes Études Sci

, \' E tale cohomology for non- A rchimedean analytic spaces , Inst. Hautes Études Sci. Publ. Math. 78 (1993), p. 5--161

work page 1993
[3]

Bosch, U

S. Bosch, U. G \"u ntzer R. Remmert -- Non- A rchimedean analysis. A systematic approach to rigid analytic geometry , Grundlehren der Mathematischen Wissenschaften, vol. 261, Springer-Verlag, Berlin, 1984

work page 1984
[4]

S. Bosch W. L\"utkebohmert -- Formal and rigid geometry. II . F lattening techniques , Math. Ann. 296 (1993), no. 3, p. 403--429

work page 1993
[5]

Bosch, W

S. Bosch, W. L"utkebohmert M. Raynaud -- N\'eron models , Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 21, 1990, p. x+325

work page 1990
[6]

Ducros -- Variation de la dimension relative en g\'eom\'etrie analytique p -adique , Compos

A. Ducros -- Variation de la dimension relative en g\'eom\'etrie analytique p -adique , Compos. Math. 143 (2007), no. 6, p. 1511--1532 (French)

work page 2007
[7]

, Les espaces de B erkovich sont excellents , Ann. Inst. Fourier (Grenoble) 59 (2009), no. 4, p. 1443--1552 (French)

work page 2009
[8]

Espaces de Berkovich, polytopes, squelettes et th\'eorie des mod\`eles

, Espaces de B erkovich, polytopes, squelettes et th\'eorie des mod\`eles , Confluentes Math. 4 (2012), no. 4, p. 1250007, 57 (French), arXiv :1203.6498

work page internal anchor Pith review Pith/arXiv arXiv 2012
[9]

, Families of B erkovich spaces , Astérisque 400 (2018), vii+262 p

work page 2018
[10]

, D\' e visser, d\' e couper, \' e clater et aplatir les espaces de B erkovich , Compos. Math. 157 (2021), no. 2, p. 236--302

work page 2021
[11]

Grothendieck -- \' E l\'ements de g\'eom\'etrie alg\'ebrique

A. Grothendieck -- \' E l\'ements de g\'eom\'etrie alg\'ebrique. III . \' E tude cohomologique des faisceaux coh\'erents. I , Inst. Hautes Études Sci. Publ. Math. 11 (1961), p. 167 (French)

work page 1961
[12]

Kiehl -- Der E ndlichkeitssatz f\"ur eigentliche A bbildungen in der nichtarchimedischen F unktionentheorie , Invent

R. Kiehl -- Der E ndlichkeitssatz f\"ur eigentliche A bbildungen in der nichtarchimedischen F unktionentheorie , Invent. Math. 2 (1967), p. 191--214 (German)

work page 1967
[13]

Lipshitz -- Rigid subanalytic sets , Amer

L. Lipshitz -- Rigid subanalytic sets , Amer. J. Math. 115 (1993), no. 1, p. 77--108

work page 1993
[14]

Marot -- Limite inductive plate de P -anneaux , J

J. Marot -- Limite inductive plate de P -anneaux , J. Algebra 57 (1979), no. 2, p. 484--496

work page 1979
[15]

Poineau -- Raccord sur les espaces de B erkovich , Algebra Number Theory 4 (2010), no

J. Poineau -- Raccord sur les espaces de B erkovich , Algebra Number Theory 4 (2010), no. 3

work page 2010
[16]

Raynaud L

M. Raynaud L. Gruson -- Crit\`eres de platitude et projectivit\'e. techniques de «platification» d'un module. , Invent. Math. 13 (1971)

work page 1971
[17]

Stacks project authors -- The stacks project , https://stacks.math.columbia.edu, 2022

T. Stacks project authors -- The stacks project , https://stacks.math.columbia.edu, 2022

work page 2022
[18]

Temkin -- On local properties of non- A rchimedean analytic spaces

M. Temkin -- On local properties of non- A rchimedean analytic spaces. II , Israel J. Math. 140 (2004), p. 1--27

work page 2004
[19]

write newline

" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION format.language language empty "" " (" language * ")" * if INTEGERS nameptr namesleft numnames FUNCTION format.names 's := #1 'nameptr := s num.names 'numnames := numnames 'namesleft := namesleft #0 > s nameptr " f. vv ll , jj " format.name 't := nameptr #1...

work page
[20]

@lbibitem[#1]#2 [\@biblabel #1 ] @tempwidthb \@biblabel #1 @tempwidthb> @tempwidtha @tempwidtha= @tempwidthb @filesw \@auxout #2 #1 @bibitem#1 @filesw \@auxout #1 \@listctr @tempwidthb \@biblabel @tempwidthb> @tempwidtha @tempwidtha= @tempwidthb \@lbibitem @lbibitem \@bibitem @bibitem @multicol multicol.sty \@classname Loading multicol.sty multicol @multi...

work page 2000

[1] [1]

Berkovich -- Spectral theory and analytic geometry over non- A rchimedean fields , Mathematical Surveys and Monographs, vol

V. Berkovich -- Spectral theory and analytic geometry over non- A rchimedean fields , Mathematical Surveys and Monographs, vol. 33, American Mathematical Society, Providence, RI, 1990

work page 1990

[2] [2]

Hautes Études Sci

, \' E tale cohomology for non- A rchimedean analytic spaces , Inst. Hautes Études Sci. Publ. Math. 78 (1993), p. 5--161

work page 1993

[3] [3]

Bosch, U

S. Bosch, U. G \"u ntzer R. Remmert -- Non- A rchimedean analysis. A systematic approach to rigid analytic geometry , Grundlehren der Mathematischen Wissenschaften, vol. 261, Springer-Verlag, Berlin, 1984

work page 1984

[4] [4]

S. Bosch W. L\"utkebohmert -- Formal and rigid geometry. II . F lattening techniques , Math. Ann. 296 (1993), no. 3, p. 403--429

work page 1993

[5] [5]

Bosch, W

S. Bosch, W. L"utkebohmert M. Raynaud -- N\'eron models , Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 21, 1990, p. x+325

work page 1990

[6] [6]

Ducros -- Variation de la dimension relative en g\'eom\'etrie analytique p -adique , Compos

A. Ducros -- Variation de la dimension relative en g\'eom\'etrie analytique p -adique , Compos. Math. 143 (2007), no. 6, p. 1511--1532 (French)

work page 2007

[7] [7]

, Les espaces de B erkovich sont excellents , Ann. Inst. Fourier (Grenoble) 59 (2009), no. 4, p. 1443--1552 (French)

work page 2009

[8] [8]

Espaces de Berkovich, polytopes, squelettes et th\'eorie des mod\`eles

, Espaces de B erkovich, polytopes, squelettes et th\'eorie des mod\`eles , Confluentes Math. 4 (2012), no. 4, p. 1250007, 57 (French), arXiv :1203.6498

work page internal anchor Pith review Pith/arXiv arXiv 2012

[9] [9]

, Families of B erkovich spaces , Astérisque 400 (2018), vii+262 p

work page 2018

[10] [10]

, D\' e visser, d\' e couper, \' e clater et aplatir les espaces de B erkovich , Compos. Math. 157 (2021), no. 2, p. 236--302

work page 2021

[11] [11]

Grothendieck -- \' E l\'ements de g\'eom\'etrie alg\'ebrique

A. Grothendieck -- \' E l\'ements de g\'eom\'etrie alg\'ebrique. III . \' E tude cohomologique des faisceaux coh\'erents. I , Inst. Hautes Études Sci. Publ. Math. 11 (1961), p. 167 (French)

work page 1961

[12] [12]

Kiehl -- Der E ndlichkeitssatz f\"ur eigentliche A bbildungen in der nichtarchimedischen F unktionentheorie , Invent

R. Kiehl -- Der E ndlichkeitssatz f\"ur eigentliche A bbildungen in der nichtarchimedischen F unktionentheorie , Invent. Math. 2 (1967), p. 191--214 (German)

work page 1967

[13] [13]

Lipshitz -- Rigid subanalytic sets , Amer

L. Lipshitz -- Rigid subanalytic sets , Amer. J. Math. 115 (1993), no. 1, p. 77--108

work page 1993

[14] [14]

Marot -- Limite inductive plate de P -anneaux , J

J. Marot -- Limite inductive plate de P -anneaux , J. Algebra 57 (1979), no. 2, p. 484--496

work page 1979

[15] [15]

Poineau -- Raccord sur les espaces de B erkovich , Algebra Number Theory 4 (2010), no

J. Poineau -- Raccord sur les espaces de B erkovich , Algebra Number Theory 4 (2010), no. 3

work page 2010

[16] [16]

Raynaud L

M. Raynaud L. Gruson -- Crit\`eres de platitude et projectivit\'e. techniques de «platification» d'un module. , Invent. Math. 13 (1971)

work page 1971

[17] [17]

Stacks project authors -- The stacks project , https://stacks.math.columbia.edu, 2022

T. Stacks project authors -- The stacks project , https://stacks.math.columbia.edu, 2022

work page 2022

[18] [18]

Temkin -- On local properties of non- A rchimedean analytic spaces

M. Temkin -- On local properties of non- A rchimedean analytic spaces. II , Israel J. Math. 140 (2004), p. 1--27

work page 2004

[19] [19]

write newline

" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION format.language language empty "" " (" language * ")" * if INTEGERS nameptr namesleft numnames FUNCTION format.names 's := #1 'nameptr := s num.names 'numnames := numnames 'namesleft := namesleft #0 > s nameptr " f. vv ll , jj " format.name 't := nameptr #1...

work page

[20] [20]

@lbibitem[#1]#2 [\@biblabel #1 ] @tempwidthb \@biblabel #1 @tempwidthb> @tempwidtha @tempwidtha= @tempwidthb @filesw \@auxout #2 #1 @bibitem#1 @filesw \@auxout #1 \@listctr @tempwidthb \@biblabel @tempwidthb> @tempwidtha @tempwidtha= @tempwidthb \@lbibitem @lbibitem \@bibitem @bibitem @multicol multicol.sty \@classname Loading multicol.sty multicol @multi...

work page 2000