Perhaps the most basic fact about abelian varieties with CM is they have an everywhere potential good reduction (Serre-Tate). On the face of it it might appear that there isn't much more to be added to this classical theorem, for already the elliptic curve $y^2 = x^3+x$ with endomorphism ring $\mathbb{Z}[i]$ has a bad reduction at the prime $2$, while its quadratic twist $fy^2 = x^3+x$ has bad reductions at all the prime factors of $f$.

The following argument seems to indicate to the contrary that a lot more can be said about the possible bad reduction characteristics, once we fix a dimension $g$, require the CM order to be maximal, and take care of the twist feature.

**Theorem.** (Weber; Granville-Stark). *Let $E/K$ be an elliptic curve with $\mathrm{End}(E)$ equal to the full ring of integers of a complex quadratic number field. Then $E/K$ is $\bar{K}$-isomorphic to an elliptic curve $E'/K$ (a $K$-form of $E/K$), such that $E'/K$ has a good reduction in all primes of $K$ having residual characteristic $\notin \{2,3\}$.*

*Proof.* This is implicit in the key Lemma 1 of Granville and Stark's paper *$ABC$ implies no Siegel zeros$\ldots$*, that is the substance of their implication that the uniform $abc$-conjecture precludes a Siegel zero for the odd quadratic Dirichlet characters. Let $j(\tau)$ be the $j$-invariant of $E$ under *some* complex embedding $K \hookrightarrow \mathbb{C}$.

We lose no generality in assuming that $K = H$, the Hilbert class field of the quadratic field $k := \mathrm{End}(E) \otimes \mathbb{Q}$. With $\gamma_2$ and $\gamma_3$ the Weber functions used in *loc. cit.* (they are modular functions for the group $\Gamma(6)$ fulfilling $j = \gamma_2^3 = \gamma_3^2 + 1728$), the Weierstrass equation
$$
\quad Y^2 = X^3 - 27\gamma_2(\tau)^3X - 54 \gamma_3(\tau)^2
$$
has $j$-invariant $\gamma_2(\tau)^3 = j(\tau)$, and hence defines a complex elliptic curve isomorphic to $E_{\mathbb{C}}$.
By the Shimura reciprocity law (cf. Thm. 5.1.2 in Schertz's book *Complex Multiplication*), which Granville and Stark cite in their *Lemma 1* with the comment that this case had already been known to Weber, the special values $\gamma_2(\tau)$ and $\gamma_3(\tau)$ are algebraic [of course, *and*] belong to the ring of integers of the mod $6$ ray class field $F$ of $k$. But the functional relation $\gamma_2(\tau)^3 - \gamma_3(\tau)^2 = 1728$ means that our Weierstrass equation has a unit discriminant, and since its coefficients lie in $O_F$, this explicit Weierstrass model constitutes an everywhere good reduction model over $F$. We thus have an elliptic curve $E'/H$ whose base-change to $F/H$ has an everywhere good reduction. But this extension $F/H$ ramifies only at $\{2,3\}$, and since the formation of Neron's model commutes with unramified extensions of the base, we conclude that $E'/K$ had an everywhere good extension outside of $\{2,3\}$ to begin with. QED

Obviously the role of the special primes $2$ and $3$ here has to do with the level $6$ of the modularity group $\Gamma(6)$ of the Weber special functions $\gamma_2(\tau)$ and $\gamma_3(\tau)$. This is sharp upon considering the elliptic curves with invariants $1728$ and $0$ (indeed there are no abelian schemes whatsoever over $\mathbb{Z}[i]$ or $\mathbb{Z}[\omega]$, as Fontaine proved).

My **question** is how all of this is supposed to extend to $g$-dimensional abelian varieties $A/K$ with $\mathrm{End}(A)$ equal to the *full* integer ring $O_E$ of a CM field $E$ of degree $2g$.

Is there an abelian variety $A'/K$ over $K$ that is $\bar{K}$-isomorphic to $A/K$ and has an everywhere good reduction outside some fixed finite set $S_g \subset \mathrm{Spec}\, \mathbb{Z}$ of residual characteristics that depends on $g$ alone?

Is there a reference that I am missing that takes care of this? It does look surprising to me that such a basic question may have been left untreated by the literature.