1
$\begingroup$

Let k be algebraic closed field. then $\mathbb{A}_n(k)$ as $\operatorname{Hom}(k_n,k)$ and $V(\alpha)$ as $\operatorname{Hom}(k_n/\alpha,k)$ which is true by using noether normalization theorem. so every point is like morphism over k. at this point of view, Hilbert nullstellensatz give a classify of $\operatorname{Hom}(k_n/I,k) \rightarrow \operatorname{Hom}(k_n,k)$ which classify by $\operatorname{Hom}(k_n/\sqrt{I},k) \rightarrow \operatorname{Hom}(k_n,k)$.

  1. But how can we say some things of this [ n generated k-algebra / k] this slice category by Hilbert nullstellensatz? Furthermore, Can I see all of finitely generated k-algebra together, and we can get what?
  2. Zariski topology is saying $\operatorname{Hom}(k_n/\sqrt{I},k) \rightarrow \operatorname{Hom}(k_n,k)$ closed under pullback. and intersection like what?
  3. From this point of view, can I dream of étale topology ( because this is like site over $\operatorname{Hom}(k_n,k)$ )?
Improve this question
$\endgroup$
2
  • $\begingroup$ This is hard to read — why not abbreviate $Hom_{k-alg}$ by $Hom$, and $k[x_1,\ldots,x_n]$ by $k_n$? $\endgroup$
    – user44143
    Commented Mar 10, 2020 at 7:53
  • $\begingroup$ thank you very much $\endgroup$
    – Runlei Xiao
    Commented Mar 10, 2020 at 8:16

0

Reset to default

You must log in to answer this question.