Conjectured description of the second half of the connective KO-theory summands

Let kk be an index for the spectra Ak\mathcal{A}_k, let Ei,k\mathcal{E}_{i,k} denote the iith edge of Σ2k+1Ak\mathcal{\Sigma}^{-2^{k+1}}\mathcal{A}_k, and let MiM_i, y1y_1, and zjz_j denote the summands and classes used in the decomposition. For exponents εj{0,1}\varepsilon_j\in\{0,1\}, set

S=εj.S=\sum \varepsilon_j.

The exponent tt is defined by

t=2k222i32j1εj,t=2^{k-2}-2-2^{i-3}-\sum 2^{j-1}\varepsilon_j,

and set

D=2i+4t+8+2j+2εj.D=2^i+4t+8+\sum 2^{j+2}\varepsilon_j.

Conjectured second-half description. The ν\nu summands in the second half of Ak\mathcal{A}_k are y12k22Mk+1y_1^{2^{k-2}-2}M_{k+1} and all

y1tz3ε3zk2εk2zk1Miy_1^t z_3^{\varepsilon_3}\cdots z_{k-2}^{\varepsilon_{k-2}}z_{k-1}M_i

with 4ik4\le i\le k, εj{0,1}\varepsilon_j\in\{0,1\}, εj=0\varepsilon_j=0 if j<i1j<i-1, and t=2k222i32j1εjt=2^{k-2}-2-2^{i-3}-\sum 2^{j-1}\varepsilon_j. Their corresponding edges are

y12k22Mk+1Σ2kE2,ky_1^{2^{k-2}-2}M_{k+1}\leftrightarrow \Sigma^{2^k}\mathcal{E}_{2,k}

and

y1tz3ε3zk2εk2zk1MiΣDES+3,i+S.y_1^t z_3^{\varepsilon_3}\cdots z_{k-2}^{\varepsilon_{k-2}}z_{k-1}M_i\leftrightarrow \Sigma^D\mathcal{E}_{S+3,i+S}.

These constitute exactly the second half of Σ2k+1Ak\Sigma^{-2^{k+1}}\mathcal{A}_k.

Sources & referencesView supporting material

Primary source

Donald M Davis, “The connective KO theory of the Eilenberg-MacLane space K(Z/2,2)”, arXiv:2502.14982 (2025).

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.