장 77 아핀 다양체

이 장에서는 아핀 다양체를 소개합니다. 먼저 좌표의 맥락에서 소개하지만, 이후의 장들을 거치면서 이러한 관점에서 점차 벗어나 다양체를 좌표 속에 매장된 것이 아니라 “내재적 대상”으로 바라보게 될 것입니다.

간단히 하기 위해 거의 모든 것을 복소수체 위에서 다루겠지만, 이 논의는 임의의 대수적으로 닫힌 체로 일반화됩니다.

77.1 아핀 다양체

대표적인 예: $\mathcal{V}(y-x^{2})$ 는 $\mathbb{A}^{2}$ 안의 포물선입니다.

정의 77.1.1.

다항식들의 집합 $S\subseteq\mathbb{C}[x_{1},\dots,x_{n}]$ (반드시 유한하거나 가산일 필요조차 없습니다)이 주어졌을 때, $S$ 에 속한 모든 다항식이 0이 되는 점들의 집합을 $\mathcal{V}(S)$ 로 나타냅니다. 이러한 집합을 아핀 다양체라고 부릅니다. 이는 $\mathbb{A}^{n}$ 으로 표기되는 $n$ 차원 아핀 공간 안에 존재합니다(나중에 다룰 사영 공간과 구별하기 위해서입니다).

예를 들어, 포물선은 다항식 $y-x^{2}$ 의 영점 집합입니다. 그림은 다음과 같습니다:

예제 77.1.2 (아핀 다양체의 예).

이 예들은 점이 순서쌍 $(x,y)$ 인 2차원 공간 $\mathbb{A}^{2}$ 에 있습니다.

(a)

직선은 $\mathcal{V}(Ax+By+C)$ 로 생각할 수 있습니다.
(b)

위와 같은 포물선은 $\mathcal{V}(y-x^{2})$ 로 나타낼 수 있습니다.
(c)

쌍곡선은 $\mathcal{V}(xy-1)$ 로 나타낼 수 있습니다.
(d)

두 좌표축은 $\mathcal{V}(xy)$ 로 생각할 수 있습니다. 이는 $x=0$ 또는 $y=0$ 을 만족하는 점들의 집합입니다.
(e)

한 점 $(x_{0},y_{0})$ 은 $\mathcal{V}(x-x_{0},y-y_{0})$ 으로 생각할 수 있습니다.
(f)

공간 전체 $\mathbb{A}^{2}$ 는 $\mathcal{V}(0)$ 으로 생각할 수 있습니다.
(g)

공집합은 상수 다항식 $1$ 의 영점 집합, 즉 $\mathcal{V}(1)$ 입니다.

77.2 아이디얼을 통한 아핀 다양체의 명명

대표적인 예: $I=(y-x^{2})$ 일 때, $\mathcal{V}(I)$ 는 포물선입니다.

이미 눈치채셨겠지만, 하나의 다양체는 $\mathcal{V}(-)$ 를 통해 여러 가지 방식으로 이름 붙여질 수 있습니다. 예를 들어, 다음의 해집합은

x=3\text{그리고}y=4

단지 점 $(3,4)$ 일 뿐입니다. 그러나 이는 다음의 해집합이기도 합니다.

x=3\text{그리고}y=x+1.

따라서, 예를 들어

\{(3,4)\}=\mathcal{V}(x-3,y-4)=\mathcal{V}(x-3,y-x-1).

이는 조금 성가신 일입니다. 이상적인, 즉 아이디얼한¹¹1말장난을 의도한 것은 아니지만 재미로 남겨 둡니다. 세상이라면 모든 다양체에 하나의 이름만 있을 것이기 때문입니다. 이를 달성할 수 있는지 살펴봅시다.

부분적인 해결책은 작은 집합 대신 아이디얼을 사용하는 것입니다. 즉, 다음 아이디얼을 생각하고

I=\left(x-3,y-4\right)=\left\{p(x,y)\cdot(x-3)+q(x,y)\cdot(y-4)\mid p,q\in% \mathbb{C}[x,y]\right\}

$\mathcal{V}(I)$ 를 살펴봅시다.

질문 77.2.1.

