Related papers: Okutsu sequences in Henselian fields

For a finite vector space $V$ and a non-negative integer $r\le\dim V$ we estimate the smallest possible size of a subset of $V$, containing a translate of every $r$-dimensional subspace. In particular, we show that if $K\subset V$ is the…

Consider a complete discrete valuation ring $\mathcal{O}$ with quotient field $F$ and finite residue field. Then the inclusion map $\mathcal{O} \hookrightarrow F$ induces a map $\hat{\mathrm{K}}^\mathrm{M}_*\mathcal{O} \to…

Let $V$ be a valuation domain of rank one and quotient field $K$. Let $\overline{\hat{K}}$ be a fixed algebraic closure of the $v$-adic completion $\hat K$ of $K$ and let $\overline{\hat{V}}$ be the integral closure of $\hat V$ in…

We establish a relation between the coefficients of asymptotic expansion of trivial connection contribution to Witten's invariant of rational homology spheres and the invariants that T.~Ohtsuki extracted from Witten's invariant at prime…

We generalize reduction theorems for classical connections to operators with values in $k$-th order natural bundles. Using the first reduction theorem in order two we classify all (0,2)-tensor fields on the cotangent bundle of a manifold…

We show that every non-trivial ordered abelian group $G$ is augmentable by infinite elements, i.e., we have $G\preccurlyeq H\oplus G$ for some non-trivial ordered abelian group $H$. As an application, we show that when $k$ is a field of…

Let $(K,\nu)$ be an arbitrary valued field with valuation ring $R_{\nu}$ and $L=K(\alpha)$, where $\alpha$ is a root of a monic irreducible polynomial $f\in R_{\nu}[x]$. In this paper, we characterize the integral closedness of…

Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several…

We develop a first-order theory of ordered transexponential fields in the language $\{+,\cdot,0,1,<,e,T\}$, where $e$ and $T$ stand for unary function symbols. While the archimedean models of this theory are readily described, the study of…

Let $V$ be a valuation domain of rank one with quotient field $K$. We study the set of extensions of $V$ to the field of rational functions $K(X)$ induced by pseudo-convergent sequences of $K$ from a topological point of view, endowing this…

We show that a pure transcendental, immediate extension of valuation rings $V\subset V'$ containing a field is a filtered union of smooth $V$-subalgebras of $V'$.

We give necessary and sufficient conditions for a family of inner products in a finite-dimensional vector space $V$ over an arbitrary field $\mathbb{K}$ to have an orthogonal basis relative to all the inner products. Some applications to…

I prove the statement in the title using results from arXiv:2404.07646(2). This shows that Question~1.1 in [1] has negative answer for certain expansions of a valued field.

Given a finite tensor category $\mathcal{C}$, we prove that a modified trace on the tensor ideal of projective objects can be obtained from a suitable trivialization of the Nakayama functor as right $\mathcal{C}$-module functor. Using a…

This paper introduces an archimedean, locally Cantor multi-field $\mathcal{O}_{\theta}$ which gives an analog of the $p$-adic number field at a place at infinity of a real quadratic extension $K$ of $\mathbb{Q}$. This analog is defined…

We present a general structure theorem for the Hardy field of an o-minimal expansion of the reals by restricted analytic functions and an unrestricted exponential. We proceed to analyze its residue fields with respect to arbitrary convex…

For a finite field GF(q) a Kakeya set K is a subset of GF(q)^n that contains a line in every direction. This paper derives new upper bounds on the minimum size of Kakeya sets when q is even.

Two Bessel sequences are orthogonal if the composition of the synthesis operator of one sequence with the analysis operator of the other sequence is the 0 operator. We characterize when two Bessel sequences are orthogonal when the Bessel…

We prove that Hensel minimal expansions of finitely ramified Henselian valued fields admit spherically complete immediate elementary extensions. More precisely, the version of Hensel minimality we use is $0$-hmix-minimality (which, in…

We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite…