Separable commutative algebras in equivariant homotopy theory

This paper investigates separable commutative algebras in equivariant homotopy theory, establishing conditions under which they are "standard" (arising from finite $G$-sets) and demonstrating that while all such algebras are standard for $p$-groups, non-standard examples exist for general finite groups, with the classification further refined by the presence of multiplicative norms and the solvability of the group.

The Gist

Here is an explanation of the paper "Separable Commutative Algebras in Equivariant Homotopy Theory" using simple language, analogies, and metaphors.

The Big Picture: Building with Symmetrical Blocks

Imagine you are an architect working in a world where every building block has a special property: symmetry. In this world, you don't just build a house; you build a house that looks the same whether you rotate it, flip it, or view it from different angles. This is the world of Equivariant Homotopy Theory.

In this paper, the authors (Niko Naumann, Luca Pol, and Maxime Ramzi) are trying to solve a specific puzzle: How do we build "separable" structures in this symmetrical world?

To understand the puzzle, we need to break down the jargon into everyday concepts.

---

1. What is a "Separable Commutative Algebra"?

The Analogy: The "Lego Brick" vs. The "Melted Blob"

In mathematics, a "commutative algebra" is like a set of rules for how you can combine things (like adding or multiplying numbers).

• Separable: This is a fancy way of saying the structure is "sturdy" and "clean." It doesn't fall apart easily when you try to pull it apart. Think of a high-quality Lego brick. You can snap it together with others, and it holds its shape perfectly.
• Non-separable: This is like a blob of wet clay. If you try to pull it apart or combine it with something else, it gets messy and loses its definition.

The authors are studying these "Lego bricks" (separable algebras) in a world where symmetry rules everything.

2. The "Standard" vs. The "Weird"

The Analogy: The "Official Blueprint" vs. The "DIY Hack"

The authors are asking a fundamental question: Are all these sturdy Lego bricks built using the official, standard blueprints?

• Standard Algebras: These are the "official" structures. They are built directly from Finite G-Sets.
  • Metaphor: Imagine you have a set of distinct, labeled boxes (a "G-set"). You take these boxes and arrange them in a specific, symmetrical pattern. This is a "Standard" algebra. It's predictable. You know exactly what it is because it comes from a simple list of boxes.
• Non-Standard Algebras: These are structures that look like sturdy Lego bricks, but they weren't built from the official list of boxes. They are "weird hacks." They might be made of the same materials, but they are assembled in a way that doesn't match any simple list of boxes.

The Main Question of the Paper:

"If we find a sturdy, symmetrical Lego brick, can we always trace it back to a simple list of boxes (a Finite G-set), or are there some 'weird hacks' that exist which we can't explain with simple lists?"

3. The Discovery: It Depends on the Group

The authors found that the answer depends entirely on the type of symmetry group ($G$) you are working with.

Case A: The "Simple" Groups (p-groups)

The Analogy: The Family Tree
Imagine a family where everyone is related in a very simple, straight line (like a p-group).

• The Result: In this case, every sturdy Lego brick is a "Standard" one.
• Meaning: If your symmetry group is a "p-group" (a specific type of simple symmetry), there are no "weird hacks." Every separable algebra you find can be perfectly explained by a list of boxes. The universe is tidy and predictable here.

Case B: The "Complicated" Groups (Non-p-groups)

The Analogy: The Complex Corporate Structure
Now imagine a company with a complex hierarchy, different departments, and conflicting rules (like a group of order 6, $C_6$, or a group with two different prime factors).

• The Result: Here, not every sturdy Lego brick is "Standard."
• Meaning: The authors found examples of "weird hacks." These are structures that are perfectly valid and sturdy, but they cannot be built from a simple list of boxes. They are "exotic" objects that only exist because the symmetry group is complex.

4. The "Norm" Twist: Adding a Superpower

The paper also asks: "What if we add a superpower called Multiplicative Norms?"

• The Analogy: Imagine our Lego bricks have a special "glue" (the Norm) that makes them even stronger and more connected.
• The Result:
  • If the symmetry group is Solvable (a group that can be broken down into simple layers, like peeling an onion), then even with this superpower, everything is still Standard. The "glue" forces everything to fall back into the official blueprints.
  • If the group is Not Solvable (like the group of rotations of a soccer ball, $A_5$), then even with the superpower, weird hacks still exist. The "glue" isn't strong enough to force the complex symmetry into a simple list.

