Related papers: The surreal numbers as a universal H-field
We provide a characterization of discrete sets $\Lambda \subset \mathbb{R}$ that admit a function whose $\Lambda$-translates are complete in the Hardy space $H^1(\mathbb{R})$. In particular, we show that such a set cannot be uniformly…
These notes explore some aspects of formal derived geometry related to classical field theory. One goal is to explain how many important classical field theories in physics -- such as supersymmetric gauge theories and supersymmetric…
We obtain a new general sufficient condition for the continuity of the Bergman projection in tube domains over symmetric cones using multifunctional embeddings.We also obtain some sharp embedding relations between the generalized…
In this paper we show how to obtain the heterotic double field theory from exceptional field theory by breaking half of the supersymmetry. We focus on the $\mathrm{SL}(5)$ exceptional field theory and show that when the extended space…
Any algebra herein is intended over a field of characteristic 0. Let $E$ denote the infinite dimensional Grassman algebra. Given a power associative finite dimensional {$\mathbb{Z}_2$-graded-central-simple} $A$ and a supertrace algebra $B$,…
We prove that Lefschetz's principle of approximating the cohomology of a possibly singular affine scheme of finite type over a field by the cohomology of a suitable (thickening of a) hyperplane section can be made uniform: in the affine…
We show that all maximal Hardy fields are elementarily equivalent as differential fields, and give various applications of this result and its proof. We also answer some questions on Hardy fields posed by Boshernitzan.
We set a framework for the study of Hardy spaces inherited by complements of analytic hypersurfaces in domains with a prior Hardy space structure. The inherited structure is a filtration, various aspects of which are studied in specific…
We define the field $\mathbb{L}$ of logarithmic hyperseries, construct on $\mathbb{L}$ natural operations of differentiation, integration, and composition, establish the basic properties of these operations, and characterize these…
The Horndeski action is the most general one involving a metric and a scalar field that leads to second order field equations in four dimensions. Being the natural extension of the well known Scalar-Tensor theories, its structure and…
In our recent work we described conditions under which a multi-parameter random simplicial complex is connected and simply connected. We showed that the Betti numbers of multi-parameter random simplicial complexes in one specific dimension…
We show that very general hypersurfaces in odd-dimensional simplicial projective toric varieties verifying a certain combinatorial property satisfy the Hodge conjecture (these include projective spaces). This gives a connection between the…
Hypersurfaces embedded in conformal manifolds appear frequently as boundary data in boundary-value problems in cosmology and string theory. Viewed as the non-null conformal infinity of a spacetime, we consider hypersurfaces embedded in a…
The proper Class $\bf{No}$ of all Conway's numbers $\cite{l3}$ is considered as a region of investigation. It turns out to be a total ordered Field (i.e., a field whose domain is a proper Class) and this totally, or linear ordered Class,…
We establish a so-called counting lemma that allows embeddings of certain linear uniform hypergraphs into sparse pseudorandom hypergraphs, generalizing a result for graphs [Embedding graphs with bounded degree in sparse pseudorandom graphs,…
Let $X=H/L$ be an irreducible real bounded symmetric domain realized as a real form in an Hermitian symmetric domain $D=G/K$. The intersection $S$ of the Shilov boundary of $D$ with $X$ defines a distinguished subset of the topological…
The Gauss-Bonnet density `a la Palatini' is not a total derivative in four dimensions. We study spherically symmetric fields for the torsion-free theory. The resulting equations are highly complicated but we show the existence of unexpected…
We prove a few uniform versions of the Mordell-Lang Conjecture and of the Shafarevich Conjecture for curves over function fields and their rational points. The main focus is on function fields having high transcendence degree over the…
Our main aim is to provide a uniform geometric characterization of the analogues over arbitrary fields of the four complex Severi varieties, i.e.~the quadric Veronese varieties in 5-dimensional projective spaces, the Segre varieties in…
We prove the following function field analog of the Hardy-Littlewood conjecture (which generalizes the twin prime conjecture) over large finite fields. Let n,r be positive integers and q an odd prime power. For distinct polynomials a_1,…