On the asymptotics of a prime spin relation (Q669239)

Let $K$ be a totally real number field that is cyclic over $\mathbb Q$, with odd prime degree $n$, such that the class number of $K$ is odd, $2$ is inert and every totally positive unit is a square. Let $\mathcal O_K$ be the ring of integers of $K$, let $\mathfrak a$ be an odd principal ideal generated by an $\alpha\in\mathcal O_K$, which can be chosen totally positive by the hypotheses on $K$, and let $\sigma\in\mathrm{Gal}(K/\mathbb Q)$, $\sigma\neq 1$. The notion of spin of the ideal $\mathfrak a=(\alpha)$ was first introduced in [\textit{J. B. Friedlander} et al., Invent. Math. 193, No. 3, 697--749 (2013; Zbl 1296.11150)]: \[ \mathrm{spin}(\mathfrak a,\sigma)=\left(\frac{\alpha}{\mathfrak a^\sigma}\right), \] where $\left(\frac{\cdot}{\cdot}\right)$ denotes the quadratic residue symbol in $K$. \par The main result of the paper is an explicit formula giving the density of rational primes $p$ such that for a prime $\mathfrak p$ of $K$ above $p$ the spin relation $\mathrm{spin}(\mathfrak p,\sigma)=\mathrm{spin}(\mathfrak p,\sigma^{-1})$ holds for all $\sigma\in \mathrm{Gal}(K/\mathbb Q)$, $\sigma\neq 1$. The formula is written in terms of $n$ and the number of the non-trivial $\mathrm{Gal}(K/\mathbb Q)$-orbits of $(\mathcal O_K/4\mathcal O_K)^\times/((\mathcal O_K/4\mathcal O_K)^\times)^2$ which have a representative $\alpha\in\mathcal O_K$ such that the Hilbert symbol $(\alpha,\alpha^\sigma)_2=1$ for all non-trivial $\sigma\in \mathrm{Gal}(K/\mathbb Q)$ (the author calls this number the Starlight invariant of the number field $K$). The proof is based on class field theory and Chebotarev's theorem.