Related papers: Eliminating Field Quantifiers in Strongly Dependen…
We study interpretable sets in henselian and sigma-henselian valued fields with value group elementarily equivalent to Q or Z. Our first result is an Ax-Kochen-Ershov type principle for weak elimination of imaginaries in finitely ramified…
We show that any theory of tame henselian valued fields is NIP if and only if the theory of its residue field and the theory of its value group are NIP. Moreover, we show that if $(K,v)$ is a henselian valued field of residue characteristic…
One can associate to a valued field an inverse system of valued hyperfields $(\mathcal{H}_i)_{i \in I}$ in a natural way. We investigate when, conversely, such a system arise from a valued field. First, we extend a result of Krasner by…
We show how to express any Hasse-Schmidt derivation of an algebra in terms of a finite number of them under natural hypothesis. As an application, we obtain coefficient fields of the completion of a regular local ring of positive…
Let $G$ be a connected, absolutely almost simple, algebraic group defined over a finitely generated, infinite field $K$, and let $\Gamma$ be a Zariski dense subgroup of $G(K)$. We show, apart from some few exceptions, that the…
In this paper, we study deformation quantization of symplectic vector fields \`a la Fedosov. We show that each symplectic vector field can be quantized to a derivation of the deformed star algebra. Moreover, we show that this quantization…
A model of 3-dimensional topological quantum field theory is rigorously constructed. The results are applied to an explicit formula for deformation quantization of any finite-dimensional Lie bialgebra over the field of complex numbers. This…
The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over…
We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…
We describe a method to remove non-decoupling heavy fields from a quantized field theory and to construct a low-energy one-loop effective Lagrangian by integrating out the heavy degrees of freedom in the path integral. We apply this method…
An ultralocal form of any classical field theory eliminates all spatial derivatives in its action functional, e.g., in its Hamiltonian functional density. It has been applied to covariant scalar field theories and even to Einstein's general…
Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic…
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…
The paper establishes a relationship between finite separable extensions and norm groups of strictly quasilocal fields with Henselian discrete valuations, which yields a generally nonabelian one-dimensional local class field theory.
The invariance of physical observables like particle's mass under a local field redefinition is a well-known and important property of quantum field theory. In this paper, on the other hand, we investigate nonlocal field redefinitions…
Effective field theories have often been applied to systems with deeply inelastic reactions that produce particles with large momenta outside the domain of validity of the effective theory. The effects of the deeply inelastic reactions have…
We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…
Let $A$ be a non-CM simple abelian variety over a number field $K$. For a place $v$ of $K$ such that $A$ has good reduction at $v$, let $F(A,v)$ denote the Frobenius field generated by the corresponding Frobenius eigenvalues. Assuming $A$…
We show that a field $K$ is model complete (in the language of rings) if and only if the Heisenberg group $H(K)$ is model complete (in the language of groups). To show that, we extend Levchuk's result about automorphisms of $H(K)$ to the…
In this paper, we present a criterion for $(K,v)$ to be henselian and defectless in terms of finite complete sequences of key polynomials. For this, we use the theory of Mac Lane-Vaqui\'e chains and abstract key polynomials. We then prove…