Related papers: Valued fields with a total residue map

Let $R$ be a Dedekind ring, $K$ its quotient field, and $L=K(\alpha)$ a finite field extension of $K$ defined by a monic irreducible polynomial $f(x)\in R[x]$. We give an easy version of Dedekind's criterion which computationally improves…

Let $\mathcal M=\langle K;O\rangle$ be a real closed valued field and let $k$ be its residue field. We prove that every interpretable field in $\mathcal M$ is definably isomorphic to either $K$, $K(\sqrt{-1})$, $k$, or $k(\sqrt{-1})$. The…

Let k be a field of characteristic zero, K an algebraic function field over k, and V a k-valuation ring of K. Zariski's theorem of local uniformization shows that there exist algebraic regular local rings R_i with quotient field K which are…

The main goal of this paper is to study some properties of an extension of valuations from classical invariants. More specifically, we consider a valued field $(K,\nu)$ and an extension $\omega$ of $\nu$ to a finite extension $L$ of $K$.…

We prove that the existential theory of any function field $K$ of characteristic $p> 0$ is undecidable in the language of rings provided that the constant field does not contain the algebraic closure of a finite field. We also extend the…

The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from $2$ this theorem is extended here to function…

Let ${\rm Mat}_n(\mathbb{F})$ denote the set of square $n\times n$ matrices over a field $\mathbb{F}$ of characteristic different from two. The permanental rank ${\rm prk}\,(A)$ of a matrix $A \in{\rm Mat}_{n}(\mathbb{F})$ is the size of…

We prove the triviality of the Grothendieck ring of a integer-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K^2 to itself minus a point. When we specialize to…

We develop a theory of integration over valued fields of residue characteristic zero. In particular we obtain new and base-field independent foundations for integration over local fields of large residue characteristic, extending results of…

We consider the class of complete discretely valued fields such that the residue field is of prime characteristic p and the cardinality of a $p$-base is 1. This class includes two-dimensional local and local-global fields. A new definition…

We define a notion of residue field domination for valued fields which generalizes stable domination in algebraically closed valued fields. We prove that a real closed valued field is dominated by the sorts internal to the residue field,…

Suppose that $k$ is an arbitrary field. Consider the field $k((x_1,...,x_n))$, which is the quotient field of the ring $k[[x_1,...,x_n]]$ of formal power series in the variables $x_1,...,x_n$, with coefficients in $k$. Suppose that $\sigma$…

In this article, we study the structure of finitely ramified mixed characteristic valued fields. For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the $n$-th…

Let $K$ be a perfectoid field. We describe all quotient fields of the perfectoid Tate algebra\begin{equation*}T_{n,K}^{\text{perfd}}=K\langle X_{1}^{1/p^{\infty}},\dots, X_{n}^{1/p^{\infty}}\rangle\end{equation*}in any number $n\geq1$ of…

We prove that if f is a self-map of an algebraic variety over a field K, then under certain conditions on X, f and K the set of possible periods of K-valued periodic points of f is finite.

In this paper we prove undecidability of finite systems of equations in free Lie algebras of rank at least three over an arbitrary field. We show that the ring of integers $\mathbb{Z}$ is interpretable by positive existential formulas in…

We present a construction of a measure-zero Kakeya-type set in a finite-dimensional space $K^d$ over a local field with finite residue field. The construction is an adaptation of the ideas appearing in [12] and [13]. The existence of…

The authors establish a connection between the Quillen K-theory of certain local fields and the de Rham-Witt complex of their rings of integers with logarithmic poles at the maximal ideal. They consider fields K that are complete discrete…

Suppose that $R$ is a local domain essentially of finite type over a field of characteristic 0, and $\nu$ a valuation of the quotient field of $R$ which dominates $R$. The rank of such a valuation often increases upon extending the…

The dominant rational maps of finite degree from a fixed variety to varieties of general type, up to birational isomorphisms, form a finite set. This has been known as the Iitaka-Severi conjecture, and is nowdays an established result, in…