Related papers: A relative h-principle via cobordism-like categori…

We show that if $F(M)$ is some space of holonomic solutions with space of formal solutions $F^f(M)$ that satisfies a certain relative $h$-principle, then the non-relative map $F(M) \to F^f(M)$ admits a section up to homotopy. We apply this…

We prove a conservativity result for extensional type theories over propositional ones, i.e. dependent type theories with propositional computation rules, or computation axioms, using insights from homotopy type theory. The argument…

We reconstruct hermitian K-theory via algebraic symplectic cobordism. In the motivic stable homotopy category SH(S) there is a unique morphism g : MSp -> BO of commutative ring T- spectra which sends the Thom class th^{MSp} to the Thom…

We classify the topological terms (in a sense to be made precise) that may appear in a non-linear sigma model based on maps from an arbitrary worldvolume manifold to a homogeneous space $G/H$ (where $G$ is an arbitrary Lie group and $H…

We give a cohomological classification of vector bundles of rank $2$ on a smooth affine threefold over an algebraically closed field having characteristic unequal to $2$. As a consequence we deduce that cancellation holds for rank $2$…

We present a version of higher Hochschild homology for spaces equipped with principal bundles for a structure group $G$. As coefficients, we allow $E_\infty$-algebras with $G$-action. For this homology theory, we establish an equivariant…

For a 2-category 2C we associate a notion of a principal 2C-bundle. In case of the 2-category of 2-vector spaces in the sense of M.M. Kapranov and V.A. Voevodsky this gives the the 2-vector bundles of N.A. Baas, B.I. Dundas and J. Rognes.…

Given a simply connected manifold $M$, we completely determine which rational monomial Pontryagin numbers are attained by fiber homotopy trivial $M$-bundles over the $k$-sphere, provided that $k$ is small compared to the dimension of $M$.…

We prove a theorem classifying the equivariant $K$-theoretic pushforwards of the product of arbitrary Schur functors applied to the tautological bundle on the moduli space of framed rank $r$ torsion-free sheaves on $\mathbb{P}^2$, and its…

A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…

This paper examines the category C^k_{d,n} whose morphisms are d-dimensional smooth manifolds that are properly embedded in the product of a k-dimensional cube with an (d+n-k)-dimensional Euclidean space. There are k directions to compose…

Comodules over Hopf algebroids are of central importance in algebraic topology. It is well-known that a Hopf algebroid is the same thing as a presheaf of groupoids on Aff, the opposite category of commutative rings. We show in this paper…

Every small category $C$ has a classifying space $BC$ associated in a natural way. This construction can be extended to other contexts and set up a fruitful interaction between categorical structures and homotopy types. In this paper we…

We show that conically smooth stratified spaces embed fully faithfully into $\infty$-categories. This articulates a stratified generalization of the homotopy hypothesis proposed by Grothendieck. As such, each $\infty$-category defines a…

When working in Homotopy Type Theory and Univalent Foundations, the traditional role of the category of sets, Set, is replaced by the category hSet of homotopy sets (h-sets); types with h-propositional identity types. Many of the properties…

Here we prove that the homological dimension of the category of sheaves on a topological space satisfying some suitable conditions is finite. In particular, we find conditions to bound the homological dimension of o-minimal and subanalytic…

We define the notion of a hierarchically cocompact classifying space for a family of subgroups of a group. Our main application is to show that the mapping class group $\mbox{Mod}(S)$ of any connected oriented compact surface $S$, possibly…

We write down a new "logarithmic" quasicoherent category $\operatorname{Qcoh}_{log}(U, X, D)$ attached to a smooth open algebraic variety $U$ with toroidal compactification $X$ and boundary divisor $D$. This is a (large) symmetric monoidal…

We show an equivalence of infinite loop spaces between the classify- ing space of the cobordism category, with infinite loop space structure induced by taking disjoint union of manifolds, and the infinite loop space associated to the…

We consider the problem of approximating a linear cocycle (or, more generally, a vector bundle automorphism) over a fixed base dynamics by another cocycle admitting a dominated splitting. We prove that the possibility of doing so depends…