$\mathcal{V}(I)=\{(3,4)\}$ 임을 스스로 납득해 보십시오.

그러므로 $\mathcal{V}(x-3,y-4)$ 라고 쓰는 대신, 이를 $\mathcal{V}(I)$ 로 생각하는 것이 타당합니다. 여기서 $I=(x-3,y-4)$ 는 두 다항식 $x-3$ 과 $y-4$ 로 생성되는 아이디얼입니다. 이것이 더 나은 이유는 다음과 같습니다.

질문 77.2.2.

$(x-3,y-x-1)=(x-3,y-4)$ 임을 확인하십시오.

말할 필요도 없이, 이 패턴은 일반적으로 성립합니다.

질문 77.2.3.

$\{f_{i}\}$ 를 다항식들의 집합이라 하고, 이 $\{f_{i}\}$ 로 생성되는 아이디얼 $I$ 를 생각합시다. $\mathcal{V}(\{f_{i}\})=\mathcal{V}(I)$ 임을 보이십시오.

따라서 우리는 $I$ 가 아이디얼인 경우에만 $\mathcal{V}(I)$ 를 고려하겠습니다. 물론 우리가 다루는 아이디얼은 한두 개의 다항식으로 생성되는 경우가 많으며, 이로부터 다음 표기가 나옵니다.

표기의 남용 77.2.4.

다항식들 $f_{1},\dots,f_{m}$ 이 주어졌을 때, $\mathcal{V}(f_{1},\dots,f_{m})$ 을 $\mathcal{V}\left(\left(f_{1},\dots,f_{m}\right)\right)$ 의 약칭으로 씁니다. 다시 말해 $\mathcal{V}(f_{1},\dots,f_{m})$ 은 $\mathcal{V}(I)$ 를 줄여 쓴 것이며, 여기서 $I$ 는 아이디얼 $I=(f_{1},\dots,f_{m})$ 입니다.

바로 여기서 뇌터 조건이 진가를 발휘합니다. 모든 아이디얼 $I\subseteq\mathbb{C}[x_{1},\dots,x_{n}]$ 은 유한 생성되므로, 유한개의 다항식을 써서 위와 같은 형태로 나타낼 수 있음이 보장됩니다. ( $\mathbb{C}[x_{1},\dots,x_{n}]$ 이 뇌터 환이라는 사실은 힐베르트 기저 정리, 즉 정리 4.9.5로부터 따라 나옵니다.) 무한히 많은 다항식의 집합을 다루는 일은 그다지 즐겁지 않으므로 다행스러운 일입니다.

77.3 근기 아이디얼과 힐베르트 영점정리

대표적인 예: $\mathbb{C}[x]$ 에서 $\sqrt{(x^{2})}=(x)$ 이고, $\mathbb{Z}$ 에서 $\sqrt{(12)}=(6)$ 입니다.

이제 이름이 유일한지, 즉 $\mathcal{V}(I)=\mathcal{V}(J)$ 이면 $I=J$ 가 따라 나오는지 물을 수도 있습니다. 안타깝게도 답은 ’아니오’입니다. 반례는 $\mathbb{A}^{1}$ 에서도 찾을 수 있습니다. 그 반례는 다음과 같습니다.

\mathcal{V}(x)=\mathcal{V}(x^{2}).

다시 말해, $x=0$ 의 해집합은 $x^{2}=0$ 의 해집합과 같습니다.

이것은 어리석은 일입니다. 우리는 아이디얼 $(x^{2})$ 를 받아서 아이디얼 $(x)$ 로 만들어 주는 연산을 원합니다. 그렇게 하는 방법은 아이디얼의 근기를 이용하는 것입니다.

정의 77.3.1.

$R$ 을 환이라 합시다. 아이디얼 $I\subseteq R$ 의 근기는 $\sqrt{I}$ 로 나타내며, 다음과 같이 정의합니다.

\sqrt{I}=\left\{r\in R\mid r^{m}\in I\text{어떤 정수 $m\geq 1$에 대해}\right\}.

$I=\sqrt{I}$ 이면, 아이디얼 $I$ 자체가 근기 아이디얼이라고 합니다.

