REVIEW 7 cited by
Enhanced six operations and base change theorem for higher Artin stacks
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
abstract
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 base change theorem in derived categories. This extends many previous theories on this subject, including the one developed by Laszlo and Olsson, in which the operations are subject to more assumptions and the base change isomorphism is only constructed on the level of sheaves. Moreover, our theory works for higher Artin stacks as well. In addition, we define perverse t-structures on higher Artin stacks for general perversity, extending Gabber's work on schemes. Our method differs from previous approaches, as we exploit the theory of stable $\infty$-categories developed by Lurie. We enhance derived categories, functors, and natural isomorphisms to the level of $\infty$-categories and introduce $\infty$-categorical (co)homological descent. To handle the issue of ``homotopy coherence'', we develop a general technique for gluing subcategories of $\infty$-categories and several other $\infty$-categorical techniques. We obtain categorical equivalences between simplicial sets associated to certain multisimplicial sets. Such equivalences can be used to construct functors in different contexts. One of our category-theoretical results generalizes Deligne's gluing theory developed in the construction of the extraordinary pushforward operation in \'etale cohomology of schemes.
Forward citations
Cited by 7 Pith papers
-
$\mathbb{A}^1$-invariant motivic cohomology of schemes
A new A1-invariant motivic cohomology for all qcqs schemes is constructed from the slice filtration of KGL, with a spectral sequence to homotopy K-theory and etale/syntomic comparisons.
-
Continuous six-functor formalism on locally compact Hausdorff spaces
Spectral sheaves on locally compact Hausdorff spaces are initial among continuous six-functor formalisms, forcing all such formalisms to agree with sheaf (co)homology and to satisfy a universal localizing-invariant formula.
-
Diagonal cycles on Shtukas and the adjoint $L$-function
For split almost simple groups over function fields, self-intersections of diagonal cycles on shtuka moduli, with determinant line-bundle insertions, equal higher derivatives of adjoint L-functions.
-
Descendability and descent in topological weaves
Finitely presented surjections of algebraic spaces are descendable in topological weaves, yielding v-descent for rational motivic sheaves and h-descent for étale motivic spectra under bounded cohomological dimension.
-
An axiomatic approach to analytic $1$-affineness
An axiomatic framework proves 1-affineness for analytic Betti stacks, analytic de Rham stacks, and rigid analytic varieties, giving categorical Künneth formulas.
-
Duality for KGL-modules in motivic homotopy theory
Duality for KH-theory modules in motivic homotopy theory is proven over all quasi-excellent characteristic zero schemes, with G-theory as dualizing object.
-
Cyclotomic extensions in stable homotopy theory
Higher cyclotomic extensions of ring spectra, analogous to adjoining roots of unity, interpolate between K(n)- and T(n)-localizations and underwrite the BHLS counterexample to the telescope conjecture.
Discussion (0). Continue with ORCID to comment.