2
$\begingroup$

Hi,

I need a reference for the following result:

Let $S$ be a scheme and let $X$ be an algebraic torus over $S$. Then the functor $F_X :S'\mapsto Hom_{S'}(X\times S',\mathbb{G}_M\times S')$ is representable by an $S$- group scheme $Y$ which is locally etale isomorphic to $\mathbb{Z}^n$. Furthermore, the similarly defined functor $F_Y$ is represented by $X$.

This result can probably be found somewhere in SGA7. However I have very basic understanding of French and the style in which SGA is written makes it practically impossible for me to find the exact reference. Are there any other references (in English or in simpler French) which one could use? If not, do you know exactly which statements in SGA7 imply the Cartier duality theorem?

Thanks in advance, your help will be very much appreciated.

Improve this question
$\endgroup$

1 Answer 1

Reset to default
5
$\begingroup$

I believe you are looking for SGA3 Exp. X, Corollary 5.7.

Improve this answer
$\endgroup$
2
  • $\begingroup$ That is exactly what I was looking for. Thanks a lot! $\endgroup$
    – Tzanko Matev
    Commented May 31, 2012 at 8:54
  • 3
    $\begingroup$ SGA3 does sound more plausible than SGA7. Note that the lightly edited Gille-Polo version of SGA3 is conveniently available online: people.math.jussieu.fr/~polo/SGA3 $\endgroup$
    – Jim Humphreys
    Commented May 31, 2012 at 10:38

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .