arxiv: 2604.19313 · v1 · submitted 2026-04-21 · 🧮 math.AT · math.CT

Recognition: unknown

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

Drew Heard

Pith reviewed 2026-05-10 01:11 UTC · model grok-4.3

classification 🧮 math.AT math.CT

keywords Tambara functorsNakaoka spectrumradical idealsframesspectral spacespoint-free topologyequivariant algebra

0 comments

The pith

The Nakaoka spectrum of any G-Tambara functor is a spectral space because the frame of its radical ideals has the Nakaoka primes as points and is spatial and coherent.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper develops a point-free description of the Nakaoka spectrum associated to a Tambara functor for a finite group. It constructs the frame of radical Tambara ideals and demonstrates that the Nakaoka primes are exactly the points of this frame. The authors then verify that the frame is both spatial and coherent. From this they deduce that the Nakaoka spectrum itself is a spectral space. This recovers an earlier result while providing a new algebraic perspective on the topology of the spectrum.

Core claim

For a finite group G and a G-Tambara functor T, the frame RadId_G(T) of radical Tambara ideals has the Nakaoka primes as its points. This frame is spatial and coherent, which implies that the Nakaoka spectrum is a spectral space.

What carries the argument

The frame RadId_G(T) of radical Tambara ideals, whose points are the Nakaoka primes and which is shown to be spatial and coherent.

Load-bearing premise

The radical Tambara ideals form a frame whose points coincide exactly with the Nakaoka primes under the paper's definitions.

What would settle it

A counterexample in which some radical Tambara ideal fails to correspond to a Nakaoka prime or in which the frame is not spatial would disprove the central claim.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

They build the frame RadId_G(T) of radical Tambara ideals and verify it is spatial and coherent to recover that the Nakaoka spectrum is a spectral space.

read the letter

The paper constructs the frame RadId_G(T) directly from the radical Tambara ideals of a G-Tambara functor T and shows that its points are the Nakaoka primes. It then checks that the frame is spatial, because it arises from the generators and relations of the ideal lattice, and coherent, because the compact elements are the finitely generated radical ideals. This lets them conclude the spectrum is spectral, matching the earlier result of Chan and Spitz without extra assumptions on T or G. The explicit frame construction and the verification steps are the new pieces. The argument stays inside the usual definitions of Tambara operations and Nakaoka primes, so it does not introduce hidden choices that would affect the conclusion. The work is clean on its own terms and gives a point-free algebraic packaging that could be handy for comparisons or calculations in equivariant homotopy. The main limitation is that it recovers a known fact rather than proving something substantially new about the spectrum itself. The significance stays narrow, inside the intersection of Tambara functors and spectral spaces. No load-bearing gaps appear in the outline, but a referee would still want to see the full lemmas on how radical ideals are closed under restriction, transfer, and norm. This is for readers already working in equivariant stable homotopy who know the Chan-Spitz paper and want an algebraic rephrasing. It is worth sending to a serious referee because the construction is explicit and the recovery serves as a useful consistency check.

Referee Report

0 major / 3 minor

Summary. For a finite group G and G-Tambara functor T, the paper constructs the frame RadId_G(T) of radical Tambara ideals (closed under restriction, transfer, and norm), shows that its points are exactly the Nakaoka primes, proves the frame is spatial (via generators and relations from the ideal lattice) and coherent (compact elements are the finitely generated radical ideals, closed under finite meets), and deduces that the Nakaoka spectrum is a spectral space. This recovers the result of Chan and Spitz without extra hypotheses on T or G.

Significance. The point-free frame-theoretic approach provides a direct algebraic construction of the Nakaoka spectrum that avoids pointwise verification and recovers the spectral-space structure uniformly. Strengths include the explicit identification of points with Nakaoka primes, the use of standard frame properties (spatiality and coherence) to deduce the result, and the absence of additional assumptions on T or G. This may facilitate further work on Tambara functors and their spectra in a manner consistent with point-free topology.

minor comments (3)

§1 (Introduction): the comparison with Chan-Spitz should include a precise citation (e.g., arXiv number or journal reference) and a short statement of which parts of their proof are being replaced by the frame construction.
Definition of RadId_G(T) (likely §2 or §3): while the abstract and skeptic summary indicate closure under Tambara operations, the manuscript should explicitly verify that the collection of radical ideals is closed under arbitrary joins and finite meets to confirm it forms a frame; this is load-bearing but appears local.
Notation: the symbol RadId_G(T) is introduced without prior warning in the abstract; a sentence in the introduction clarifying that it denotes the frame of radical Tambara ideals would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the accurate summary of our constructions, and the recommendation for minor revision. We note that no specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper directly constructs the frame RadId_G(T) of radical Tambara ideals for a G-Tambara functor T and verifies that its points coincide with the Nakaoka primes using the given definitions of radical ideals and Nakaoka primes. Spatiality follows from the frame being presented by generators and relations in the ideal lattice, while coherence follows from the compact elements being the finitely generated radical ideals closed under finite meets. These steps are self-contained within standard frame theory and the paper's definitions, with no reduction of predictions to fitted inputs, no load-bearing self-citations, and no imported uniqueness theorems or ansatzes. The recovery of the Chan-Spitz result is a derived consequence rather than a circular dependency.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

