Monoidal Properties of Franke's Exotic Equivalence

Basic Information

• Paper ID: 2301.09432
• Title: Monoidal Properties of Franke's Exotic Equivalence
• Authors: Nikitas Nikandros, Constanze Roitzheim
• Classification: math.AT (Algebraic Topology)
• Publication Date: January 2023 (arXiv v2: January 2024)
• Paper Link: https://arxiv.org/abs/2301.09432

Abstract

Franke's reconstruction functor R is considered an example of a triangulated equivalence between homotopy categories of stable model categories, equivalences that are "exotic" because the underlying model categories are not Quillen equivalent. The authors prove that although R is not generally a tensor triangulated functor, it is compatible with monoidal products.

Research Background and Motivation

Core Problem

This paper investigates the monoidal properties of Franke's reconstruction functor R. The Franke functor provides a rare example where an equivalence exists between the homotopy categories of two model categories, yet the underlying model categories themselves are not Quillen equivalent.

Significance

1. Theoretical Importance: Franke's exotic equivalence holds an important place in homotopy theory, as it demonstrates the subtle distinction between homotopy equivalence and Quillen equivalence
2. Applied Value: This equivalence connects algebraic model categories (such as derived categories of chain complexes) with stable model categories that are not necessarily algebraic
3. Technical Challenge: Since R does not derive from a Quillen functor, studying its monoidal properties requires direct analysis of R's construction

Existing Limitations

It is known that R cannot be a monoidal functor; for example, in the case of K-local spectra with p=3, the preimage of the mod-3 Moore spectrum is a chain complex with a monoidal structure, but the mod-3 Moore spectrum itself does not admit an associative multiplication.

Research Motivation

Despite R not being a monoidal functor, investigating its compatibility with monoidal products remains significant, as it involves understanding how monoidal structures on the algebraic and topological sides relate to each other.

Core Contributions

1. Main Theorem: Proves that Franke's reconstruction functor R commutes with the corresponding monoidal products, i.e., there exists a natural isomorphism $R(M_* \otimes^L N_*) \cong R(M_*) \wedge^L R(N_*)$
2. Technical Framework: Establishes a complete theoretical framework for handling monoidal properties of crowned diagrams
3. Spectral Sequence Computations: Computes values of complex homotopy Kan extensions via spectral sequence techniques
4. Modernization: Places Ganter's theorem on solid theoretical foundations, using contemporary model category methods to make proofs more explicit and intuitive

Detailed Methodology

Task Definition

Prove that Franke's reconstruction functor $R: D_{([1],1)}(A) \to Ho(M)$ satisfies monoidal compatibility, where:

• $A$ is a hereditary abelian monoidal category
• $M$ is a simple stable monoidal model category
• $D_{([1],1)}(A)$ is the derived category of twisted chain complexes

Model Architecture

Decomposition of Franke's Functor

Franke's functor decomposes as: $R: D_{([1],1)}(A) \xrightarrow{Q^{-1}} L \subseteq Ho(M^{C_N}) \xrightarrow{hocolim_{C_N}} Ho(M)$

where:

• $C_N$ is a crown-shaped poset
• $Q$ is an equivalence from crowned diagrams to twisted chain complexes
• $L$ is a subcategory of crowned diagrams satisfying specific conditions

Key Diagrams

The authors handle different components of R by refining the following commutative diagram:

D_{([1],1)}(A) × D_{([1],1)}(A) -----> Ho(M^{C_N}) × Ho(M^{C_N})
         |                                      |
         | ⊗^L                                  | ∧^L
         ↓                                      ↓
    D_{([1],1)}(A) -----> Ho(M^{C_N}) -----> Ho(M)

Technical Innovations

1. Treatment of Crowned Diagrams

• Introduces projection functors from $C_N \times C_N$ to $D_N$
• Establishes homotopy left Kan extension theory for external smash products
• Proves that $i^*Lpr!(- \wedge^L -)$ is a bifunctor from $L \times L$ to $L$

2. Spectral Sequence Techniques

Uses the spectral sequence $E^2_{pq} = H_p(I; F_q X) \Rightarrow F_{p+q}(hocolim_I X)$ to compute:

• $H_p(pr/\gamma_n; F_q(X \wedge^L Y))$
• $H_p(pr/\zeta_n; F_q(X \wedge^L Y))$

3. Mapping Cone Construction

Establishes the key isomorphism: $cone(i^*E_{\beta_{n-1}} \to i^*E_{\zeta_n}) \cong \bigvee_{i+j=n} cone(k_i) \wedge^L cone(\tilde{k}_j)$

Experimental Setup

Theoretical Verification

Since this is pure mathematical theoretical work, "experiments" primarily consist of theoretical verification and concrete example computations.

