Related papers: Constructing Smooth Loop Spaces

For $p\in [1,\infty]$, we define a smooth manifold structure on the set $AC_{L^p}([a,b],N)$ of absolutely continuous functions $\gamma\colon [a,b]\to N$ with $L^p$-derivatives for all real numbers $a<b$ and each smooth manifold $N$ modeled…

We construct smooth bundles with base and fiber products of two spheres whose total spaces have non-vanishing $\hat{A}$-genus. We then use these bundles to locate non-trivial rational homotopy groups of spaces of Riemannian metrics with…

After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…

We prove a homological stability theorem for moduli spaces of high-dimensional, highly connected manifolds, with respect to forming the connected sum with the product of spheres $S^{p}\times S^{q}$, for $p < q < 2p - 2$. This result is…

The state spaces of machines admit the structure of time. A homotopy theory respecting this additional structure can detect machine behavior unseen by classical homotopy theory. In an attempt to bootstrap classical tools into the world of…

We prove necessary and sufficient conditions for a smooth surface in a 4-manifold X to be pseudoholomorphic with respect to some almost complex structure on X. This provides a systematic approach to the construction of pseudoholomorphic…

We construct an example of a smooth ($C^\infty$) circle covering map topologically conjugate to the doubling map, such that it has a physical measure supported on a hyperbolic repelling fixed point. By relaxing the smooth condition at a…

To construct an $A_{\infty}$-form for a loop space in the category of diffeological spaces, we have two minor problems. Firstly, the concatenation of paths in the category of diffeological spaces needs a small technical trick (see…

This is the first of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we define the maps in the more general context of orbispaces, and establish several basic results concerning the…

This paper explores various differentiable structures on the product manifold $M \times \mathbb{S}^k$, where $M$ is either a 4-dimensional closed, oriented, smooth manifold or a simply connected 5-dimensional closed, smooth manifold. We…

We survey recent work on moduli spaces of manifolds with an emphasis on the role played by (stable and unstable) homotopy theory. The theory is illustrated with several worked examples.

For a smoothing Y of a 2-dimensional cyclic quotient singularity X, we construct a simple handle decomposition of Y by using a particular birational map from Y to the projective plane. The manifold Y is built up from the product of an…

In this paper we analyse the structure of the spaces of smooth type functions, generated by elements of arbitrary Hilbert spaces, as a continuation of the research in our previous papers in this series. We prove that these spaces are…

We present two models for the space of knots which have endpoints at fixed boundary points in a manifold with boundary, one model defined as an inverse limit of spaces of maps between configuration spaces and another which is cosimplicial.…

Using the $E_\infty-$structure on singular cochains, we construct a homotopy coherent map from the cyclic bar construction of the differential graded algebra of cochains on a space to a model for the cochains on its free loop space. This…

We survey several mathematical developments in the holonomy approach to gauge theory. A cornerstone of this approach is the introduction of group structures on spaces of based loops on a smooth manifold, relying on certain homotopy…

We investigate the geometry and topology of compact submanifolds of arbitrary codimension in space forms satisfying a certain pinching condition involving the length of the second fundamental form and the mean curvature. We prove that this…

We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…

Why is the manifold topology in a spacetime taken for granted? Why do we prefer to use Riemann open balls as basic-open sets, while there also exists a Lorentz metric? Which topology is a best candidate for a spacetime; a topology…

We study how to construct explicit deformations of generic smooth maps from closed $n$--dimensional manifolds $M$ with $n \geq 2$ to the $2$--sphere $S^2$ and show that every smooth map $M \to S^2$ is homotopic to a $C^\infty$ stable map…