Related papers: On the hyperfields associated to valued fields
The field-of-norms functor is applied to deduce explicit reciprocity formulae for the Hilbert symbol in the mixed characteristic case from the explicit formula for the Witt symbol in characteristic p > 2 in the context of higher local…
The Multivariate Hensel Lemma for local rings is usually proved as a consequence of the Grothendieck version of Zariski's Main Theorem. This version deals with a more general situation that is a priori much more difficult. In this paper, we…
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 initiate the study of definable V-topolgies and show that there is at most one such V-topology on a t-henselian NIP field. Equivalently, we show that if $(K,v_1,v_2)$ is a bi-valued NIP field with $v_1$ henselian (resp. t-henselian) then…
Hyperstructures are a natural extension of regular algebraic structures in which one of the operations, known as the hyperoperation, is multivalued; a hyperfield is such an extension on a field. M. Krasner (1962) proved that the quotient…
Let K be a henselian valued field of characteristic 0. Then K admits a definable partition on each piece of which the leading term of a polynomial in one variable can be computed as a definable function of the leading term of a linear map.…
We construct spaces of 1-dimensional supersymmetric Euclidean field theories and show that they represent real or complex K-theory. A noteworthy feature of our bordism category is that the identity bordism of a point is connected to…
We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…
We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian…
Marc Krasner proposed a theory of limits of local fields in which one relates the extensions of a local field to the extensions of a sequence of related local fields. The key ingredient in his approach was the notion of valued hyperfields,…
After introducing a natural notion of continuous fields of locally convex spaces, we establish a new theory of strongly continuous families of possibly unbounded self-adjoint operators over varying Hilbert spaces. This setting allows to…
We reformulate the self-dual Einstein equation as a trio of differential form equations for simple two-forms. Using them, we can quickly show the equivalence of the theory and 2D sigma models valued in an infinite-dimensional group, which…
A supersymmetric theory with several scalar superfields generically has several domain wall type classical configurations which interpolate between various supersymmetric vacua of the scalar fields. Depending on the couplings, some of these…
We provide evidence that a particular hidden supersymmetry, when combined with half-maximal deformed global supersymmetry, implies that the theory is invariant under duality rotations of the vector and spinor fields. Based on a complete 8+8…
Given two conformal field theories related to each other by a marginal perturbation, and string field theories constructed around such backgrounds, we show how to construct explicit redefinition of string fields which relate these two…
We firstly show that due to their resplendency ordered henselian valued fields admit relative field quantifier elimination in the Denef--Pas language expanded by linear orders in the field and residue field sort. Secondly, we deduce from a…
A simple quantum superfield generating equation of the field-antifield formalism is proposed. The Schroedinger equation with the Hamiltonian having $\Delta$-exact form is derived. An $Sp(2)$ symmetric extension to the main construction,…
Hypergraphs are structures that can be decomposed or described; in other words they are recursively countable. Here, we get exact and asymptotic enumeration results on hypergraphs by means of exponential generating functions. The number of…
We show that hereditarily indecomposable spaces can be characterized by a special instance of the Intermediate Value Theorem in their rings of continuous functions.
We give a characterization of finitely ramified $\omega$-pseudo complete valued fields of mixed characteristic $(0, p)$, with fixed residue field $k$ and value group $G$ of cardinality $\aleph_{1}$, in terms of a Hahn-like construction over…