English
Related papers

Related papers: Augmented Valuation and Minimal Pair

200 papers

Let $V$ be a valuation domain of rank one with quotient field $K$. We study the set of extensions of $V$ to the field of rational functions $K(X)$ induced by pseudo-convergent sequences of $K$ from a topological point of view, endowing this…

Commutative Algebra · Mathematics 2022-07-12 Giulio Peruginelli , Dario Spirito

We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have…

Logic · Mathematics 2019-02-06 Lothar Sebastian Krapp , Salma Kuhlmann , Gabriel Lehéricy

An equivalence is established between the category of at most $a$-ramified finite separable extensions of a complete discrete valuation field $K$ and the category of at most $a$-ramified finite extensions of the "length-$a$ truncation"…

Number Theory · Mathematics 2012-12-20 Toshiro Hiranouchi , Yuichiro Taguchi

In his unpublished preprint "Definable Valuations" Koenigsmann shows that every field that admits a t-henselian topology is either real closed or separably closed or admits a definable valuation inducing the t-henselian topology. To show…

Logic · Mathematics 2016-03-31 Katharina Dupont

We study function fields of curves over a base field $K$ which is either a global field or a large field having a separable field extension of degree divisible by $4$. We show that, for any such function field, Hilbert's 10th Problem has a…

Number Theory · Mathematics 2025-09-24 Karim Johannes Becher , Nicolas Daans , Philip Dittmann

We give a necessary and sufficient condition for an extension of valuation rings containing $\bf Q$ to be a filtered direct limit of smooth algebras.

Commutative Algebra · Mathematics 2022-05-10 Dorin Popescu

Let $v$ be a discrete valuation of a field $K$, which indicates that the valuation group of $v$ is isomorphic to the integers $\mathbb{Z}$ with the natural order, and let $L$ be a finite separable extension of $K$ with a complete set…

Commutative Algebra · Mathematics 2025-01-07 Norio Adachi

In this paper, for a valued field $(K, v)$ of arbitrary rank and an extension $w$ of $v$ to $K(X),$ we give a connection between complete sets of ABKPs for $w$ and MacLane-Vaqui\'e chains of $w.$

Commutative Algebra · Mathematics 2022-09-27 Sneha Mavi , Anuj Bishnoi

For $(K,v)$ a Henselian valued field, let $\theta\in\overline{K}$ with minimal polynomial $F$ over $K$. Okutsu sequences of $\theta$ have been defined only when the extension $K(\theta)/K$ is defectless. In this paper, we extend this…

Number Theory · Mathematics 2024-07-16 Enric Nart

Consider a complete discrete valuation ring $\mathcal{O}$ with quotient field $F$ and finite residue field. Then the inclusion map $\mathcal{O} \hookrightarrow F$ induces a map $\hat{\mathrm{K}}^\mathrm{M}_*\mathcal{O} \to…

K-Theory and Homology · Mathematics 2017-07-20 Christian Dahlhausen

We show that an algebraic immediate valuation ring extension of characteristic $p>0$ is a filtered union of complete intersection algebras of finite type.

Commutative Algebra · Mathematics 2026-05-12 Dorin Popescu

We study the question which henselian fields admit definable henselian valuations (with or without parameters). We show that every field which admits a henselian valuation with non-divisible value group admits a parameter-definable…

Logic · Mathematics 2015-01-20 Franziska Jahnke , Jochen Koenigsmann

For a henselian valued field $(K,v)$ we establish a complete parallelism between the arithmetic properties of irreducible polynomials $F\in K[x]$, encoded by their Okutsu frames, and the valuation-theoretic properties of their induced…

Commutative Algebra · Mathematics 2023-03-24 Maria Alberich-Carramiñana , Jordi Guàrdia , Joaquím Roé , Enric Nart

We consider the last value $\hat{\mu} (\nu)$ of the vanishing sequence of $H^0(L)$ along a divisorial or irrational valuation $\nu$ centered at $\mathcal{O}_{\mathbb{P}^2,p}$, where $L$ resp. $p$ is a line resp. a point of the projective…

Algebraic Geometry · Mathematics 2017-05-11 Carlos Galindo , Francisco Monserrat , Julio José Moyano-Fernández

In this paper, we undertake a systematic model and valuation theoretic study of the class of ordered fields which are dense in their real closure. We apply this study to determine definable henselian valuations on ordered fields, in the…

Logic · Mathematics 2021-07-21 Lothar Sebastian Krapp , Salma Kuhlmann , Gabriel Lehéricy

We show that asymptotic (valued differential) fields have unique maximal immediate extensions. Connecting this to differential-henselianity, we prove that any differential-henselian asymptotic field is differential-algebraically maximal,…

Commutative Algebra · Mathematics 2020-12-09 Nigel Pynn-Coates

Every discrete definable subset of a closed asymptotic couple with ordered scalar field $\boldsymbol k$ is shown to be contained in a finite-dimensional $\boldsymbol k$-linear subspace of that couple. It follows that the differential-valued…

Logic · Mathematics 2022-03-14 Matthias Aschenbrenner , Lou van den Dries , Joris van der Hoeven

This article discusses a way for uniquely setting up the valuations for the minimal generators of the maximal ideal of a one dimensional complete reduced and irreducible local algebra over an algebraically closed field, when treated as a…

Commutative Algebra · Mathematics 2025-09-23 Reinhold Hübl , Craig Huneke , Sarasij Maitra , Vivek Mukundan

Gr\"obner bases have been generalized by replacing monomial orders with constructions such as valuations and filtrations. We consider suitable valuations on a rational valuation field $K(x,y)$ and analyze their behavior when restricting to…

Commutative Algebra · Mathematics 2018-06-01 Edward Mosteig

Let $k$ be a field of characteristic $p$. We construct a new inflation functor for cohomological Mackey functors for finite groups over $k$. Using this inflation functor, we give an explicit presentation of the graded algebra of self…

Group Theory · Mathematics 2010-10-08 Serge Bouc , Radu Stancu