예를 들어 $\sqrt{(x^{2})}=(x)$ 입니다. 시간을 들여 $\sqrt{I}$ 가 실제로 아이디얼임을 확인해 보는 것도 좋습니다.

비고 77.3.2 (정수론적 동기).

이것은 사실 정수론의 “근기” 개념과 같습니다. $\mathbb{Z}$ 에서 아이디얼 $(n)$ 의 근기는 중복된 소인수를 모두 제거하는 것에 해당하므로, 예를 들면 다음과 같습니다.

\sqrt{(12)}=(6).

특히 $\sqrt{(6)}$ 을 취해 보면 그대로 $(6)$ 을 돌려받을 뿐이며, 새로운 소인수를 더 짜낼 수 없습니다.

이는 사실 더 일반적으로 성립하며, 이에 대응하는 훌륭한 대안적 정의가 있습니다. 임의의 아이디얼 $I$ 에 대하여 다음이 성립합니다.

\sqrt{I}=\bigcap_{I\subseteq\mathfrak{p}\text{소}}\mathfrak{p}.

지금 증명할 수도 있지만, 처음으로 필요해지는 시점인 뒤의 정리 84.5.2에서 증명하겠습니다.

다음은 바로 알아 두어야 할 기본 성질들입니다.

명제 77.3.3 (근기의 성질).

임의의 환에서 다음이 성립합니다.

•

$I$ 가 아이디얼이면, $\sqrt{I}$ 는 항상 근기 아이디얼입니다.
•

소 아이디얼은 근기 아이디얼입니다.
•

$I\subseteq\mathbb{C}[x_{1},\dots,x_{n}]$ 에 대하여 $\mathcal{V}(I)=\mathcal{V}(\sqrt{I})$ 가 성립합니다.

증명.

이것들은 모두 자명합니다.

•

$f^{m}\in\sqrt{I}$ 이면 $f^{mn}\in I$ 이므로 $f\in\sqrt{I}$ 입니다.
•

소 아이디얼 $\mathfrak{p}$ 에 대하여 $f^{n}\in\mathfrak{p}$ 이면 $f\in\mathfrak{p}$ 이거나 $f^{n-1}\in\mathfrak{p}$ 이며, 후자의 경우에는 귀납법으로 계속 진행할 수 있습니다.
•

$f(x_{1},\dots,x_{n})=0$ 일 필요충분조건은 어떤 정수 $m$ 에 대하여 $f(x_{1},\dots,x_{n})^{m}=0$ 인 것입니다. ∎

마지막 부분은 이치에 맞습니다. $x=0$ 을 $x^{2}=0$ 이라고 부르는 일은 결코 없을 것이므로, $\mathcal{V}(x^{2})$ 는 언제나 그냥 $\mathcal{V}(x)$ 라고 부르고 싶을 것입니다. 이로써 힐베르트 영점정리라는 정리를 얻습니다.

정리 77.3.4 (힐베르트 영점정리).

아핀 다양체 $V=\mathcal{V}(I)$ 가 주어졌을 때, $V$ 의 모든 점에서 0이 되는 다항식들의 집합은 정확히 $\sqrt{I}$ 입니다. 따라서 $I$ 와 $J$ 가 $\mathbb{C}[x_{1},\dots,x_{n}]$ 의 아이디얼이면 다음이 성립합니다.

\mathcal{V}(I)=\mathcal{V}(J)\text{$\sqrt{I}=\sqrt{J}$일 때, 그리고 그때에만}.

다시 말해

$\mathbb{C}[x_{1},\dots,x_{n}]$ 의 근기 아이디얼은 $n$ 차원 아핀 다양체와 정확히 대응합니다.

힐베르트 영점정리의 증명은 문제 77D에서 다룰 것입니다. 지금은 이 정리가 $\mathbb{C}$ 가 대수적으로 닫혀 있다는 사실에 본질적으로 의존한다는 점을 짚어 둘 만합니다. 예를 들어 $\mathbb{R}[x]$ 에서는 이 정리가 성립하지 않습니다. $(x^{2}+1)$ 은 영점 집합이 공집합인 극대 아이디얼이기 때문입니다.

77.4 $\mathbb{A}^{1}$ 안의 대수다양체 그림

