The tmf-ASS differentials conjecture for ZZ, part 1

Let xj=hj,02x_j=h_{j,0}^2. In the tmf\mathrm{tmf}-Adams spectral sequence for ZZ, use indices i3i\geq3, li+3l\geq i+3, m<2i+11m<2^{i+1}-1, kj0k_j\geq0, and ϵj,ϵˉj{0,1}\epsilon_j,\bar\epsilon_j\in\{0,1\}. Differentials conjecture, part 1. There are differentials

d3(v2mh3,0ϵˉ3xiki+1xi+1ki+1xi+2ϵˉi+2xi+3ϵˉi+3xl1kl1xlklh~2,1ϵ2h3,1ϵ3h~4,1ϵ4hl,1hl+1,1ϵl+1hl+2,1ϵl+2)=v2m+1h3,0ϵˉ3xiki+1xi+1ki+1xi+2ϵˉi+2xi+3ϵˉi+3xl1kl1+2xlklh~2,1ϵ2h3,1ϵ3h~4,1ϵ4hl+1,1ϵl+1hl+2,1ϵl+2+.\begin{aligned} d_3(&v_2^m h_{3,0}^{\bar\epsilon_3}x_i^{k_i+1}x_{i+1}^{k_{i+1}}x_{i+2}^{\bar\epsilon_{i+2}}x_{i+3}^{\bar\epsilon_{i+3}}\cdots x_{l-1}^{k_{l-1}}x_l^{k_l}\cdots \\&\qquad\widetilde h_{2,1}^{\epsilon_2}h_{3,1}^{\epsilon_3}\widetilde h_{4,1}^{\epsilon_4}h_{l,1}h_{l+1,1}^{\epsilon_{l+1}}h_{l+2,1}^{\epsilon_{l+2}}\cdots)\\ &=v_2^{m+1}h_{3,0}^{\bar\epsilon_3}x_i^{k_i+1}x_{i+1}^{k_{i+1}}x_{i+2}^{\bar\epsilon_{i+2}}x_{i+3}^{\bar\epsilon_{i+3}}\cdots x_{l-1}^{k_{l-1}+2}x_l^{k_l}\cdots\\ &\qquad\widetilde h_{2,1}^{\epsilon_2}h_{3,1}^{\epsilon_3}\widetilde h_{4,1}^{\epsilon_4}h_{l+1,1}^{\epsilon_{l+1}}h_{l+2,1}^{\epsilon_{l+2}}\cdots+\cdots. \end{aligned}

The conjecture proposes the indicated d3d_3-differentials; after them, only bounded torsion or specified surviving families remain.

Sources & referencesView supporting material

Primary source

Agnes Beaudry, Mark Behrens, Prasit Bhattacharya, Dominic Culver and Zhouli Xu, “The telescope conjecture at height 2 and the tmf resolution”, arXiv:1909.13379 (2021).

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.