A characterization of finite étale morphisms in tensor triangular geometry

Basic Information

• Paper ID: 2106.14066
• Title: A characterization of finite étale morphisms in tensor triangular geometry
• Author: Beren Sanders (University of California, Santa Cruz)
• Classification: math.CT, math.AG, math.AT
• Published Journal: Épijournal de Géométrie Algébrique, Volume 6 (2022), Article No. 18
• Paper Link: https://arxiv.org/abs/2106.14066

Abstract

This paper provides a characterization of finite étale morphisms in tensor triangular geometry. These morphisms are precisely those functors that possess a conservative right adjoint, satisfy Grothendieck-Neeman duality, and have a trivial relative dualizing object under the canonical map.

Research Background and Motivation

Core Problem

This paper aims to provide an intrinsic functorial characterization of "finite étale morphisms" in tensor triangular geometry, analogous to the known characterization theorem for smashing localizations.

Significance

1. Theoretical Importance: Étale morphisms are fundamental concepts in algebraic geometry; their analogue in tensor triangular geometry is crucial for understanding the properties of geometric functors
2. Unified Framework: Provides a unified theoretical framework for finite étale extensions in equivariant homotopy theory, algebraic geometry, and derived algebra
3. Classification Problem: Furnishes discriminating criteria for classifying finite étale extensions of a given tensor triangular category

Limitations of Existing Approaches

• Traditional definitions rely on concrete algebraic structures (scalar extension by separable algebras)
• Lack of intrinsic functorial characterization
• Difficulty in unified treatment across different geometric settings

Research Motivation

Inspired by the characterization theorem for smashing localizations (Theorem 1.1), the author seeks a similar intrinsic characterization of finite étale morphisms, which will provide new perspectives for understanding geometric morphisms in tensor triangular geometry.

Core Contributions

1. Main Theorem: Proves a complete characterization of finite étale morphisms (Theorem 1.2/4.8)
2. Strongly Separable Algebra Theory: Establishes equivalent characterizations of strongly separable algebras in arbitrary symmetric monoidal categories (Section 2)
3. Monadicity Theorem: Provides a strengthened version of separable monadicity in triangulated categories (Proposition 3.8)
4. Locally Compactly Generated Condition: Proves that the conservativity condition can be omitted in locally compactly generated categories (Corollary 4.20)
5. Extensive Applications: Provides rich examples in equivariant homotopy theory, algebraic geometry, and derived algebra

Detailed Methodology

Problem Specification

Input: A geometric functor $f^*: D \to C$ between rigidly compactly generated tensor triangulated categories Output: Determine whether $f^*$ is a finite étale morphism Constraints: The functor must preserve coproducts and be a strongly symmetric monoidal functor

Core Characterization Theorem

Theorem 4.8: A geometric functor $f^*: D \to C$ is a finite étale morphism if and only if it satisfies:

1. (a) Grothendieck-Neeman Duality: $f^*$ satisfies GN duality
2. (b) Conservativity: The right adjoint $f_*$ is conservative
3. (c) Trivial Relative Dualizing Object: The canonical map $1_C \to \omega_f$ is an isomorphism

Technical Architecture

1. Strongly Separable Algebra Theory (Section 2)

• Definition: An algebra $A$ is strongly separable if there exists a symmetric separable idempotent $\kappa: 1 \to A \otimes A$
• Equivalent Characterizations: For rigid commutative algebras, the following are equivalent:
  • Separability
  • Strong separability
  • Non-degeneracy of the trace form
  • Possession of a special symmetric Frobenius algebra structure

2. Separability in Triangulated Categories (Section 3)

• Key Tool: Separable monadicity theorem (Proposition 3.8)
• Beck-Chevalley Condition: Establishes monad equivalence via the projection formula

3. Finite Étale Morphism Theory (Section 4)

• Definition: Geometric functors realized through scalar extension by compactly separable algebras
• Intrinsic Characterization: Definition via functorial properties rather than algebraic structure

Technical Innovations

1. Unified Theory: Extends classical strongly separable algebra theory to arbitrary symmetric monoidal categories
2. Functorial Characterization: Provides completely intrinsic, structure-independent discriminating criteria
3. Dualizing Objects: Innovatively employs triviality of relative dualizing objects as a discriminating condition
4. Local Conditions: Discovers automaticity of conservativity in the locally compactly generated case

