Related papers: Minimal pairs, inertia degrees, ramification degre…
We continue our local analysis of groups interpretable in various dp-minimal valued fields, as introduced in [8]. We associate with every infinite group $G$ interpretable in those fields an infinite type-definable infinitesimal subgroup…
We introduce the concept of bi-conformal transformation, as a generalization of conformal ones, by allowing two orthogonal parts of a manifold with metric $\G$ to be scaled by different conformal factors. In particular, we study their…
The minimal pairs paradigm of comparing model probabilities for contrasting completions has proven useful for evaluating linguistic knowledge in language models, yet its application has largely been confined to binary grammaticality…
Extension problems for polynomial valuations on different cones of convex functions are investigated. It is shown that for the classes of functions under consideration, the extension problem reduces to a simple geometric obstruction on the…
Let $K$ be an NIP field and let $v$ be a henselian valuation on $K$. We ask whether $(K,v)$ is NIP as a valued field. By a result of Shelah, we know that if $v$ is externally definable, then $(K,v)$ is NIP. Using the definability of the…
Noether's problem asks whether, for a given field K and finite group G, the fixed field L := K(x_h : h \in G)^G is a purely transcendental extension of K, where G acts on the x_h by gx_h = x_gh. The field L is naturally the function field…
Let (K,v) be a henselian valued field. In this paper, we use Okutsu sequences for monic, irreducible polynomials in K[x], and their relationship with MacLane chains of inductive valuations on K[x], to obtain some results on the computation…
Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…
Consider an expansion $\mathcal R=(R,<,+,\ldots)$ of an ordered divisible Abelian group of finite burden defining no nonempty subset $X$ of $R$ which is dense and codense in a definable open subset $U$ of $R$ with $X \subseteq U$. We…
It is a well-known result that, after adding one Cohen real, the transcendence degree of the reals over the ground-model reals is continuum. We extend this result for a set $X$ of finitely many Cohen reals, by showing that, in the forcing…
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…
Using the theory of asymptotic test ideals, we prove the prime characteristic analogue of a characteristic $0$ result of Ein, Lazarsfeld and Smith (arXiv:math/0202303) on uniform approximation of valuation ideals associated to real-valued…
Let $p$ be a prime. For $p=2$, the fields of values of the complex irreducible characters of finite groups whose degrees are not divisible by $p$ have been classified; for odd primes $p$, a conjectural classification has been proposed. In…
Given an arbitrary (commutative) field K, let V be a linear subspace of M_n(K) consisting of matrices of rank lesser than or equal to some r<n. A theorem of Atkinson and Lloyd states that, if dim V>nr-r+1 and #K>r, then either all the…
The Euclidean minimum $M(K)$ of a number field $K$ is an important numerical invariant that indicates whether $K$ is norm-Euclidean. When $K$ is a non-CM field of unit rank 2 or higher, Cerri showed $M(K)$, as the supremum in the Euclidean…
Let $K\to L$ be an algebraic field extension and $\nu$ a valuation of $K$. The purpose of this paper is to describe the totality of extensions $\left\{\nu'\right\}$ of $\nu$ to $L$ using a refined version of MacLane's key polynomials. In…
In this paper we present characterizations of the sets of key polynomials and abstract key polynomials for a valuation $\mu$ of $K(x)$, in terms of (ultrametric) balls in the algebraic closure $\overline K$ of $K$ with respect to $v$, a…
We introduce a two-parameter modification of the cofinality invariant of ideals. This allows us to include the interaction of a pair of ideals in the study of base-like structures. We find the values (cardinal numbers or well-known cardinal…
We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm must have indecomposable type, and so we completely…
Suppose that f is a dominant morphism from a k-variety X to a k-variety Y, where k is a field of characteristic 0 and v is a valuation of the function field k(X). We allow v to be an arbitary valuation, so it may not be discrete. We prove…