Valuative trees over valued fields

DOI10.1016/J.JALGEBRA.2022.09.014MaRDI QIDQ2097241zbMATH OpenOpenAlexFDO

Authors Maria Alberich-Carramiñana, Joaquim Roé, Jordi Guárdia, Enric Nart

Publication date 11 November 2022

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2107.09813

zbMATH Keywords

key polynomialMac Lane-Vaquié chainvaluative tree

Mathematics Subject Classification ID

General valuation theory for fields (12J20) Valuations and their generalizations for commutative rings (13A18) Complete rings, completion (13J10) Global theory and resolution of singularities (algebro-geometric aspects) (14E15)

Abstract: For an arbitrary valued field $(K,v)$ and a given extension $v(K^{\ast })hookrightarrowLambda$ of ordered groups, we analyze the structure of the tree formed by all $Lambda$-valued extensions of $v$ to the polynomial ring $K[x]$. As an application, we find a model for the tree of all equivalence classes of valuations on $K[x]$ (without fixing their value group), whose restriction to $K$ is equivalent to $v$. In the henselian case, we apply these results to show that there is a complete parallelism between the arithmetic properties of irreducible polynomials $FinK[x]$, encoded by their Okutsu frames, and the valuation-theoretic properties of their induced valuations $v_F$ on $K[x]$, encoded by their MacLane-Vaqui'e chains. This parallelism was only known for defectless irreducible polynomials.

Review text

Given a valuation \(\nu\) on a commutative ring \(A\), it is natural to consider the set \([\nu]\) of all valuations which are equivalent to the given one. The set of these equivalence classes is called the valuative spectrum of \(A\), noted \(\mathrm{Spv}(A)\). Then, given a ring homomorphism \(A \rightarrow B\), a pull-back mapping is defined: \(\mathrm{Spv}(B) \rightarrow \mathrm{Spv}(A)\). For a valued field \((K,v)\), considering the natural embedding \(K \hookrightarrow K[x]\), the equivalence class \([v] \in \mathrm{Spv}(K)\) determines a set \(\mathcal{T}_v \in \mathrm{Spv}(K[x])\) called the valuative tree over \((K,v)\) (the word tree makes perfect sense, although it is not entirely trivial why). This paper deals with the precise description of this object for a generic case. The first part of the paper (Sections 1 to 5) focuses on the case where the valuation groups come correspond to a fixed extension of ordered abelian groups and involves deep technical arguments encompassing many previous results (including previous work from the authors). Finally, in sections 6 and 7 the desired description is reached. In particular, the object \(\mathcal{T}_v\) is described via a bijection with a newly defined object \(\mathcal{T}_{\mathrm{sme}}\), which arises from the so-called small extensions of the valuation group. Summing up, this paper produces a very precise and complicated theorem, with lots of intermediate results, many of which are interesting on their own. The level of sophistication and technical difficulty is quite high, but the paper is clearly written.

Recommendations

• The valuative tree
• Rigidity of valuative trees under Henselization
• The valuative tree of a two-dimensional regular local ring
• Trees and valuation rings
• Valuations centered at a two-dimensional regular local domain: infima and topologies

Cites work

• A Construction for Absolute Values in Polynomial Rings
• Computation of residual polynomial operators of inductive valuations
• Cuts and small extensions of abelian ordered groups
• Extension d’une valuation
• Genetics of polynomials over local fields
• scientific article; zbMATH DE number 47872 (Why is no real title available?)
• scientific article; zbMATH DE number 1497487 (Why is no real title available?)
• scientific article; zbMATH DE number 1535858 (Why is no real title available?)
• scientific article; zbMATH DE number 2230051 (Why is no real title available?)
• Key polynomials over valued fields
• MacLane-Vaquié chains of valuations on a polynomial ring
• Rigidity of valuative trees under Henselization
• The valuative tree
• Valuation theory
• Value groups, residue fields, and bad places of rational function fields

Cited in

(17)

• Trees, valuations and the Green-Lazarsfeld set.
• Simply presented valuated modules
• The valuative tree
• Cuts and small extensions of abelian ordered groups
• Rigidity of valuative trees under Henselization
• The valuative tree is the projective limit of Eggers-Wall trees
• The valuative tree of a two-dimensional regular local ring
• scientific article; zbMATH DE number 3891392 (Why is no real title available?)
• Trees and valuation rings
• Valuations centered at a two-dimensional regular local domain: infima and topologies
• The defect formula
• Geometric parametrization of valuations on a polynomial ring in one variable
• Parametrizations of subsets of the space of valuations
• On characterizations of approximation types using MacLane-Vaquié chains
• A topological approach to key polynomials
• Polynomial factorization over Henselian fields
• On OM algorithms and cluster pictures

This page was built for publication: Valuative trees over valued fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2097241)