Related papers: Convenient Categories of Smooth Spaces

In order to provide a good categorical setting to the many different spaces of fields arising in the description of physical theories, a pedagogical introduction to the categorical notion of smooth sets is provided and some simple…

We prove that closed manifolds admitting a generic metric whose sectional curvature is locally quasi-constant are graphs of space forms. In the more general setting of QC spaces where sets of isotropic points are arbitrary, under suitable…

We prove in a uniform way that all Denjoy--Carleman differentiable function classes of Beurling type $C^{(M)}$ and of Roumieu type $C^{\{M\}}$, admit a convenient setting if the weight sequence $M=(M_k)$ is log-convex and of moderate…

In this thesis we define the notion of a locally stratified space. Locally stratified spaces are particular kinds of streams and d-spaces which are locally modelled on stratified spaces. We construct a locally presentable and cartesian…

We study the relationship between many natural conditions that one can put on a diffeological vector space: being fine or projective, having enough smooth (or smooth linear) functionals to separate points, having a diffeology determined by…

Let $\mathbb{D}$ be the category of pro-sets (or abelian pro-groups). It is proved that for any Grothendieck site $X$, there exists a reflector from the category of precosheaves on $X$ with values in $\mathbb{D}$ to the full subcategory of…

We consider coherent and cohesive sheaves of $\cO$--modules over open sets $\Omega\subset\bC^n$. We prove that coherent sheaves, and certain other sheaves derived from them, are cohesive; and conversely, certain sheaves derived from…

We study here some aspects of the topology of the space of smooth, stable, genus 0 curves in a Riemannian manifold $X$, i.e. the Kontsevich stable curves, which are not necessarily holomorphic. We use the Hofer-Wysocki-Zehnder polyfold…

We prove that the complex of proper non-trivial non-degenerate subspaces of a finite-dimensional vector space endowed with a non-degenerate sesquilinear form is homotopy equivalent to a wedge of spheres. Additionally, we show that the same…

Let $M$ be a compact smooth manifold with corners and $N$ be a finite dimensional smooth manifold without boundary which admits local addition. We define a smooth manifold structure to general sets of continuous mapings $\mathcal{F}(M,N)$…

We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…

We construct a spectral sequence associated to a stratified space, which computes the compactly supported cohomology groups of an open stratum in terms of the compactly supported cohomology groups of closed strata and the reduced cohomology…

If $X$ is a quasi-compact and quasi-separated scheme, the category $Qcoh(X)$ of quasi-coherent sheaves on $X$ is locally finitely presented. Therefore categorical flat quasi-coherent sheaves naturally arise. But there is also the standard…

Special generic maps are smooth maps at each singular point of which we can represent as $(x_1, \cdots, x_m) \mapsto (x_1,\cdots,x_{n-1},\sum_{k=n}^{m}{x_k}^2)$ for suitable coordinates. Morse functions with exactly two singular points on…

Meridian surfaces in the Euclidean 4-space are two-dimensional surfaces which are one-parameter systems of meridians of a standard rotational hypersurface. On the base of our invariant theory of surfaces we study meridian surfaces with…

In this paper, we consider diffeological spaces as stacks over the site of smooth manifolds, as well as the "underlying" diffeological space of any stack. More precisely, we consider diffeological spaces as so-called concrete sheaves and…

In the first part of this article we provide a geometrically oriented approach to the theory of orbispaces which originally had been introduced by Chen. We explain the notion of a vector orbibundle and characterize the good sections of a…

Selective segmentation involves incorporating user input to partition an image into foreground and background, by discriminating between objects of a similar type. Typically, such methods involve introducing additional constraints to…

A Reeb space is defined as the space of all the connected components of inverse images of a smooth map, which is a fundamental tool in studying smooth manifolds using generic smooth maps whose codimensions are not positive such as Morse…

We construct, for each convex polytope, possibly nonrational and nonsimple, a family of compact spaces that are stratified by quasifolds, i.e. each of these spaces is a collection of quasifolds glued together in an suitable way. A quasifold…