Main Results

Core Theorem Proof Strategy

Direction 1 ($\Rightarrow$): Finite étale $\Rightarrow$ Three conditions

• GN duality follows from Neeman-Thomason theorem for separable algebras
• Right adjoint is naturally conservative (in fact, faithful)
• Strong separability ensures non-degeneracy of trace form, hence triviality of relative dualizing object

Direction 2 ($\Leftarrow$): Three conditions $\Rightarrow$ Finite étale

• GN duality ensures $f_*(1_C)$ is a rigid algebra
• Condition (c) guarantees non-degeneracy of trace form via Lemma 4.6
• Corollary 2.38 yields strong separability
• Proposition 3.8 establishes tensor triangular equivalence

Important Corollaries

Corollary 4.20: In locally compactly generated categories, condition (b) can be omitted: $f^* \text{ finite étale} \Leftrightarrow \text{condition (a)} + \text{condition (c)}$

Corollary 5.13: Finite étale morphisms preserve local compact generation

Application Examples

Equivariant Homotopy Theory

Theorem 5.2: For a compact Lie group $G$ and closed subgroup $H \leq G$, the restriction functor $\text{res}_H^G: SH(G) \to SH(H)$ is finite étale if and only if $H$ has finite index in $G$.

Algebraic Geometry

Theorem 5.15 (Balmer): A finite étale morphism of schemes $f: X \to Y$ induces a derived functor $Lf^*: D_{qc}(Y) \to D_{qc}(X)$ that is a finite étale morphism in the sense of tensor triangular geometry.

Theorem 5.20 (Neeman): Finite étale extensions of derived categories of Noetherian schemes remain derived categories of schemes.

Motivic Theory

Example 5.17: A finite separable extension of fields $L/K$ induces a finite étale morphism between stable motivic homotopy categories: $SH(K;R) \to SH(L;R)$

Related Work

Historical Development

1. Balmer's Series of Works: Established the foundations of étale theory in tensor triangular geometry
2. Separable Algebra Theory: Originates from classical work of Auslander-Goldman and Kanzaki-Hattori
3. Monadicity Theory: Dell'Ambrogio-Sanders' research on monadicity in triangulated categories

Contributions of This Paper

• First complete intrinsic characterization of finite étale morphisms
• Unifies étale theory across different geometric settings
• Provides practical tools for classification problems

Conclusions and Discussion

Main Conclusions

This paper successfully establishes an intrinsic functorial characterization of finite étale morphisms in tensor triangular geometry, providing powerful tools for understanding the properties of geometric functors.

Limitations

1. Scope of Application: Primarily applicable to rigidly compactly generated tensor triangulated categories
2. Computational Complexity: Actual verification of the three conditions still requires concrete algebraic computation
3. Classification Problem: Complete classification of all finite étale extensions of a given category remains difficult

Future Directions

1. Generalization: Seek more general characterizations of étale morphisms allowing non-trivial dualizing objects
2. Classification: Refine classification theory in concrete categories (e.g., equivariant stable homotopy categories)
3. Computation: Develop effective algorithms for determining finite étale property

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes complete theory of strongly separable algebras with independent value
2. Unification: Treats problems from multiple geometric fields within a unified framework
3. Practicality: Provides operable discriminating criteria
4. Completeness: Rigorous proofs with abundant examples

Weaknesses

1. Technical Threshold: Requires deep background in category theory and homological algebra
2. Computational Challenges: Verification of the three conditions may be difficult in practice
3. Generalization Limitations: Main results restricted to the finite étale case

Impact

1. Theoretical Contribution: Provides important structural theorems for tensor triangular geometry
2. Applied Value: Direct applications in equivariant topology, algebraic geometry, and related fields
3. Methodological: Demonstrates the power of intrinsic functorial methods

Applicable Scenarios

• Study of geometric structures in tensor triangulated categories
• Analysis of restriction functors in equivariant homotopy theory
• Understanding geometric properties of derived categories
• Base extension problems in motivic theory

References

The paper contains rich references covering important works in separable algebra theory, tensor triangular geometry, equivariant homotopy theory, and related fields, particularly Balmer's foundational work in tensor triangular geometry.