Related papers: A Dedekind's Criterion over Valued Fields

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We consider the problem of characterizing all number fields $K$ such that all algebraic integers $\alpha\in K$ can be written as the sum of distinct units of $K$. We extend a method due to Thuswaldner and Ziegler that previously did not…

We introduce the notion of {\it approximation type} for the partial, and in certain cases the total description of extensions of a given valuation from a field $K$ to the rational function field $K(x)$. To every extension, a unique…

Let K be an algebraic function field of characteristic 2 with constant field C_K. Let C be the algebraic closure of a finite field in K. Assume that C has an extension of degree 2. Assume that there are elements u,x of K with u…

In this paper we present a characterization for the defect of a simple algebraic extension of rank one valued fields using the key polynomials that define the valuation. As a particular example, this gives the classification of defect…

Let $\mathbb K$ be a perfect field of characterstic $p\ge 0$ and let $R\in \mathbb K(x)$ be a rational function. This paper studies the number $\Delta_{\alpha, R}(n)$ of distinct solutions of $R^{(n)}(x)=\alpha$ over the algebraic closure…

For a subfield K of C, we denote by C^K the category of algebras of functions defined on the globally subanalytic sets that are generated by all K-powers and logarithms of positively-valued globally subanalytic functions. For any function f…

Let $K$ be a number field and $d_K$ the absolute value of the discrimant of $K/\mathbb{Q}$. We consider the root discriminant $d_L^{\frac{1}{[L:\mathbb{Q}]}}$ of extensions $L/K$. We show that for any $N>0$ and any positive integer n, the…

We know that for a finite field $F$, every function on $F$ can be given by a polynomial with coefficients in $F$. What about the converse? i.e. if $R$ is a ring (not necessarily commutative or with unity) such that every function on $R$ can…

Let $K$ be a field equipped with a discrete valuation $v$. In a pioneering work, S. MacLane determined all valuations on $K(x)$ extending $v$. His work was recently reviewed and generalized by M. Vaqui\'e, by using the graded algebra of a…

Let $K$ be a field of characteristic zero. We deal with the algebraic closure of the field of fractions of the ring of formal power series $K[[x_1,\ldots,x_r]]$, $r\geq 2$. More precisely, we view the latter as a subfield of an iterated…

We work with rational rank 1 valuations centered in regular local rings. Given an algebraic function field $K$ of transcendence degree 3 over $k$, a regular local ring $R$ with $QF(R)=K$ and a $k$-valuation $\nu$ of $K$, we provide an…

We give a criterion when a polynomial $x^n-g$ is irreducible over a pseudofinite field. As an application we give an explicit description of algebraic closure of some pseudofinite fields of zero characteristic.

Let $R$ be a complete equicharacteristic noetherian local domain with an algebraically closed residue field $k$. Let $\nu$ be a zero dimensional valuation of rank one centered in $R$ with value group $\Phi$. We show that there is a…

In this essay we explore the notion of essential dimension using the theory of valuations of fields. Given a field extension K/k and a valuation on K that is trivial on k, we prove that the rank of the valuation cannot exceed the…

For a field K, rational function phi in K(z) of degree at least two, and alpha in P^1(K), we study the polynomials in K[z] whose roots are given by the solutions to phi^n(z) = alpha, where phi^n denotes the nth iterate of phi. When the…

We prove that an expansion of an algebraically closed field by $n$ arbitrary valuation rings is NTP${}_2$, and in fact has finite burden. It fails to be NIP, however, unless the valuation rings form a chain. Moreover, the incomplete theory…

Let v be a rank m discrete valuation of k[[X1,...,Xn]] with dimension n-m. We prove that there exists an inmediate extension L of K where the valuation is monomial. Therefore we compute explicitly the residue field of the valuation.

A number field $K$ is called \emph{monogenic} if its ring of integers $\mathbb{Z}_K$ can be expressed as a simple ring extension $\mathbb{Z}[\alpha]$ for some $\alpha \in \mathbb{Z}_K$. A monic irreducible polynomial $f(x)\in\mathbb{Z}[x]$…

We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x \mapsto x^q$ is decidable, uniformly in $q$. The result is a simultaneous generalization of the work of…