Semistable abelian varieties with good reduction outside 15 (Q451998)

From the authors' introduction: In his paper [Manuscr. Math. 139, No. 1--2, 71--89 (2012; Zbl 1252.11046)], \textit{Luis Dieulefait} gave a proof of Serre's modularity conjecture for the case of odd level and arbitrary weight. By means of an intricate inductive procedure he reduced the issue to the case of Galois representations of level 3 and weight 2, 4 or 6. As explained in his paper, these cases are taken care of by the following three theorems, respectively. Theorem 1.1. There are no non-zero semi-stable abelian varieties over \(\mathbb Q\) with good reduction outside 3. Theorem 1.2. There are no non-zero semi-stable abelian varieties over \(\mathbb Q(\sqrt 5)\) with good reduction outside 3. Theorem 1.3. Every semi-stable abelian variety over \(\mathbb Q\) with good reduction outside 15 is isogenous, over \(\mathbb Q\), to a power of the Jacobian of the modular curve \(X_0(15)\). Theorem 1.1 is due to \textit{A. Brumer} and \textit{K. Kramer} [Manuscr. Math. 106, No. 3, 291--304 (2001; Zbl 1073.14544)]. In this paper the author proves Theorems 1.2 and 1.3, each of which directly imply Theorem 1.1. First, the author discusses extensions of \(\mu_p\) and \(\mathbb Z/p\mathbb Z\) by one another that play an important role in this paper.