The Cartier–Witt divisor description conjecture for $cwidehat{\bbF}_1^\mathrm{Syn}$

Let $\bbS^{\widehat{\mathbbl{\Delta}}}$ be the complement of the zero section in the universal formal group $\widehat{\bbG}_\mathrm{univ}=\bbS^{\widehat{\calN}}$. For a $p$-nilpotent ring $R$, consider the pullback

$$\operatorname{Spec}R\times_{\calM_\mathrm{fg}}\bbS^{\widehat{\mathbbl{\Delta}}}.$$

Cartier–Witt divisor conjecture. An $R$-point of $\widehat{\bbF}_1^\mathrm{Syn}$ is given by a formal group over $R$, a Cartier–Witt divisor on this pullback, and an isomorphism over the pullback between the given formal group and the Drinfeld formal group, compatible with their natural sections. The statement assumes a reasonable theory of Cartier–Witt divisors on the relevant stacks and uses the specified section of the Drinfeld formal group.