Nilpotence of η in étale motivic spectra

Basic Information

• Paper ID: 2511.09476
• Title: Nilpotence of η in étale motivic spectra
• Authors: Klaus Mattis, Swann Tubach
• Classification: math.AG (Algebraic Geometry), math.AT (Algebraic Topology)
• Publication Date: November 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2511.09476

Abstract

This paper proves that every object in the stable étale motivic homotopy category over an arbitrary scheme is η-complete. In certain cases, the authors prove that the fourth power of η is nilpotent, while the third power of η is always nonzero, analogous to the situation in topology.

Research Background and Motivation

Problem Background

In classical topology, the Hopf map η_top: S³ → S² provides the first example of a nonzero homotopy group element of the form π_n(S^(n-1)). In the category of spectra, η_top induces a map η_top: ΣS → S, generating the first stable homotopy group of spheres π₁(S) ≅ Z/2Z. An important fact is:

• η⁴_top = 0 (since π₄(S) = 0)
• η³_top ≠ 0 (computed via Toda brackets)

Analogy in Motivic Homotopy Theory

Motivic homotopy theory aims to apply methods from algebraic topology to algebraic geometry. Within the Morel-Voevodsky framework, for a scheme S, there exists a stable ∞-category SH(S) (A¹-invariant motivic spectra). The algebraic Hopf map is defined as: η: A²_S \ {0} → P¹_S

Its desuspension in SH(S) is η: G_m → S.

Key Differences

Unlike the topological case, in SH(S), η is never nilpotent. Morel's theorem states that over a perfect field k: End_SH(k)(Sη⁻¹) ≅ W(k) (Witt ring)

This means there exist many η-periodic objects (objects M satisfying η: G_m ⊗ M → M is an equivalence).

Core Observation of This Paper

The authors discover that if one works in the étale local stable A¹-homotopy category SH_ét(S), the above differences disappear, and η behaves similarly to the topological case.

Core Contributions

1. Main Theorem (Theorem A): Proves that for any scheme S and object X ∈ SH_ét(S), Xη⁻¹ = 0. In particular, every object in SH_ét(S) is η-complete, and η acts nilpotently on any compact object.
2. Corollary (Corollary B): The étale localization functor L_ét: SH(S) → SH_ét(S) canonically factors through SH(S)^∧_η. Any SH(S) object satisfying étale descent is already η-complete.
3. Nilpotence Index (Theorem C):
   • For algebraically closed fields k, η⁴ = 0 in SH_ét(k)
   • For any scheme S, there exists a finite faithfully flat map S' → S such that η⁴ = 0 in SH_ét(S')
   • If S is defined over a field k satisfying cd₂(k) ≤ 1 and sup_{p∈P} cd_p(k) < ∞ (such as finite fields or algebraically closed fields), then η⁴ = 0 in SH_ét(S)
4. Nonzero Property (Theorem D): For schemes with points of characteristic ≠ 2, η³ is nonzero in SH_ét(S), consistent with the topological case.
5. Conjecture: The authors conjecture that for any scheme S, η⁴ ≅ 0 in SH_ét(S) (Conjecture 3.9).

Detailed Methods

Task Definition

The core task of this paper is:

• Input: A scheme S and its stable étale motivic homotopy category SH_ét(S)
• Output: Determine the nilpotence properties of the algebraic Hopf map η
• Goal: Prove that η-periodization vanishes and determine the minimal nilpotence index

Theoretical Framework

1. Completion and Periodization (Section 2)

In a stable presentable symmetric monoidal category E, for a map ν: T → S (T tensor-invertible):

Definitions:

• ν-equivalence: A map f: X → Y is a ν-equivalence if and only if f//ν is an equivalence (where (−)//ν is the cofiber of ν)
• ν-completion: Bousfield localization (−)^∧_ν: E → E
• ν-periodization: Localization (−)ν⁻¹: E → E making X//ν = 0

Key Lemma (Lemma 2.3): ν-periodization is smashing, i.e., Xν⁻¹ ≅ Sν⁻¹ ⊗ X.

