Related papers: Bordism groups of solutions to differential relati…

We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…

For a stably framed Liouville manifold X , we construct a "Donaldson-Fukaya category over the sphere spectrum" F(X; S). The objects are closed exact Lagrangians whose Gauss maps are nullhomotopic compatibly with the ambient stable framing,…

For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting…

We give a sufficient and necessary condition of the fundamental group homomorphism of a map between manifolds to induce homology equivalences. Moreover, a classification of one-sided h-cobordism of manifolds up to diffeomorphisms is…

We study the topological properties of bordisms interpolating between different 9d gauged supergravities obtained from compactification of type IIB string theory on $\mathbb{S}^1$ with a non-trivial $\mathsf{SL}(2,\mathbb{Z})$ bundle. We…

For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify…

It is known that neither immersions nor maps with a fixed finite set of multisingularities are enough to realize all mod 2 homology classes in manifolds. In this paper we define the notion of realizing a homology class up to cobordism; it…

We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an…

We prove an h-principle with boundary condition for a certain class of topological spaces valued sheaves. The techniques used in the proof come from the study of the homotopy type of the cobordism categories, and they are of simplicial and…

To define enumerative invariants in geometry, one often needs orientations on moduli spaces of geometric objects. This monograph develops a new bordism-theoretic point of view on orientations of moduli spaces. Let $X$ be a manifold with…

We show that orientations and Floer gradings for elliptic differential operators can be propagated through bordisms. This is based on a new perspective on APS indices for elliptic boundary value problems over the real numbers. Several…

Let f: M -> N be an even codimensional immersion between smooth manifolds. We derive an explicit formula for the Pontrjagin numbers and signature of the multiple point manifolds in terms of singular cohomology of M and N, the maps induced…

In this paper we introduce an open-closed cobordism category with maps to a background space. We identify the classifying space of this category for certain classes of background space. The key ingredient is the homology stability of…

The classifying spaces of cobordisms of singular maps have two fairly different constructions. We expose a homotopy theoretical connection between them. As a corollary we show that the classifying spaces in some cases have a simple product…

Let f: A\to B be a ring homomorphism between Noetherian normal integral domains. We establish a general criterion for f to induce a homomorphism Cl(f): Cl(A)\to Cl(B) on divisor class groups. For instance, this criterion applies whenever f…

A function from configuration space to moduli space of surface may induce a homomorphism between their fundamental groups which are braid groups and mapping class groups of surface, respectively. This map $\phi: B_k \rightarrow…

Let $R$ be a commutative ring with unit. We develop a Hochschild cohomology theory in the category $\mathcal{F}$ of linear functors defined from an essentially small symmetric monoidal category enriched in $R$-Mod, to $R$-Mod. The category…

We show that the conditions in Steimle's 'additivity theorem for cobordism categories' can be weakened to only require \emph{locally} (co)Cartesian fibrations, making it applicable to a larger class of functors. As an application we compute…

The aim of this paper is to extend the definition of motivic homotopy theory from schemes to a large class of algebraic stacks and establish a six functor formalism. The class of algebraic stacks that we consider includes many interesting…

We construct the stable (representable) homotopy category of finite orbispectra, whose objects are formal desuspensions of finite orbi-CW-pairs by vector bundles and whose morphisms are stable homotopy classes of (representable) relative…