The Valuative Tree

By C. Favre, Mattias Jonsson. 2002

298 citations recorded by the source corpus.

1 Generalities.- 1.1 Setup.- 1.2 Valuations.- 1.3 Krull Valuations.- 1.4 Plane Curves.- 1.5 Examples of Valuations.- 1.5.1 The Multiplicity Valuation.- 1.5.2 Monomial Valuations.- 1.5.3 Divisorial Valuations.- 1.5.4 Quasimonomial Valuations.- 1.5.5 Curve Valuations.- 1.5.6 Exceptional Curve Valuations.- 1.5.7 Infinitely Singular Valuations.- 1.6 Valuations Versus Krull Valuations.- 1.7 Sequences of Blowups and Krull Valuations.- 2 MacLane's Method.- 2.1 Sequences of Key Polynomials.- 2.1.1 Key Polynomials.- 2.1.2 From SKP's to Valuations I.- 2.1.3 Proof of Theorem 2.8.- 2.1.4 From SKP's to Valuations II.- 2.2 Classification.- 2.3 Graded Rings and Numerical Invariants.- 2.3.1 Homogeneous Decomposition I.- 2.3.2 Homogeneous Decomposition II.- 2.3.3 Value Semigroups and Numerical Invariants.- 2.4 From Valuations to SKP's.- 2.5 A Computation.- 3 Tree Structures.- 3.1 Trees.- 3.1.1 Rooted Nonmetric Trees.- 3.1.2 Nonmetric Trees.- 3.1.3 Parameterized Trees.- 3.1.4 The Weak Topology.- 3.1.5 Metric Trees.- 3.1.6 Trees from Ultrametric Spaces.- 3.1.7 Trees from Simplicial Trees.- 3.1.8 Trees from Q-trees.- 3.2 Nonmetric Tree Structure on V.- 3.2.1 Partial Ordering.- 3.2.2 Dendrology.- 3.2.3 A Model Tree for V.- 3.3 Parameterization of V by Skewness.- 3.3.1 Skewness.- 3.3.2 Parameterization.- 3.3.3 Proofs.- 3.3.4 Tree Metrics.- 3.4 Multiplicities.- 3.5 Approximating Sequences.- 3.6 Thinness.- 3.7 Value Semigroups and Approximating Sequences.- 3.8 Balls of Curves.- 3.8.1 Valuations Through Intersections.- 3.8.2 Balls of Curves.- 3.9 The Relative Tree Structure.- 3.9.1 The Relative Valuative Tree.- 3.9.2 Relative Parameterizations.- 3.9.3 Balls of Curves.- 3.9.4 Homogeneity.- 4 Valuations Through Puiseux Series.- 4.1 Puiseux Series and Valuations.- 4.2 Tree Structure.- 4.2.1 Nonmetric Tree Structure.- 4.2.2 Puiseux Parameterization.- 4.2.3 Multiplicities.- 4.3 Galois Action.- 4.3.1 The Galois Group.- 4.3.2 Action on Vx.- 4.3.3 The Orbit Tree.- 4.4 A Tale of Two Trees.- 4.4.1 Minimal Polynomials.- 4.4.2 The Morphism.- 4.4.3 Proof.- 4.5 The Berkovich Projective Line.- 4.6 The Bruhat-Tits Metric.- 4.7 Dictionary.- 5 Topologies.- 5.1 The Weak Topology.- 5.1.1 The Equivalence.- 5.1.2 Properties.- 5.2 The Strong Topology on V.- 5.2.1 Strong Topology I.- 5.2.2 Strong Topology II.- 5.2.3 The Equivalence.- 5.2.4 Properties.- 5.3 The Strong Topology on Vqm.- 5.4 Thin Topologies.- 5.5 The Zariski Topology.- 5.5.1 Definition.- 5.5.2 Recovering V from VK.- 5.6 The Hausdorff-Zariski Topology.- 5.6.1 Definition.- 5.6.2 The N-tree Structure on VK.- 5.7 Comparison of Topologies.- 5.7.1 Topologies.- 5.7.2 Metrics.- 6 The Universal Dual Graph.- 6.1 Nonmetric Tree Structure.- 6.1.1 Compositions of Blowups.- 6.1.2 Dual Graphs.- 6.1.3 The Q-tree.- 6.1.4 Tangent Spaces.- 6.1.5 The R-tree.- 6.2 Infinitely Near Points.- 6.2.1 Definitions and Main Results.- 6.2.2 Proofs.- 6.3 Parameterization and Multiplicity.- 6.3.1 Farey Weights and Parameters.- 6.3.2 Multiplicities.- 6.4 The Isomorphism.- 6.5 Proof of the Isomorphism.- 6.5.1 Step 1: ? : ?* ? Vdiv is bijective.- 6.5.2 Step 2: A?? = A.- 6.5.3 Step 3: ? and ??1 Are Order Preserving.- 6.5.4 Step 4: ? Preserves Multiplicity.- 6.6 Applications.- 6.6.1 Curvettes.- 6.6.2 Centers of Valuations and Partitions of V.- 6.6.3 Potpourri on Divisorial Valuations.- 6.6.4 Monomialization.- 6.7 The Dual Graph of the Minimal Desingularization.- 6.7.1 The Embedding of ?C* in ?*.- 6.7.2 Construction of ?C from the Equisingularity Type of C.- 6.8 The Relative Tree Structure.- 6.8.1 The Relative Dual Graph.- 6.8.2 Weights, Parameterization and Multiplicities.- 6.8.3 The Isomorphism.- 6.8.4 The Contraction Map at a Free Point.- 7 Tree Measures.- 7.1 Outline.- 7.1.1 The Unbranched Case.- 7.1.2 The General Case.- 7.1.3 Organization.- 7.2 More on the Weak Topology.- 7.2.1 Definition.- 7.2.2 Basic properties.- 7.2.3 Subtrees.- 7.2.4 Connectedness.- 7.2.5 Compactness.- 7.3 Borel Measures.- 7.3.1 Basic Properties.- 7.3.2 Radon Measures.- 7.3.3 Spaces of Measures.- 7.3.4 The Support of a Measure.- 7.3.5 A Generating Algebra.- 7.3.6 Every Complex Borel Measure is Radon.- 7.4 Functions of Bounded Variation.- 7.4.1 Definitions.- 7.4.2 Decomposition.- 7.4.3 Limits and Continuity.- 7.4.4 The Space N.- 7.4.5 Finite Trees.- 7.4.6 Proofs.- 7.5 Representation Theorem I.- 7.5.1 First Step.- 7.5.2 Second Step: from Functions to Measures.- 7.5.3 Total Variation.- 7.6 Complex Tree Potentials.- 7.6.1 Definition.- 7.6.2 Directional Derivatives.- 7.7 Representation Theorem II.- 7.8 Atomic Measures.- 7.9 Positive Tree Potentials.- 7.9.1 Definition.- 7.9.2 Jordan Decompositions.- 7.10 Weak Topologies and Compactness.- 7.11 Restrictions to Subtrees.- 7.12 Inner Products.- 7.12.1 Hausdorff Measure.- 7.12.2 The Positive Case.- 7.12.3 Properties.- 7.12.4 The Complex Case.- 7.12.5 Topologies and Completeness.- 8 Applications of the Tree Analysis.- 8.1 Zariski's Theory of Complete Ideals.- 8.1.1 Basic Properties.- 8.1.2 Normalized Blowup.- 8.1.3 Integral Closures.- 8.1.4 Multiplicities.- 8.2 The Voute etoilee.- 8.2.1 Definition.- 8.2.2 Cohomology.- 8.2.3 Intersection Product.- 8.2.4 Associated Complex Tree Potentials.- 8.2.5 Isometric Embedding.- 8.2.6 Cohomology Groups.- A Infinitely Singular Valuations.- A.1 Characterizations.- A.2 Constructions.- B The Tangent Space at a Divisorial Valuation.- C Classification.- D Combinatorics of Plane Curve Singularities.- D.1 Zariski's Terminology for Plane Curve Singularities.- D.2 The Eggers Tree.- E.1 Completeness.- E.2 The Residue Field.- References.

