Related papers: How Logic Interacts with Geometry: Infinitesimal C…
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…
In this paper we carry out analysis and geometry for a class of infinite dimensional manifolds, namely, compound configuration spaces as a natural generalization of the work \cite{AKR97}. More precisely a differential geometry is…
We study the fundamental properties of curvature in groupoids within the framework of synthetic differential geometry. As is usual in synthetic differential geometry, its combinatorial nature is emphasized. In particular, the classical…
We reconsider differential geometry from the point of view of the quantum theory of non-relativistic spinning particles, which provides examples of supersymmetric quantum mechanics. This enables us to encode geometrical structure in…
Mixing, and coherence are fundamental issues at the heart of understanding transport in fluid dynamics and other non-autonomous dynamical systems. Recently, the notion of coherence has come to a more rigorous footing, and particularly…
We develop a directional formalism for the partition graph G_n based on several canonical reference sets: the main chain, the self-conjugate axis, the spine, and the boundary framework. For each such set S, the graph distance d_S induces a…
We introduce a notion of global dimension for a triangulated category relative to a compact silting object. We prove that the finiteness of this dimension is an intrinsic property of the triangulated category itself and, therefore,…
We generalize the differential space concept as a tool for developing differential geometry, and enrich this geometry with infinitesimals that allow us to penetrate into the superfine structure of space. This is achieved by Yoneda embedding…
We investigate the interaction between systolic geometry and positive scalar curvature through spinorial methods. Our main theorem establishes an upper bound for the two-dimensional stable systole on certain high-dimensional manifolds with…
We study a deformation of infinitesimal diffeomorphisms of a smooth manifold. The deformation is based on a general twist. This leads to a differential geometry on a noncommutative algebra of functions whose product is a star-product. The…
A generalized symmetry of a system of differential equations is an infinitesimal transformation depending locally upon the fields and their derivatives which carries solutions to solutions. We classify all generalized symmetries of the…
It is often noted that many of the basic concepts of differential geometry, such as the definition of connection, are purely algebraic in nature. Here, we review and extend existing work on fully algebraic formulations of differential…
Topology and geometry are deeply intertwined in the study of surfaces, though their interaction manifests differently in smooth and discrete settings. In the smooth category, a classical result asserts that any closed smooth surface…
The classical theory of $G$-structures, which include almost-complex structures, explains the relationship between the curvature of compatible connections and integrability. This note is an effort to understand how the curvature of…
Timelike sectional curvature bounds play an important role in spacetime geometry, both for the understanding of classical smooth spacetimes and for the study of Lorentzian (pre-)length spaces introduced in \cite{kunzinger2018lorentzian}. In…
Synthetic algebraic geometry uses homotopy type theory extended with three axioms to develop algebraic geometry internal to a higher version of the Zariski topos. In this article we make no essential use of the higher structure and use…
General Relativity is known to produce singularities in the potential generated by a point source. Our universe can be modelled as a de Sitter (dS) metric and we show that ghost-free Infinite Derivative Gravity (IDG) produces a non-singular…
A generic method for combinatorial constructions of intrinsic geometrical spaces is presented. It is based on the well known inverse sequences of finite graphs that determine (in the limit) topological spaces. If a pattern of the…
We show how DG categories arise naturally in noncommutative differential geometry and use them to derive noncommutative analogues of the Bianchi identities for the curvature of a connection. We also give a derivation of formulae for…
This article is about the formalization of synthetic differential geometry with the Lean proof assistant and the mathematical library mathlib. The main result we prove and formalize is a Taylor theorem for functions of several variables,…