Normed Algebra Lifts of the Motivic Tau Cofiber

Definitions and mathematical statement

Let $\mathcal C=\mathrm{SH}({\mathbb{C}})^{\wedge}_2$ denote the $2$-complete motivic stable homotopy category over ${\mathbb{C}}$, interpreted with its symmetric monoidal stable $\infty$-categorical enhancement when discussing commutative algebras. Write $S^0$ for the motivic sphere and \[ C_\tau=S^0/\tau=\operatorname{cofib}(\tau\colon A\longrightarrow S^0) \] for the motivic cofiber intended by the source. Here $A$ denotes the domain of the intended motivic map $\tau$; the supplied record does not specify its degree or construction. Regard $C_\tau$ as the commutative algebra specified in the source, hence as an object of $\operatorname{CAlg}(\mathcal C)$.

A normed algebra carries compatible multiplicative norm maps along the finite étale morphisms in its indexing category. In such a framework, for an allowed finite étale morphism $f\colon T\to X$, these include maps $f_\otimes E_T\to E_X$, where $f_\otimes$ is the motivic norm functor, with coherent compatibility with composition, base change, and the algebra structures. The supplied record does not specify the indexing category or how norms are to interact with $2$-completion.

Question. In the intended normed-algebra framework over ${\mathbb{C}}$, let $\mathcal N$ be its category of normed algebras and let \[ U\colon\mathcal N\longrightarrow\operatorname{CAlg}(\mathcal C) \] be the functor forgetting the norm data. Does there exist $\widetilde C_\tau\in\mathcal N$ together with an equivalence \[ U(\widetilde C_\tau)\simeq C_\tau \qquad\text{in }\operatorname{CAlg}(\mathcal C)? \] This expresses the lifting question while retaining the underlying commutative algebra structure. A fully specified formulation requires identification of $\tau$, the intended normed-algebra category, and its relationship to $2$-completion; these choices are unresolved in the supplied record.

Short English statement

Does the commutative algebra structure on the $2$-complete motivic cofiber $S^0/\tau$ over ${\mathbb{C}}$ extend to a compatible normed algebra structure? The supplied record leaves the precise definition of $\tau$ and the normed framework unspecified.

Sources

• Supplied local UnsolvedMath registry record, permanent ID $30004198$, title Normed Algebra Lifts of the Motivic Tau Cofiber, source problem code catalogue entry, in the Oberwolfach Reports Open Problems collection. The record gives proposed year $2019$ and identifies no proposer.
• Supplied report citation: Homotopy Theory (2020), Oberwolfach Reports, pp. 2183--2256, DOI 10.4171/owr/2019/36. Source link: https://doi.org/10.4171/owr/2019/36. The background attributes the problem to workshop open-problem discussions documented in this report.
• Supplied literature source, labelled "original Oberwolfach report": https://doi.org/10.4171/OWR/2019/36.
• Supplied literature source, The Motivic Cofiber of tau: https://doi.org/10.4171/DM/642.
• Literature assessment dated exactly 2026-08-22: the supplied curation labels the problem open and states that the motivic cofiber has a unique $E_\infty$ ring structure, while a lift to a normed-algebra category remains open. This is supplied dated curation derived from the OWR record, not an independently verified literature assessment. The record also labels the statement corrected_verified, explaining that notation, typography, and sentence structure were repaired while preserving mathematical content; this label is not independent verification of the present draft.