대표적인 예: 점들의 유한집합(사실 이것들이 자명하지 않은 유일한 예입니다).

먼저 그림을 몇 개 그려 봅시다. 이하에서는 $\mathbb{C}$ 를 직선으로 그리겠습니다… 죄송합니다.

우선 복소 직선 $\mathbb{A}^{1}$ 만 살펴봅시다. 그 위에는 어떤 대수다양체들이 있습니까? 먼저, $(x-9)$ 로 생성되는 한 점 $9\in\mathbb{C}$ 가 있습니다.

또 다른 예는 점 $4$ 입니다. 그리고 사실, 원한다면 이 두 점만으로 이루어진 아이디얼을 얻을 수도 있습니다. $\mathcal{V}\left((x-4)(x-9)\right)$ 를 생각해 보십시오.

일반적으로 $\mathbb{A}^{1}$ 에서는

\mathcal{V}\left((x-a_{1})(x-a_{2})\dots(x-a_{n})\right)

를 취하기만 하면 유한 개의 점 $\left\{a_{1},\dots,a_{n}\right\}$ 을 얻을 수 있습니다. 반면에 집합 $\{0,1,2,\dots\}$ 는 아핀 다양체로 얻을 수 없습니다. 그 모든 점에서 0이 되는 다항식은 영다항식뿐이기 때문입니다. 사실 두 가지 예외를 제외하면 이것들이 유일한 아핀 다양체라는 것을 스스로 납득할 수 있습니다.

•

직선 $\mathbb{A}^{1}$ 전체는 $\mathcal{V}(0)$ 으로 주어지며,
•

공집합은 $\mathcal{V}(1)$ 로 주어집니다.

연습문제 77.4.1.

이것들이 $\mathbb{A}^{1}$ 의 유일한 대수다양체임을 보이십시오. ( $\mathcal{V}(I)$ 를 그 대수다양체라 하고 $0\neq f\in I$ 를 하나 고르십시오.)

짐작하셨겠지만, 다음이 성립합니다.

정리 77.4.2 (대수다양체의 교집합과 합집합).

(a)

아핀 다양체들의 교집합은 (무한히 많더라도) 아핀 다양체입니다.
(b)

유한 개의 아핀 다양체의 합집합은 아핀 다양체입니다.

실제로 다음이 성립합니다.

\bigcap_{\alpha}\mathcal{V}(I_{\alpha})=\mathcal{V}\left(\sum_{\alpha}I_{% \alpha}\right)\qquad\text{그리고}\qquad\bigcup_{k=1}^{n}\mathcal{V}(I_{k})=% \mathcal{V}\left(\bigcap_{k=1}^{n}I_{k}\right).

이 쉬운 결과는 직접 증명해 보셔도 좋습니다.

비고 77.4.3.

(a)는 합 $I+J$ 가 근기 아이디얼이 아닐 수도 있다는 점에서 다소 오해의 소지가 있습니다. 예를 들어 $\mathbb{C}[x,y]$ 에서 $I=(y-x^{2})$ 와 $J=(y)$ 를 택하면 $x\in\sqrt{I+J}$ 이지만 $x\notin I+J$ 입니다. 그러나 (b)에서 근기 아이디얼 $I$ 와 $J$ 에 대해 교집합 $I\cap J$ 는 근기 아이디얼입니다.

아이디얼과 다양체 사이의 관계에 관한 또 다른 쉬운 결과로 다음이 있습니다.

명제 77.4.4 ( $\mathcal{V}(-)$ 는 포함 관계를 뒤집습니다).

$I\subseteq J$ 이면 $\mathcal{V}(I)\supseteq\mathcal{V}(J)$ 입니다. 따라서 $\mathcal{V}(-)$ 는 포함 관계를 뒤집습니다.

질문 77.4.5.

이를 확인해 보십시오.

따라서 더 큰 아이디얼은 더 작은 다양체에 대응합니다.

이 결과들은 이 장 전체에 걸쳐 자주 사용되므로, $\mathcal{V}$ 가 포함 관계를 뒤집는 성질에 익숙해지는 것이 좋습니다.

연습문제 77.4.6.

개념에 더 익숙해지는 데 도움이 되는 간단한 연습 문제입니다.

1.

