Constructive general Néron desingularization for one dimensional local rings

DOI10.1016/J.JSC.2016.07.026MaRDI QIDQ1711989zbMATH OpenOpenAlexFDO

Authors Gerhard Pfister, Dorin Popescu

Publication date 21 January 2019

Published in Journal of Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

regular morphismssmooth morphismssmoothing ring morphisms

Mathematics Subject Classification ID

Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Local structure of morphisms in algebraic geometry: étale, flat, etc. (14B25) Étale and flat extensions; Henselization; Artin approximation (13B40) Regular local rings (13H05) Software, source code, etc. for problems pertaining to commutative algebra (13-04) Henselian rings (13J15)

Abstract: An algorithmic proof of General Neron Desingularization is given here for one dimensional local rings and it is implemented in Singular. Also a theorem recalling Greenberg' strong approximation theorem is presented for one dimensional local rings.

Recommendations

• Construction of Néron desingularization for two dimensional rings
• Simple General Neron Desingularization in local Q-algebras
• Constructive Néron Desingularization of algebras with big smooth locus
• A Method to Compute the General Neron Desingularization in the Frame of One-Dimensional Local Domains
• A uniform general Neron desingularization in dimension one
• On one-dimensional local rings and Berger’s conjecture
• On Berger's conjecture about one dimensional local rings
• Locally nilpotent derivations and the structure of rings
• Publication:3476931
• scientific article; zbMATH DE number 3929149

Cites work

• scientific article; zbMATH DE number 3897078 (Why is no real title available?)
• scientific article; zbMATH DE number 1514318 (Why is no real title available?)
• scientific article; zbMATH DE number 1522510 (Why is no real title available?)
• scientific article; zbMATH DE number 1405838 (Why is no real title available?)
• A Method to Compute the General Neron Desingularization in the Frame of One-Dimensional Local Domains
• A new proof of D. Popescu’s theorem on smoothing of ring homomorphisms
• Algebraic approximation of structures over complete local rings
• Around general Neron desingularization
• Artin approximation property and the General Neron Desingularization
• General Néron desingularization
• General Néron desingularization and approximation
• Letter to the editor: General Néron desingularization and approximation
• Modèles minimaux des variétés abéliennes sur les corps locaux et globaux
• Rational points in Henselian discrete valuation rings
• Solutions d'équations à coefficients dans un anneau hensélien

Cited in

(7)

• An easy proof of the General Néron Desingularization in dimension \(\leq 1\)
• A uniform general Neron desingularization in dimension one
• Constructive Néron Desingularization of algebras with big smooth locus
• A Method to Compute the General Neron Desingularization in the Frame of One-Dimensional Local Domains
• Simple General Neron Desingularization in local Q-algebras
• Algorithms in the classical Néron desingularization
• Construction of Néron desingularization for two dimensional rings

Describes a project that uses

Uses Software

• GND.lib
• SINGULAR

This page was built for publication: Constructive general Néron desingularization for one dimensional local rings

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