Related papers: The Geometry of Loop Spaces II: Corrections

Among plenty of applications, low-dimensional homogeneous spaces appear in cosmological models as both, classical factor spaces of multidimensional geometry and minisuperspaces in canonical quantization. Here a new tool to restrict their…

Let $P$ be a pseudogroup of local diffeomorphisms of an $n$-dimensional smooth manifold $M$. Following Losik we consider characteristic classes of the quotient $M/P$ as elements of the de~Rham cohomology of the second order frame bundles…

A morph between two Riemannian $n$-manifolds is an isotopy between them together with the set of all intermediate manifolds equipped with Riemannian metrics. We propose measures of the distortion produced by some classes of morphs and…

We amend the statement of point~(i) in Theorem~1.3 in arxiv:0901.1022 and supply the additional arguments and minor changes for the results that depend on it. We also seize the occasion and generalize to non-finitely generated lattices.

This paper studies a specific metric on plane curves that has the property of being isometric to classical manifold (sphere, complex projective, Stiefel, Grassmann) modulo change of parametrization, each of these classical manifolds being…

The equivariant Gromov--Hausdorff convergence of metric spaces is studied. Where all isometry groups under consideration are compact Lie, it is shown that an upper bound on the dimension of the group guarantees that the convergence is by…

This paper develops second variational formulas and index forms in the context of Hermitian geometry. Building upon these analytical foundations, we establish results analogous to classical theorems in Riemannian geometry, including Myers'…

We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth…

We study the Disc-structure space $S^{\rm Disc}_\partial(M)$ of a compact smooth manifold $M$. Informally speaking, this space measures the difference between $M$, together with its diffeomorphisms, and the diagram of ordered framed…

The closed 3-manifolds of constant positive curvature were classified long ago by Seifert and Threlfall. Using well-known information about the orthogonal group O(4), we calculate their full isometry groups Isom(M), determine which elliptic…

We consider the class of profinite diffeological spaces, that is, diffeological spaces which diffeologies are deduced by pull-back of diffeologies on finite-dimensional manifolds through a system of projection mappings. This class includes…

This contribution is the first in a series of three: it reports on the construction of (a fine sheaf of) diffeomorphism invariant Colombeau algebras on open sets of Eucildean space, which completes earlier approaches. Part II and III will…

A classical result in differential geometry states that for a free and proper Lie group action, the quotient map to the orbit space induces an isomorphism between the de Rham complex of differential forms on the orbit space and the basic…

Modern machine learning increasingly leverages the insight that high-dimensional data often lie near low-dimensional, non-linear manifolds, an idea known as the manifold hypothesis. By explicitly modeling the geometric structure of data…

We generalize a new class of cluster type mutations for which exchange transformations are given by reciprocal polynomials. In the case of second-order polynomials of the form $x+2\cos{\pi/n_o}+x^{-1}$ these transformations are related to…

A bi-invariant differential 2-form on a Lie group G is a highly constrained object, being determined by purely linear data: an Ad-invariant alternating bilinear form on the Lie algebra of G. On a compact connected Lie group these have an…

For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…

We show that the group ${\Cal D}(M)$ of pseudoisotopy classes of diffeomorphisms of a manifold of dimension $\geq 5$ and of finite fundamental group is commensurable to an arithmetic group. As a result $\pi_0(\text{{\it Diff\,M}})$ is a…

The assumption in the main result of [Peter W. Michor: Basic Differential Forms for Actions of Lie Groups, Proc. AMS 124, 5 (1996) 1633-1642] is removed. Thus: A section of a Riemannian $G$-manifold $M$ is a closed submanifold $\Si$ which…

This paper studies the reduction by symmetry of variational problems on Lie groups and Riemannian homogeneous spaces. We derive the reduced equations of motion in the case of Lie groups endowed with a left-invariant metric, and on Lie…