相关论文: Smooth Homotopy of Infinite-Dimensional $C^{\infty…

Let $M, N$ the be smooth manifolds, $\mathcal{C}^{r}(M,N)$ the space of ${C}^{r}$ maps endowed with weak $C^{r}$ Whitney topology, and $\mathcal{B} \subset \mathcal{C}^{r}(M,N)$ an open subset. It is proved that for $0\leq r<s\leq\infty$…

Let X be a real algebraic subset of R^n and M a smooth, closed manifold. We show that all continuous maps from M to X are homotopic (in X) to C^\infty maps. We apply this result to study characteristic classes of vector bundles associated…

We formulate and study the notion of $d$-skeletal diffeology, which generalizes that of wire diffeology, introducing the dual notion of $d$-coskeletal diffeology. We first show that paracompact finite-dimensional $C^\infty$-manifolds $M_d$…

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…

Let K be a a Lie group, modeled on a locally convex space, and M a finite-dimensional paracompact manifold with corners. We show that each continuous principal K-bundle over M is continuously equivalent to a smooth one and that two smooth…

Let $M$ be a smooth manifold. We use Chern-Weil theory to study the characteristic classes of principal $G$-bundles built from continuous families of $\pi_{1}(M)$-representations, where $G$ is a compact Lie group. We then relate these…

We will prove the relative homotopy principle for smooth maps with singularities of a given {\cal K}-invariant class with a mild condition. We next study a filtration of the group of homotopy self-equivalences of a given manifold P by…

Given work contains the full text of the proof of the following assertion: For the topological algebra $C^{\infty}(\mathcal{M})$ of smooth functions on a smooth $m$-dimensional real manifold $\mathcal{M}$ the small global dimension…

Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups…

The singular set of a generic map $f: M\to F$ of a manifold $M$ of dimension $m\ge 2$ to an oriented surface $F$ is a closed smooth curve $\Sigma(f)$. We study the parity of the number of components of $\Sigma(f)$. The image $f(\Sigma)$ of…

In this paper we present another notion of a smooth manifold with corners and relate it to the commonly used concept in the literature. Afterwards we introduce complex manifolds with corners and show that if $M$ is a compact (respectively…

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

We prove that every continuous mapping from a separable infinite-dimensional Hilbert space $X$ into $\mathbb{R}^{m}$ can be uniformly approximated by $C^\infty$ smooth mappings {\em with no critical points}. This kind of result can be…

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…

In this paper we give a Chern-Weil-type construction of characteristic classes of fiber bundles, based on homotopy theory of C-infinity algebras. Our idea is to replace a family of closed manifolds to a family of C-infinity morphisms with…

Let $M_{l,m}$ be the total space of the $S^3$-bundle over $S^4$ classified by the element $l\sigma+m\rho\in{\pi_4(SO(4))}$, $l,m\in\mathbb Z$. In this paper we study the homotopy theory of gauge groups of principal $G$-bundles over…

This thesis consists of two parts which share only a slight overlap. The first part is concerned with the study of ideals in the ring $C^\infty(M,R)$ of smooth functions on a compact smooth manifold M or more generally submodules of a…

Continuing our project on noncommutative (stable) homotopy we construct symmetric monoidal $\infty$-categorical models for separable $C^*$-algebras $\mathtt{SC^*_\infty}$ and noncommutative spectra $\mathtt{NSp}$ using the framework of…

The present paper mainly presents, for example, explicit classifications of compact smooth manifolds having non-empty boundaries and simple structures where the dimensions are general. Studies of this type is fundamental and important. They…

This is an overview article. After an introduction to convenient calculus in infinite dimensions, the foundational material for manifolds of mappings is presented. The central character is the smooth convenient manifold $C^{\infty}(M,N)$ of…