Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Let $R$ be a DVR with fraction field $K$ and a perfect residue field $k$. Consider a commutative connected group scheme $G$ over $R$, say smooth and of finite type over $R$. So we may use Chevalley's Theorem on algebraic groups and obtain a unique exact sequence $$ 0 \to H_K \to G_K \to A_K \to 0, $$ where $H_K$ is a connected affine group scheme and $A_K$ is an abelian variety. $H_K$ contains a maximal torus $T_K$, more exactly $H_K \cong T_K \times U_K$, where $U_K$ is unipotent and both are unique. This is the argumentation in [2] on p. 4. The same argumentation can be applied to the special fiber $G_k$ of $G$. Denote by $U_k$ the unique unipotent subgroup of $G_k$ obtained by the above method.

Now the authors claim, that $U_K = 0$ iff $U_k = 0$.

Question: Why is that true?

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

This is false as you state (but I don't think this is what the authors said).

Consider the Néron model $G$ of an elliptic curve $G_K$ with additive reduction of type II (say). Then $H_K=0$ (hence $U_K=0$), but $H_k=U_k=G_k=\mathbb G_{a,k}$.

share|cite|improve this answer
1  
Oh, I see now. First, they take $K$ as $Quot(R)$ and in the next line as a different field $K$, a perfect extension of $k$. Thanks for the counterexample. – boxdot Oct 30 '12 at 7:38

Your Answer

 
discard

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.