Abstract:Bivariant theory is a unified framework for cohomology and Borel-Moore homology theories. In this paper, we extract an $\infty$-enhanced bivariant homology theory from Gaitsgory-Rozenblyum's six functor formalism.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is how to extract an ∞ - enhanced bivariant homology theory from the Gaitsgory - Rozenblyum six - functor formalism. Specifically, the author hopes to "decode" the data in the six - functor formalism so that it is easier to process these data and apply them to specific homology theories.
### Background and Motivation
1. **Six - functor formalism**: Grothendieck's six - functor formalism is very powerful in homology theory, but its axiomatization requires the verification of a large number of relations. Gaitsgory and Rozenblyum constructed a very general framework that can construct an ∞ - enhanced six - functor formalism from the minimum amount of data.
2. **Extraction of specific data**: Although the data of the six - functor formalism is very beautifully encoded, it is not straightforward to extract specific data from it. For example, if one wishes to extract a homology theory \( H^*: \text{Sch}(S)^{\text{op}} \to \text{Sp} \), where \(\text{Sp}\) is the ∞ - category of spectra, this is not directly obvious from the definition.
3. **Bivariant homology theory**: Fulton and MacPherson unified cohomology and Borel - Moore homology theories and proposed bivariant homology theory. The author's goal is to further enhance this theory so that it can be better processed in the framework of ∞ - categories.
### Main Contributions
1. **∞ - enhanced bivariant homology theory**: The author constructed an ∞ - enhanced bivariant homology theory extracted from the six - functor formalism. Specifically, given a six - functor formalism \( \text{Corr} \to \text{Pres} \), there exists an ∞ - functor \( H: \tilde{\text{Ar}}^{\text{op}} \to \text{Sp} \) such that \( hH \simeq H \) as functors \( \tilde{\text{Ar}} \to h\text{Sp} \).
2. **Motivation**: The main motivation for this theory is to be used to construct certain elements in the motivic theory, which appear in the ramification theory of ℓ - adic sheaves. Since it is necessary to "glue" elements in the Chow groups, the ∞ - enhancement is crucial.
### Technical Challenges
1. **Functoriality**: The functoriality of \( H^*(X) \) comes from 1 - morphisms in \( \text{Corr} \), and the functoriality of \( H_{\text{BM}}^*(X) \) comes from 2 - morphisms in \( \text{Corr} \). In order to combine these two types of morphisms into one functor, it is necessary to "integrate" these two types of morphisms.
2. **Concrete implementation**: The author achieves this integration by constructing an explicit model, which naturally appears in Section 4. Finally, in Section 5, the conversion from (∞, 2) - functor to the desired functor is completed.
### Structure Overview
- **Section 1**: Review the basic concepts and preliminaries of ∞ - categories.
- **Section 2**: Establish some duality - type theorems.
- **Section 3**: Define the stable R - linear ∞ - category of (∞, 2) - categories.
- **Section 4**: Define a lax functor from \( \text{Corr} \) to \( B\text{Sp}^\oplus \), where \( B\text{Sp}^\oplus \) is an (∞, 2) - category with a single object and morphisms corresponding to objects of spectra.
- **Section 5**: Complete the conversion from (∞, 2) - functor to the desired functor.
- **Section 6**: Collect some examples of the six - functor formalism.
### Summary
This paper solves the difficult problem of extracting specific data from the six - functor formalism by constructing an ∞ - enhanced bivariant homology theory and provides new tools for applications in the motivic theory. This theory is not only technically innovative but also of great significance in practical applications.