Mapping Telescope (Definition 2.5): M_ν(X) = colim(X →^ν T^⊗−1 ⊗ X →^ν T^⊗−2 ⊗ X → ⋯)

Key Result (Lemma 2.6): In the compactly generated case, M_ν(X) ≅ Xν⁻¹.

2. Étale Motivic Homotopy Theory (Section 1)

Definition (étale bounded): A scheme S is étale bounded if sup_{x∈X, p∈P} cd_p(κ(x)) < ∞

where cd_p(k) is the mod-p Galois cohomological dimension of field k.

Rigidity Theorem (Theorem 1.5): For a scheme S and prime ℓ: SH_ét(S)^∧_ℓ ≅ SH_ét(S1/ℓ)^∧_ℓ ≅ Shv_ét(S1/ℓ, Sp)^∧_ℓ

This theorem connects ℓ-completion of motivic spectra with étale sheaves of topological spectra.

Technical Innovations

1. Mapping Telescope Equivalence (Proposition 3.3)

Proves that in SH_ét(S), Xη⁻¹ ≅ M_η(X). This uses:

• SH_ét(Spec(Z)) is compactly generated
• Smooth base change property: f*η ≅ η

2. Arithmetic Splitting Square Technique (Proposition 3.5)

For S = Spec(Z̄) (integral closure of Z in Q̄), uses the arithmetic splitting square:

S       →    S^∧_2
↓            ↓
S[1/2]  →    S^∧_2[1/2]

This yields a Cartesian square of mapping spectra, giving an exact sequence: π₅(RΓ(S1/2_ét, S^∧_2))1/2 → π₀(map(G^⊗4_m, S)) → π₄(RΓ(S1/2_ét, S^∧_2)) ⊕ π₀(map(G^⊗4_m1/2, S1/2))

3. Descent Spectral Sequence (Proposition 3.6)

For fields k satisfying cd₂(k) ≤ 1, uses the descent spectral sequence: E²_{p,q} = π_{−p}RΓ(k_ét, π_{−q}(1̂₂(−4))) ⇒ π_{−p−q}RΓ(k_ét, 1̂₂(−4))

Combined with information from topological sphere spectra π₄(S_top) = π₅(S_top) = 0, proves η⁴ = 0.

4. Rigid Analytic Method (Theorem 4.2)

For algebraically closed fields k of characteristic p > 0, uses rigid analytic geometry to establish a commutative diagram:

SH_ét(k) → RigSH_ét(K) → SH_ét(K)
     ↓           ↓            ↓
    Sp^∧_2  ←   Sp^∧_2   ←  Sp^∧_2

where K is the algebraic closure of the completion of the fraction field of W(k). The key is proving ξη_Spec(k) ≅ Rigη_Spec(K) (Lemma 4.5).

Experimental Setup

Theoretical Verification Framework

This paper is pure mathematical theory research without numerical experiments, but includes multiple case verifications:

1. Algebraically closed fields: Verify η⁴ = 0 (Corollary 3.7)
2. Schemes over finite fields: Verify η⁴ = 0
3. Spec(Z): Verify η⁴ = 0 over Spec(Z̄) (Proposition 3.5)
4. Schemes with points of characteristic ≠ 2: Verify η³ ≠ 0 (Theorem 4.2)

Technical Tools

• Adams spectral sequence
• Descent spectral sequence
• Betti realization functor
• Rigid analytic geometry
• Galois cohomology theory

Experimental Results

Main Results

1. η-Completeness (Theorem 3.13)

Result: For any scheme X and M ∈ SH_ét(X):

• Mη⁻¹ ≅ 0
• M → M^∧_η is an equivalence
• If M is a compact object, there exists an integer n such that η^n: M ⊗ G^⊗n_m → M is zero

Proof Strategy:

1. Use mapping telescope representation
2. Prove any η-periodic object N satisfies N = N ⊗ Sη⁻¹ = 0
3. Apply Lemma 2.8 to compact objects

2. Vanishing of η⁴ (Corollaries 3.7, 3.11)

Complete Results:

• Algebraically closed field k: η⁴ = 0 in SH_ét(k)
• Schemes over finite fields: η⁴ = 0
• Schemes over fields k with cd₂(k) ≤ 1: η⁴ = 0

