The higher units conjecture for complex K-theory

About 3 years old · traced to

Let KUKU be complex topological KK-theory, and for each n≥0n\geq 0 let Gmn(KU)\mathbb{G}_m^n(KU) denote the nnth group of higher units, with Gm0(KU)=GL⁡1(KU)\mathbb{G}_m^0(KU)=\operatorname{GL}_1(KU) and ΩGmn(KU)≃Gmn−1(KU)\Omega\mathbb{G}_m^n(KU)\simeq\mathbb{G}_m^{n-1}(KU). Let IZI_{\mathbb{Z}} be the Anderson dual of the sphere spectrum, and let S\mathbb{S} be the sphere spectrum.

Higher units conjecture. For all n≥0n\geq 0 there are equivalences

Gmn(KU)[0,n+2]≃n+2IZ.\mathbb{G}_m^n(KU)[0,n+2]\simeq{}_{n+2}I_{\mathbb{Z}}.

Equivalently, there are equivalences

IZ(Gmn(KU)[0,n+2])≃S[0,n+1].I_{\mathbb{Z}}(\mathbb{G}_m^n(KU)[0,n+2])\simeq\mathbb{S}[0,n+1].

This extends the proposed Brauer-spectrum identification to all higher units. It is motivated by the successive delooping pattern from units to Picard and Brauer spectra, but the general equivalence remains conjectural.

References

Primary source

Jonathan Beardsley, Kiran Luecke and Jack Morava, “Brauer-Wall Groups and Truncated Picard Spectra of K-theory”, arXiv:2306.10112 (2023).

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.