Related papers: Equivalence of Valued Fields with Valuation Preser…

Just as a residue field can be considered for a point of an algebraic variety, we can also consider a residue field for a point of a Berkovich analytic space. This residue field is a valuation field in the algebraic sense. Then we can…

This paper investigates the use of automatic continuity techniques in the context of valuations on convex bodies. We first provide an automatic continuity theorem for valuations restricted to parallelotopes with respect to a fixed basis.…

In recent decades, the defect of finite extensions of valued fields has emerged as the main obstacle in several fundamental problems in algebraic geometry such as the local uniformization problem. Hence, it is important to identify…

We prove a spanning result for vector-valued Poincar\'e series on a bounded symmetric domain. We associate a sequence of holomorphic automorphic forms to a submanifold of the domain. When the domain is the unit ball in ${\Bbb{C}}^n$, we…

In this paper, we generalise the construction of the Bloch-Kato exponential map to complete discrete valuation fields of mixed characteristic (0,p) whose residue fields have a finite p-basis. As an application we prove an explicit…

So far there exist just a few results about the uniqueness of maximal immediate valued differential field extensions and about the relationship between differential-algebraic maximality and differential-henselianity; see arXiv:1509.02588,…

We introduce two valuation-based deviations on convex bodies. Using a construction that allows us to associate to these deviations "intrinsic" pseudometrics, we establish various results which capture information about the underlying…

In this paper we consider the very wide class of varieties of representations of Lie algebras over the field k, which has characteristic 0. We study the relation between the geometric equivalence and automorphic equivalence of the…

We prove that every non-trivial valuation on an infinite superrosy field of positive characteristic has divisible value group and algebraically closed residue field. In fact, we prove the following more general result. Let $K$ be a field…

We study the question of algebraic rank or transcendence degree preserving homomorphisms over finite fields. This concept was first introduced by Beecken, Mittmann and Saxena (2013), and exploited by them, and Agrawal, Saha, Saptharishi and…

We resolve the strong Elementary Equivalence versus Isomorphism Problem for finitely generated fields. That is, we show that for every field in this class there is a first-order sentence which characterizes this field within the class up to…

We show that the theory of the non-standard Frobenius automorphism, acting on an algebraically closed valued field of equal characteristic 0, is NTP2. More generally, in the contractive as well as in the isometric case, we prove that a…

We develop a geometric theory for difference equations with a given group of automorphisms. To solve this problem we extend the class of difference fields to the class of absolutely flat simple difference rings called pseudofields. We prove…

We let R be an o-minimal expansion of a field, V a convex subring, and $(R_0, V_{0})$ an elementary substructure of (R,V). We let L be the language consisting of a language for R, in which R has elimination of quantifiers, and a predicate…

In this paper we study the rank one discrete valuations of the field $k((X_1,..., X_n))$ whose center in $k\lcor\X\rcor$ is the maximal ideal. In sections 2 to 6 we give a construction of a system of parametric equations describing such…

In this paper we introduce and study a topological abelian group of convex bodies, analogous to the scissors congruence group and McMullen's polytope algebra, with the universal property that continuous valuations on convex bodies…

The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from $2$ this theorem is extended here to function…

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 classify Artin-Schreier extensions of valued fields with non-trivial defect according to whether they are connected with purely inseparable extensions with non-trivial defect, or not. We use this classification to show that in positive…

In this article we consider area preserving diffeomorphisms of planar domains, and we are interested in their conformal points, i.e., points at which the derivative is a similarity. We present some conditions that guarantee existence of…