MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


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.

share|cite|improve this question
up vote 5 down vote accepted

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

share|cite|improve this answer
That is exactly what I was looking for. Thanks a lot! – Tzanko Matev May 31 '12 at 8:54
SGA3 does sound more plausible than SGA7. Note that the lightly edited Gille-Polo version of SGA3 is conveniently available online: – Jim Humphreys May 31 '12 at 10:38

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.