$I=(y-x^{2})$ , $J=(x+1,y+2)$ 라고 합시다. $\mathcal{V}(I)$ 와 $\mathcal{V}(J)$ 는 무엇입니까?
2.

$\mathcal{V}(K)$ 가 포물선 $y=x^{2}$ 과 점 $(-1,-2)$ 의 합집합이 되는 아이디얼 $K$ 는 무엇입니까?
3.

$L=(y-1)$ 이라고 합시다. $\mathcal{V}(L)$ 은 무엇입니까?
4.

교집합 $\mathcal{V}(I)\cap\mathcal{V}(L)$ 은 두 점 $(1,1)$ 과 $(-1,1)$ 로 이루어져 있습니다. 이에 대응하는 아이디얼을 $I$ 와 $L$ 로 나타내면 무엇입니까?
5.

$\mathcal{V}(I\cap L)$ 은 무엇입니까? $\mathcal{V}(IL)$ 은 어떻습니까?

질문 77.4.7.

무한히 많은 아이디얼의 교집합은 여전히 아이디얼이지만, 무한히 많은 아핀 다양체의 합집합은 아핀 다양체가 아닐 수도 있다는 점에 유의하십시오.

$\mathbb{C}[x]$ 에서 $I_{k}=(x-k)$ 를 생각하고, 무한 교집합 $I=\bigcap_{k\in\mathbb{N}}I_{k}$ 를 취합시다. $\mathcal{V}(I)$ 와 $\bigcup_{k\in\mathbb{N}}\mathcal{V}(I_{k})$ 는 무엇입니까?

77.5 소 아이디얼은 기약 아핀 다양체에 대응합니다

대표적인 예: $(xy)$ 는 $\mathbb{A}^{2}$ 에서 두 직선의 합집합에 대응합니다.

$\{4,9\}$ 와 같은 $\mathbb{A}^{1}$ 의 아핀 다양체 대부분은 가장 단순한 “한 점” 아이디얼들의 합집합에 불과하다는 점에 유의하십시오. 분류를 쉽게 하기 위해 기약 다양체의 경우로 관심을 한정할 수 있습니다.

정의 77.5.1.

다양체 $V$ 를 두 진부분다양체의 합집합 $V=V_{1}\cup V_{2}$ 로 쓸 수 없으면 $V$ 를 기약이라고 합니다.

표기의 남용 77.5.2.

주의: 다른 문헌에서는 기약성이 다양체 정의의 일부입니다.

예제 77.5.3 ( $\mathbb{A}^{1}$ 의 기약 다양체).

$\mathbb{A}^{1}$ 의 기약 다양체는 다음과 같습니다.

•

공집합 $\mathcal{V}(1)$ ,
•

한 점 $\mathcal{V}(x-a)$ , 그리고
•

직선 전체 $\mathbb{A}^{1}=\mathcal{V}(0)$ .

예제 77.5.4 (두 축의 합집합).

$\mathbb{C}[x,y]$ 에서 소 아이디얼이 아닌 아이디얼을 하나 택해 봅시다. 예를 들면 $I=(xy)$ 입니다. 그 영점 집합 $\mathcal{V}(I)$ 는 두 직선 $x=0$ 과 $y=0$ 의 합집합입니다. 따라서 $\mathcal{V}(I)$ 는 가약입니다.

일반적으로 다음이 성립합니다.

정리 77.5.5 (소 $\iff$ 기약).

$I$ 를 근기 아이디얼이라 하고, $V=\mathcal{V}(I)$ 를 공집합이 아닌 대수다양체라 합시다. 그러면 $I$ 가 소 아이디얼일 필요충분조건은 $V$ 가 기약인 것입니다.

증명.

먼저 $V$ 가 기약이라고 가정하고, $I$ 가 소 아이디얼임을 보이겠습니다. $fg\in I$ 가 되도록 $f,g\in\mathbb{C}[x_{1},\dots,x_{n}]$ 를 택합시다. 그러면 $V$ 는 합집합 $\mathcal{V}(f)\cup\mathcal{V}(g)$ 의 부분집합입니다. 실제로 $V=\left(V\cap\mathcal{V}(f)\right)\cup\left(V\cap\mathcal{V}(g)\right)$ 입니다. $V$ 가 기약이므로 $V=V\cap\mathcal{V}(f)$ 라고 가정할 수 있고, 따라서 $f$ 는 $V$ 전체에서 0이 됩니다. 그러므로 $f\in I$ 입니다.

