$\mathrm{G}$-theory of $\mathbb{F}_1$-algebras I: the equivariant Nishida problem

TL;DR

This paper develops a new G-theory framework for $F_1$-algebras, compares it with existing theories, computes specific groups, and proposes a conjectural approach to the Equivariant Nishida Problem using combinatorial operations.

Contribution

It introduces a G-theory for $F_1$-algebras, constructs comparison maps, computes groups for finite pointed groups, and initiates a conjectural formalism for the Equivariant Nishida Problem.

Findings

G-theory for $F_1$-algebras established and properties derived.

Comparison with Chu--Morava K-theory via a Cartan assembly map.

Computed G-theory groups in terms of stable homotopy of classifying spaces.

Abstract

We develop a version of $\mathrm{G}$-theory for an $\mathbb{F}_1$-algebra (i.e., the $\mathrm{K}$-theory of pointed $G$-sets for a pointed monoid $G$) and establish its first properties. We construct a Cartan assembly map to compare the Chu--Morava $\mathrm{K}$-theory for finite pointed groups with our $\mathrm{G}$-theory. We compute the $\mathrm{G}$-theory groups for finite pointed groups in terms of stable homotopy of some classifying spaces. We introduce certain Loday--Whitehead groups over $\mathbb{F}_1$ that admit functorial maps into classical Whitehead groups under some reasonable hypotheses. We initiate a conjectural formalism using combinatorial Grayson operations to address the Equivariant Nishida Problem - it asks whether $\mathbb{S}^G$ admits operations that endow $\oplus_n\pi_{2n}(\mathbb{S}^G)$ with a pre-$\lambda$-ring structure, where $G$ is a finite group and $\mathbb{S}^G$ is the $G$-fixed point spectrum of the equivariant sphere spectrum.