Related papers: Singular cobordism categories
Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed…
We give a complete obstruction to turning an immersion of an m-dimensional manifold M in Euclidean n-space into an embedding when 3n>4m+4. It is a secondary obstruction, and exists only when the primary obstruction, due to Haefliger,…
On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of…
In this paper, we define indexed type theories which are related to indexed ($\infty$-)categories in the same way as (homotopy) type theories are related to ($\infty$-)categories. We define several standard constructions for such theories…
We prove the non-commutative analogue of Grothendieck's Standard Conjecture D for the dg-category of matrix factorizations of an isolated hypersurface singularity in characteristic 0. Along the way, we show the Euler pairing for such…
Characteristic classes of oriented vector bundles can be identified with cohomology classes of the disjoint union of classifying spaces BSO_n of special orthogonal groups SO_n with n=0,1,... A characteristic class is stable if it extends to…
The signature of closed oriented manifolds is well-known to be multiplicative under finite covers. This fails for Poincar\'e complexes as examples of C. T. C. Wall show. We establish the multiplicativity of the signature, and more…
A universal category-theoretical characterization of groupoid equivariant $KK^G$-theory for ${\mathbb{Z}}_2$-graded $C^*$-algebras is established, by observing the ``$KK$-axiom'' that for each $[s,{\cal E} \oplus B, \mathbb{F}] \in…
In this paper, it is proved, that for varieties with (m-1)-Du Bois singularities, the natural morphism from the Grothendieck dual of the m-th graded Du Bois complex to the Grothendieck dual of its zero-th cohomology sheaf is injective on…
We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of…
In this paper we extend Y.Eliashberg's $h$-principle to arbitrary generic smooth maps of smooth manifolds. Namely, we prove a necessary and sufficient condition for a continuous map of smooth manifolds of the same dimension to be homotopic…
Let $\mathcal{M}_{n,d}$ be the moduli space of semi-stable rank $n$, trace-free Higgs bundles with fixed determinant of degree $d$ on a Riemann surface of genus at least $3$. We determine the following automorphism groups of…
In this paper we propose a new treatment about infinite dimensional manifolds, using the language of category and functor. Our definition of infinite dimensional manifolds is a natural generalization of finite dimensional manifolds in the…
We study relations among characteristic classes of smooth manifold bundles with highly-connected fibers. For bundles with fiber the connected sum of $g$ copies of a product of spheres $S^d \times S^d$ and an odd $d$, we find numerous…
By developing a generalized cobordism theory, we explore the higher global symmetries and higher anomalies of quantum field theories and interacting fermionic/bosonic systems in condensed matter. Our essential math input is a generalization…
** Draft Version ** To any boolean topos one can associate its category of internal Hilbert spaces, and if the topos is locally separated one can consider a full subcategory of square integrable Hilbert spaces. In both case it is a…
We establish the non-commutative analogue of Grothendieck's standard conjecture D for the differential graded category of $G$-equivariant matrix factorizations associated to an isolated hypersurface singularity where $G$ is a finite group.
On a Weinstein manifold, we define a constructible co/sheaf of categories on the skeleton. The construction works with arbitrary coefficients, and depends only on the homotopy class of a section of the Lagrangian Grassmannian of the stable…
The cohomology ring of the moduli space of stable holomorphic vector bundles of rank n and degree d over a Riemann surface of genus g>1 has a standard set of generators when n and d are coprime. When n=2 the relations between these…
We introduce multi-uniformized stacks as a generalization of the Abramovich--Hassett construction of uniformized twisted varieties. We prove an equivalence between the category of multi $\mathbb{Q}$-line bundles satisfying an analogue of…