Related papers: Exponentially Closed Fields and the Conjecture on …
We study the obstruction degrees of translates of sub-tori of multiplicative tori and we show how they are connected to lower bounds for the essential minimum of these varieties. In particular, we combine our computations with results of A.…
Poizat's construction of theories of fields with a multiplicative subgroup of green points is extended in several directions: First, we also construct similar theories where the green points form a divisible…
A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…
We systematically explore the space of scalar effective field theories (EFTs) consistent with a Lorentz invariant and local S-matrix. To do so we define an EFT classification based on four parameters characterizing 1) the number of…
Pseudoexponential fields are exponential fields similar to complex exponentiation satisfying the Schanuel Property, which is the abstract statement of Schanuel's Conjecture, and an adapted form of existential closure. Here we show that if…
Let F be a global function field and let F^ab be its maximal abelian extension. Following an approach of D.Hayes, we shall construct a continuous homomorphism \rho: Gal(F^ab/F) \to C_F, where C_F is the idele class group of F. Using class…
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…
We classify four-dimensional effective field theories (EFTs) with enhanced soft limits, which arise due to non-linearly realised symmetries on the Goldstone modes of such theories. We present an algorithm for deriving all possible algebras…
We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general…
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey…
In his monograph, H. Gonshor showed that Conway's real closed field of surreal numbers carries an exponential and logarithmic map. Subsequently, L. van den Dries and P. Ehrlich showed that it is a model of the elementary theory of the field…
Using class field theory, we prove a restriction on the intersection of the maximal abelian extensions associated with different number fields. This restriction is then used to improve a result of Rosen and Silverman about the linear…
We describe conventional orientifold and orbifold quotients of string and M-theory in a unified approach based on exceptional field theory (ExFT). Using an extended spacetime, ExFT combines all the maximal ten and eleven dimensional…
We show a case of Zilber's Exponential-Algebraic Closedness Conjecture, establishing that the conjecture holds for varieties which split as the product of a linear subspace of the additive group $\mathbb{C}^n$ and an algebraic subvariety of…
In [26], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field $\mathbf{No}$ of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered…
This paper provides answers to several open problems about equational theories of idempotent semifields. In particular, it is proved that (i) no equational theory of a non-trivial class of idempotent semifields has a finite basis; (ii)…
Assuming Schanuel's conjecture, we prove that the complete theory $T_{\exp}$ of the real exponential field is axiomatized by the axioms of definably complete exponential fields satisfying $\exp' = \exp$. This implies the result of Macintyre…
We construct a background for M-theory that is moduli free. This background is then shown to be related to a topological phase of the $\mathrm{E}_{8(8)}$ exceptional field theory (ExFT). The key ingredient in the construction is the…
We give necessary and sufficient geometric conditions for a theory definable in an o-minimal structure to interpret a real closed field. The proof goes through an analysis of thorn-minimal types in super-rosy dependent theories of finite…
Effective field theories (EFT) parameterize the long-distance effects of short-distance dynamics whose details may or may not be known. It is known that EFT coefficients must obey certain positivity constraints if causality and unitarity…