Related papers: On the geometry of profinite diffeological spaces
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having…
De Rham cohomology, $d_V$- and $d_H$-cohomology of the differential algebra of locally pull-back exterior forms on the infinite-order jet manifold of a smooth fibre bundle are calculated.
In this paper, I shall demonstrate that sufficiently high-dimensional closed positively-curved Riemannian manifolds are either diffeomorphic to a spherical space form, or isometric to a locally compact rank one symmetric space. This…
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…
The present document is the draft of a book which presents an introduction to infinite-dimensional differential geometry beyond Banach manifolds. As is well known the usual calculus breaks down in this setting. Hence, we replace it by the…
We study finite-dimensional spaces of rational one-forms on a projective manifold by means of their integrable locus.
This is a long summary of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at http://people.maths.ox.ac.uk/~joyce/dmanifolds.html . A shorter survey paper on the book, focussing on…
An algebraic formulation of Riemannian geometry on quantum spaces is presented, where Riemannian metric, distance, Laplacian, connection, and curvature have their counterparts. This description is also extended to complex manifolds.…
By making use of Halperin's local systems over simplicial sets and the model structure of the category of diffeological spaces due to Kihara, we introduce a framework of rational homotopy theory for such smooth spaces with arbitrary…
The Torelli group of a manifold is the group of all diffeomorphisms which act as the identity on the homology of the manifold. In this paper, we calculate the invariant part (invariant under the action of the automorphisms of the homology)…
(This is a report for the Proceedings of ``Journees Relativistes 1993'' written in September 1993. Containes a short description of the results published elsewhere in the joint paper with A. Ashtekar) Integral calculus on the space of gauge…
In this survey, symmetry provides a framework for classification of manifolds with differential-geometric structures. We highlight pseudo-Riemannian metrics, conformal structures, and projective structures. A range of techniques have been…
The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A…
A notion of differentiability is being proposed for maps between Wasserstein spaces of order 2 of smooth, connected and complete Riemannian manifolds. Due to the nature of the tangent space construction on Wasserstein spaces, we only give a…
We investigate the category of discrete topological spaces, with emphasis on inverse systems of height $\omega_1$. Their inverse limits belong to the class of $P$-spaces, which allows us to explore dimensional types of these spaces.
We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses…
We discuss some properties of the distance functions on Riemannian manifolds and we relate their behavior to the geometry of the manifolds. This leads to alternative proofs of some "classical" theorems connecting curvature and topology.
In order to understand the structure of the cohomologies involved in the study of projectively equivariant quantizations, we introduce a notion of affine representation of a Lie algebra.We show how it is related to linear representations…
We give a complete diffeomorphism classification of 1-connected manifolds (of dimension different from 4) whose integral homology is H(M)=Z+Z+Z.
We give the complete solution to the local diffeomorphism classification problem of generic singularities which appear in tangent surfaces, in as wider situations as possible. We interpret tangent geodesics as tangent lines whenever a…