Weak Result (Corollary 3.11): For any scheme S, there exists a finite faithfully flat map X → S such that η⁴ = 0 in SH_ét(X).

Proof Highlights (Proposition 3.5): For Spec(Z̄), via the arithmetic splitting square, reduces the problem to:

• π₅(RΓ(S1/2_ét, S^∧_2))1/2 = 0 (from π₅(S_top^∧_2) = 0)
• π₄(RΓ(S1/2_ét, S^∧_2)) = 0 (from π₄(S_top^∧_2) = 0)
• g = 0 (from Lemma 3.4, since -1 is a sum of squares)

3. Nonzero Property of η³ (Theorem 4.2)

Result: For nonempty schemes S with points of characteristic ≠ 2, η³ is nonzero in SH_ét(S).

Proof in Two Cases:

1. Characteristic 0: Via Betti realization, the image of η³ is nonzero in topology (Toda computation)
2. Characteristic p > 0 (p ≠ 2): Via rigid analytic geometry, establishes connection to characteristic 0 case

Key Technique (Lemma 4.5): Proves ξη_Spec(k) ≅ Rigη_Spec(K), using Ayoub's result: (²_{K°} \ {0})_rig → (A²_K \ {0})_an is an equivalence.

Case Analysis

Case 1: Situation over Q(i) (Remark 3.10)

For Q(i), there exists an isomorphism: π₀(map_{SH_ét(Q(i))}(G^⊗4_m, S)) ≅ Br(Q(i))2

Via the Albert-Brauer-Hasse-Noether short exact sequence: Br(Q(i))2 ≅ ker(⊕_p Z/2 →^sum Z/2)

This shows:

• η⁴ is nonzero over finitely many primes p in Q_p(i)
• The number of such primes is even
• To prove Conjecture 3.9 for Q(i), it suffices to prove it for all Q_p(i)

Case 2: Characteristic 2 Case (Remark 4.3)

If S is a scheme of equal characteristic 2, then η = 0 in SH_ét(S), because:

• There exists a map S → Spec(F₂)
• SH_ét(F₂) ≅ SH_ét(F₂)1/2 (by BH21, Lemma A.1)
• η = 0 (by Lemma 3.4)

Experimental Findings

1. Recovery of topological analogy: Under étale topology, motivic homotopy theory behaves more like classical topology
2. Critical role of 2-completion: Many proofs rely on 2-completion and connection to topological sphere spectra
3. Rigid analytic geometry as bridge: Effectively connects positive characteristic to characteristic 0
4. Importance of Galois cohomological dimension: cd₂(k) ≤ 1 is a sufficient condition for many results

Related Work

Topological Homotopy Theory

• Toda (1962): "Composition methods in homotopy groups of spheres" - classical proof of η³_top ≠ 0
• Ravenel (2003): Computations of stable homotopy groups of spheres, providing information on π₄(S) = π₅(S) = 0

Motivic Homotopy Theory

• Morel (2004): Proves End_{SH(k)}(Sη⁻¹) ≅ W(k), establishing η is nonpotent in SH(k)
• Morel-Voevodsky: Establishes the framework of stable A¹-homotopy category SH(S)
• Bachmann (2018, 2021): Develops rigidity theory for étale motivic stable homotopy theory
• Bachmann-Hopkins (2020): Studies η-periodic motivic stable homotopy theory over fields

Six Functor Formalism

• Ayoub (2007, 2015, 2025):
  • Establishes six operations theory in the motivic world
  • Develops rigid analytic motivic theory
  • Provides recollement results
• Ayoub-Gallauer-Vezzani (2022): Six functor formalism for rigid analytic motives

Étale Cohomology and Descent

• Cisinski-Déglise (2019): Triangulated categories of mixed motives
• Clausen-Mathew (2021): Hyperdescent and étale K-theory
• Bachmann-Hoyois (2021): Remarks on étale motivic stable homotopy theory

Positioning of This Paper

This paper is the first systematic study of η-nilpotence in étale motivic homotopy categories, filling an important gap between motivic and topological homotopy theory. In contrast to Bachmann-Hopkins' work on η-periodicity, this paper shows that no nontrivial η-periodic objects exist in the étale setting.

