Related papers: The sheaves--spectrum adjunction

In the (covariant) topos approach to quantum theory by Heunen, Landsman and Spitters, one associates to each unital C*-algebra, A, a topos T(A) of sheaves on a locale and a commutative C*-algebra, a, within that topos. The Gelfand spectrum…

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 display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat…

We obtain combinatorial model categories of parametrised spectra, together with systems of base change Quillen adjunctions associated to maps of parameter spaces. We work with simplicial objects and use Hovey's sequential and symmetric…

We define a right Cartan-Eilenberg structure on the category of Kan's combinatorial spectra, and the category of sheaves of such spectra, assuming some conditions. In both structures, we use the geometric concept of homotopy equivalence as…

We introduce and study configuration schemes, which are obtained by ``glueing'' usual schemes along closed embeddings. The category of coherent sheaves on a configuration scheme is investigated. Smooth configuration schemes provide…

Twisted diagrams are "diagrams" with components in different categories. Structure maps are defined using auxiliary data which consists of functors relating the various categories to each other. Prime examples of the construction are…

We find the sharp bounds on $h^0(F)$ for one-dimensional semistable sheaves $F$ on a projective variety $X$ by using the spectrum of semistable sheaves. The result generalizes the Clifford theorem. When $X$ is the projective plane…

We introduce a new topological invariant of a rigidly-compactly generated tensor-triangulated category and two new notions of support. The first is based on smashing subcategories: it is unknown whether the frame of smashing subcategories…

In 1996, Franke constructed a purely algebraic category that is equivalent as a triangulated category to the E(n)-local stable homotopy category for n^2+n < 2p-2. The two categories are not Quillen equivalent, and his proof uses systems of…

Let $X$ be a weakly pseudoconvex manifold and $L\longrightarrow X$ be a holomorphic line bundle with a singular positive Hermitian metric $h$. In this article, we provide a points separation theorem and an embedding for the adjoint linear…

We study the spaces of locally-finite stability conditions on the derived categories of coherent sheaves on the minimal resolutions of $A_n$-singularities supported at the exceptional sets. Our main theorem is that they are connected and…

This elementary survey article was prepared for a talk at the 2016 Superschool on Derived Categories and D-branes. The goal is to outline an identification of the bounded derived category of coherent sheaves on a Calabi-Yau threefold with…

We construct a spectral sequence associated to a stratified space, which computes the compactly supported cohomology groups of an open stratum in terms of the compactly supported cohomology groups of closed strata and the reduced cohomology…

We prove the surprising fact that the infinity-category of stabilized Liouville sectors is a localization of an ordinary category of stabilized Liouville sectors and strict sectorial embeddings. From the perspective of homotopy theory, this…

Let $L$ be an exact Lagrangian submanifold of a cotangent bundle $T^* M$, asymptotic to a Legendrian submanifold $\Lambda \subset T^{\infty} M$. We study a locally constant sheaf of $\infty$-categories on $L$, called the sheaf of brane…

We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using…

We prove that the stabilization of spaces functor---the classical construction of associating a spectrum to a pointed space by tensoring with the sphere spectrum---satisfies homotopical descent on objects and morphisms. This is the…

We study homotopy theory of the category of spectral sequences with respect to the class of weak equivalences given by maps which are quasi-isomorphisms on a fixed page. We introduce the category of extended spectral sequences and show that…

For a tensor triangulated category and any regular cardinal $\alpha$ we study the frame of $\alpha$-localizing tensor ideals and its associated space of points. For a well-generated category and its frame of localizing tensor ideals we…