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.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
The paper "6 - FUNCTOR FORMALISMS AND SMOOTH REPRESENTATIONS" aims to solve three main problems:
1. **Improve the existing formal definitions of 6 - functors**:
- The author proposes some methods to enhance the existing formal definitions of 6 - functors. These improvements are aimed at making the definitions of 6 - functor formalisms more rigorous and comprehensive, so as to better capture the structures and properties of various geometric objects.
2. **Systematically study kernel categories**:
- The author systematically studies the kernel category associated with each 6 - functor formalism. The kernel category is a 2 - category, which provides powerful new insights into the internal structure of 6 - functor formalisms and allows important finiteness conditions to be defined abstractly, recovering known examples in the literature.
3. **Apply to the theory of smooth representations**:
- The author applies their methods to the theory of smooth representations of \( p \)-adic Lie groups and, as an application, constructs a canonical anti - automorphism, generalizing the results of Schneider - Sorensen. Specifically, they construct a canonical anti - automorphism on the derived Hecke algebra.
### Overview of specific content
1. **Definitions and constructions of 6 - functor formalisms**:
- The author reviews the definitions and basic constructions of 6 - functor formalisms, mainly based on the work of Gaitsgory - Rozenblyum and Liu - Zheng. They propose the concept of a geometric setup and define the associated correspondence category.
- By defining the 3 - functor formalism, the author introduces the concept of 6 - functor formalism, where the existence of right adjoint functors is crucial.
2. **Study of kernel categories**:
- Kernel categories provide a new perspective for understanding the internal structure of 6 - functor formalisms. The author discusses in detail the basic definitions, functoriality, descent properties, suave and prim objects, and suave and prim maps of kernel categories.
- The author also explores the applications of kernel categories in different geometric setups, such as étale and proper maps.
3. **Applications to the theory of smooth representations**:
- The author applies 6 - functor formalisms to the theory of smooth representations of \( p \)-adic Lie groups, in particular, constructs six functors on the classifying stack and identifies the exceptional pushforward.
- As the main application, the author constructs a canonical anti - automorphism on the derived Hecke algebra, a result that generalizes the work of Schneider - Sorensen.
### Mathematical tools and background
- **∞ - categories**: The author makes extensive use of the theory of ∞ - categories, especially for dealing with problems such as stacks and gluing derived categories. The ∞ - category provides an elegant framework.
- **Enriched categories**: The author introduces the theory of enriched categories in the appendix, which is very important for dealing with the homology theories of various geometric objects.
- **Cartesian actions**: The author discusses the actions on Cartesian monoidal categories and proves some results about the uniqueness of these actions.
### Conclusion
Through in - depth research on 6 - functor formalisms, this paper not only improves the existing theoretical framework but also provides a powerful tool for studying the homology theories of various geometric objects. In particular, the application in the theory of smooth representations shows the great potential of 6 - functor formalisms in practical problems.