Skip to main content
2 of 3
deleted 169 characters in body

Categorical view of Hilbert’s Nullstellensatz, and Zariski topology

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)$ )?