The spectrum conjecture for finite-group equivariant KK-theory

About 16 years old · traced to

Let GG be a finite group, let KG=⟨1 ⁣ ⁣1⟩⊂KKG\mathcal K^G=\langle 1\!\!1\rangle\subset\mathsf{KK}^G be the thick triangulated subcategory generated by the tensor unit, and let R(G)R(G) be the complex representation ring of GG. Consider the natural map

ρKG:Spc(KG)⟶Spec(R(G)).\rho_{\mathcal K^G}:\mathop{\mathrm{Spc}}(\mathcal K^G)\longrightarrow\mathop{\mathrm{Spec}}(R(G)).

Spectrum conjecture. For every finite group GG, the natural map

ρKG:Spc(KG)⟶Spec(R(G))\rho_{\mathcal K^G}:\mathop{\mathrm{Spc}}(\mathcal K^G)\longrightarrow\mathop{\mathrm{Spec}}(R(G))

is a homeomorphism.

This predicts that the tensor-triangular spectrum of the compact equivariant KK-category generated by the tensor unit is completely described by the prime spectrum of the representation ring. The surrounding discussion presents it as a natural generalization of the identification of the Bootstrap category's spectrum with Spec⁡(Z)\operatorname{Spec}(\mathbb Z); no resolution status is supplied here.

References

Primary source

Ivo Dell'Ambrogio, “Tensor triangular geometry and KK-theory”, arXiv:1001.2637 (2011).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.