[Paper Review] La structure des courbes analytiques

Antoine Ducros|arXiv (Cornell University)|May 17, 2024

History and Theory of Mathematics19 citations

TL;DR

A study of Berkovich analytic curves over a complete ultrametric field, establishing a direct analysis of their structure via skeleta, triangulations, and semi-stable reduction without relying on pre-built models, and developing tools for local and global analysis.

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 seems better to make it available on a public preprint server.

Motivation & Objective

• Motivate a direct, local-global study of Berkovich analytic curves over a complete ultrametric field.
• Develop a framework to triangulate analytic curves and extract a canonical skeleta.
• Establish connections between analytic structure and reduction theory (Temkin) to derive semi-stable reduction.
• Provide foundational tools for studying branches, neighborhoods, and cohomology on analytic curves.

Proposed method

• Introduce and study the ℵ(E) space of balls in ultrametric spaces and its compactification ℶ(E).
• Define and analyze open saturated chains and their rays, establishing a correspondence with balls in E.
• Develop the arborical (tree-like) compactification and universal properties of graph-like structures.
• Construct and utilize admissible subgraphs and the analytic skeleton to triangulate curves.
• Prove existence of a triangulation for any analytic curve and use it to study algebraic and cohomological properties.

Experimental results

Research questions

• RQ1 How can analytic curves over ultrametric fields be decomposed into combinatorial skeleta via triangulations?
• RQ2 What is the relationship between the analytic structure of a Berkovich curve and its reductions (Temkin-type gradings) to achieve semi-stable reduction?
• RQ3 How do local branch behavior and valuations interact in quasi-smooth curves, and how can these be organized into a global framework?
• RQ4 Can one describe finite-type morphisms, ramification, and cohomology of curves through their skeleta and triangulations?

Key findings

• Every analytic curve admits a triangulation, yielding a skeleton that encodes its global topological and analytic structure.
• The skeleton and triangulation facilitate a semi-stable reduction framework, linking analytic geometry to graded reduction spaces.
• Structures such as branch behavior, valuations, and neighborhoods can be described via combinatorial data on the skeleton, enabling analyses of morphisms and cohomology.
• Quasi-smooth curves exhibit structured neighborhoods and genus-related properties that can be analyzed through the triangulated skeleton.
• Discussions include explicit descriptions of discs, annuli, virtual coverings, and the behavior of coverings in the triangulated setting.