3
$\begingroup$

Let $B$ be an abelian variety over a DVR with good reduction, and let $A$ be a subquotient of $B$. Then $A$ has good reduction.

I know a proof of this statement using Neron-Ogg-Shafarevich. Is there a more direct argument (e.g. not mentioning Galois action)?

Improve this question
$\endgroup$
14
  • 1
    $\begingroup$ Serre and Tate write that this corollary was known to Koizumi and Shimura. I have been unable to obtain the article, but it is indexed by MathSciNet: MR116017. (The review strongly suggests it is a direct argument, and there certainly does not appear to be mention of Galois actions.) $\endgroup$
    – R. van Dobben de Bruyn
    Commented Aug 2, 2019 at 20:22
  • 1
    $\begingroup$ The Koizumi/Shimura paper can be found in Shimura's Collected Works. They show that if there is a surjective homomorphism from A to B and A has good reduction, then so does B. It was written in 1959 before most people knew of schemes and such questions were difficult. It looks geometric and direct, but makes unpleasant reading today. A modern version must be possible. $\endgroup$
    – anon
    Commented Aug 3, 2019 at 0:10
  • $\begingroup$ I see an easy argument in equicharacteristic zero, but I’m blanking in mixed characteristic. (In equichar zero: suffices to prove the statements for quotients and subs separately, but then enough to prove for subs by duality. For subs, take the closure of the generic fiber of your subscheme; this is a gp scheme hence smooth by the char zero assumption.) $\endgroup$
    – Daniel Litt
    Commented Aug 3, 2019 at 1:27
  • 1
    $\begingroup$ @user126532: I don't think this question or this user is of the same nature as those that you are referencing. $\endgroup$
    – Daniel Litt
    Commented Aug 3, 2019 at 22:15
  • 1
    $\begingroup$ @DanielLitt: See 2) on p. 132 of this paper projecteuclid.org/euclid.ant/1513797226 for how to construct such examples. $\endgroup$
    – naf
    Commented Aug 4, 2019 at 4:35

0

Reset to default

You must log in to answer this question.