Related papers: Higher sheaf theory I: Correspondences
Given a semisimple element in the loop Lie algebra of a reductive group, we construct a quasi-coherent sheaf on a partial resolution of the trigonometric commuting variety of the Langlands dual group. The construction uses affine Springer…
While many different models for $(\infty,1)$-categories are currently being used, it is known that they are Quillen equivalent to one another. Several higher-order analogues of them are being developed as models for $(\infty,…
For a finite group $G$, we compute the algebraic $K$-theory of the category of equivariant sheaves on a locally compact Hausdorff $G$-space, generalizing a result of Efimov, and determine the equivariant $E$-theory of the $C^*$-algebra of…
We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…
We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
We combine the theory of traces in homotopical algebra with sheaf theory in derived algebraic geometry to deduce general fixed point and character formulas. The formalism of dimension (or Hochschild homology) of a dualizable object in the…
We begin with recalling the correspond theorem of induced modules and global sections of vector bundles. After that, we give a generalization of this theorem. Finally, we apply the result to branching laws, and give some concrete examples.
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…
We construct a functor, from the category of schemes to the category of graded rings, that is an initial object for having a theory of Chern classes with an additive first Chern class. For any scheme $X$, the graded ring that our functor…
We generalize the construction of reflection functors from classical representation theory of quivers to arbitrary small categories with freely attached sinks or sources. These reflection morphisms are shown to induce equivalences between…
We collect in one place a variety of known and folklore results in enriched model category theory and add a few new twists. The central theme is a general procedure for constructing a Quillen adjunction, often a Quillen equivalence, between…
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 establish the existence, finiteness, and uniqueness up to scaling of various isoperimetric profiles of a group, in all dimensions. We also show that these profiles all coincide in dimensions 4 and higher; in particular, the nth Dehn…
To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we…
We describe an analogue of the notion of a perverse sheaf in the setting of the derived category of coherent sheaves on an algebraic stack. Under strong additional assumptions the construction of coherent "intersection cohomology" complexes…
We give a generalization of the theorem of Bondal and Orlov about the derived categories of coherent sheaves on intersections of quadrics revealing its relation to projective duality. As an application we describe the derived categories of…
In this paper, we investigate the properties of $A$-coherent and $A$-quasi-coherent sheaves within the framework of algebraic geometry over non-algebraically closed fields. We define an $\mathcal{O}_X$-module to be $A$-coherent (resp.…
We obtain a precise relation between the Chern-Schwartz-MacPherson class of a subvariety of projective space and the Euler characteristics of its general linear sections. In the case of a hypersurface, this leads to simple proofs of…
Using the theory infinity-categories we construct derived (dg-)categories of regular, holonomic D-modules and algebraically constructible sheaves on a complex smooth algebraic stack. We construct a natural infinity-categorical equivalence…