Key Examples

1. Ring Spectra Case: $R: D(\pi_*R) \to D(R) = Ho(R\text{-mod})$, where $\pi_*(R)$ is concentrated in degrees that are multiples of some $N > 1$
2. K-Local Spectra: $R: D_{([1],1)}(A) \to Ho(L_1S)$, where $A$ is the category of $E(1)_*E(1)$-comodules

Technical Conditions

• $A$ is a hereditary abelian monoidal category
• $M$ is a simple stable monoidal model category
• There exists a homological functor $F_*: Ho(M) \to A$

Experimental Results

Main Results

Theorem 1.0.1: Let $(M,\wedge)$ be a simple stable monoidal model category and $(A,\otimes)$ be a hereditary abelian monoidal category with sufficient projective objects such that Franke's reconstruction functor R exists and is an equivalence. Then $R: (D_{([1],1)}(A), \otimes^L) \to (Ho(M), \wedge^L)$ commutes with the corresponding monoidal products, i.e., there exists a natural isomorphism $R(M_* \otimes^L N_*) \cong R(M_*) \wedge^L R(N_*)$

Key Technical Results

Theorem 3.1.5: The bifunctor $i^*Lpr!(- \wedge^L -)$ satisfies:

1. $i^*Lpr!(- \wedge^L -): L \times L \to L$
2. There exists a natural isomorphism $Q(i^*Lpr!(X \wedge^L Y)) \cong Q(X) \otimes Q(Y)$

Theorem 4.1.1: For any pair of crowned diagrams $(X,Y)$: $hocolim_{C_N}(i^*Lpr!(X \wedge^L Y)) \cong hocolim_{C_N} X \wedge^L hocolim_{C_N} Y$

Computational Verification

Detailed spectral sequence computations verify:

• $F_*(E_{\gamma_n}) \to F_*(E_{\zeta_n})$ is injective
• Differential structures are consistent with tensor product differentials

Related Work

Historical Background

1. Franke's Original Work: Established the existence of exotic equivalences
2. Ganter's Contributions: First investigated monoidal properties of Franke's functor
3. Barnes-Roitzheim: Studied monoidal aspects of Franke exotic models

Innovations in This Paper

1. Methodology: Uses contemporary model category theory, making proofs more explicit than Ganter's approach
2. Techniques: Introduces systematic treatment methods for crowned diagrams
3. Generality: Provides a technical framework better suited for future generalizations

Conclusions and Discussion

Main Conclusions

The paper proves that although Franke's reconstruction functor is not a tensor triangulated functor, it is indeed compatible with monoidal products. This provides important structural insights for understanding exotic equivalences in algebraic topology.

Limitations

1. Condition Restrictions: Requires the underlying abelian category to be hereditary
2. Projectivity Assumptions: Some computations require objects to be projective
3. Specific Structure: Methods depend on special properties of crowned diagrams

Future Directions

1. Generalizations: Explore monoidal compatibility in more general settings
2. Applications: Apply results to concrete spectral theory problems
3. Computations: Develop more efficient computational techniques

In-Depth Evaluation

Strengths

1. Theoretical Rigor: Proofs are complete and technically sound
2. Methodological Innovation: The treatment of crowned diagrams is original
3. Modernization: Use of contemporary model category theory enhances understanding
4. Completeness: Complete chain of argumentation from technical details to main results

Weaknesses

1. Technical Complexity: Proofs involve substantial technical details that may affect readability
2. Application Scope: Direct applications of results may be limited
3. Computational Complexity: Certain computational processes are quite involved

Impact

1. Theoretical Contribution: Provides important structural understanding of Franke functor theory
2. Methodological Value: Established technical framework may apply to similar problems
3. Educational Value: Demonstrates the power of contemporary homotopy theory techniques

Applicable Scenarios

1. Algebraic Topology Research: Particularly research involving stable homotopy theory
2. Model Category Theory: Study of cases with homotopy equivalence but not Quillen equivalence
3. Spectral Theory: Research in K-theory and related spectral theories

References

The paper cites extensive important literature in contemporary homotopy theory, including:

1. Foundational Theory: Hovey's model category theory, Hirschhorn's localization theory
2. Technical Tools: Riehl's categorical homotopy theory, Barnes-Roitzheim's foundations of stable homotopy theory
3. Related Work: Franke's original papers, Ganter's work on E(1)-local spectra
4. Contemporary Developments: Patchkoria's work on categorical classification of module spectra

Summary: This is a highly technical pure mathematics paper that makes significant contributions to stable homotopy theory in algebraic topology. While technically demanding, it provides profound insights into the structural properties of Franke's exotic equivalence and establishes an effective framework for addressing similar problems.