I have some questions concerning Hanno's proof of the following proposition:

A point of a locally finite type $k$-scheme is a closed point if and only if the residue field of the stalk of the structure sheaf at that point is a finite extension of $k$


"$\Rightarrow$": We may assume $X=\text{Spec}(A)$ affine, so $x={\mathfrak m}$ is a maximal ideal. Then $A/{\mathfrak m}$ is a field extension of finite type, hence finite.

I don't know how he concluded $k(x)/k$ is a finite type extension. The residue field we are looking at should be the residue field of the local ring $\mathcal O_{X,x}=A_{\mathfrak m}$ instead of the field $A/{\mathfrak m}$, right (Vakil Definition 4.3.6)? Why is $A_{\mathfrak m}$(as well as its residue field) a finitely generated $k$-algebra?


"$\Leftarrow$": Since $X$ is covered by affine open subsets of the form $\text{Spec}(A)$ with $A$ of finite type over $k$, and since being closed can be checked on open coverings, we may assume that $X=\text{Spec}(A)$. Then $x={\mathfrak p}$ is a prime in $A$ such that $\text{Quot}(A/{\mathfrak p})/k$ is finite. In particular, $A/{\mathfrak p}$ is algebraic over $k$, and hence $A/{\mathfrak p}$ is a field.

I am not sure if he had typos in this answer. From the finite type hypothesis we can conclude that $\text{Quot}(A_{\mathfrak p})/k$ is finite. How do we conclude that $A/{\mathfrak p}$ is a field?

Any other approach to this problem is also welcomed here.

  1. Exercise: $A_\mathfrak{m}/\mathfrak{m}_\mathfrak{m}\cong A/\mathfrak{m}$ for any ring $A$ and maximal ideal $\mathfrak{m}\subset A$.

  2. Second part means that the field of fractions of $A/\mathfrak{p}$ is a finite extension of $k$, so because every subring of an algebraic field extension which contains the base field is again a field, we see that $A/\mathfrak{p}$ must be a field (reference).


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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