역방향도 비슷합니다. ∎

77.6 $\mathbb{A}^{2}$ 와 $\mathbb{A}^{3}$ 에서의 그림

대표적인 예: 여러 가지 곡선과 초곡면.

이 개념을 이용하면 이제 “복소 아핀 평면” $\mathbb{A}^{2}$ 에 그림을 그릴 수 있습니다. 그 안의 기약 아핀 다양체는 무엇입니까?

앞의 논의에서 보았듯이, $\mathbb{A}^{2}$ 의 기약 아핀 다양체에 이름을 붙이는 것은 $\mathbb{C}[x,y]$ 의 소 아이디얼에 이름을 붙이는 것과 같습니다. 몇 가지를 소개합니다.

•

아이디얼 $(0)$ 은 소 아이디얼입니다. $\mathcal{V}(0)$ 은 늘 그렇듯이 평면 전체에 대응합니다.
•

$\mathbb{C}[x,y]/(x-a,y-b)\cong\mathbb{C}$ 가 정역이므로 아이디얼 $(x-a,y-b)$ 는 소 아이디얼입니다. (사실 $\mathbb{C}$ 가 체이므로 아이디얼 $(x-a,y-b)$ 는 극대입니다). 이 아이디얼의 영점 집합은 $\mathcal{V}(x-a,y-b)=\{(a,b)\}\in\mathbb{C}^{2}$ 이므로, 이러한 아이디얼은 한 점에 대응합니다.
•

$f(x,y)$ 를 $y-x^{2}$ 과 같은 기약 다항식이라 합시다. 그러면 $(f)$ 는 소 아이디얼입니다! 이때 $\mathcal{V}(I)$ 는 “여차원이 1인 곡선”입니다.

약간의 다항식 대수를 이용하면(이번에도 직접 확인해 보셔도 좋습니다. 유클리드 알고리즘을 쓰면 됩니다) 사실 이것들이 $\mathbb{C}[x,y]$ 의 유일한 소 아이디얼입니다. 그림은 다음과 같습니다.

늘 그렇듯이, 이러한 기약 대수다양체들의 합집합으로 이루어진 대수다양체를 만들 수 있습니다. 예를 들어 포물선 $y=x^{2}$ 에 점 $(20,15)$ 를 더한 대수다양체를 원한다면 다음과 같이 쓰면 됩니다.

\mathcal{V}\left((y-x^{2})(x-20),(y-x^{2})(y-15)\right).

$\mathbb{A}^{3}$ 에서의 그림은 설명하기가 더 어렵습니다. 여기에서도 0차원 점 $(a,b,c)$ 에 대응하는 점 $\mathcal{V}(x-a,y-b,z-c)$ 가 있고, 각 기약 다항식 $f$ 에 대해 2차원 곡면 $\mathcal{V}(f)$ 가 있습니다(예를 들어 $x+y+z=0$ 은 평면입니다). 그러나 소 아이디얼은 이보다 더 많습니다. 예를 들어 $\mathcal{V}(x,y)$ 는 평면 $x=0$ 과 $y=0$ 의 교집합에 대응하는데, 이것은 1차원인 $z$ 축입니다. “1차원” 대수다양체를 분류하는 합리적인 방법은 없다는 것이 밝혀져 있습니다. 이들은 “기약 곡선”에 대응합니다.

따라서 Ravi Vakil [VAK17]의 말처럼, $\mathbb{C}[x,y,z]$ 의 소 아이디얼을 결정하는 순수하게 대수적인 문제는 근본적으로 기하학적인 답을 가집니다.

77.7 극대 아이디얼

대표적인 예: 모든 극대 아이디얼은 $(x_{1}-a_{1},\dots,x_{n}-a_{n})$ 꼴입니다.

더 큰 아이디얼은 더 작은 대수다양체에 대응한다는 사실을 떠올리십시오.