The central claim rests on the standard definitions of G-Tambara functors, radical ideals, Nakaoka primes, frames, spatiality, and coherence drawn from prior literature in category theory and algebraic topology; no new free parameters or invented entities with independent evidence are introduced.

axioms (3)

domain assumption G is a finite group
Explicitly stated as the setting for the Tambara functor T.
domain assumption T is a G-Tambara functor
The object to which the frame construction is applied.
standard math Frames, spatiality, and coherence behave as in standard point-free topology
Invoked to deduce that the Nakaoka spectrum is spectral.

invented entities (1)

frame RadId_G(T) of radical Tambara ideals no independent evidence
purpose: To serve as a point-free object whose points are the Nakaoka primes
Constructed in the paper; no external falsifiable evidence is supplied in the abstract.

pith-pipeline@v0.9.0 · 5348 in / 1610 out tokens · 60400 ms · 2026-05-10T01:11:52.943608+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 3 canonical work pages

[1]

Maxine Elena Calle, David Chan, David Mehrle, J. D. Quigley, Ben Spitz, and Danika Van Niel. The spectrum of the B urnside T ambara functor. Int. Math. Res. Not. IMRN , (2):Paper No. rnaf388. 26, 2026

2026
[2]

The spectrum of the B urnside T ambara functor of a cyclic group

Maxine Calle and Sam Ginnett. The spectrum of the B urnside T ambara functor of a cyclic group. J. Pure Appl. Algebra , 227(8):Paper No. 107344, 23, 2023

2023
[3]

Quigley, Ben Spitz, and Danika Van Niel

David Chan, David Mehrle, J.D. Quigley, Ben Spitz, and Danika Van Niel. On the T ambara affine line. Adv. Math. , 493:Paper No. 110908, 2026

2026
[4]

Radicals and N ilpotents in E quivariant A lgebra, 2026

David Chan and Ben Spitz. Radicals and N ilpotents in E quivariant A lgebra, 2026. arXiv:2601.23247

work page arXiv 2026
[5]

Hill and Kristen Mazur

Michael A. Hill and Kristen Mazur. An equivariant tensor product on M ackey functors. J. Pure Appl. Algebra , 223(12):5310--5345, 2019

2019
[6]

Johnstone

Peter T. Johnstone. Stone spaces , volume 3 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1982 edition, 1986

1982
[7]

Le th \'e or \`e me de C hevalley-- T arski et remarques sur l'alg \`e bre constructive

Andr \'e Joyal. Le th \'e or \`e me de C hevalley-- T arski et remarques sur l'alg \`e bre constructive. Cahiers de Topologie et G \'e om \'e trie Diff \'e rentielle , 16(3):256--258, 1975

1975
[8]

Hochster duality in derived categories and point-free reconstruction of schemes

Joachim Kock and Wolfgang Pitsch. Hochster duality in derived categories and point-free reconstruction of schemes. Trans. Amer. Math. Soc. , 369(1):223--261, 2017

2017
[9]

Ideals of T ambara functors

Hiroyuki Nakaoka. Ideals of T ambara functors. Adv. Math. , 230(4-6):2295--2331, 2012

2012
[10]

The spectrum of the B urnside T ambara functor on a finite cyclic p -group

Hiroyuki Nakaoka. The spectrum of the B urnside T ambara functor on a finite cyclic p -group. J. Algebra , 398:21--54, 2014

2014
[11]

Frames and locales

Jorge Picado and Ale s Pultr. Frames and locales . Frontiers in Mathematics. Birkh\" a user/Springer Basel AG, Basel, 2012. Topology without points

2012
[12]

T ambara functors

Neil Strickland. T ambara functors. Unpublished, 112 pages. arxiv:1205.2516, 2012

work page arXiv 2012
[13]

D. Tambara. On multiplicative transfer. Comm. Algebra , 21(4):1393--1420, 1993

1993
[14]

The structure of M ackey functors

Jacques Th\' e venaz and Peter Webb. The structure of M ackey functors. Trans. Amer. Math. Soc. , 347(6):1865--1961, 1995

1961
[15]

The subgroup stratification of N akaoka spectra

Noah Wisdom. The subgroup stratification of N akaoka spectra. arXiv:2508.09360v1, Aug 2025

work page arXiv 2025