1: \begin{abstract}

2: %A necessary and sufficient cohomological condition on certain stacks is formulated such that the synthetic analogue functor commutes with global sections. As an application of this, we produce equivalences of synthetic spectra $\nu (\uE_n^{hG}) \cong \nu(\uE_n)^{hG}$ (for $G$ a finite subgroup of the Morava stabiliser group) and $\opnu \TMF \cong \SMF$, where $\SMF$ is a certain synthetic version of topological modular forms. These equivalences identify various homotopy fixed-point and descent spectral sequences with Adams--Novikov spectral sequences in a highly structured sense. Even when this condition is not satisfied, our framework still yields synthetic spectra whose signature is the descent spectral sequence for the global sections, placing descent spectral sequences on good footing in the category of synthetic spectra. As an example, we introduce a new $\MU$-synthetic spectrum $\Smf$.

3: % explicitly compute the nonzero fibre of the map $\nu \Tmf \to \Smf$ and further argue that of $\Smf$ is the preferred synthetic refinement of $\Tmf$.

4: %\end{abstract}

5: