A model for normed algebras in rational G-spectra

Abstract: For a finite group $G$, we construct a simplified model for the $G$-symmetric monoidal $G$-$\infty$-category of rational $G$-spectra. Using this model, we classify $\mathcal{I}$-normed algebras in rational $G$-spectra for a given indexing system $\mathcal{I}$. We show that such an algebra is equivalently described as a collection ${\mathcal{X}(G/H)}_{(H\leq G)}$ of commutative algebras in nonequivariant rational spectra, indexed by conjugacy classes of subgroups of $G$, together with compatible morphisms of commutative algebras $\mathcal{X}(G/K)\xrightarrow{}\mathcal{X}(G/H)$ whenever $K\leq H$ and the induced map $G/K\xrightarrow{}G/H$ is in $\mathcal{I}$. This generalizes a result by Wimmer arXiv:1905.12420.

• The paper classifies normed algebras in rational G-spectra by constructing an explicit algebraic model that links norm maps and commutative structures.
• It employs parametrized higher category theory to model rational G-spectra as diagrams of commutative rational ring spectra indexed by conjugacy classes.
• The study simplifies computations in rational equivariant homotopy theory and sets the stage for advances in equivariant algebraic K-theory and derived geometry.

A Model for Normed Algebras in Rational $G$-Spectra

Introduction and Motivation

This work addresses the classification of normed algebras in the category of rational $G$-spectra, for a finite group $G$. While the structure of nonequivariant rational spectra is purely algebraic—equivalent to graded $\mathbb{Q}$-vector spaces—the equivariant setting exhibits greater complexity due to the presence of multiplicative norm maps and the interplay between commutativity levels as captured by $N_\infty$-operads and associated indexing systems. The paper constructs a simplified, algebraically explicit model for the $G$-symmetric monoidal $G$-$\infty$-category of rational $G$-spectra, and leverages this to provide a full classification of normed algebras parametrized by arbitrary indexing systems.

Algebraic Models for Rational $G$-Spectra

The rational stable homotopy category in the nonequivariant case admits a well-known algebraization as $G$0-graded vector spaces, and commutative ring spectra correspond to rational CDGAs via Shipley's theorem. Rational equivariant homotopy theory can likewise be algebraicized: Greenlees and May showed for finite $G$1 that the homotopy category of rational $G$2-spectra is equivalent to the derived category of the product over conjugacy classes of subgroups of the category of $G$3-modules, where $G$4 is the Weyl group.

Analogously, the paper exhibits a symmetric monoidal $G$5-$G$6-category structure on rational $G$7-spectra, modeling it by a functor category whose points are collections of rational spectra indexed by conjugacy classes of $G$8-subgroups, with functoriality given by restriction and norm maps corresponding to the orbit category. This approach synthesizes and generalizes earlier work of Wimmer and others on geometric fixed points and Greenlees's algebraic models.

$G$9-Symmetric Monoidal Structures and Norms

The category of $G$0-spectra admits multiple monoidal structures and gradations of commutativity, as strict commutative monoids encode all possible norm maps $G$1 for subgroup inclusions $G$2. The operadic approach, via $G$3-operads, stratifies the notion of commutative multiplication and its equivariance, with indexing systems specifying the collection of admissible norm maps. The framework of parametrized higher category theory, particularly $G$4-$G$5-categories (contravariant functors from the $G$6 orbit category to $G$7-categories), underlies this analysis.

The present work upgrades the $G$8-category model to a $G$9-symmetric monoidal $\mathbb{Q}$0-$\mathbb{Q}$1-category, encoding both the symmetric monoidal structure and the various norm maps, with explicit algebraic description at the rational level.

Main Theorems and Classification of Normed Algebras

The paper's main result is an explicit classification of $\mathbb{Q}$2-normed algebras in rational $\mathbb{Q}$3-spectra, for an indexing system $\mathbb{Q}$4, in terms of algebraic data:

Theorem: For any finite group $\mathbb{Q}$5 and indexing system $\mathbb{Q}$6, there is a canonical equivalence $\mathbb{Q}$7 where $\mathbb{Q}$8 is the subcategory of the $\mathbb{Q}$9-orbit category determined by $N_\infty$0, and $N_\infty$1 denotes the $N_\infty$2-category of commutative rational ring spectra.

This result states that the $N_\infty$3-category of $N_\infty$4-normed algebras in rational $N_\infty$5-spectra is equivalent to the $N_\infty$6-category of diagrams of commutative rational ring spectra indexed by conjugacy classes of subgroups, with structure maps corresponding to the norm data prescribed by $N_\infty$7. In particular, objects are tuples $N_\infty$8 with compatible morphisms $N_\infty$9 for $G$0 whenever $G$1 is in $G$2.

When $G$3 is maximal, the result recovers Wimmer's theorem on strictly commutative rational $G$4-ring spectra; for minimal $G$5, it describes non-normed (i.e., naive) commutative algebras.

The proof integrates parametrized higher category theory, the explicit algebraic models for rational spectra, and delicate results on spans, Mackey functors, and universal properties of $G$6-spectra.

Categorical and Homotopical Constructions

The technical heart involves two layers of equivalence. First, the $G$7-category of rational $G$8-spectra is modeled by diagrams of rational spectra over the orbit category, via computations with Mackey and spectral Mackey functors (Barwick's framework), and explicit comparisons of the relevant span categories. Second, symmetric monoidal structures and normed algebra objects are modeled via functor categories from suitable variants of the span and orbit categories to symmetric monoidal algebraic categories.

A detailed analysis shows that these equivalences are monoidal and compatible with localization at the rational sphere, and that the associated normed algebra structures are captured precisely by the data of compatible diagrams as in the main theorem.

Implications and Future Directions

This work generalizes previous algebraic classifications of rational $G$9-spectra and their ring objects to arbitrary levels of equivariant commutativity. The explicit algebraic model reduces the homotopical complexity of normed algebras in rational $G$0-spectra to the combinatorics of conjugacy classes and the algebra of rational commutative ring spectra, making calculations and further structural analysis tractable.

The framework is robust, applying mutatis mutandis to any subring $G$1 where $G$2 is invertible. From a computational standpoint, these algebraic models facilitate effective calculation of invariants, mapping spaces, and derived functors in rational equivariant stable homotopy theory.

On a foundational level, this advances the program of parametrized higher algebra by demonstrating that rational norms, and hence much of the multiplicative equivariant structure, admit complete algebraic classification and abelian models. Since norm maps play a key role in the construction of equivariant algebraic $G$3-theory and trace maps, this result will influence future developments in equivariant derived algebraic geometry and chromatic homotopy theory, particularly in rational settings.

Several avenues for further research remain: a finer analysis of the relationship with $G$4-operads and their homotopy types in positive characteristic, extensions to compact Lie groups, and the study of analogous structures in motivic or global equivariant contexts.

Conclusion

The paper provides a full, categorical and algebraic classification of normed algebras in rational $G$5-spectra, generalizing and unifying disparate threads in the literature. It demonstrates that all the intricacy of equivariant commutative algebra in rational spectra reduces to the structure of compatible diagrams of commutative rational ring spectra indexed by subgroups and norm maps prescribed by an indexing system. This result not only encapsulates the rational equivariant ring spectra but also streamlines their manipulation and computation in the context of modern homotopy-theoretic and higher categorical methods.