English
Related papers

Related papers: On valuation independence and defectless extension…

200 papers

The paper establishes a relationship between finite separable extensions and norm groups of strictly quasilocal fields with Henselian discrete valuations, which yields a generally nonabelian one-dimensional local class field theory.

Rings and Algebras · Mathematics 2007-05-23 I. D. Chipchakov

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

In this work we show that the classical subject of general valuation theory and Zariski-Riemann varieties has a much wider scope than commutative algebra and desingularization theory. We construct and investigate birational projective limit…

Algebraic Geometry · Mathematics 2016-10-26 Stefan Günther

This is an introduction to the author theory of cyclic p-extensions of an absolutely unramified complete discrete valuation field K with arbitrary residue field of characteristic p. In this theory a homomorphism is constructed from the…

Number Theory · Mathematics 2009-09-25 Masato Kurihara

The theory of valued difference fields $(K, \sigma, v)$ depends on how the valuation $v$ interacts with the automorphism $\sigma$. Two special cases have already been worked out - the isometric case, where $v(\sigma(x)) = v(x)$ for all…

Logic · Mathematics 2013-02-14 Koushik Pal

A classical theorem of P. McMullen describes all valuations on polytopes that are invariant under translations and weakly continuous, i.e., continuous with respect to parallel displacements of the facets of a polytope. While it is typically…

Metric Geometry · Mathematics 2019-08-15 Thomas Wannerer

We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of…

Logic · Mathematics 2007-05-23 Deirdre Haskell , Ehud Hrushovski , Dugald Macpherson

Author's generalization of one-dimensional class field theory to theory of abelian totally ramified p-extensions of a complete discrete valuation field with arbitrary non-separably p-closed residue field and its applications are described.

Number Theory · Mathematics 2007-05-23 Ivan Fesenko

The goal of this paper is to generalize and refine the classical ramification theory of complete discrete valuation rings to more general valuation rings, in the case of Artin-Schreier extensions. We define refined versions of invariants of…

Number Theory · Mathematics 2015-11-09 Vaidehee Thatte

Let (R; m; k) be a local noetherian domain with field of fractions K and R_v a valuation ring, dominating R (not necessarily birationally). Let v|K be the restriction of v to K; by definition, v|K is centered at R. Let \hat{R} denote the…

Algebraic Geometry · Mathematics 2012-11-05 F. J. Herrera Govantes , M. A. Olalla Acosta , M. Spivakovsky , B. Teissier

We give a proposal for future development of the model theory of valued fields. We also summarize some recent results on p-adic numbers.

Logic · Mathematics 2007-05-23 Raf Cluckers

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

We investigate the coupling between the inflaton and massive vector fields. All renormalizable couplings with shift symmetry of the inflaton are considered. The massive vector can be decomposed into a scalar mode and a divergence-free…

High Energy Physics - Theory · Physics 2015-08-24 Junyu Liu , Yi Wang , Siyi Zhou

This article is a natural construction of our previous works. In this article, we employ similar ideas due to MacLane to provide an estimate of IC(K(X)|K,v) when (K(X)|K,v) is a valuation algebraic extension. Our central result is an…

Algebraic Geometry · Mathematics 2021-11-30 Arpan Dutta

Let $(K,\nu)$ be an arbitrary-rank valued field, $R_\nu$ its valuation ring, $K(\alpha)/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial $f\in R_\nu[X]$. We give necessary and sufficient…

Number Theory · Mathematics 2019-08-20 Lhoussain El Fadil , Mhammed Boulagouaz , Abdulaziz Deajim

We give a first-order definition of key polynomials, we show the links with previous definitions, that it is relevant to study key degrees, and to use a kind of valuations that we call partially multiplicative. We also prove or reprove…

Commutative Algebra · Mathematics 2022-05-19 Gérard Leloup

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

Given a valued field $(K,v)$ and its completion $(\widehat{K},v)$, we study the set of all possible extensions of $v$ to $\widehat{K}(X)$. We show that any such extension is closely connected with the underlying subextension $(K(X)|K,v)$.…

Algebraic Geometry · Mathematics 2023-05-30 Arpan Dutta

Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect…

Logic · Mathematics 2023-03-08 Elliot Kaplan

We study the theory of a global field k as a k-vector space with a predicate for one of the absolute values on k. For example, we prove that in this language a global field with an ultrametric or real archimedean absolute value has a…

Logic · Mathematics 2026-03-27 Arno Fehm , Pierre Touchard