Subfields: Algebra and Number Theory, Computational Theory and Mathematics, Geometry and Topology

View Paper: https://www.semanticscholar.org/paper/ba08977aa810e3596e714514b84ca0daa50f548b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Algebra and Number Theory

In Computational Theory and Mathematics

In Geometry and Topology

Citations in the corpus

Valuations and plurisubharmonic singularities (2007, methodology): “A potential theory for analytic curves defined over arbitrary non-Archimedean fields has been developed by Thuillier [T1], see also [BR], [FJ1].”
A finiteness theorem for canonical heights attached to rational maps over function fields (2006, methodology): “A similar theory has been developed independently by at least three different sets of authors – see [11], [5], and [20].”
A non-Archimedean approach to K-stability (2018, methodology): “The log discrepancy functional was extended to all of X val in [JM12] (following earlier work in [FJ04, BFJ08]).”
Valuations and multiplier ideals (2004, methodology): “Geometric interpretation of divisorial valuations ([FJ1, Chapter 6]) .”
Harmonic Analysis on Metrized Graphs (2004, background): “[FJ] C. Favre and M. Jonsson, The Valuative Tree.”
Valuative analysis of planar plurisubharmonic functions (2004, methodology): “The structure of V, essential to our analysis here, is described in great detail in [FJ1]; we recall in Section 1 the results that we use in the present paper.”
The tropicalization of the moduli space of curves (2012, unknown): “The toroidal structure determines local monomial coordinates on each stratum of X , and the target of the retraction Σ( X ) is the space of monomial valuations in these local coordinates; see [FJ04, Section 1.5.4] for details on mono-mial valuations.”
Integral closure of ideals, rings, and modules (2006, background): “For more information about this correspondence and related topics see [78], [79], [50], [53], and [94].”
Good formal structures for flat meromorphic connections, I: Surfaces (2008, methodology): “nit disc as a set. We now equip it with the additional structure of a partial ordering. There are additional useful structures one can impose, including metric and topological structures; see [6] and [12] for further discussion. Deﬁnition 5.2.1. For α,β ∈ D, we say that α dominates β, denoted α ≥ β,”
Discrete holomorphic local dynamical systems (2009, background): “s with a superattracting ﬁxed point which are not even topologically locally conjugated to the ﬁrst non-vanishing term of their homogeneous expansion. Recently, Favre and Jonsson (see, e.g., [Fa] and [FJ1, 2]) have begun a very detailed study of superattracting ﬁxed points in C2, study that might le”
The Signature of a Rough Path: Uniqueness (2014, background): “We refer the reader to [23] for the proof.”
A Guided Tour to Normalized Volume (2018, background): “ubset ValX,x ⊂ValX is endowed with the subspace topology. In some literatures, the space ValX,x is called the non-archimedean link of x ∈X. When X = C2, the geometry of ValX,x is understood well (see [FJ04]). For higher dimension, its structure is much more complicated but can be described as an inv”
Heights and measures on analytic spaces. A survey of recent results, and some remarks (2010, background): “works [38, 39, 40, 30] who discuss the functionﬁeld case of the equidistributiontheorem, as well as the potentialtheoryon nonarchimedeancurvesdevelopedsimultaneouslybyFavre,Jonsson&Rivera-Letelier[32, 33] and Baker & Rumelyfor the projective line [8], and in general by A. Thuillier’s PhD the”