Abstract:We introduce a operation on categories enriched in filtered spaces, whose effect is to turn categories of $E_1$-pages into categories of $E_2$-pages. This allows us to give a homotopical versions of several results that were previously implemented using $E_2$-model structures or more sophisticated machinery in higher algebra.
We find that we can recover the homotopy theory of spaces from this page-turning operation on the homotopy theory of CW-complexes and filtration-shifting maps, a version of the cellular approximation theorem. In the category of filtered spectra, we show that this implements the procedure on filtered spectra sending the homotopy exact couple to its associated derived couple. Finally, we recover Pstragowski's category of synthetic spectra from applying this page-turning operation to the category of filtered modules over a spectral version of the Rees ring.
What problem does this paper attempt to address?
The problem this paper attempts to address is to achieve several homotopy versions of results in homotopy theory by introducing a new operation that transforms categories enriched in filtered spaces from the E1 page to the E2 page. Specifically, the authors aim to use this operation to:
1. **Recover the homotopy theory of spaces**: By using this "page-turning" operation, recover the homotopy theory of spaces from the homotopy theory of CW complexes and filtered shift maps, which can be seen as a version of a cellular approximation theorem.
2. **Handle filtered spectra**: Demonstrate how this operation can achieve the process from homotopy exact pairs to their associated derived pairs in the category of filtered spectra.
3. **Synthesize the category of spectra**: By applying this "page-turning" operation to the category of filtered modules over the spectral version of the Rees ring, recover the category of synthetic spectra of Pstr ˛ agowski.
### Main Contributions of the Paper
1. **Broad Applicability**: This construction only requires extending a category to one with filtered space maps, without needing strict conditions like completeness or representability.
2. **Compatibility with Filtered Monoidal Structures**: This construction interacts well with filtered monoidal structures.
3. **Independence from Stability or t-Structures**: Although closely related to décale and Beilinson t-structures in stable cases, this construction itself does not require these conditions.
4. **Ease of Iteration**: For example, the category of filtered spectra can be viewed as the category of "E1 pages," and this construction can be inductively applied to form E2 pages, E3 pages, etc.
### Specific Technical Details
- **Cellular Approximation Theorem**: By introducing the "page-turning" operation in filtered spaces, the authors demonstrate how to recover the fundamental concepts of homotopy theory from spaces with filtered preserving maps.
- **Successor Functor**: Defined a successor functor that maps filtered cubical sets' filtered objects to a new cubical set, where vertices, edges, and 2-simplices correspond to specific parts of the original objects.
- **Fiber Properties**: Proved that under certain conditions (such as the fiber condition), the successor functor can preserve fibrations.
- **Homotopy Groups**: Analyzed the impact of the successor functor on homotopy groups in detail, proving that under certain conditions, homotopy groups can be naturally transferred through the successor functor.
- **Model-Independent Descriptions**: Provided two model-independent descriptions of the successor functor, one based on homotopy theory and the other based on function spaces.
### Application Examples
- **Homotopy Theory of CW Complexes**: By applying this construction, the homotopy theory of CW complexes can be recovered from spaces with filtered maps.
- **Filtered Spectra**: Demonstrated how to recover the associated derived pairs from the exact pairs of filtered spectra.
- **Modules over the Rees Ring**: Showed that the category of synthetic spectra of Pstr ˛ agowski can be interpreted as the category of modules over the homotopy-theoretic version of the Rees ring.
In summary, this paper introduces a new "page-turning" operation, providing a new method for handling filtered objects in homotopy theory, with broad application prospects and theoretical significance.