위의 그림에서 짐작할 수 있듯이, 가장 작은 대수다양체는 한 점입니다. 또한 이름에서 짐작할 수 있듯이, 가장 큰 아이디얼은 극대 아이디얼입니다. 예를 들어 다음 꼴의 모든 아이디얼은

\left(x_{1}-a_{1},\dots,x_{n}-a_{n}\right)

극대 아이디얼입니다. 왜냐하면 다음 몫이

\mathbb{C}[x_{1},\dots,x_{n}]/\left(x_{1}-a_{1},\dots,x_{n}-a_{n}\right)\cong% \mathbb{C}

는 체입니다. 그렇다면 모든 극대 아이디얼이 이러한 꼴입니까?

답은 긍정적입니다.

정리 77.7.1 (약한 영점정리, 극대 아이디얼을 이용한 표현).

$\mathbb{C}[x_{1},\dots,x_{n}]$ 의 모든 극대 아이디얼은 $(x_{1}-a_{1},\dots,x_{n}-a_{n})$ 꼴입니다.

이 정리의 증명은 의외로 자명하지 않으므로 여기서는 아직 싣지 않겠습니다. [VAK17, §7.4.3]을 참고하십시오. 여기서도 $\mathbb{C}$ 가 대수적으로 닫혀 있다는 사실을 사용합니다. (예를 들어 $(x^{2}+1)$ 은 $\mathbb{R}[x]$ 의 극대 아이디얼입니다.) 따라서 다음이 성립합니다.

$\mathbb{C}$ 위에서 극대 아이디얼은 한 점에 대응합니다.

결과적으로 $\mathbb{C}$ 위의 여러 아이디얼은 여러 종류의 아핀 다양체에 대응합니다.

대수적 관점	기하적 관점
근기 아이디얼	아핀 다양체
소 아이디얼	기약 다양체
극대 아이디얼	한 점
임의의 아이디얼	(스킴?)

아직 이야기하지 않은 것이 하나 있습니다. 마지막 항목은 무엇입니까?

77.8 근기 아이디얼이 아닌 아이디얼로 스킴의 동기 부여하기

스킴의 가장 기본적인 동기 중 하나는 스킴을 사용하여 중복도를 세고 싶다는 것입니다. 즉, 다음 교집합을 생각해 봅시다.

\mathcal{V}(y-x^{2})\cap\mathcal{V}(y)\subseteq\mathbb{A}^{2}

이것은 포물선과 그에 접하는 $x$ 축의 교집합이며, 아래의 초록색 점입니다.

안타깝게도 다양체로서는 이것이 단지 한 점일 뿐입니다! 그러나 우리는 이것을 “이중점”으로 생각하고 싶습니다. 어쨌든 어떤 의미에서 이 점의 중복도는 $2$ 이기 때문입니다. 아이디얼을 살펴보면 이를 감지할 수 있습니다.

(y-x^{2})+(y)=(x^{2},y)

따라서 근기를 취하는 것을 태연히 무시하면 다음을 얻습니다.

\mathbb{C}[x,y]/(x^{2},y)\cong\mathbb{C}[\varepsilon]/(\varepsilon^{2}).

그러므로 문제의 아이디얼은 이중점의 존재를 알아차리고 있습니다.

이를 담아내려면 다양체보다 더 정교한 대상이 필요합니다. 다양체는 (결국) 점들의 집합에 불과하며, 위상만으로는 더 많은 정보를 담을 수 없습니다(한 점 위의 위상은 하나뿐입니다!). 이 정교한 대상이 바로 스킴입니다.

77.9 생각해 볼 만한 조금 더 어려운 문제

작성 예정: 여기에 실제 계산을 넣으면 좋겠습니다.

문제 77A.

두 아이디얼 $I$ 와 $J$ 에 대하여 $I\subseteq\sqrt{I}$ 이고 $\sqrt{I}\cap\sqrt{J}=\sqrt{IJ}\subseteq\sqrt{I\cap J}$ 임을 보이십시오.

문제 77B.

실 아핀 다양체 $V\subseteq\mathbb{A}_{\mathbb{R}}^{n}$ 는 항상 $\mathcal{V}(f)$ 꼴로 쓸 수 있음을 보이십시오.

