Refined cTC−cTC^- conjecture for the prismatization of the sphere

About 1 year old · traced to

Let \bbS\calN^\bbS^{\widehat{\calN}} be the stack of one-dimensional commutative formal groups with a section, and let \bbMm\ifthenelse\equal\bbS,\bbS\calN^\bbM_{\mathrm{m}\ifthenelse{\equal{\bbS}{}}{}{,\bbS}}^{\widehat{\calN}} be its associated monoid stack. Regard both as analytic stacks. Let \TC−,ref\TC^{-,\mathrm{ref}} denote Efimov's refined \TC−\TC^-. Refined \TC−\TC^- conjecture. The graded cohomology ring of the analytic stack of \bbQ\bbQ-algebra structures on \bbMm\ifthenelse\equal\bbS,\bbS\calN^\bbM_{\mathrm{m}\ifthenelse{\equal{\bbS}{}}{}{,\bbS}}^{\widehat{\calN}} is

lim⁡Δπ2∗\prn∗\TC−,ref(\bbQ)\tensor\MU\tensor(∙+1).\lim_\Delta \pi_{2*}\prn*{\TC^{-,\mathrm{ref}}(\bbQ) \tensor \MU^{\tensor (\bullet+1)}}.

The conjecture may require a slight modification of the monoid stack to make it analytically sensible, and it is unclear whether a strict ring structure must be imposed or follows automatically from \bbQ\bbQ-linearity.

References

Primary source

Dhilan Lahoti and Deven Manam, “Cohomology theories in the moduli of ring stacks”, arXiv:2510.09582 (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.