5. Why Does This Matter? (The "Why Should I Care?")

You might wonder, "Who cares about symmetrical Lego bricks?"

1. Mapping the Unknown: Mathematicians use these structures to map out the "shape" of the universe of mathematics (called the Balmer Spectrum). Knowing which structures are "standard" helps them draw accurate maps.
2. The "Galois Group": The paper calculates something called the "Galois Group" for these worlds. Think of this as the "symmetry of the symmetries."
   • For simple groups (p-groups), the symmetry of the symmetries is trivial (nothing new to discover).
   • For complex groups (like $C_6$), the symmetry of the symmetries is infinite (there are endless new patterns to discover).
3. Connection to Reality: This isn't just abstract math. These structures relate to how we understand particles in physics, how data is encrypted, and how shapes behave in higher dimensions.

Summary in a Nutshell

• The Goal: To see if all "sturdy, symmetrical mathematical structures" can be built from simple lists of items.
• The Good News: If the symmetry is simple (a p-group), the answer is YES. Everything is standard.
• The Bad News: If the symmetry is complex, the answer is NO. There are "exotic" structures that defy simple explanation.
• The Twist: If you add a special "glue" (norms) to the mix, the answer becomes YES again, unless the group is extremely complex (non-solvable).

The authors have essentially drawn a map showing exactly where the "standard" rules apply and where the "exotic" exceptions begin, helping mathematicians navigate the complex landscape of symmetrical shapes.

Technical Summary

Here is a detailed technical summary of the paper "Separable Commutative Algebras in Equivariant Homotopy Theory" by Niko Naumann, Luca Pol, and Maxime Ramzi.

1. Problem Statement and Context

The paper addresses the classification of separable commutative algebras within the framework of equivariant stable homotopy theory.

• Background: In tensor-triangular (tt) geometry, separable commutative algebras are crucial for understanding the "étale topology" of a category. In non-equivariant settings (e.g., perfect derived categories of schemes), Neeman's theorem states that separable algebras correspond to finite étale morphisms. In modular representation theory (kG-modules for a field $k$), Balmer showed that separable algebras correspond to finite $G$-sets (termed "standard" algebras).
• The Question: Balmer posed a question regarding the stable module category of $kG$: Are all separable commutative algebras standard (i.e., arising from finite $G$-sets)? This was resolved positively for cyclic $p$-groups and $p$-groups of $p$-rank one, but remained open generally.
• The Equivariant Analogue: The authors investigate the analogue of this question in the setting of genuine $G$-spectra ($Sp^G$) and derived $G$-Mackey functors. Specifically, given a finite group $G$ and a commutative ring $G$-spectrum $R$, they study the category of compact $R$-modules, $\text{Mod}_{Sp^G}(R)^\omega$.
• The Core Problem: Is the functor $R(-): \text{Fin}_G^{\text{op}} \to \text{CAlg}_{\text{sep}}(\text{Mod}_{Sp^G}(R)^\omega)$, which sends a finite $G$-set $X$ to the algebra $R \otimes D(\Sigma^\infty_+ X)$, an equivalence? If so, all separable algebras are "standard." If not, what are the non-standard examples?

2. Methodology

The authors employ a sophisticated combination of tensor-triangular geometry, equivariant homotopy theory, and descent techniques.

• Geometric Fixed Points Analysis: The classification relies heavily on analyzing the geometric fixed points $\Phi^K(R)$ for subgroups $K \subseteq G$. These fixed points carry an action of the Weyl group $W_G(K)$.
• Three Key Conditions: The authors isolate three conditions on the geometric fixed points $\Phi^K(R)$ that guarantee the classification holds:
  1. Indecomposable Condition (IC): For all non-trivial subgroups $U \subseteq W_G(K)$, the homotopy fixed points $(\Phi^K(R))^{hU}$ and Tate construction $(\Phi^K(R))^{tU}$ are indecomposable rings.
  2. Retraction Condition (RC): A technical condition ensuring that if $\Phi^K(R)$ is a retract of a coinduced algebra in the Tate category, the subgroup must be the whole group.
  3. Separably Closed Condition: The underlying commutative algebra of the geometric fixed points is "separably closed" (meaning the only separable algebras over it are products of the unit).
