3
$\begingroup$

I am confused about something on page 6 in Springer's Linear Algebraic Groups.

Setup:

  • $k$ is an algebraically closed field
  • $X$ is a closed set in $k^n$.
  • $I(X) = \langle f\in k[T_1, \dots, T_n] : f(v) = 0\; \forall v\in X \rangle$
  • $A = k[X] = k[T_1 ,\dots , T_n] / I(X)$
  • $F$ is a subfield of $k$.

I understand that an $F$-structure on $X$ is a $F$-subalgebra $A_0 = F[X]$ of $k[X]$ such that $A_0$ is of finite type and $k\otimes_F A_0 \simeq k[X]$.

Question: What are the $F$-rational points of $X$? Springer says that it is all $F$-algebra homomorphisms from $F[X] \to F$. I thought that the $F$-points of a variety are just the points you get from restricting the solutions of the underlying equations to $F$.

  • 2
    I think you can just look at the images of the $T_i$ under the map $F[X] \to F$ to get coordinates. It's not obvious that they're in there, though.2012-05-25

1 Answers 1

6

In general, if $F$ is a field, and $I=(f_1,\ldots,f_m)$ is an ideal of $F[x_1,\ldots,x_n]$, then the set $\mathrm{Hom}_{F-alg}(F[X_1,\ldots,X_n]/I,F)$ is in canonical bijection with the $n$-tuples $(\alpha_1,\ldots,\alpha_n)$ such that $f_j(\alpha_1,\ldots,\alpha_n)=0$ for all $j$. The map is $\varphi\mapsto(\varphi(X_1),\ldots,\varphi(X_n))$. This is true when you replace the target of the homomorphisms by an arbitrary $F$-algebra $A$. Then you get the points $(a_1,\ldots,a_n)\in A^n$ on which the $f_j$ all vanish.

I can't help but add that this awkwardness about the notion of $F$-rational points goes away completely when you do everything with schemes.

  • 0
    @KeenanKidwell Does this correspondence also hold when $F$ is not algebraically closed?2016-09-06