The spectrum conjecture for finite-group equivariant KK-theory

Let GG be a finite group, let KG=1 ⁣ ⁣1KKG\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.

Sources & referencesView supporting material

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.