--- title: Nakaoka Spectrum in Tambara Theory url: https://www.emergentmind.com/topics/nakaoka-spectrum type: topic --- # Nakaoka Spectrum in Tambara Theory Searching arXiv for recent papers on the Nakaoka spectrum and Tambara functors. The **Nakaoka spectrum** of a \(G\)-Tambara functor is the equivariant analogue of the Zariski spectrum: it is the set of prime Tambara ideals equipped with a Zariski-type topology [2410.23052]. For a finite group \(G\) and a \(G\)-Tambara functor \(T\), Nakaoka’s definition takes prime ideals to be Tambara ideals \(P \subsetneq T\) such that for all Tambara ideals \(I,J \trianglelefteq T\), \(IJ \subseteq P\) implies \(I \subseteq P\) or \(J \subseteq P\) [2410.23052]. Recent work places this spectrum in a distinctly locale-theoretic framework: the frame \(\mathop{RadId}_G(T)\) of radical Tambara ideals has points precisely the Nakaoka primes, is spatial and coherent, and recovers the topology of the Nakaoka spectrum, yielding a point-free proof that the space is spectral [2604.19313]. Parallel developments analyze nilpotence, subgroup stratifications, explicit computations for fixed-point and ghost constructions, and extensions to bi-incomplete Tambara functors [2601.23247] [2508.09360] [2410.23052] [2605.07895]. ## 1. Definition and basic topology Let \(G\) be a finite group and \(T\) a \(G\)-Tambara functor. A Tambara ideal is a family of ideals \(I(G/H)\subseteq T(G/H)\) closed under transfer, norm, restriction, and conjugation [2410.23052]. A prime Tambara ideal is then defined by the multiplicative condition that for all Tambara ideals \(I,J\trianglelefteq T\), if \(IJ\subseteq P\), then \(I\subseteq P\) or \(J\subseteq P\) [2410.23052]. The **Nakaoka spectrum** is \[ \mathrm{Spec}(T):=\{\text{prime Tambara ideals of }T\}, \] equipped with the Zariski topology whose closed sets are \[ V(I)=\{p\in \mathrm{Spec}(T): I\subseteq p\} \] for Tambara ideals \(I\) [2410.23052]. In the notation of the point-free construction, the corresponding basic opens may also be written \[ D_I=\{P\in \Spec_{Nak}(T)\mid I\not\subseteq P\} \] [2604.19313]. When \(G=e\), Tambara functors are just commutative rings, and the Nakaoka spectrum recovers the usual Zariski spectrum [2410.23052]. This places the theory directly in the lineage of classical commutative algebra, but with Tambara-specific phenomena arising from the interaction of restriction, transfer, and norm maps. One such phenomenon is that the product of Tambara ideals “may not be computed levelwise,” so primality is intrinsically global rather than a levelwise ring-theoretic condition [2601.23247]. ## 2. Point-free construction via radical Tambara ideals A point-free description is provided by the frame \(\mathop{RadId}_G(T)\) of radical Tambara ideals [2604.19313]. For a Tambara ideal \(I\trianglelefteq T\), its radical is defined by \[ (\sqrt{I})(G/H)=\left\{x\in T(G/H)\mid \exists n\geq 1,\ \langle x\rangle^n\subseteq I\right\}, \] where \(\langle x\rangle\) denotes the Tambara ideal generated by \(x\) and products \(\langle x\rangle^n\) are defined iteratively [2604.19313]. A radical Tambara ideal is one satisfying \(I=\sqrt{I}\) [2604.19313]. The poset of radical Tambara ideals, ordered by inclusion, forms a frame [2604.19313]. Its meet is levelwise intersection, and its join is \[ \bigvee_{\lambda} I_\lambda=\sqrt{\sum_{\lambda} I_\lambda}, \] with \(\sum\) the levelwise sum of Tambara ideals [2604.19313]. The frame-theoretic spectrum is defined by \[ \Spec_{Frm}(T)\coloneqq pt(\mathop{RadId}_G(T))=\mathrm{Hom}_{Frm}(\mathop{RadId}_G(T),2), \] where \(2=\{0<1\}\) is the two-element frame, and the topology is generated by \[ U(I)=\{p\in pt(\mathop{RadId}_G(T))\mid p(I)=1\} \] [2604.19313]. The main theorem identifies these points with the Nakaoka primes: \[ pt(\mathop{RadId}_G(T))\cong \Spec_{Nak}(T) \] [2604.19313]. The frame-theoretic opens \(U(I)\) correspond to the basic open sets \(D_I\), and the topology generated by the \(D_I\) coincides with the Nakaoka topology defined by Nakaoka [2604.19313]. In particular, \[ \mathop{RadId}_G(T)\cong \Omega(\Spec_{Nak}(T)), \] so the frame of radical Tambara ideals recovers the frame of opens of the Nakaoka spectrum [2604.19313]. This approach closely parallels Joyal’s approach to the Zariski spectrum in commutative algebra [2604.19313]. A plausible implication is that the locale-theoretic formulation isolates the topological content of Tambara ideal theory from any a priori reliance on points, while still recovering the usual prime spectrum once enough points are established. ## 3. Spectrality, coherence, and compact opens A central structural result is that the Nakaoka spectrum is a **spectral space** [2604.19313] [2601.23247]. In the point-free account, the key inputs are that \(\mathop{RadId}_G(T)\) is spatial and coherent [2604.19313]. Spatiality means the canonical map \[ \iota_A:A\longrightarrow \Omega(pt(A)) \] is an isomorphism; for \(\mathop{RadId}_G(T)\), this holds by Theorem 5.6 [2604.19313]. Coherence is established by identifying the compact elements as the radical finitely generated Tambara ideals, \[ I=\sqrt{\langle x_1,\dots,x_n\rangle}, \] for elements \(x_i\in T(G/H_i)\) [2604.19313]. Since a coherent frame is spatial and its point space is spectral, it follows that \(\Spec_{Nak}(T)\) is spectral [2604.19313]. Chan and Spitz establish the same conclusion from the viewpoint of nilpotence: the Nakaoka spectrum of any Tambara functor is spectral, and the basic open sets \(D(f)\) are quasi-compact and form a basis [2601.23247]. Their analysis also shows that \(\mathrm{Spec}(T)\) is quasi-compact and sober [2601.23247]. The point-free paper explicitly states that it recovers “a recent result of Chan and Spitz” [2604.19313]. The compact open subsets admit an explicit algebraic description. In the locale-theoretic treatment, the compact opens are exactly those \[ D_I=\{P\in \Spec_{Nak}(T)\mid I\not\subseteq P\} \] with \(I\) a radical finitely generated Tambara ideal [2604.19313]. This is the precise equivariant counterpart of the classical description of quasi-compact opens in the spectrum of a commutative ring. ## 4. Nilpotents, radicals, and localization phenomena The relation between the Nakaoka spectrum and nilpotence is unusually delicate in equivariant algebra. Chan and Spitz prove that the nilradical of a Tambara functor \(T\), defined as the intersection of all prime Tambara ideals, is computed levelwise: it consists precisely of the nilpotent elements in \(T\) [2601.23247]. Equivalently, \[ \nil(T)=N(T), \] where \(N(T)(G/H)\) is the nilradical of the commutative ring \(T(G/H)\) [2601.23247]. They also prove that for a Tambara ideal \(I\subseteq T\), the radical \[ \sqrt{I}=\{x\in T(G/H): \langle x\rangle^n\subseteq I \text{ for some } n\} \] is the intersection of all prime ideals containing \(I\), and that \(\sqrt{I}(G/H)\) is the radical of \(I(G/H)\) [2601.23247]. This aligns with the radical used in the frame \(\mathop{RadId}_G(T)\) [2604.19313]. At the same time, the papers emphasize a departure from ordinary commutative algebra. In Tambara functors, the nilpotents are **not** the same as the elements \(x\) such that \(T[1/x]=0\) [2601.23247]. Chan and Spitz call such elements **kilpotent**, and prove that \[ T[1/x]=0 \iff \prod_{g\in G} g\cdot \operatorname{res}_e^H(x) \] is nilpotent in \(T(G/e)\) [2601.23247]. Every nilpotent is kilpotent, but not every kilpotent is nilpotent, and kilpotent elements do not in general form an ideal [2601.23247]. Their Burnside functor example exhibits an element that is kilpotent but not nilpotent [2601.23247]. These results clarify why the topology of the Nakaoka spectrum can resemble classical algebraic geometry while still supporting genuinely equivariant phenomena. A plausible implication is that spectrum-theoretic arguments in Tambara functor theory must distinguish carefully between statements controlled by prime containment and statements controlled by localization. ## 5. Explicit descriptions and computational models Several papers compute Nakaoka spectra in explicit families by reducing to ordinary commutative spectra. For the fixed point Tambara functor \(\mathrm{FP}(R)\) of a \(G\)-ring \(R\), there is a canonical homeomorphism \[ \mathrm{Spec}(\mathrm{FP}(R)) \cong \mathrm{Spec}(R^G) \cong \mathrm{Spec}(R)/G \cong \mathrm{Spec}_G(R) \] [2410.23052]. This identifies the Nakaoka spectrum with the GIT quotient of the classical Zariski spectrum [2410.23052]. Relatedly, if \(R\) is a \(G\)-Tambara functor with injective restrictions, then the \(H\)th stratum of \(\mathrm{Spec}(R)\) is the set of prime ideals \(p\) such that \(p(G/H)\subset R(G/H)\) is a ring-theoretic prime ideal, and for fixed point functors one has a bijection with \(\mathrm{Spec}(R(G/e)^G)\) [2508.09360]. For \(G=C_p\), the paper “On the Tambara Affine Line” introduces a **ghost construction** \(\Gamma(T)\) for a \(C_p\)-Tambara functor \(T\) [2410.23052]. At the level of spectra, \[ \mathrm{Spec}(\Gamma(T)) \cong \mathrm{Spec}(T(C_p/e)^{C_p}) \amalg \mathrm{Spec}(\Phi^{C_p}T), \] and the ghost map \(g_T:T\to \Gamma(T)\) is levelwise integral, so the induced map on spectra is surjective [2410.23052]. This is used to compute the Nakaoka spectra of the complex representation ring Tambara functor \(\mathrm{RU}\) for \(C_p\), as well as the free Tambara functors on one generator [2410.23052]. For \(\mathrm{RU}\) over \(C_p\), the spectrum is described as \[ \mathrm{Spec}(\mathrm{RU}) \cong \frac{\mathrm{Spec}(\mathbb{Z})\times\{s,\ell\}}{(p,s)\sim (p,\ell)} \] [2410.23052]. For the Tambara affine line over \(C_p\), the Nakaoka spectra of \([C_p/C_p]\) and \([C_p/e]\) are described in terms of the Zariski spectra of \(\mathbb{Z}[x]\), \(\mathbb{Z}[x,y]\), and \(\mathbb{Z}[x_0,\ldots,x_{p-1}]^{C_p}\), assembled via explicit gluing [2410.23052]. The same paper also establishes a weak Hilbert basis theorem, going up, lying over, and levelwise radicality of prime ideals in Tambara functors, and uses these results to compute Krull dimensions in examples [2410.23052]. ## 6. Subgroup stratification and topological anomalies A distinct structural refinement is the **subgroup stratification** of the Nakaoka spectrum [2508.09360]. For each subgroup \(H\subset G\), the \(H\)th stratum is defined as the image of the continuous map \[ \mathrm{Spec}(\mathrm{Res}_H^G R)\longrightarrow \mathrm{Spec}(R) \] [2508.09360]. The stratification is indexed by the poset of subgroups of \(G\), ordered by inclusion, and is natural in Tambara functor morphisms [2508.09360]. This construction is motivated by comparisons with the Balmer spectrum in equivariant tensor-triangular geometry [2508.09360]. The behavior of these strata differs sharply from classical expectations. For the Burnside Tambara functor \(A_G\), if \(G\) is Dedekind, the \(H\)th stratum is \[ V(p_{H,0})=\{p_{K,p}\mid K\subset H,\ p \text{ prime}\}, \] hence closed and not open [2508.09360]. The map \(A_G\to \mathrm{CoInd}_H^G A_H\) is étale, and the induced map on spectra is the inclusion of the \(H\)th stratum; for proper \(H