힌트. 제곱은 음이 아닙니다.

풀이. $I=(f_{1},\dots,f_{m})$ 에 대하여 $V=\mathcal{V}(I)$ 라면(늘 그렇듯 $\mathbb{R}[x_{1},\dots,x_{n}]$ 이 뇌터 환이므로 다항식은 유한 개입니다) $f=f_{1}^{2}+\dots+f_{m}^{2}$ 로 잡을 수 있습니다.

문제 77C (복소 다양체는 공집합일 수 없습니다).

$I$ 가 $\mathbb{C}[x_{1},\dots,x_{n}]$ 의 진 아이디얼이면 $\mathcal{V}(I)\neq\varnothing$ 임을 증명하십시오.

힌트. 이것은 사실 약한 영점정리와 동치인 표현입니다.

풀이. $I$ 를 아이디얼이라 하고, $\mathfrak{m}$ 을 이를 포함하는 극대 아이디얼이라 합시다. ( $\mathfrak{m}$ 의 존재가 걱정된다면, 이는 크룰 정리 문제 5E에서 따라 나옵니다.) 그러면 약한 영점정리에 의해 $\mathfrak{m}=(x_{1}-a_{1},\dots,x_{n}-a_{n})$ 입니다. 따라서 $(a_{1},\dots,a_{n})$ 은 $\mathcal{V}(\mathfrak{m})$ 의 유일한 점이고, 그러므로 이 점은 $\mathcal{V}(I)$ 에도 속합니다.

문제 77D.

^†^†margin:

$n$ 차원에서의 힐베르트 영점정리가 약한 영점정리로부터 따라 나옴을 보이십시오. (이 풀이를 라비노비치 트릭이라고 부릅니다.)

힌트. $n+1$ 차원에서 약한 영점정리를 사용하십시오. 모든 곳에서 0이 되는 $f$ 가 주어지면 $x_{n+1}f-1$ 을 생각하십시오.

풀이. 요점은 $f$ 가 $\mathcal{V}(I)$ 전체에서 소멸하면 $f\in\sqrt{I}$ 임을 확인하는 것입니다.

원래의 환 $\mathbb{C}[x_{1},\dots,x_{n}]$ 에서 생성원의 집합 $f_{1},\dots,f_{m}$ 을 잡습니다. 힐베르트 기저 정리에 의해 이 집합이 유한하다고 가정할 수 있습니다.

이제 한 가지 트릭을 쓰겠습니다. 대신 $S=\mathbb{C}[x_{1},\dots,x_{n},x_{n+1}]$ 을 생각합시다. 더 큰 환에서 $\{f_{1},\dots,f_{m}\}$ 과 다항식 $x_{n+1}f-1$ 로 생성되는 아이디얼 $I^{\prime}\subseteq S$ 를 생각합시다. 마지막 다항식의 요점은 그 영점 자취가 $\mathbb{A}^{n}$ 의 사본인 $x_{n+1}=0$ 에도, $\mathbb{A}^{n+1}$ 을 통한 $f$ 의 “사영”에 속한 어떤 점에도 닿지 않는다는 것입니다(이는 더 작은 환에서의 $\mathcal{V}(I)$ 에 $\mathbb{C}$ 를 직접 곱한 것으로 생각할 수 있습니다). 따라서 $\mathcal{V}(I^{\prime})=\varnothing$ 이고, 약한 영점정리에 의해 사실 $I^{\prime}=\mathbb{C}[x_{1},\dots,x_{n+1}]$ 입니다. 따라서

$1=g_{1}f_{1}+\dots+g_{m}f_{m}+g_{m+1}\left(x_{n+1}f-1\right).$

이제 요령은 이렇습니다. $x_{n+1}$ 이 나타나는 모든 곳을 $\frac{1}{f}$ 로 바꾸고, 그다음 모든 분모를 없앱니다. 그러면 충분히 큰 어떤 정수 $N$ 에 대해 다음을 얻을 수 있으며,

$f^{N}=f^{N}(g_{1}f_{1}+\dots+g_{m}f_{m})$

이로써 우변에 있는 $f$ 의 분수 거듭제곱이 모두 제거됩니다. 따라서 $f^{N}\in I$ 입니다.