REVIEW 10 cited by
6-Functor Formalisms and Smooth Representations
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
The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every 6-functor formalism. It provides powerful new insights into the internal structure of the 6-functor formalism and allows to abstractly define important finiteness conditions, recovering well-known examples from the literature. Finally, we apply our methods to the theory of smooth representations of $p$-adic Lie groups and, as an application, construct a canonical anti-involution on derived Hecke algebras generalizing results of Schneider--Sorensen. In an appendix we provide the necessary background on $\infty$-categories, higher algebra, enriched $\infty$-categories and $(\infty,2)$-categories. Among others we prove several new results on adjunctions in an $(\infty,2)$-category and in particular show that passing to the adjoint morphism is a functorial operation.
Forward citations
Cited by 10 Pith papers
-
Cartier duality for gerbes of vector bundles
The Hodge-Tate stack of a smooth rigid variety is Cartier dual to the Simpson gerbe, so its solid quasi-coherent sheaves equal the weight-1 sheaves on the gerbe.
-
$\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.
-
A homotopy coherent Pontryagin-Thom isomorphism
There is a presentably symmetric monoidal stable infinity-category of homotopy-invariant Gysin sheaves whose unit is geometric cobordism and whose endomorphism E-infinity ring is the associated Thom spectrum.
-
Tannakian reconstruction in derived algebraic geometry
Derived analogues of the Tannakian reconstruction theorems of Lurie and Bhatt-Halpern-Leistner are proved over animated rings, with QCoh enhanced to a Θ-category carrying the symmetric algebra monad.
-
Notes on Tate cohomology
Tate cohomology is defined and studied in any three-functor formalism, unifying local-system and quasicoherent-sheaf examples with the same norm map and universal property.
-
The derived $\infty$-category of Frobenius modules
For any quasi-compact F_p-scheme with affine diagonal, the derived ∞-category of Frobenius modules is t-exactly equivalent to Frobenius modules on the derived ∞-category, and both satisfy Zariski descent.
-
Topological Vector Spaces
A condensed version of the Topological Vector Spaces category is introduced, and fully faithful embeddings from algebraic p-adic vector spaces and from perfect complexes on the Fargues–Fontaine curve are proven.
-
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.
-
Wild Betti sheaves
The paper constructs a universal coefficient category for wild Betti sheaves with an exponential local system and a Fourier equivalence, and identifies it as a canonical nontrivial R>0-torsor over Spec(Z).
-
Additivity of non-acyclicity classes for constructible \'etale sheaves
The non-acyclicity class of a constructible etale sheaf is additive across distinguished triangles, under a cohomological smoothness assumption.
Discussion (0). Continue with ORCID to comment.