Skip to main content
MathOverflow

Return to Question

added 158 characters in body; added 2 characters in body; edited title
Source Link
Simon Pepin Lehalleur
Simon Pepin Lehalleur
  • 1.6k
  • 15
  • 16

Weil restriction of abelian schemes along finite étale (resp. finite locally free) morphisms

  1. Theorem 1.5 of M. Olsson's paper Hom stacks and restriction of scalars (Duke Math. J. 134 (2006), 139-164.) gives a general criterion for a Weil restriction to be representable by an algebraic space, which applies here to show that $\mathfrak{R}_{S'/S}(A)$ is representable by an algebraic space over $S$.

  2. The arguments used to prove Proposition 7.6.5 (f) and (h) of Néron Models show that $\mathfrak{R}_{S'/S}(A)$ is smooth and proper as an algebraic space. Moreover the formation of the Weil restriction commutes with base change and its fibers are connected by Proposition A.5.9 of the book Pseudo-reductive Groups by Conrad,Gabber and Prasad.

  3. By 1) and 2), $\mathfrak{R}_{S'/S}(A)$ is an abelian algebraic space in the sense of Section I.1 of the book Degeneration of abelian varieties by Chai and Faltings. By Theorem 1.9 of loc. cit. (due to Raynaud) it is actually an abelian scheme.

    Theorem 1.5 of M. Olsson's paper Hom stacks and restriction of scalars (Duke Math. J. 134 (2006), 139-164.) gives a general criterion for a Weil restriction to be representable by an algebraic space, which applies here to show that $\mathfrak{R}_{S'/S}(A)$ is representable by an algebraic space over $S$.

By passing to a Galois cover, $\mathfrak{R}_{S'/S}(A)$ decomposes as a product of abelian schemes, so is representable by an algebraic space over $S$.

  1. The arguments used to prove Proposition 7.6.5 (f) and (h) of Néron Models show that $\mathfrak{R}_{S'/S}(A)$ is smooth and proper as an algebraic space. Moreover the formation of the Weil restriction commutes with base change and its fibers are connected by Proposition A.5.9 of the book Pseudo-reductive Groups by Conrad,Gabber and Prasad.

  2. By 1) and 2), $\mathfrak{R}_{S'/S}(A)$ is an abelian algebraic space in the sense of Section I.1 of the book Degeneration of abelian varieties by Chai and Faltings. By Theorem 1.9 of loc. cit. (due to Raynaud) it is actually an abelian scheme.

The "problem" with this proof is that 1) and 3) are relatively delicate results (at least to an algebraic space novice such as myself; it is not clear to me for instance if 1) can be proved in a simpler way in this very special case)relatively delicate result. Of course, if $A$ is projective over $S$, the Weil restriction is automatically a scheme and we can do without 1) and 3). However, the question of when an abelian scheme is projective over the base is subtle in general: it is known to hold over a noetherian normal base but the argument is a key part of the proof of 3) anyway.

Does anyone know a simpler proof ?

  1. Does anyone know a simpler proof ?
  1. If one assumes only that $S'/S$ is finite locally free, is $\mathfrak{R}_{S'/S}(A)$ (which might not be proper anymore) still a scheme ?

Weil restriction of abelian schemes along finite étale morphisms

  1. Theorem 1.5 of M. Olsson's paper Hom stacks and restriction of scalars (Duke Math. J. 134 (2006), 139-164.) gives a general criterion for a Weil restriction to be representable by an algebraic space, which applies here to show that $\mathfrak{R}_{S'/S}(A)$ is representable by an algebraic space over $S$.

  2. The arguments used to prove Proposition 7.6.5 (f) and (h) of Néron Models show that $\mathfrak{R}_{S'/S}(A)$ is smooth and proper as an algebraic space. Moreover the formation of the Weil restriction commutes with base change and its fibers are connected by Proposition A.5.9 of the book Pseudo-reductive Groups by Conrad,Gabber and Prasad.

  3. By 1) and 2), $\mathfrak{R}_{S'/S}(A)$ is an abelian algebraic space in the sense of Section I.1 of the book Degeneration of abelian varieties by Chai and Faltings. By Theorem 1.9 of loc. cit. (due to Raynaud) it is actually an abelian scheme.

The "problem" with this proof is that 1) and 3) are relatively delicate results (at least to an algebraic space novice such as myself; it is not clear to me for instance if 1) can be proved in a simpler way in this very special case). Of course, if $A$ is projective over $S$, the Weil restriction is automatically a scheme and we can do without 1) and 3). However, the question of when an abelian scheme is projective over the base is subtle in general: it is known to hold over a noetherian normal base but the argument is a key part of the proof of 3) anyway.

