Related papers: Globally valued fields: foundations
In analogy to valued fields, we study model-theoretic properties of valued vector spaces with variable base field by proving transfer principles down to the skeleton and down to the value set and base field. For instance, we give a formula…
In this paper, we build the global determinant method of Salberger by Arakelov geometry explicitly. As an application, we study the dependence on the degree of the number of rational points of bounded height in plane curves. We will also…
We review different constructions of Galileon theories in both flat and curved space, and for both single scalar field models as well as multi-field models. Our main emphasis is on the formal mathematical properties of these theories and…
In this article, we introduce pseudo-absolute values, which generalise usual absolute values. Roughly speaking, a pseudo-absolute value on a field $K$ is a map $|\cdot| : K \to [0,+\infty]$ satisfying axioms similar to those of usual…
Generalisations of geometry have emerged in various forms in the study of field theory and quantization. This mini-review focuses on the role of higher geometry in three selected physical applications. After motivating and describing some…
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 introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and…
We study the class of differentially henselian fields, which are henselian valued fields equipped with generic derivations in the sense of Cubides Kovacics and Point, and are special cases of differentially large fields in the sense of…
We develop class field theory of curves over $p$-adic fields which extends the unramified theory of S. Saito. The class groups which approximate abelian \'etale fundamental groups of such curves are introduced in the terms of algebraic…
The paper is devoted to the mathematical aspects of topological quantum field theory and its applications to enumerative problems of algebraic geometry. In particular, it contains an axiomatic treatment of Gromov-Witten classes, and a…
This paper presents relevant modern mathematical formulations for (classical) gauge field theories, namely, ordinary differential geometry, noncommutative geometry, and transitive Lie algebroids. They provide rigorous frameworks to describe…
We formulate and prove a weighted version of Zariski's hyperplane section theorem on the topological fundamental groups of the complements of hypersurfaces in a projective space. As an application, we calculate fundamental groups of the…
Multisymplectic geometry is an adequate formalism to geometrically describe first order classical field theories. The De Donder-Weyl equations are treated in the framework of multisymplectic geometry, solutions are identified as integral…
We present a new structure theorem for finite fields of odd order that relates multiplicative and additive structure in an interesting way. This theorem has several applications, including an improved understanding of Dickson and Chebyshev…
Projective spaces for finite-dimensional vector spaces over general fields are considered. The geometry of these spaces and the theory of line bundles over these spaces is presented. Particularly, the space of global regular sections of…
We give a global geometric decomposition of continuously differentiable vector fields on $\mathbb{R}^n$. More precisely, given a vector field of class $\mathcal{C}^{1}$ on $\mathbb{R}^{n}$, and a geometric structure on $\mathbb{R}^n$, we…
The aim of this paper (Part III) is formulating GR as a scalar field theory. The basic structural elements of it are a generating function, a generalized density and a generalized temperature. One of the axioms of this theory is a…
We define normalized versions of Berkovich spaces over a trivially valued field $k$, obtained as quotients by the action of $\mathbb R_{>0}$ defined by rescaling semivaluations. We associate such a normalized space to any special formal…
In this paper we introduce elements of algebraic geometry over an arbitrary algebraic structure. We prove Unification Theorems which gather the description of coordinate algebras by several ways.
By some result on the study of arithemtic over trivially valued field, we find its applications to Arakelov geometry over adelic curves. We prove a partial result of the continuity of arithmetic $\chi$-volume along semiample divisors.…