A general descendability criterion for topological six-functor formalisms yields h-descent for étale motivic spectra and rational motivic cohomology, plus arc-descent in weights ≤1.
Enhanced six operations an d base change theorem for artin stacks
13 Pith papers cite this work. Polarity classification is still indexing.
13
Pith papers citing it
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.
representative citing papers
The span functor from double ∞-categories to ∞-categories admits a right adjoint given by squares, yielding new proofs of equivalences among the Q-, S-, cobordism, and squares models of algebraic K-theory.
Lecture notes introducing condensed mathematics as a framework for topology in algebraic and analytic settings.
Every Noetherian F-finite scheme has a canonical dualizing complex ω^•_X such that ω^•_X ≅ f! ω^•_Y for any finite type map f between F-finite Noetherian schemes.
The category of pro-étale vector bundles on a proper rigid-analytic variety X over C is equivalent to the category of Higgs bundles on the eh-site of X.
Generalizes parity sheaves to twisted equivariant versions, constructs a modular monodromic Hecke category, and proves a monoidal equivalence to the ordinary Hecke category on the endoscopic group.
Defines prismatic cohomology relative to δ-rings, proves independence from prism structure, and establishes equivalence of three definitions under syntomicity hypotheses.
Proves finiteness of isomorphism classes of hyper-Kähler varieties in a given deformation type with good reduction outside finitely many places.
The dissertation rewrites positive Schubert geometry via spectral algebraic geometry and differential cohesion to construct a categorical dual to the Amplituhedron with a De Rham volume.
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.
Lecture notes covering the theory of algebraic stacks for an 11-lecture graduate course.
citing papers explorer
-
Descendability and descent in topological weaves
A general descendability criterion for topological six-functor formalisms yields h-descent for étale motivic spectra and rational motivic cohomology, plus arc-descent in weights ≤1.
-
The span-squares adjunction
The span functor from double ∞-categories to ∞-categories admits a right adjoint given by squares, yielding new proofs of equivalences among the Q-, S-, cobordism, and squares models of algebraic K-theory.
-
Lectures on Condensed Mathematics
Lecture notes introducing condensed mathematics as a framework for topology in algebraic and analytic settings.
-
$F$-finite schemes have a dualizing complex
Every Noetherian F-finite scheme has a canonical dualizing complex ω^•_X such that ω^•_X ≅ f! ω^•_Y for any finite type map f between F-finite Noetherian schemes.
-
A $p$-adic Simpson correspondence for singular rigid-analytic varieties
The category of pro-étale vector bundles on a proper rigid-analytic variety X over C is equivalent to the category of Higgs bundles on the eh-site of X.
-
Endoscopy for Modular Hecke Categories
Generalizes parity sheaves to twisted equivariant versions, constructs a modular monodromic Hecke category, and proves a monoidal equivalence to the ordinary Hecke category on the endoscopic group.
-
Prismatic cohomology relative to $\delta$-rings
Defines prismatic cohomology relative to δ-rings, proves independence from prism structure, and establishes equivalence of three definitions under syntomicity hypotheses.
-
Unpolarized Shafarevich conjectures for hyper-K\"ahler varieties
Proves finiteness of isomorphism classes of hyper-Kähler varieties in a given deformation type with good reduction outside finitely many places.
-
Brave new categorical spectral positive Schubert geometry and the categorical Dual Amplituhedron
The dissertation rewrites positive Schubert geometry via spectral algebraic geometry and differential cohesion to construct a categorical dual to the Amplituhedron with a De Rham volume.
-
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.
-
Lectures on algebraic stacks
Lecture notes covering the theory of algebraic stacks for an 11-lecture graduate course.
- Equivariant Contact Darboux Quotients and Perversely Categorified Legendrian Correspondences
- Ind-Banach approach to Grothendieck duality in Rigid-analytic geometry