Related papers: Convenient Categories of Smooth Spaces

We study the homotopy right Kan extension of homotopy sheaves on a category to its free cocompletion, i.e. to its category of presheaves. Any pretopology on the original category induces a canonical pretopology of generalised coverings on…

We consider the problem of defining the structure of a smooth manifold on the various spaces of piecewise-smooth loops in a smooth finite dimensional manifold. We succeed for a particular type of piecewise-smooth loops. We also examine the…

A Banach space is {\it polynomially Schur} if sequential convergence against analytic polynomials implies norm convergence. Carne, Cole and Gamelin show that a space has this property and the Dunford-Pettis property if and only if it is…

In this paper, we define locally convex vector spaces of weighted vector fields and use them as model spaces for Lie groups of weighted diffeomorphisms on Riemannian manifolds. We prove an easy condition on the weights that ensures that…

There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…

Reeb spaces of (continuous) real-valued functions on (nice) topological spaces are the spaces whose underlying sets consist of all connected components (contours) of their level sets and seen naturally as quotient spaces of the spaces. They…

It is well-known that a function on an open set in $\mathbb R^d$ is smooth if and only if it is arc-smooth, i.e., its composites with all smooth curves are smooth. In recent work, we extended this and related results (for instance, a real…

A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…

Given a surjective mapping $f : E \to F$ between Banach spaces, we investigate the existence of a subspace $G$ of $E$, with the same density character as $F$, such that the restriction of $f$ to $G$ remains surjective. We obtain a positive…

A quantum channel from a system $A$ of dimension $d_A$ to a system $B$ of dimension $d_B$ is a completely positive trace-preserving map from complex $d_A\times d_A$ to $d_B\times d_B$ matrices, and the set of all such maps with Kraus rank…

In this paper configuration spaces of smooth manifolds are considered. The accent is made on actions of certain groups (mostly $p$-tori) on this spaces by permuting their points. For such spaces the cohomological index, the genus in the…

We classify the most common local forms of smooth maps from a smooth manifold L to the plane. The word "local" can refer to locations in the source L, but also to locations in the target. The first point of view leads us to a classification…

A special generic map is a smooth map regarded as a natural generalization of Morse functions with just 2 singular points on homotopy spheres. Canonical projections of unit spheres are simplest examples of such maps and manifolds admitting…

We show that the derived category of a locally compact Hausdorff space $X$ is smooth in the sense of non-commutative geometry if and only if $X$ is discrete and finite.

\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

Stratifolds are considered from a categorical point of view. We show among others that the category of stratifolds fully faithfully embeds into the category of ${\mathbb R}$-algebras as does the category of smooth manifolds. We prove that a…

In the first part of the paper, we prove that the category of diffeological spaces does not admit a model structure transferred via the smooth singular complex functor from simplicial sets, resolving in the negative a conjecture of…

This elementary survey article was prepared for a talk at the 2016 Superschool on Derived Categories and D-branes. The goal is to outline an identification of the bounded derived category of coherent sheaves on a Calabi-Yau threefold with…

As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…