Related papers: Parametrized geometric cobordism and smooth Thom s…
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…
Generalized geometry finds many applications in the mathematical description of some aspects of string theory. In a nutshell, it explores various structures on a generalized tangent bundle associated to a given manifold. In particular,…
Classical results of Milnor, Wood, Mather, and Thurston produce flat connections in surprising places. The Milnor-Wood inequality is for circle bundles over surfaces, whereas the Mather-Thurston Theorem is about cobording general manifold…
For a quasi-projective scheme M which carries a perfect obstruction theory, we construct the virtual cobordism class of M. If M is projective, we prove that the corresponding Chern numbers of the virtual cobordism class are given by…
A general problem in complex cobordism theory is to find useful representatives for cobordism classes. One particularly convenient class of complex manifolds consists of smooth projective toric varieties. The bijective correspondence…
We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology…
This manuscript develops a geometric approach to ordinary cohomology of smooth manifolds, constructing a cochain complex model based on co-oriented smooth maps from manifolds with corners. Special attention is given to the pull-back product…
The Pontryagin-Thom theorem gives an isomorphism from the cobordism group of framed $n$-manifolds to the $n$th stable homotopy group of the sphere spectrum. In this paper, we prove the generalization of the Pontryagin-Thom theorem for…
We introduce a new notion, called quasi-holomorphic maps. These are real smooth maps equipped with a structure that imitates the singularities and singularity stratifications of holomorphic maps on the source and target manifolds, although…
For a linear algebraic group $G$ over a field $k$, we define an equivariant version of the Voevodsky's motivic cobordism $MGL$. We show that this is an oriented cohomology theory with localization sequence on the category of smooth…
We introduce a general theory of parametrized objects in the setting of infinity categories. Although spaces and spectra parametrized over spaces are the most familiar examples, we establish our theory in the generality of objects of a…
In this paper, we develop a general framework of geometric functorial field theories, meaning that all bordisms in question are endowed with geometric structures. We take particular care to establish a notion of smooth variation of such…
We construct decompositions of: (1) the cohomology of smooth stacks, (2) the Borel--Moore homology of $0$-shifted symplectic stacks, and (3) the vanishing cycle cohomology of $(-1)$-shifted symplectic stacks, assuming a good moduli space…
This is the first paper in a series on intrinsic Donaldson-Thomas theory, where we develop a new framework for enumerative geometry that allows the generalization of constructions and results from linear moduli stacks to general non-linear…
We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…
We give a systematic construction of semiorthogonal decompositions of derived categories of coherent sheaves on quasi-smooth derived algebraic stacks over $\mathbb{C}$, where the summands are subcategories defined by weight conditions, and…
The classifying space of the embedded cobordism category has been identified in by Galatius, Tillmann, Madsen, and Weiss as the infinite loop space of a certain Thom spectrum. This identifies the set of path components with the classical…
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…
Together with F. Morel, we have constructed in \cite{CR, Cobord1, Cobord2} a theory of {\em algebraic cobordism}, an algebro-geometric version of the topological theory of complex cobordism. In this paper, we give a survey of the…
Let $G$ be a connected linear algebraic group over a field $k$ of characteristic zero. For a principal $G$-bundle $\pi: E \to X$ over a scheme $X$ of finite type over $k$ and a parabolic subgroup $P$ of $G$, we describe the rational…