Related papers: How Logic Interacts with Geometry: Infinitesimal C…
Differential geometric approaches to the analysis and processing of data in the form of symmetric positive definite (SPD) matrices have had notable successful applications to numerous fields including computer vision, medical imaging, and…
We associate to any Riemannian symmetric space (of finite or infinite dimension) a L$^*$-algebra, under the assumption that the curvature operator has a fixed sign. L$^*$-algebras are Lie algebras with a pleasant Hilbert space structure.…
We generalize the concept of sub-Riemannian geometry to infinite-dimensional manifolds modeled on convenient vector spaces. On a sub-Riemannian manifold $M$, the metric is defined only on a sub-bundle $\calH$ of the tangent bundle $TM$,…
We present a detailed study of the curvature and symplectic asphericity properties of symmetric products of surfaces. We show that these spaces can be used to answer nuanced questions arising in the study of closed Riemannian manifolds with…
Generalized Functions play a central role in the understanding of differential equations containing singularities and nonlinearities. Introducing infinitesimals and infinities to deal with these obstructions leads to controversies…
We describe how to approximate the Riemann curvature tensor as well as sectional curvatures on possibly infinite-dimensional shape spaces that can be thought of as Riemannian manifolds. To this end, we extend the variational time…
We study horizontal differentiation when the set of feasible products is a structured subset of the Lancasterian characteristics space. Modeling this set as a compact Riemannian manifold, we show that intrinsic geometry governs…
In the context of Synthetic Differential Geometry, we describe a notion of higher connection with values in a cubical groupoid. We do this by exploiting a certain structure of cubical complex derived from the first neighbourhood of the…
The Hamiltonian structure of General Relativity (GR), for both metric and tetrad gravity in a definite continuous family of space-times, is fully exploited in order to show that: i) the "Hole Argument" can be bypassed by means of a specific…
Differential calculus on discrete spaces is studied in the manner of non-commutative geometry by representing the differential calculus by an operator algebra on a suitable Krein space. The discrete analogue of a (pseudo-)Riemannian metric…
This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra…
We review the superspace technique to determine supersymmetric spacetimes in the framework of off-shell formulations for supergravity in diverse dimensions using the case of 3D N=2 supergravity theories as an illustrative example. This…
The thesis presents the subject of synthetic topology, especially with relation to metric spaces. A model of synthetic topology is a categorical model in which objects possess an intrinsic topology in a suitable sense, and all morphisms are…
The divergence of curvature invariants at a given point signals the impossibility of extending the spacetime to that point, with the derivative order of these diverging invariants determining the differentiability class of the considered…
Following our earlier work, we construct statistical discrete geometry by applying statistical mechanics to discrete (Regge) gravity. We propose a coarse-graining method for discrete geometry under the assumptions of atomism and background…
This document contains a description of physics entirely based on a geometric presentation: all of the theory is described giving only a pseudo-riemannian manifold (M, g) of dimension n > 5 for which the g tensor is, in studied domains,…
A generalisation of Riemannian geometry is considered, based exclusively on the minimal assumptions that the line element $ds$ is a regular function of position and direction and that the distance of every point from itself is equal to…
We derive a continuum model for incompatible elasticity as a variational limit of a family of discrete nearest-neighbor elastic models. The discrete models are based on discretizations of a smooth Riemannian manifold $(M,\mathfrak{g})$,…
The convenient setting for smooth mappings, holomorphic mappings, and real analytic mappings in infinite dimension is sketched. Infinite dimensional manifolds are discussed with special emphasis on smooth partitions of unity and tangent…
Derived geometry can be defined as the universal way to adjoin finite homotopical limits to a given category of manifolds compatibly with products and glueing. The point of this paper is to show that a construction closely resembling…