Related papers: The universal property of derived geometry
After introducing a noncommutative counterpart of commutative algebraic geometry based on monoidal categories of quasi-coherent sheaves we show that various constructions in noncommutative geometry (e.g. Morita equivalences, Hopf-Galois…
A general definition of the curves and geodesics associated with a given connection on a quantized manifold is given. In the particular case of the functional quantization we define geodesics in the same way as in the classical case and we…
In this text, we outline a theory of schemes associated with a site, which generalizes a variety of geometries, such as manifolds, schemes, analytic spaces, simplicial complexes, and more. We present an abstract process of gluing model…
It is shown that properties of a discrete space-time geometry distinguish from properties of the Riemannian space-time geometry. The discrete geometry is a physical geometry, which is described completely by the world function. The discrete…
We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…
Given a scheme S and a flat morphism T \to S of finite presentation we define a surjective S-morphism to an {\'e}tale and separated S-scheme, which is universal in an obvious sense. Properties of this morphism are deduced from a thorough…
We prove that any globular subdivision of multipointed $d$-spaces gives rise to a dihomotopy equivalence between the associated flows. As a straightforward application, the flows associated to two multipointed $d$-spaces related by a finite…
We develop in detail the theory of c-projective geometry, a natural analogue of projective differential geometry adapted to complex manifolds. We realise it as a type of parabolic geometry and describe the associated Cartan or tractor…
In category theory, logic and geometry cooperate with each other producing what is known under the name Synthetic Differential Geometry (SDG). The main difference between SDG and standard differential geometry is that the intuitionistic…
When formulating universal properties for objects in a dagger category, one usually expects a universal property to characterize the universal object up to unique unitary isomorphism. We observe that this is automatically the case in the…
We describe the cutting sequences associated to geodesic flow on regular polygons, in terms of a combinatorial process called "derivation." This work is an extension of some of the ideas and results in Smillie and Ulcigrai's recent paper,…
The aim of this paper is to extend the definition of geodesics to conical manifolds, defined as submanifolds of $\R^n$ with a finite number of singularities. We look for an approach suitable both for the local geodesic problem and for the…
We explore a definition of uniformity on noncompact manifolds that does not require a Riemannian metric, but is equivalent to bounded gemetry. These are unfinished research notes (and will likely never be published), but since they were…
We provide a universal construction of the category of finite-dimensional C*-algebras and completely positive trace-nonincreasing maps from the rig category of finite-dimensional Hilbert spaces and unitaries. This construction, which can be…
Derived brackets as introduced and studied by Kosmann-Schwarzbach and Voronov are a powerful tool for describing and understanding infinitesimal symmetry actions relevant in physics. Roytenberg and Weinstein showed that this continues to…
A universal geometric cluster algebra over an exchange matrix B is a universal object in the category of geometric cluster algebras over B related by coefficient specializations. (Following an earlier paper on universal geometric cluster…
The generalized chain geometry over the local ring $K(\epsilon;\sigma)$ of twisted dual numbers, where $K$ is a finite field, is interpreted as a divisible design obtained from an imprimitive group action. Its combinatorial properties as…
We consider the concept of a generalised manifold in the O(d,d) setting, i.e., in double geometry. The conjecture by Hohm and Zwiebach for the form of finite generalised diffeomorphisms is shown to hold. Transition functions on overlaps are…
We develop a generalized covering space theory for a class of uniform spaces called coverable spaces. Coverable spaces include all geodesic metric spaces, connected and locally pathwise connected compact topological spaces, in particular…
Positive geometry provides a geometric framework where physical observables are encoded as canonical forms associated to regions of kinematic space. In this paper we consider a generalisation to an infinite union of line segments, which…