Does anyone know a simpler proof ?

Weil restriction of abelian schemes along finite étale (resp. finite locally free) morphisms

  1. Theorem 1.5 of M. Olsson's paper Hom stacks and restriction of scalars (Duke Math. J. 134 (2006), 139-164.) gives a general criterion for a Weil restriction to be representable by an algebraic space, which applies here to show that $\mathfrak{R}_{S'/S}(A)$ is representable by an algebraic space over $S$.

By passing to a Galois cover, $\mathfrak{R}_{S'/S}(A)$ decomposes as a product of abelian schemes, so is representable by an algebraic space over $S$.

  1. The arguments used to prove Proposition 7.6.5 (f) and (h) of Néron Models show that $\mathfrak{R}_{S'/S}(A)$ is smooth and proper as an algebraic space. Moreover the formation of the Weil restriction commutes with base change and its fibers are connected by Proposition A.5.9 of the book Pseudo-reductive Groups by Conrad,Gabber and Prasad.

  2. By 1) and 2), $\mathfrak{R}_{S'/S}(A)$ is an abelian algebraic space in the sense of Section I.1 of the book Degeneration of abelian varieties by Chai and Faltings. By Theorem 1.9 of loc. cit. (due to Raynaud) it is actually an abelian scheme.

The "problem" with this proof is that 3) is a relatively delicate result. Of course, if $A$ is projective over $S$, the Weil restriction is automatically a scheme and we can do without 1) and 3). However, the question of when an abelian scheme is projective over the base is subtle in general: it is known to hold over a noetherian normal base but the argument is a key part of the proof of 3) anyway.

  1. Does anyone know a simpler proof ?
  1. If one assumes only that $S'/S$ is finite locally free, is $\mathfrak{R}_{S'/S}(A)$ (which might not be proper anymore) still a scheme ?
edited tags
Link
Michael Stoll
Michael Stoll
  • 11.3k
  • 2
  • 45
  • 60
Source Link
Simon Pepin Lehalleur
Simon Pepin Lehalleur
  • 1.6k
  • 15
  • 16

Weil restriction of abelian schemes along finite étale morphisms

Q: Is there a simple proof of the fact that the Weil restriction of an abelian scheme along a finite étale morphism is an abelian scheme ?

Details: Let $S$ be a scheme and $f:S'\rightarrow S$ a finite étale morphism. Let $A/S'$ be an abelian scheme. Then the following argument shows that the Weil restriction $\mathfrak{R}_{S'/S}$(A) (see section 7.6 of the book Néron Models by Bosch, Lütkebohmert and Raynaud) which a priori is just an fppf sheaf of abelian groups on $Sch/S$ is representable by an abelian scheme over $S$:

  1. Theorem 1.5 of M. Olsson's paper Hom stacks and restriction of scalars (Duke Math. J. 134 (2006), 139-164.) gives a general criterion for a Weil restriction to be representable by an algebraic space, which applies here to show that $\mathfrak{R}_{S'/S}(A)$ is representable by an algebraic space over $S$.

  2. The arguments used to prove Proposition 7.6.5 (f) and (h) of Néron Models show that $\mathfrak{R}_{S'/S}(A)$ is smooth and proper as an algebraic space. Moreover the formation of the Weil restriction commutes with base change and its fibers are connected by Proposition A.5.9 of the book Pseudo-reductive Groups by Conrad,Gabber and Prasad.

  3. By 1) and 2), $\mathfrak{R}_{S'/S}(A)$ is an abelian algebraic space in the sense of Section I.1 of the book Degeneration of abelian varieties by Chai and Faltings. By Theorem 1.9 of loc. cit. (due to Raynaud) it is actually an abelian scheme.

The "problem" with this proof is that 1) and 3) are relatively delicate results (at least to an algebraic space novice such as myself; it is not clear to me for instance if 1) can be proved in a simpler way in this very special case). Of course, if $A$ is projective over $S$, the Weil restriction is automatically a scheme and we can do without 1) and 3). However, the question of when an abelian scheme is projective over the base is subtle in general: it is known to hold over a noetherian normal base but the argument is a key part of the proof of 3) anyway.

My motivation is to understand the push-forward functoriality of Deligne 1-motives over a base, and I would like to be able to consider general abelian schemes over general base schemes.

Does anyone know a simpler proof ?