Related papers: Multiplicative Valued Difference Fields
The main goal of this paper is to study the structure of the graded algebra associated to a valuation. More specifically, we prove that the associated graded algebra ${\rm gr}_v(R)$ of a subring $(R,\mathfrak{m})$ of a valuation ring…
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 study in detail the valuation theory of deeply ramified fields and introduce and investigate several other related classes of valued fields. Further, a classification of defect extensions of prime degree of valued fields that was earlier…
We prove field quantifier elimination for valued fields endowed with both an analytic structure and an automorphism that are $\sigma$-Henselian. From this result we can deduce various Ax-Kochen-Ersov type results with respect to…
Suppose that $k$ is an arbitrary field. Consider the field $k((x_1,...,x_n))$, which is the quotient field of the ring $k[[x_1,...,x_n]]$ of formal power series in the variables $x_1,...,x_n$, with coefficients in $k$. Suppose that $\sigma$…
We prove relative quantifier elimination for Pal's multiplicative valued difference fields with an added lifting map of the residue field. Furthermore, we generalize a $\mathrm{NIP}$ transfer result for valued fields by Jahnke and Simon to…
Let $\mathrm{SO}^+(p,q)$ denote the identity connected component of the real orthogonal group with signature $(p,q)$. We give a complete description of the spaces of continuous and generalized translation- and $\mathrm{SO}^+(p,q)$-invariant…
There are several equivalent characterizations of the valuation rank of an ordered or valued field. In this paper, we extend the theory to the case of an ordered or valued {\it difference} field (that is, ordered or valued field endowed…
These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof…
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…
Abraham Robinson's method for finding model completions is refined and and generalized for model companions and is applied to the theory of fields equipped with both a valuation and an automorphism.
In this paper we extend the unramified class field theory for arithmetic surfaces of K. Kato and S. Saito to the relative case. Let X be a regular proper arithmetic surface and let Y be the support of divisor on X. Let CH_0(X,Y) denote the…
We sketch the construction of a derived enhancement of the reciprocity isomorphism of class field theory. Details will appear in a forthcoming joint paper of the authors with A. Raksit.
We consider two overlapping classes of fields, IAC and VAC, which are defined using valuation theory but which do not involve a distinguished valuation. Rather, each class is defined by a condition that quantifies over all possible…
Given an algebraic difference equation of the form \[\sigma^n(y)=f\big(y, \sigma(y),\dots,\sigma^{n-1}(y)\big)\] where $f$ is a rational function over a field $k$ of characteristic zero on which $\sigma$ acts trivially, it is shown that if…
For an arbitrary field $K$ and $K$-variety $V$, we introduce the \'etale-open topology on the set $V(K)$ of $K$-points of $V$. This topology agrees with the Zariski topology, Euclidean topology, or valuation topology when $K$ is separably…
A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted…
In this paper, we investigate analytic divergence-free vector fields and vector fields admitting a Jacobi multiplier on $n$-dimensional Riemannian manifolds. We first introduce a functional acting on the space of divergence-free vector…
The contact value theorem for Coulomb gases in planar or film-like geometries is derived using a Hamiltonian field theoretic representation of the system. The case where the film is enclosed by a material of different dielectric constant to…
We study metric valued fields in continuous logic, following Ben Yaacov's approach, thus working in the metric space given by the projective line. As our main result, we obtain an approximate Ax-Kochen-Ershov principle in this framework,…