A point-free approach to the Nakaoka spectrum of a Tambara functor

Abstract: For $G$ a finite group and $T$ a $G$-Tambara functor, we construct the frame $\mathop{RadId}_G(T)$ of radical Tambara ideals and show that its points are the Nakaoka primes. We show that this frame is spatial and coherent, and deduce that the Nakaoka spectrum is a spectral space, recovering a recent result of Chan and Spitz.

• The paper introduces a point-free construction for the Nakaoka spectrum of Tambara functors using frame and locale theory.
• The paper demonstrates that the frame of radical Tambara ideals is spatial, coherent, and homeomorphic to the Nakaoka spectrum.
• The paper establishes functoriality by showing that morphisms of Tambara functors induce continuous spectral maps, advancing equivariant commutative algebra.

Point-Free Construction of the Nakaoka Spectrum for Tambara Functors

Introduction and Motivation

The paper develops a point-free approach, rooted in frame theory and locale theory, to the prime spectrum of a $G$-Tambara functor, generalizing Joyal's construction for commutative rings to the equivariant setting. Tambara functors, which encode the rich interplay among restriction, transfer, and norm maps in equivariant homotopy theory, serve as the primary algebraic objects for "equivariant commutative algebra." The Nakaoka spectrum captures the prime ideals of a Tambara functor with a Zariski-type topology, but prior treatments were point-set based. The drive here is to recast this construction entirely within the framework of point-free topology (i.e., via frames/locales), facilitating structural results and aligning with categorical perspectives prevalent in tensor-triangular geometry.

Framework: Frames, Spectra, and Spatiality

A frame is a complete lattice where finite meets distribute over arbitrary joins. In traditional algebraic geometry, the Zariski spectrum of a commutative ring is recovered from the frame of radical ideals ($RadId(R)$) via Joyal’s perspective, where the points of the frame correspond to prime ideals, and the underlying topological space is then spectral.

Adopting this, the author defines the frame $RadId_G(T)$ of radical Tambara ideals for a $G$-Tambara functor $T$. The main technical advance is to demonstrate that this frame is spatial and coherent. Consequently, its points are naturally identified with Nakaoka primes, leading to a canonical homeomorphism between the point space $pt(RadId_G(T))$ and the established Nakaoka spectrum $\Spec_{Nak}(T)$.

Main Technical Contributions

Frame Structure of Radical Tambara Ideals

The paper establishes that $RadId_G(T)$, the set of radical Tambara ideals ordered by inclusion, is a frame:

• Meets: Given by levelwise intersections.
• Joins: Given by taking the radical of the levelwise sum of ideals: $\bigvee I_\lambda = \sqrt{\sum I_\lambda}$.

A crucial algebraic result—mirroring the commutative ring case—is that the radical of the product equals the intersection of radicals: $\sqrt{IJ} = \sqrt{I} \cap \sqrt{J}$, which enables the distributivity required for the frame axioms.

Identification of Points and Spectrality

Meet-prime elements of the frame correspond to Nakaoka-prime Tambara ideals. The author shows that point-localization and the Nakaoka topology align perfectly: basic opens in the point space correspond to the standard open sets in $RadId(R)$0, and vice versa. It is proven that the spectrum $RadId(R)$1 is spatial and spectral, i.e., homeomorphic to the point space of a coherent frame.

Compactness and Coherence

The compact elements of $RadId(R)$2 are shown to be exactly the radical finitely generated Tambara ideals. The frame is generated under arbitrary joins by these compact elements, and the set of compact elements is closed under finite meets, establishing the coherence of $RadId(R)$3. Consequently, $RadId(R)$4 is shown to be a spectral space in the sense of Hochster.

Functoriality

Given a morphism of Tambara functors $RadId(R)$5, the author constructs a corresponding frame homomorphism between $RadId(R)$6 and $RadId(R)$7, which induces a continuous spectral map between the corresponding spectra. Under the identification of points, this recovers the levelwise preimage construction for prime ideals. This formalism establishes that $RadId(R)$8 is a functor from Tambara functors (and their morphisms) to the category of spectral spaces.

Further Structural Implications

The point-free approach yields clean and categorical proofs of standard commutative algebraic phenomena in the Tambara context:

• Closed immersions and quotient spectra: The radical ideals in a quotient correspond to those above the ideal, mirroring classical closed immersions.
• Nilradicals and reductions: The nilradical as the intersection of all prime ideals, and the identification of the reduction—$RadId(R)$9—as categorically preserving the spectrum.
• Coprime decompositions: Under radical coprimality assumptions, a Tambara functor reduces to a product, and its spectrum decomposes into clopen pieces. Complemented elements of the frame classify disconnected spectra, paralleling classical Chinese remainder theorem phenomena.
• Irreducibility and connectedness: Prime nilradical is equivalent to the irreducibility of the spectrum, and connectedness relates to the absence of nontrivial product decompositions.

Numerical and Structural Highlights

• The spatial isomorphism $RadId_G(T)$0 provides an explicit frame-theoretic model for the topology on the Nakaoka spectrum.
• The compactness characterization yields that the compact open subsets of $RadId_G(T)$1 correspond bijectively to radical finitely generated Tambara ideals, providing a concrete basis for the topology.
• The key result that radicals are computed levelwise (citing Chan and Spitz [ChanSpitz2026RadicalsNilpotents]) is crucial for the main structural theorems and functorial arguments.

Theoretical and Practical Implications

Practically, these results provide a robust foundation for further "equivariant algebraic geometry" in the context of Tambara functors. The alignment of point-set and point-free perspectives is important for higher-categorical and tensor-triangular treatments of equivariant stable homotopy categories, especially for modeling spectra with genuine multiplicative structure involving norms.

Theoretically, this point-free approach shows that strong structural parallels exist between the ideal theory of commutative rings and that of Tambara functors, despite the significant additional complexity of the norm maps and underlying Mackey functor structure.

This perspective is likely to support future investigations into enhanced tensor-triangular spectra for equivariant stable categories, as well as categorical landmarks such as classifying supports, reconstructing categories from spectra, and providing algebraic models for various forms of descent and completion in equivariant contexts.

Speculation on Future Developments

The frame-theoretic machinery and identification of the spectrum as a spectral space open the possibility of defining (and classifying) supports in tensor-triangular geometry for genuine $RadId_G(T)$2-spectra. Applications might include understanding algebraic models for equivariant localizations and completions, as well as potential extensions to broader classes of equivariant algebraic structures. Moreover, as equivariant homotopy theory continually incorporates richer algebraic and categorical inputs, the localization and support classification results predicated on this frame-theoretic description will likely play an increasingly central role.

Conclusion

This work delivers a rigorous frame-theoretic (point-free) reformulation of the Nakaoka spectrum of a Tambara functor, confirming its status as a spectral space and providing precise functorial, algebraic, and topological insight. The categorical perspective clarifies and extends previous results, offers structural generalizations, and sets the stage for further advances in equivariant commutative algebra and geometry.