English
Related papers

Related papers: Augmented Valuation and Minimal Pair

200 papers

So far there exist just a few results about the uniqueness of maximal immediate valued differential field extensions and about the relationship between differential-algebraic maximality and differential-henselianity; see arXiv:1509.02588,…

Commutative Algebra · Mathematics 2020-09-28 Lou van den Dries , Nigel Pynn-Coates

Let $k$ be a field with a real valuation $\nu$ and $R$ a $k$-algebra. We show that there exist a $k$-algebra $K$ and a real valuation $\mu$ on $K$ extending $\nu$ such that any real ring valuation of $R$ is induced by $\mu$ via some…

Algebraic Geometry · Mathematics 2013-04-30 D. A. Stepanov

Let $(K,\nu)$ be an arbitrary valued field with valuation ring $R_{\nu}$ and $L=K(\alpha)$, where $\alpha$ is a root of a monic irreducible polynomial $f\in R_{\nu}[x]$. In this paper, we characterize the integral closedness of…

Commutative Algebra · Mathematics 2022-02-02 Abdulaziz Deajim , Lhoussain El Fadil , Ahmed Najim

We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued fields is stably embedded in an elementary extension if and only if its…

Logic · Mathematics 2020-12-01 Pierre Touchard

\'Etant donn\'e un anneau de valuation $V$, de corps r\'esiduel $F$ et de groupe des valeurs $\Gamma$, on donne une condition suffisante pour qu'un anneau local dominant $V$ soit un anneau de valuation de groupe $\Gamma$. Lorsque $V$…

Commutative Algebra · Mathematics 2022-06-13 Laurent Moret-Bailly

Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the…

Logic · Mathematics 2022-06-16 Lothar Sebastian Krapp , Salma Kuhlmann , Moritz Link

We previously obtained a generalization and refinement of results about the ramification theory of Artin-Schreier extensions of discretely valued fields in characteristic $p$ with perfect residue fields to the case of fields with more…

Number Theory · Mathematics 2017-07-07 Vaidehee Thatte

Let F be a field complete for a real valuation. It is a standard result in valuation theory that a finite extension of F admits a valuation basis if and only if it is without defect. We show that even otherwise, one can construct bases in…

Rings and Algebras · Mathematics 2007-05-23 Kiran. S. Kedlaya

Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…

Algebraic Geometry · Mathematics 2019-02-01 Krzysztof Jan Nowak

We present a general structure theorem for the Hardy field of an o-minimal expansion of the reals by restricted analytic functions and an unrestricted exponential. We proceed to analyze its residue fields with respect to arbitrary convex…

Logic · Mathematics 2018-10-25 Franz-Viktor Kuhlmann , Salma Kuhlmann

We study the algebraic implications of the non-independence property (NIP) and variants thereof (dp-minimality) on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a…

Logic · Mathematics 2018-12-05 Katharina Dupont , Assaf Hasson , Salma Kuhlmann

In this note we relate the valuations of the algebras appearing in the non-commutative geometry of quantized algebras to properties of sub-lattices in some vector spaces. We consider the case of algebras with $PBW$-bases and prove that…

Rings and Algebras · Mathematics 2007-05-23 C. Baetica , F. Van Oystaeyen

In this paper, we extend the theory of minimal limit key polynomials of valuations on the polynomial ring $\kx$. We use the theory of cuts on ordered abelian groups to show that the previous results on bounded sets of key polynomials of…

Commutative Algebra · Mathematics 2023-11-23 Enric Nart , Josnei Novacoski

I analyze $\mathcal{O}$-weakly immediate and $\mathcal{O}$-residual types in an o-minimal expansion of an ordered field $\mathbb{E}$, where $\mathcal{O}$ is a convex valuation ring. The main result is a characterization of those exponential…

Logic · Mathematics 2025-11-18 Pietro Freni

Suppose that (K, $\nu$) is a valued field, f (z) $\in$ K[z] is a unitary and irreducible polynomial and (L, $\omega$) is an extension of valued fields, where L = K[z]/(f (z)). Further suppose that A is a local domain with quotient field K…

Algebraic Geometry · Mathematics 2021-03-09 Steven Dale Cutkosky , Steven Cutkosky , Hussein Mourtada , Bernard Teissier

Let $\mathcal{K}=(K,v,\ldots)$ be a dp-minimal expansion of a non-trivially valued field of characteristic $0$ and $\mathcal{F}$ an infinite field interpretable in $\mathcal{K}$. Assume that $\mathcal{K}$ is one of the following: (i)…

Logic · Mathematics 2021-09-03 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

Consider a simple algebraic valued field extension $(L/K,v)$ and denote by $\mathcal O_L$ and $\mathcal O_K$ the corresponding valuation rings. The main goal of this paper is to present, under certain assumptions, a description of $\mathcal…

Commutative Algebra · Mathematics 2025-03-13 Josnei Novacoski , Mark Spivakovsky

In this paper, we study extensions of valuations over algebraic field extensions without the use of the Axiom of Choice. We show a bijection between the extensions of a valuation and the maximal ideals of the relative integral closure of…

Commutative Algebra · Mathematics 2025-11-11 Cédric Aïd

Let $\Gamma$ be a totally ordered group. We use Hahn's embedding theorem to construct a totally ordered set $\Gamma\subset \Gamma_{\operatorname{sme}}$ which classifies small extensions of $\Gamma$. This small-extensions closure…

Commutative Algebra · Mathematics 2020-11-12 Enric Nart

In this paper, for a henselian valued field $(K,v)$ of arbitrary rank and an extension $w$ of $v$ to $K(X),$ we use abstract key polynomials for $w$ to obtain distinguished pairs and saturated distinguished chains.

Commutative Algebra · Mathematics 2022-01-03 Sneha Mavi , Anuj Bishnoi