Related papers: Okutsu sequences in Henselian fields

For all simple and finite extension of a valued field, we prove that its defect is the product of the effective degrees of the complete set of key polynomials associated. As a consequence, we obtain a local uniformization theorem for…

The paper is devoted to produce infinite sequences of $k$-normal polynomials $F_{u}(x)\in \mathbb{F}_{q}[x]$ of degrees $np^{u} ~ (u\geq 0)$, for a suitably chosen initial $k$-normal polynomial $F_{0}(x)\in \mathbb{F}_{q}[x]$ of degree $n$…

The purpose of this note is to show that a finitely generated graded module $M$ over $S=k[x_1,\ldots,x_n]$, $k$ a field, is sequentially Cohen-Macaulay if and only if its arithmetic degree ${\rm adeg}(M)$ agrees with ${\rm adeg}(F/{\rm…

In this paper we introduce a new concept of key polynomials for a given valuation $\nu$ on $K[x]$. We prove that such polynomials have many of the expected properties of key polynomials as those defined by MacLane and Vaqui\'e, for…

Let $K=\mathbb{F}_q(C)$ be the global function field of rational functions over a smooth and projective curve $C$ defined over a finite field $\mathbb{F}_q$. The ring of regular functions on $C-S$ where $S \neq \emptyset$ is any finite set…

We prove that if a subset of the d-dimensional vector space over a finite field is large enough, then it contains many k-tuples of mutually orthogonal vectors.

We show how the continuity equations expressing conservation of topological point or string defect charge can be used to determine the order-parameter correlation function for the phase-ordering kinetics of the O(n) model in the special…

In this paper, for a henselian valued field $(K,v)$ of arbitrary rank and an extension $w$ of $v$ to $K(X),$ we use abstract key polynomials for $w$ to obtain distinguished pairs and saturated distinguished chains.

We show a conditional exactness statement for the Nisnevich Gersten complex associated to an $\mathbb{A}^1$-invariant cohomology theory with Nisnevich descent for smooth schemes over a Dedekind ring with only infinite residue fields. As an…

We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multi-dimensional Hensel's Lemma follow from our result. We give an easy proof that the latter…

Let $K_{q^n}(a)$ be a Kloosterman sum over the finite field $\F_{q^n}$ of characteristic $p$. In this note so called subfield conjecture is proved in case $p>3$: if $a\ne0$ belongs to the proper subfield $\F_q$ of $\F_{q^n}$, then…

Let $K$ be a characteristic zero algebraic function field with a valuation $\nu$. Let $L$ be a finite extension of $K$ and $\omega$ be an extension of $\nu$ to $L$. We establish that the valuation ring $V_{\omega}$ of $\omega$ is…

We prove a character sum identity for Coxeter arrangements which is a finite field analogue of Macdonald's conjecture proved by Opdam.

For an arithmetical scheme X, K. Kato introduced a certain complex of Gersten-Bloch-Ogus type whose component in degree a involves Galois cohomology groups of the residue fields of all the points of X of dimension a. He stated a conjecture…

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…

We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…

This thesis is a contribution to the model theory of valued fields. We study forking in valued fields and some of their reducts. We focus particularly on pseudo-local fields, the ultraproducts of residue characteristic zero of the p-adic…

For any prime power $q$ and any dimension $s$, a new construction of $(t,s)$-sequences in base $q$ using global function fields is presented. The construction yields an analog of Halton sequences for global function fields. It is the first…

Let $V$ be a valuation ring of a global field $K$. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $V$, that is, an element of $\text{Int}(V) = \{ f \in K[X] \mid…

A fundamental result of K\"uhn and Osthus [The minimum degree threshold for perfect graph packings, Combinatorica, 2009] determines up to an additive constant the minimum degree threshold that forces a graph to contain a perfect H-tiling.…