Logarithmic good reduction of abelian varieties (Q1674594)

For a proper flat scheme \(\mathcal{X} \rightarrow S\) over the spectrum \(S:=\mathrm{Spec}(\mathcal{O}_K) \) of a ring of integers \(\mathcal{O}_K\) of a complete discrete valuation field \(K\), the closed point \(s\) in \(S\) and its corresponding fiber \(\mathcal{X} _s\) induce a log structure respectively on \(S\) and on \(\mathcal{X} \); a morphism \(\mathcal{X} ^* \rightarrow S^*\) of the resulting log schemes is thus naturally induced. A result by \textit{C. Nakayama} [Compos. Math. 112, No. 1, 45--75 (1998; Zbl 0926.14006), Corollary 0.1.1] states that when this morphism is log smooth the fiber \(\mathcal{X} _\eta\) on the generic point \(\eta\) of \(S\) is cohomologically tame. The converse statement does not hold true in general, which raises the natural question whether a proper variety over \(K\) that is cohomologically tame admits a log smooth proper model over \(\mathrm{Spec} (\mathcal{O}_K)\). The existence of such a model for curves of genus at least \(2\) has been proved [\textit{T. Saito}, Am. J. Math. 109, 1043--1085 (1987; Zbl 0673.14014); \textit{T. Saito}, J. Algebr. Geom. 13, No. 2, 287--321 (2004; Zbl 1082.14032); \textit{J. Stix }, J. Algebr. Geom. 14, No.1, 119--136 (2005; Zbl 1080.14035)], yet counterexamples exist among curves of genus \(1\). The authors prove the existence of a log smooth proper model for abelian varieties over \(K\), thus obtaining a logarithmic version of the Néron-Ogg-Shafarevich criterion proved in [\textit{J.-P. Serre}, and \textit{J. Tate}, Ann. Math. (2) 88, 492--517 (1968; Zbl 0172.46101)]. As a corollary they generalize Künnemann's result on the existence of projective regular models for the case of semi-abelian reduction [\textit{K. Künnemann}, Duke Math. J. 95, No. 1, 161--212 (1998; Zbl 0955.14017)] to the case of abelian varieties.