Related papers: Smooth $A_{\infty}$ form on a diffeological loop s…

We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of…

We show that proper Lie groupoids are locally linearizable. As a consequence, the orbit space of a proper Lie groupoid is a smooth orbispace (a Hausdorff space which locally looks like the quotient of a vector space by a linear compact Lie…

We introduce a class of diffeological spaces, called elastic, on which the left Kan extension of the tangent functor of smooth manifolds defines an abstract tangent functor in the sense of Rosicky. On elastic spaces there is a natural…

In the framework of loop quantum gravity, we define a new Hilbert space of states which are solutions of a large number of components of the diffeomorphism constraint. On this Hilbert space, using the methods of Thiemann, we obtain a family…

`Loop-fusion cohomology' is defined on the continuous loop space of a manifold in terms of \vCech cochains satisfying two multiplicative conditions with respect to the fusion and figure-of-eight products on loops. The main result is that…

We examine the geometry of loop spaces in derived algebraic geometry and extend in several directions the well known connection between rotation of loops and the de Rham differential. Our main result, a categorification of the geometric…

As a toy model for the implementation of the diffeomorphism constraint, the interpretation of the resulting states, and the treatment of ordering ambiguities in loop quantum gravity, we consider the Hilbert space of spatially diffeomorphism…

We establish a loop space decomposition for certain $CW$-complexes with a single top cell in the presence of a spherical pair, thereby generalizing several known decompositions of Poincar\'{e} duality complexes in which a loop of a product…

We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is…

This paper deals with some basic constructions of linear and multilinear algebra on finite-dimensional diffeological vector spaces. We consider the diffeological dual formally checking that the assignment to each space of its dual defines a…

In this paper we answer positively a question of whether it is possible for a circle diffeomorphism with breaks to be smoothly conjugate to a rigid rotation in the case when its breaks are lying on pairwise distinct trajectories. An example…

We show that the moduli space of all smooth fibrations of a three-sphere by simple closed curves has the homotopy type of a disjoint union of a pair of two-spheres if the fibers are oriented, and of a pair of real projective planes if…

In a recent paper, we have shown that warped time-frequency representations provide a rich framework for the construction and study of smoothness spaces matched to very general phase space geometries obtained by diffeomorphic deformations…

Recall that the moduli space of smooth (that is, stable) cubic curves is isomorphic to the quotient of the upper half plane by the group of fractional linear transformations with integer coefficients. We establish a similar result for…

In this paper we study the topology of the space $\I_\omega$ of complex structures compatible with a fixed symplectic form $\omega$, using the framework of Donaldson. By comparing our analysis of the space $\I_\omega$ with results of McDuff…

A loop is a rather general algebraic structure that has an identity element and division, but is not necessarily associative. Smooth loops are a direct generalization of Lie groups. A key example of a non-Lie smooth loop is the loop of unit…

Let $\Sigma$ be a closed surface, $G$ a compact Lie group, with Lie algebra $g$, $\xi \colon P \to \Sigma$ a principal $G$-bundle, let $N(\xi)$ denote the moduli space of central Yang-Mills connections on $\xi$, for suitably chosen…

We extend the theory of diffeomorphism-invariant spin network states from the real-analytic category to the smooth category. Suppose that G is a compact connected semisimple Lie group and P -> M is a smooth principal G-bundle. A `cylinder…

A reductive homogeneous space $G/H$ is always diffeomorphic to the normal bundle of an orbit of a maximal compact subgroup of $G$. We prove that if $G/H$ admits compact quotients, then the sphere bundle associated to this normal bundle is…

Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…