Related papers: The homotopy-invariance of constructible sheaves

Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…

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…

We show that the functor sending a locally compact Hausdorff space $X$ to the $\infty$-category of spectral sheaves $\mathrm{Shv}(X; \mathrm{Sp})$ is initial among all continuous six-functor formalisms on the category of locally compact…

Given an open-closed decomposition of the stratifying poset, we construct a new semi-orthogonal decomposition of the $\infty$-category of constructible sheaves on a stratified space admitting an exit-path $\infty$-category. From this we…

We characterise the class of exponentiable $\infty$-toposes: $\mathcal X$ is exponentiable if and only if $\mathcal S\mathrm{h}(\mathcal X)$ is a continuous $\infty$-category. The heart of the proof is the description of the…

The goal of this article is to extend a theorem of Lurie \[ \mathsf{Sh}_A (X) = \mathsf{Fun}(\mathsf{Exit}_A (X), \mathsf{S}) \] representing constructible sheaves with values in $ \mathsf{S} $, the $ \infty $-category of spaces, on a…

For a scheme X, denote by SH(X_et^hyp) the stabilization of the hypercompletion of its etale infty-topos, and by SH_et(X) the localization of the stable motivic homotopy category SH(X) at the (desuspensions of) etale hypercovers. For a…

A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces…

It is a deep fact that the homotopy classification of topological manifolds is convariantly functorial. In other words, a map from a topological manifold M to another N naturally induces a map from the structure set S(M) to S(N). We extend…

Simplicial presheaves on cartesian spaces provide a general notion of smooth spaces. There is a corresponding smooth version of the singular complex functor, which maps smooth spaces to simplicial sets. We consider the localisation of the…

Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…

Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose…

We construct an $(\infty,1)$-functor that takes each smooth $G$-manifold with corners $M$ to the space of equivariant smooth $h$-cobordisms ${\mathcal H}_{\mathrm{Diff}}(M)$. We also give a stable analogue ${\mathcal H}^{\mathcal…

Let $X$ be a projective scheme over a noetherian base scheme $S$, and let $F$ be a coherent sheaf on $X$. For any coherent sheaf $E$ on $X$, consider the set-valued contravariant functor $Hom_{E,F}$ on $S$-schemes, defined by $Hom_{E,F}(T)…

Let $k$ be an algebraically closed field of exponential characteristic $p$. Given any prime $\ell\neq p$, we construct a stable \'etale realization functor $$\underline{\text{\'Et}}_{\ell}:\text{Spt}(k)\rightarrow…

For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable…

In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…

These notes explain some descent results for $\infty$-categories of sheaves on compact Hausdorff spaces and derive some consequences. Specifically, given a compactly assembled $\infty$-category $\mathcal{E}$, we show that the functor…

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

In this paper, we show that Goodwillie calculus, as applied to functors from stable homotopy to itself, interacts in striking ways with chromatic aspects of the stable category. Localized at a fixed prime p, let T(n) be the telescope of a…