• Pullback Decomposition (Fracture Square): A central tool is the pullback decomposition of equivariant spectra (Theorem 8.2). They utilize a pullback square of symmetric monoidal stable $\infty$-categories relating:
  • The category of $R$-modules with isotropy outside a family $\mathcal{F}$.
  • The category with isotropy outside $\mathcal{F} \cup \{K\}$.
  • The homotopy fixed points of the geometric fixed points $\Phi^K(R)$.
  • The Tate construction of the geometric fixed points.
    This allows them to perform an induction on the family of subgroups to classify separable algebras globally based on their behavior on geometric fixed points.
• Normed Algebras: In the final section, they introduce multiplicative norms (NAlg) to refine the classification. They investigate whether requiring a normed structure forces non-standard algebras to become standard.

3. Key Contributions and Results

A. Classification for $p$-groups

The main theorem (Theorem 9.8, Corollary 9.9) establishes that if $G$ is a $p$-group, then every separable commutative algebra in the categories of:

1. Compact $G$-spectra ($Sp^G_\omega$).
2. Compact derived $G$-Mackey functors ($\text{Mod}_{Sp^G}(\mathbb{Z}_G)^\omega$).
   is standard.

• Significance: This provides a complete affirmative answer to the equivariant analogue of Balmer's question for $p$-groups. The geometric fixed points of the sphere spectrum $S$ and the integers $\mathbb{Z}$ satisfy the necessary IC, RC, and separably closed conditions when $G$ is a $p$-group.

B. Counterexamples for Non-$p$-groups

The paper demonstrates that the "standard" classification fails for general finite groups.

• The Case of $C_6$ and $C_{pq}$: For $G = C_6$ (cyclic of order 6) or $G = C_{pq}$ (order $pq$ for distinct primes), there exist non-standard separable commutative algebras.
• Construction: Using the pullback square, they construct algebras that are "twisted" versions of standard algebras. Specifically, for $G=C_{pq}$, the category of separable algebras is equivalent to a pullback involving finite sets and a "twist" coming from the Galois group of the integers (related to $\widehat{\mathbb{Z}}$).
• Galois Groups: They compute the Galois groups of these categories:
  • If $G$ is a $p$-group, the Galois group is trivial.
  • If $G = C_{pq}$, the Galois group is $\widehat{\mathbb{Z}}$ (the profinite completion of the integers).

C. The Role of Norms

The authors investigate whether adding multiplicative norms (structure from equivariant stable homotopy theory) restores the classification.

• Solvable Groups: If $G$ is solvable, any separable commutative algebra that admits a normed structure is automatically standard (Theorem 11.1).
• Non-Solvable Groups: If $G$ is not solvable (e.g., $G = A_5$), there exist non-standard separable algebras that do admit norms.
  • Mechanism: For non-solvable groups, the universal space $E\mathcal{P}_+$ (for proper subgroups) can be dualizable. This allows the construction of idempotent algebras (like $S \times \tilde{E}\mathcal{P}_+$) that are separable, normed, but not standard.
  • This highlights a deep connection between the solvability of $G$ (via Dress's theorem on the Burnside ring) and the existence of non-trivial idempotents in the equivariant sphere.

4. Significance

1. Resolution of Balmer's Question: The paper largely resolves the question of whether étale topology in equivariant settings is richer than that produced by subgroups. The answer is yes for general groups (non-$p$-groups) but no for $p$-groups.
2. New Invariants: The computation of Galois groups for equivariant categories (e.g., $\widehat{\mathbb{Z}}$ for $C_{pq}$) provides new invariants for tensor-triangular geometry in the equivariant setting.
3. Norms as a Filter: The result that norms force standardness for solvable groups but not for non-solvable groups offers a new perspective on the structural constraints of equivariant homotopy theory. It links the algebraic property of solvability to the homotopical property of the existence of non-trivial dualizable idempotents.
4. Methodological Advancement: The use of the pullback decomposition (fracture square) combined with the analysis of geometric fixed points provides a robust framework for classifying objects in equivariant categories that can be applied to other problems beyond separable algebras.

In summary, the paper provides a complete classification of separable commutative algebras in equivariant stable homotopy theory, showing that while $p$-groups behave "nicely" (all algebras are standard), general groups exhibit rich, non-standard phenomena driven by the arithmetic of the group order and the solvability of the group structure.