Related papers: Smooth singular complexes and diffeological princi…

Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce…

In this paper we study $\mathcal M(X)$, the set of diffeomorphism classes of smooth manifolds with the simple homotopy type of $X$, via a map $\Psi$ from $\mathcal M(X)$ into the quotient of $K(X)=[X,BSO]$ by the action of the group of…

In this paper, we study diffeological spaces as certain kinds of discrete simplicial presheaves on the site of cartesian spaces with the coverage of good open covers. The \v{C}ech model structure on simplicial presheaves provides us with a…

Simplicial objects $\mathsf{sC}$ in descent categories $\mathsf{C}$, as introduced by Behrend and Getzler, provide a context in which to study higher stacks. In this note, we extend the construction of the canonical cocycle of a smooth…

We develop the theory of smooth principal bundles for a smooth group $G$, using the framework of diffeological spaces. After giving new examples showing why arbitrary principal bundles cannot be classified, we define $D$-numerable bundles,…

We provide a general, homotopy-theoretic definition of string group models within an $\infty$-category of smooth spaces, and we present new smooth models for the string group. Here, a smooth space is a presheaf of $\infty$-groupoids on the…

Using the new approach to analytic geometry developed by Clausen and Scholze by means of condensed mathematics, we prove that for every affinoid analytic adic space $X$, pseudocoherent complexes, perfect complexes, and finite projective…

We describe the structure of diffeological bundle of non formal classical pseudo-differential operators over formal ones, and its structure group. For this, we give few results on diffeological principal bundles with (a priori) no local…

Let $X$ be a compact connected Riemann surface of genus at least two, and let ${G}$ be a connected semisimple affine algebraic group defined over $\mathbb C$. For any $\delta \in \pi_1({G})$, we prove that the moduli space of semistable…

Winkelmann considered compact complex manifolds $X$ equipped with a reduced effective normal crossing divisor $D\, \subset\, X$ such that the logarithmic tangent bundle $TX(-\log D)$ is holomorphically trivial. He characterized them as…

Much of the homotopical and homological structure of the categories of chain complexes and topological spaces can be deduced from the existence and properties of the 'simple' functors Tot : {double chain complexes} -> {chain complexes} and…

We show that a diffeological bundle gives rise to an exact sequence of internal tangent spaces. We then introduce two new classes of diffeological spaces, which we call weakly filtered and filtered diffeological spaces, whose tangent spaces…

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 investigate the properties of a specific quotient space construction, the "warped projection'" $\pi: W_\alpha \to D_\alpha$, over a smoothly contractible base. In a previous version of this work, it was claimed that this structure…

A separable, proper morphism of varieties with geometrically connected fibers induces a homotopy exact sequence relating the \'etale fundamental groups of source, target and fiber. Extending work of dos Santos, we prove the existence of an…

Simplicial presheaves on cartesian spaces provide a general notion of smooth spaces. There is a corresponding smooth version of the singular complex functor, which maps smooth spaces to simplicial sets. We consider the localisation of the…

The existence of a model structure on the category $\mathcal{D}$ of diffeological spaces is crucial to developing smooth homotopy theory. We construct a compactly generated model structure on the category $\mathcal{D}$ whose weak…

In this paper, we use homotopical algebra (or abstract homotopical methods) to study smooth homotopical problems of infinite-dimensional $C^\infty$-manifolds in convenient calculus. More precisely, we discuss the smoothing of maps,…

In this note, we introduce the notion of a singular principal G-bundle, associated to a reductive algebraic group G over the complex numbers by means of a faithful representation $\varrho^\p\colon G\lra \SL(V)$. This concept is meant to…

Diffeological and differential spaces are generalisations of smooth structures on manifolds. We show that the "intersection" of these two categories is isomorphic to Fr\"olicher spaces, another generalisation of smooth structures. We then…