Related papers: Six operations and Lefschetz-Verdier formula for D…
In this article, we develop a theory of Grothendieck's six operations for derived categories in \'etale cohomology of Artin stacks, for both torsion and adic coefficients. We prove several desired properties of the operations, including the…
In this paper we develop a theory of Grothendieck's six operations of lisse-\'etale constructible sheaves on Artin stacks which are locally of finite type over suitable regular basis of dimension at most 1.
In this paper we develop a theory of Grothendieck's six operations for adic constructible sheaves on Artin stacks continuing the study of the finite coefficients case in math.AG/0512097.
We give a geometric formulation of To\"en's derived Hall algebra by constructing Grothendieck's six operations for the derived category of lisse-\'etale constructible sheaves on the derived stacks of complexes. Our formulation is based on…
We reprove the Lefschetz trace formula for stacks (in the context of derived categories and the six operations for stacks developed by Laszlo and Olsson), and give the meromorphic continuation of L-series (in particular, zeta functions) of…
In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…
In this paper we develop the formalism of the Grothendieck six operations on o-minimal sheaves. The Grothendieck formalism allows us to obtain o-minimal versions of: (i) derived projection formula; (ii) universal coefficient formula; (iii)…
We view the inertia construction of algebraic stacks as an operator on the Grothendieck groups of various categories of algebraic stacks. We show that the inertia operator is locally finite and diagonalizable. This is proved for the…
In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid…
In this article, we develop a general technique for gluing subcategories of $\infty$-categories. We obtain categorical equivalences between simplicial sets associated to certain multisimplicial sets. Such equivalences can be used to…
We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of…
We develop an anabelian framework for general Deligne-Mumford curves, showing that their stack and orbifold structures are encoded in the group-theoretic properties of their \'etale fundamental groups. After establishing the required…
We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to…
Any sheaf theory on schemes extends canonically to Artin stacks via a procedure called lisse extension. In this paper we show that lisse extension preserves the formalism of Grothendieck's six operations: more precisely, the lisse extension…
In present paper we develop the deformation theory of operads and algebras over operads. Free resolutions (constructed via Boardman-Vogt approach) are used in order to describe formal moduli spaces of deformations. We apply the general…
Suppose $\mathcal{S}$ is a smooth, proper, and tame Deligne-Mumford stack. To\"en's Grothendieck-Riemann-Roch theorem requires correction terms, involving components of the inertia stack, to the standard formula for schemes. We give a brief…
We construct a presentation for the Grothendieck group of Deligne-Mumford stacks over a field of characteristic zero. The generators for this presentation are smooth, proper Deligne-Mumford stacks and the relations are expressed in terms of…
We prove that various morphisms related to the six Grothendieck operations on sheaves become isomorphisms when restricted to (weakly) constructible sheaves. To this end, we first study some properties of weakly cohomologically constructible…
The goal of this paper is to prove Riemann-Roch type theorems for Deligne-Mumford algebraic stacks. To this end, we introduce a "cohomology with coefficients in representations" and a Chern character, and we prove a…
We prove that smooth, separated Deligne--Mumford stacks in mixed characteristic with quasi-projective coarse moduli space are global quotient stacks and satisfy the resolution property. This builds on work of Kresch and Vistoli and of…