On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case

DOI10.1016/J.JALGEBRA.2020.11.020MaRDI QIDQ827052zbMATH OpenOpenAlexFDO

Authors Henri Lombardi, Stefan Neuwirth, M. E. Alonso

Publication date 6 January 2021

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

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

zbMATH Keywords

henselisation of a residually discrete local ringhenselisation of a valuated discrete fieldminimal valuation

Mathematics Subject Classification ID

Valued fields (12J10) Étale and flat extensions; Henselization; Artin approximation (13B40) Henselian rings (13J15) Local structure of morphisms in algebraic geometry: étale, flat, etc. (14B25)

Abstract: Let R be a local domain, v a valuation of its quotient field centred in R at its maximal ideal. We investigate the relationship between R^h, the henselisation of R as local ring, and {~v}, the henselisation of the valuation v, by focussing on the recent result by de Felipe and Teissier referred to in the title. We give a new proof that simplifies the original one by using purely algebraic arguments. This proof is moreover constructive in the sense of Bishop and previous work of the authors, and allows us to obtain as a by-product a (slight) generalisation of the theorem by de Felipe and Teissier.

Review text

Modulo a slight generalisation, the authors of this paper give a simple and constructive proof of the following theorem of \textit{A. B. de Felipe} and \textit{B. Teissier} [Math. Ann. 377, No. 3--4, 935--967 (2020; Zbl 1451.12005)]. Let \(R\) be a local domain and let \(R^h\) be its henselisation. If \(v\) is a valuation centred in \(R\), then: (1) There exists a unique prime ideal \(H(v)\) of \(R^h\) lying over the zero ideal of \(R\) such that \(v\) extends to a valuation \(\tilde v\) centred in \(R^h/H(v)\) through the inclusion \(R\subseteq R^h/H(v)\). In addition, the ideal \(H(v)\) is a minimal prime and the extension \(\tilde v\) is unique. (2) With the notations of (1), the valuations \(v\) and \(\tilde v\) have the same value group.

Recommendations

• Valuations and Henselization
• Extensions of valuations to the Henselization and completion
• Henselian valuations and orderings of a commutative ring
• Henselian elements
• Extensions of valuations to the Henselization and completion of a local ring

Cites work

• A course in constructive algebra
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Construction of the Henselization of a valued field
• Elementary constructive theory of Henselian local rings
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Revisiting Zariski main theorem from a constructive point of view
• Valuations and Henselization

Cited in

(2)

• The étale open topology over the fraction field of a Henselian local domain
• Multivariate Hensel lemma for ultrametric fields

This page was built for publication: On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case

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