Estoy trabajando a través de algunos ejercicios en grupo esquemas y tenía un par de preguntas. $k$ es un anillo (conmutativo con identidad, siempre), $G_a = \textrm{Spec }k[T], G_m = \textrm{Spec } k[T,T^{-1}] = D(T)$ donde $D(T)$ es el principal conjunto abierto en $G_a$ consiste de todos los números primos que no contengan $T$.
(i): creo que tengo todo excepto el final. Si $\phi: k[T,T^{-1}] \rightarrow k[T,T^{-1}]$ cualquier $k$-álgebra homomorphism, está totalmente determinado por su efecto en la $T$. Desde $k[T,T^{-1}]$ es la localización de $k[T]$ a $S \{1,T,T^2, ... \}$, $\phi$ está bien definida si y sólo si $\phi(T)$ es una unidad en $k[T,T^{-1}]$.
Así que el fin de (i) debe implicar una caracterización de las unidades de $k[T,T^{-1}]$ como aquellos elementos $f$ "sin ceros en cualquier geométrico de la fibra sobre $\textrm{Spec } k$."
No estoy exactamente seguro de lo que esto significa. Mi conjetura sería: para la composición de la $k \rightarrow k[T] \rightarrow k[T,T^{-1}]$, vamos a $\mathfrak p$ ser una de las primeras de $k$. Decimos que $f \in k[T,T^{-1}]$ se desvanece en la fibra de $\mathfrak p$ si existe un prime $P$ $k[T,T^{-1}]$ que contiene $f$ y para el que $P \cap k= \mathfrak p$.
Si esa es la interpretación correcta, entonces la afirmación de que $f$ es una unidad si y sólo si no se desvanecen en cualquier fibra es obvio, porque la unión de las fibras es $\textrm{Spec } k[T,T^{-1}]$, e $f$ es una unidad si y sólo si no se encuentran en cualquier prime ideal.
Hay algo importante que me falta? Yo realmente no uso las propiedades del anillo de la extensión de $k \rightarrow k[T,T^{-1}]$.