Related papers: Model Theory of Partial Differential Fields: From …
This paper lays the foundations for a nonlinear theory of differential geometry that is developed in a subsequent paper which is based on Colombeau algebras of tensor distributions on manifolds. We adopt a new approach and construct a…
Derivations of a noncommutative algebra can be used to construct differential calculi, the so-called derivation-based differential calculi. We apply this framework to a version of the Moyal algebra ${\cal{M}}$. We show that the differential…
Differential algebraic geometry seeks to extend the results of its algebraic counterpart to objects defined by differential equations. Many notions, such as that of a projective algebraic variety, have close differential analogues but their…
The Doob convergence theorem implies that the set of divergence of any martingale has measure zero. We prove that, conversely, any $G\_{\delta\sigma}$ subset of the Cantor space with Lebesgue-measure zero can be represented as the set of…
Ordinary-derivative (second-derivative) Lagrangian formulation of classical conformal Yang-Mills field in the (A)dS space of six, eight, and ten dimensions is developed. For such conformal field, we develop two gauge invariant Lagrangian…
The underlying algebra for a noncommutative geometry is taken to be a matrix algebra, and the set of derivatives the adjoint of a subset of traceless matrices. This is sufficient to calculate the dual 1-forms, and show that the space of…
A modification of the gauge theory is proposed, in which the set of generalized coordinates is supplemented with symmetry transformation parameters, and a condition is additionally imposed on the latter that ensures the classical character…
We demonstrate that topological defects in a rational conformal field theory can be described by a classifying algebra for defects - a finite-dimensional semisimple unital commutative associative algebra whose irreducible representations…
We demonstrate that the notions of derivative representation of a Lie algebra on a vector bundle, of semi-linear representations of a Lie group on a vector bundle, and related concepts, may be understood in terms of representations of Lie…
Motivated by the study of meromorphic vector fields, a model theory of "compact complex manifolds equipped with a generic derivation" is here proposed. This is made precise by the notion of a differential CCM-structure. A first-order…
This work explores the deformation theory of algebraic structures in a very general setting. These structures include commutative, associative algebras, Lie algebras, and the infinity versions of these structures, the strongly homotopy…
Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a…
We present a first-quantized formulation of the quadratic non-commutative field theory in the background of abelian (gauge) field. Even in this simple case the Hamiltonian of a propagating particle depends non-trivially on the momentum…
In this paper we introduce a model theoretic construction for the theories of uniform layered domains and semifields introduced in the paper of Izhakian, Knebusch and Rowen. We prove that, for a given layering semiring L, the theory of…
Based on bulk reconstruction from the finite boundary of the Bruhat-Tits tree, the boundary effective theory is obtained after integrating out fields outside this boundary. According to the $~p$-adic version of Anti-de Sitter/Conformal…
Double Field Theory (DFT) can be constructed as the double copy of a Yang-Mills theory. In this work we extend this statement by including higher-derivative terms. Starting from a four-derivative extension of Yang-Mills whose double copy is…
Although some work has been done on the metamathematics of Metamath, there has not been a clear definition of a model for a Metamath formal system. We define the collection of models of an arbitrary Metamath formal system, both for…
We find the model completion of the theory modules over $A$, where $A$ is a finitely generated commutative algebra over a field $K$. This is done in a context where the field $K$ and the module are represented by sorts in the theory, so…
We consider the conjugation-action of an arbitrary upper-block parabolic subgroup of the general linear group on the variety of nilpotent matrices in its Lie algebra. Lie-theoretically, it is natural to wonder about the number of orbits of…
We prove that two finite-dimensional commutative algebras over an algebraically closed field are isomorphic if and only if they give rise to isomorphic representations of the category of finite sets and surjective maps.