Refined cTCcTC^- conjecture for the prismatization of the sphere

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.

Sources & referencesView supporting material

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.