Related papers: Rigid Differentially Closed Fields
We construct a projective variety with discrete, non-finitely generated automorphism group. As an application, we show that there exists a complex projective variety with infinitely many non-isomorphic real forms.
Autonomous robots should operate in real-world dynamic environments and collaborate with humans in tight spaces. A key component for allowing robots to leave structured lab and manufacturing settings is their ability to evaluate online and…
In this paper, we develop a hybrid distance-angle rigidity theory that involves heterogeneous distances (or unsigned angles) and signed constraints for a framework in the 2-D and 3-D space. The new rigidity theory determines a (locally)…
We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…
We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…
We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…
This article aims to classify closed vacuum static spaces with a non-Killing closed conformal vector field. We firstly provide several characterizations of the conditions under which the first derivative of the warping function fulfills the…
In this paper, we develop a general framework of geometric functorial field theories, meaning that all bordisms in question are endowed with geometric structures. We take particular care to establish a notion of smooth variation of such…
We provide a differential-algebraic description of forking independence in the stable theory DCF$_{p,m}$ of differentially closed fields of characteristic $p>0$ with $m$-many commuting derivations. As a by-product of this description, we…
We review aspects of our formalism for differential geometry on noncommutative and nonassociative spaces which arise from cochain twist deformation quantization of manifolds. We work in the simplest setting of trivial vector bundles and…
Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of…
We develop a general framework for working with structured lifting problems, establishing closure and uniqueness properties of their solutions. In a subsequent paper, we apply these results to axiomatize computation rules of cubical type…
We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third…
The zero modes of closed strings on a torus --the torus coordinates plus dual coordinates conjugate to winding number-- parameterize a doubled torus. In closed string field theory, the string field depends on all zero-modes and so can be…
For smooth manifolds equipped with various geometric structures, we construct complexes that replace the de Rham complex in providing an alternative fine resolution of the sheaf of locally constant functions. In case that the geometric…
We give a detailed proof of Kolchin's results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. We closely follow former works due to Pillay and…
A careful treatment of closed string BRST cohomology shows that there are more discrete states and associated symmetries in $D=2$ string theory than has been recognized hitherto. The full structure, at the $SU(2)$ radius, has a natural…
Here it is shown how to combine two generically globally rigid bar frameworks in $d$-space to get another generically globally rigid framework. The construction is to identify $d+1$ vertices from each of the frameworks and erase one of the…
Non-geometric string backgrounds were proposed to be related to a non-associative deformation of the space-time geometry. In the flux formulation of double field theory (DFT), the structure of mathematically possible non-associative…
We study properties of stable, strictly stable and locally outermost marginally outer trapped surfaces in spacelike hypersurfaces of spacetimes possessing certain symmetries such as isometries, homotheties and conformal Killings. We first…