Related papers: Local fields, iterated extensions, and Julia Sets
Let $K$ be a field, $\mathcal {O}_v$ a valuation ring of $K$ associated to a valuation $v$: $K\rightarrow\Gamma\cup\{\infty\}$, and ${\bf m}_v$ the unique maximal ideal of $\mathcal {O}_v$. Consider an ideal $\mathcal {I}$ of the free…
The main goal of this paper is to characterize the module of K\"ahler differentials for an extension of valuation rings. More precisely, we consider a simple algebraic valued field extension $(L/K,v)$ and the corresponding valuation rings…
In this paper we introduce new densities on the set of primes of a number field. If $K/K_0$ is a Galois extension of number fields, we associate to any element $x \in {\rm Gal}_{K/K_0}$ a density $\delta_{K/K_0,x}$ on primes of $K$. In…
If $L/K$ is a finite Galois extension of local fields, we say that the valuation criterion $VC(L/K)$ holds if there is an integer $d$ such that every element $x \in L$ with valuation $d$ generates a normal basis for $L/K$. Answering a…
Let $K$ be the function field of a smooth and proper curve $S$ over an algebraically closed field $k$ of characteristic $p>0$. Let $A$ be an ordinary abelian variety over $K$. Suppose that the N\'eron model $\CA$ of $A$ over $S$ has a…
This work contains a list of all known results on the quotient filtration on the Milnor K-groups of a complete discrete valuation field in terms of differential modules over the residue field . Author's recent study of the case of a tamely…
We prove the explicit characterization of the so-called "best f" for degree $p$ Artin-Schreier and degree $p$ Kummer extensions of Henselian valuation rings in residue characteristic $p$. This characterization is mentioned briefly in [Th16,…
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…
Let k be an algebraically closed field of arbitrary characteristic,let K/k be a finitely generated field extension and let X be a separated scheme of finite type over K. For each prime ell, the absolute Galois group of K acts on the…
For a valued field $(K,v)$, with a fixed extension of $v$ to the algebraic closure $\overline K$ of $K$, and an element $\theta\in\overline K$, we are interested in the possible values of $\theta-\theta'$ where $\theta'$ runs through all…
Let K be a finite extension of Q_p. The field of norms of a p-adic Lie extension K_infty/K is a local field of characteristic p which comes equipped with an action of Gal(K_infty/K). When can we lift this action to characteristic 0, along…
We study the dynamics of polynomials with coefficients in a non-Archimedean field $K,$ where $K$ is a field containing a dense subset of algebraic elements over a discrete valued field $k.$ We prove that every wandering Fatou component is…
In this paper we consider birational properties of ramification in excellent local rings. We extend earlier results of the author with Olivier Piltant to show that strong local monomialization is true along a valuation dominating a…
Given a $(0,p)$-mixed characteristic complete discrete valued field $\mathcal{K}$ we define a class of finite field extensions called \emph{pseudo-perfect} extensions such that the natural restriction map on the mod-$p$ Milnor $K$-groups is…
Let $K$ be a number field or a function field of characteristic 0. If $K$ is a number field, assume the $abc$-conjecture for $K$. We prove a variant of Zsigmondy's theorem for ramified primes in preimage fields of rational functions in…
We show that we can develop from scratch and using only classical language a theory of relative quadratic extensions of a given number field $K$ which is as explicit and easy as for the well-known case that $K$ is the field of rational…
Let $K$ be a local field whose residue field has characteristic $p$ and let $L/K$ be a finite separable totally ramified extension of degree $n=ap^{\nu}$. The indices of inseparability $i_0,i_1,...,i_{\nu}$ of $L/K$ were defined by Fried in…
For a cyclic Kummer extension $K$ of a rational function field $k$ is considered, via class field theory, the extended Hilbert class field $K_H^+$ of $K$ and the corresponding extended genus field $K_g^+$ of $K$ over $k$, along the lines of…
We consider complex polynomials $f(z) = z^\ell+c_1$ for $\ell \in 2\N$ and $c_1 \in \R$, and find some combinatorial types and values of $\ell$ such that there is no invariant probability measure equivalent to conformal measure on the Julia…
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…