Related papers: Linked spaces and exit paths

Let $Y$ be a smooth compact $n$-manifold. We study smooth embeddings and immersions $\beta: M \to \mathbb R \times Y$ of compact $n$-manifolds $M$ such that $\beta(M)$ avoids some a priory chosen closed poset $\Theta$ of {\sf tangent…

We prove that a connected subcartesian space admits embedding in a Euclidean space. The Whitney Embedding Theorem is then stated as a corollary of our result. Based on the above result together with the theory of distribution on 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 develop the theory of probabilistic variants of the one-category and diagonal topological complexity, which bound the classical LS-category and topological complexity from below. Unlike any other classical or probabilistic invariants,…

Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work…

A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…

We introduce quasi-BPS categories for twisted Higgs bundles, which are building blocks of the derived category of coherent sheaves on the moduli stack of semistable twisted Higgs bundles over a smooth projective curve. Under some condition…

In this book we prove unified classification results for equivariant principal bundles when the topological structure group is truncated. The conceptually transparent proof invokes a smooth Oka principle, which becomes available after…

We identify the smooth metrics $\mc{M}(M)$ on a manifold $M^n$ with the smooth isometric embeddings $f_g: (M,g) \rightarrow (\mb{S}^{\tn}, \tg)$ into a standard sphere of large dimension $\tn=\tn(n)$, and their Palais isotopic deformations,…

We will study two subclasses of the class of feebly compact spaces in the class of (para)topological groups, the compact-bounded and weakly compact-bounded spaces, both introduced by J. Angoa, Y. F. Ortiz-Castillo and A. Tamariz-Mascar\'ua…

v2: A few typos corrected, a few formulations improved. On $X$ projective smooth over an algebraically closed field of characteristic $p>0$, we show that irreducible stratified bundles have rank 1 if and only if the commutator $[\pi_1^{{\rm…

Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of topological properties of smooth manifolds. Round fold maps were introduced as stable fold…

In their construction of the topological index for flat vector bundles, Atiyah, Patodi and Singer associate to each flat vector bundle a particular $\mathbb{C/Z}$-$K$-theory class. This assignment determines a map, up to weak homotopy, from…

We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve…

Kontsevich's characteristic classes are invariants of framed smooth fiber bundles with homology sphere fibers. It was shown by Watanabe that they can be used to distinguish smooth $S^4$-bundles that are all trivial as topological fiber…

In the homotopical study of spaces of smooth embeddings, the functor calculus method (Goodwillie-Klein-Weiss manifold calculus) has opened up important connections to operad theory. Using this and a few simplifying observations, we arrive…

In this paper, we continue the development of the Cartan neural networks programme, launched with three previous publications, by focusing on some mathematical foundational aspects that we deem necessary for our next steps forward. The…

We prove that smooth 1-dimensional topological field theories over a manifold are equivalent to vector bundles with connection. The main novelty is our definition of the smooth 1-dimensional bordism category, which encodes cutting laws…

We define novel fully combinatorial models of higher categories. Our definitions are based on a connection of higher categories to "directed spaces". Directed spaces are locally modelled on manifold diagrams, which are stratifications of…

We make precise the analogy between Goodwillie's calculus of functors in homotopy theory and the differential calculus of smooth manifolds by introducing a higher-categorical framework of which both theories are examples. That framework is…