Smooth singular complexes and diffeological principal bundles

TL;DR

This paper establishes the fibrant approximation of certain singular complexes of diffeological spaces, confirming a conjecture and extending characteristic classes to diffeological principal bundles.

Contribution

It proves that the singular complex $S^ ext{dcal}(X)$ fibrantly approximates other complexes, confirming a conjecture and characterizing diffeological principal bundles via the singular functor.

Findings

Homotopy groups of $S^ ext{dcal}_{sub}(X)$ and $S^ ext{dcal}_{aff}(X)$ are isomorphic to smooth homotopy groups.

$S^ ext{dcal}(X)$ is a fibrant approximation of $S^ ext{dcal}_{sub}(X)$ and $S^ ext{dcal}_{aff}(X)$.

Characteristic classes for $ ext{dcal}$-numerable principal bundles are extended to diffeological principal bundles.

Abstract

In previous papers, we used the standard simplices $\Delta^p$ $(p\ge 0)$ endowed with diffeologies having several good properties to introduce the singular complex $S^\dcal(X)$ of a diffeological space $X$. On the other hand, Hector and Christensen-Wu used the standard simplices $\Delta^p_{\rm sub}$ $(p\ge 0)$ endowed with the sub-diffeology of $\rbb^{p+1}$ and the standard affine $p$-spaces $\abb^p$ $(p\ge 0)$ to introduce the singular complexes $S^\dcal_{\rm sub}(X)$ and $S^\dcal_{\rm aff}(X)$, respectively, of a diffeological space $X$. In this paper, we prove that $S^\dcal(X)$ is a fibrant approximation both of $S^\dcal_{\rm sub}(X)$ and $S^\dcal_{\rm aff}(X)$. This result easily implies that the homotopy groups of $S^\dcal_{\rm sub}(X)$ and $S^\dcal_{\rm aff}(X)$ are isomorphic to the smooth homotopy groups of $X$, proving a conjecture of Christensen and Wu. Further, we characterize diffeological principal bundles (i.e., principal bundles in the sense of Iglesias-Zemmour) using the singular functor $S^\dcal_{\rm aff}$. By using these results, we extend characteristic classes for $\dcal$-numerable principal bundles to characteristic classes for diffeological principal bundles.