Conclusions and Discussion

Main Conclusions

1. Universality of η-completeness: In the étale motivic homotopy category over any scheme, all objects are η-complete, in stark contrast to the Nisnevich topology case.
2. Determination of nilpotence index:
   • η³ is always nonzero (for schemes not of equal characteristic 2)
   • η⁴ is zero in many cases (algebraically closed fields, schemes over finite fields, etc.)
   • Conjecture: η⁴ is zero for all schemes
3. Realization of topological analogy: Under the étale setting, η's behavior (η³ ≠ 0, η⁴ = 0) exactly matches the topological case (η³_top ≠ 0, η⁴_top = 0).

Limitations

1. Conjecture 3.9 not fully proved: While η⁴ = 0 is proved for many cases, the general case (such as Spec(Z)) remains a conjecture. The key obstacle is the nonzero nature of certain Galois cohomology groups (such as H²_ét(Q(i), π₆(1̂₂(−4)))).
2. Technical limitations:
   • Many proofs rely on schemes being étale bounded or étale locally étale bounded
   • Application scope of 2-completion techniques is limited
   • For general mixed characteristic schemes, techniques become more complex
3. Descent issues: While Corollary 3.11 shows existence of finite faithfully flat covers where η⁴ = 0, descending from covers to the base scheme is "surprisingly difficult" (authors' words).
4. Computational challenges:
   • Precise computation of 2-torsion in Brauer groups is difficult
   • Limited techniques for computing high-dimensional Galois cohomology groups

Future Directions

1. Completing the proof of Conjecture 3.9:
   • Focus on cases like Spec(Z) or Spec(Q(i))
   • May require new spectral sequence techniques or Galois cohomology computation methods
2. Generalization to other Hopf elements: Study behavior of other stable homotopy group elements (such as ν, σ, etc.) in étale motivic homotopy theory.
3. Applications to K-theory: Use η-completeness to study étale descent properties of algebraic K-theory.
4. Connections with arithmetic geometry:
   • Explore deeper connections with Brauer groups and Galois representations
   • Study relationships between L-functions and motivic homotopy theory
5. Computational aspects:
   • Develop more effective methods for computing étale motivic homotopy groups
   • Establish computational tools analogous to Adams spectral sequences
6. Higher-order nilpotence: Study η^n for n > 4, establishing a complete nilpotence theory.

In-Depth Evaluation

Strengths

1. Theoretical Innovation

• Fills important gap: First systematic study of η-nilpotence in étale setting, resolving a fundamental question in motivic homotopy theory
• Unifies topology and algebra: Proves that under appropriate topology (étale), phenomena in algebraic geometry perfectly parallel topology
• Technical breakthrough: Creatively combines arithmetic splitting squares, rigid analytic geometry, and Galois cohomology

2. Elegance of Methods

• Application of arithmetic splitting squares: Cleverly reduces η⁴ vanishing to homotopy group computations of topological sphere spectra
• Rigid analytic bridge: Establishes novel connection between positive and characteristic 0 via rigid analytic geometry
• Unified framework: Develops theory in general framework of stable presentable symmetric monoidal categories with high abstraction and universality

3. Depth of Results

• Universality of Theorem A: Holds for any scheme without special assumptions
• Applicability of Corollary B: Provides new perspective on understanding étale descent, suggesting η-completion may be essential to étale topology
• Correspondence with classical results: η³ ≠ 0 and η⁴ = 0 perfectly match Toda's classical computations

4. Clarity of Exposition

• Well-structured, progressing logically from background to main results
• Technical details are complete with full proofs of lemmas and propositions
• Case analysis (such as Q(i)) provides concrete understanding
• Acknowledgments section is humorous (thanking French and German railways for their "contributions")

Weaknesses

1. Main Conjecture Not Fully Resolved

• Conjecture 3.9: While η⁴ = 0 is proved for many cases, the general case remains open
• Technical obstacles clearly identified: Remarks 3.8 and 3.10 clearly point out obstacles (H²_ét groups), but these are not overcome
• Spec(Z) case: As the most fundamental example, its complete proof's absence is unfortunate

2. Method Limitations

• Dependence on special properties: Many proofs rely on cd₂(k) ≤ 1 or étale boundedness, limiting applicability to general schemes
• 2-completion dependence: Heavy use of 2-completion techniques; generalization to other primes is unclear
• Descent difficulty: Corollary 3.11 provides only existence results, lacking constructivity and explicitness

3. Insufficient Computational Tools

• Spectral sequence limitations: While descent spectral sequences are used, control of high-dimensional terms is limited
• Galois cohomology computation: Lack of effective computational methods for complex Galois cohomology groups (such as π₆(1̂₂(−4)) cohomology)
• Few concrete examples: Beyond algebraically closed and finite fields, computations for other specific schemes (elliptic curves, algebraic varieties) are sparse

4. Connections with Other Theories

• K-theory connections: While potential connections with K-theory are mentioned, these are not deeply explored
• Motivic cohomology: Relationships with other motivic cohomology theories are insufficiently clarified
• Arithmetic applications: Connections with concrete number-theoretic problems (BSD conjecture, Langlands program) are not addressed

Impact

1. Contribution to the Field

• Foundational result: Theorem A is a fundamental theorem in étale motivic homotopy theory, will be widely cited
• Methodological contribution: The combination of arithmetic splitting squares + rigid analytic geometry may inspire other research
• Problem-oriented: Conjecture 3.9 will become an important open problem in the field

2. Practical Value

• Theoretical tools: η-completeness provides new tools for studying étale descent
• Computational simplification: Vanishing of η-periodization in étale setting simplifies many computations
• Bridge role: Provides common language for communication between topologists and algebraic geometers

3. Reproducibility

• Complete proofs: All proved results have complete proofs
• Sufficient citations: Precise citations given for all external results used
• Verifiable techniques: Techniques used (spectral sequences, descent theory, etc.) are standard and independently verifiable

4. Subsequent Research Directions

• Immediate impact:
  • Completing Conjecture 3.9's proof will be priority
  • Generalization to other stable homotopy group elements
  • Study of higher-order nilpotence phenomena
• Long-term impact:
  • May drive systematic development of étale motivic homotopy theory
  • Provides new perspective on understanding motivic spectra structure
  • May find unexpected applications in arithmetic geometry

Applicable Scenarios

1. Theoretical Research:
   • Foundational research in motivic homotopy theory
   • Étale descent properties of algebraic K-theory
   • Structure theory of stable homotopy categories
2. Computational Applications:
   • Simplify computations of étale motivic homotopy groups
   • Understand differences between Nisnevich and étale topologies
   • Provide theoretical guarantees for concrete scheme computations
3. Cross-disciplinary Applications:
   • Connect topology and algebraic geometry
   • Provide homotopy-theoretic tools for arithmetic geometry
   • Potential applications to period problems in number theory
4. Educational Value:
   • Excellent case study demonstrating modern homotopy-theoretic methods
   • Illustrates impact of different topologies (Nisnevich vs. étale) on homotopy theory
   • Demonstrates synthesis of multiple advanced techniques

Key References

1. Toda (1962): "Composition methods in homotopy groups of spheres" - classical proof of η³_top ≠ 0
2. Morel (2004): "On the motivic π₀ of the sphere spectrum" - establishes End(Sη⁻¹) ≅ W(k)
3. Bachmann (2021): "Rigidity in étale motivic stable homotopy theory" - foundational work on étale motivic theory
4. Ayoub (2007): "Les six opérations de Grothendieck..." - provides recollement theory
5. Bachmann-Hoyois (2021): "Remarks on étale motivic stable homotopy theory" - direct theoretical foundation for this paper

Overall Assessment: This is a high-quality pure mathematics theory paper achieving important progress in motivic homotopy theory, a frontier field. While the main conjecture remains incompletely resolved, the proved results are foundational and universal in scope, the methods are innovative, and the work will have lasting impact on the field. The paper demonstrates profound connections between modern homotopy theory, algebraic geometry, and number theory, opening multiple directions for subsequent research.