Related papers: Definable coordinate geometries over fields, part …
Deformations of spacelike hypersurfaces in space-time play an important role in discussions of general covariance and slicing independence in gravitational theories. In a canonical formulation, they provide the geometrical meaning of gauge…
We prove analogues for Cartan geometries of Gromov's major theorems on automorphisms of rigid geometric structures. The starting point is a Frobenius theorem, which says that infinitesimal automorphisms of sufficiently high order integrate…
All gauge theories need ``something fixed'' even as ``something changes.'' Underlying the implementation of these ideas all major physical theories make indispensable use of an elaborately designed spacetime model as the ``something…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
Several known constructions relate initial degenerations of projective toric varieties and Grassmannians to regular subdivisions of appropriate point configurations. We define a general framework which allows for partial generalizations of…
We examine the hypothesis that space-time is a product of a continuous four-dimensional manifold times a finite space. A new tensorial notation is developed to present the various constructs of noncommutative geometry. In particular, this…
We treat the problem of defining, and characterising in a practical way, an appropriate class of distinguished curves for Poincar\'e-Einstein manifolds, and other conformally singular geometries. These "generalised geodesics" agree with…
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…
Spacetime is modelled by binary relations - by the classes of the automorphisms $\GL(\C^2)$ of a complex 2-dimensional vector space with respect to the definite unitary subgroup $\U(2)$. In extension of Feynman propagators for particle…
We construct the non-linear realisation of E11 and its first fundamental representation in eleven dimensions at low levels. The fields depend on the usual coordinates of space-time as well as two form and five form coordinates. We derive…
It is known that, for the algebra of functions on a Kleinian singularity, the parameter space of deformations and the parameter space of quantizations coincide. We prove that, for a Kleinian singularity of type $\mathbf{A}$ or $\mathbf{D}$,…
We determine those maps between affine or projective spaces that are linear in the abstract sense of transforming collinear points into collinear points and whose restriction to any line is constant or injective. Our results are extensions…
We study endomorphisms of a free group of finite rank by means of their action on specific sets of elements. In particular, we prove that every endomorphism of the free group of rank 2 which preserves an automorphic orbit (i.e., acts ``like…
This is a draft of a book submitted for publication by the AMS. Its theme is the remarkable interplay, accelerating in the last few decades, between topology and the theory of orderable groups, with applications in both directions. It…
We consider several algorithmic problems concerning geodesics in finitely generated groups. We show that the three geodesic problems considered by Miasnikov et al [arXiv:0807.1032] are polynomial-time reducible to each other. We study two…
Contact geometry allows to describe some thermodynamic and dissipative systems. In this paper we introduce a new geometric structure in order to describe time-dependent contact systems: cocontact manifolds. Within this setting we develop…
We study sets of solutions to equations over a free group, projections of such sets, and the structure of elementary sets defined over a free group. The structre theory we obtain enable us to answer some questions of A. Tarski's, and…
We present a general method which can be used for geometrical and physical interpretation of an arbitrary spacetime in four or any higher number of dimensions. It is based on the systematic analysis of relative motion of free test…
We apply the cobordism hypothesis with singularities to the case of affine Rozansky--Witten models, providing a construction of extended TQFTs that includes all line and surface defects. On a technical level, this amounts to proving that…
A decidable transfinite hierarchy is defined by assigning ordinals to the programs of an imperative language. It singles out: the classes TIMEF(n^c) and TIMEF(n_c); the finite Grzegorczyk classes at and above the elementary level, and the…