자리스키 위상

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

대수기하학에서, 자리스키 위상(영어: Zariski topology)은 대수다양체스킴에 일반적으로 주어지는 위상이다. 자리스키 위상에서는 다항식의 해집합을 닫힌 집합으로 정의한다.

정의[편집]

아핀 대수다양체[편집]

대수적으로 닫힌 체 위의 유한 차원 아핀 공간 \mathbb A^n의 자리스키 위상은 다항식의 해집합을 닫힌 집합으로 정의한다. 즉, 자리스키 위상이 주어진 공간 \mathbb{A}^n의 닫힌 집합은 다항식의 집합 S에 대해

V(S) = \{x \in \mathbb{A}^n \mid f(x) = 0, \forall f \in S\}

로 주어지고, 이러한 닫힌 집합들의 모임이 위상을 잘 정의한다는 것을 다음 성질을 확인함으로서 증명할 수 있다.

  • (S)가 S의 원소들로 생성된 아이디얼인 경우 V(S) = V((S))가 성립한다.
  • 임의의 n변수 다항식 아이디얼I, J에 대해
    1. V(I) \cup V(J)\,=\,V(IJ);
    2. V(I) \cap V(J)\,=\,V(I + J).

\mathbb A^n안의 아핀 대수다양체의 자리스키 위상은 \mathbb A^n에 주어진 자리스키 위상의 부분공간 위상으로 정의된다.

스킴[편집]

(1이 있는) 가환환 R에 대해, \operatorname{Spec}RR스펙트럼(모든 소 아이디얼들의 집합)이라고 하고, \operatorname{max\,Spec}R를 그 극대 아이디얼의 집합이라고 하자. 극대 아이디얼소 아이디얼이므로 \operatorname{max\,Spec}R\subseteq\operatorname{Spec}R이다.

자리스키 위상은 R아이디얼 \mathfrak a\subseteq R에 대해 다음 집합을 닫힌 집합으로 정의한다.

V(\mathfrak a) = \{\mathfrak p\in \operatorname{Spec}A\mid \mathfrak a \subseteq\mathfrak p\}

이것은 아핀 대수다양체에서 자리스키 위상 공간 \mathbb A^n닫힌집합 V(S) = \{x \in \mathbb{A}^n \mid f(x) = 0, \forall f \in S\}을 조금 수정하여 확장한 것이다.

왜냐면 x \in \mathbb A^n, f(x) = 0, \forall f \in S f\in\mathfrak m_x, \forall f\in S과 동치이다. (여기서 \mathfrak m_x는 점x \in \mathbb{A}^n에 대응되는 극대 아이디얼이며, 따라서  S \subseteq\mathfrak m_x이다.) 그래서 V(S) = \{\mathfrak m_x \in \operatorname{max\,Spec} R \mid S \subseteq \mathfrak m_x\} 으로 바꿔 표현할 수 있다.

이제 여기서 S를 포함하는 극대 아이디얼 뿐만이 아닌 S를 포함하는 소 아이디얼들까지 품는 좀더 큰 집합으로 생각하면, S를 대신 아이디얼 \mathfrak a=(S)로 대체하였을 때

V(\mathfrak a) = \{\mathfrak p\in \operatorname{Spec}R \mid \mathfrak a \subseteq\mathfrak p\}

를 얻는다. 이는 아핀 스킴의 자리스키 위상을 정의한다.

스킴은 아핀 스킴을 이어붙여 얻는 환 달린 공간이므로, 스킴의 자리스키 위상은 아핀 스킴으로 구성된 열린 덮개로부터 유도된다.

그로텐디크 위상[편집]

위상 공간 X열린 덮개 \{X_i\}_{i\in I}\textstyle\bigcup_{i\in I}X_i=X열린집합들의 모임이다.

스킴의 경우, 자리스키 열린집합열린 부분 스킴에 대응된다. 범주론적으로, 이는 열린 몰입으로 생각할 수 있다. 따라서, 스킴 X자리스키 덮개(영어: Zariski cover)는 같은 공역을 가진 열린 몰입의 족 \{\iota_i\colon X_i\to X\}_{i\in I}가운데, 그 치역들의 합집합이 X 전체인 것이다.

\bigcup_{i\in I}\iota_i(X_i)=X

자리스키 덮개는 스킴의 범주 \operatorname{Sch} 위의 그로텐디크 준위상을 이루며, \operatorname{Sch} 위에 이 위상을 부여한 위치자리스키 위치(영어: Zariski site) \operatorname{Zar}라고 한다.

스킴 X 위의 큰 자리스키 위치(영어: big/gros Zariski site)는 조각 범주 \operatorname{Zar}/X이다. 스킴 X 위의 작은 자리스키 위치(영어: small/petit Zariski site) \operatorname{zar}/X는 다음과 같다.

성질[편집]

자리스키 위상은 유클리드 공간의 표준적인 위상과 크게 다른 성질들을 갖는다. 대체로, 자리스키 위상은 매우 엉성하다. 즉, 열린집합닫힌집합이 충분히 존재하지 못한다.

예를 들어, 대수적으로 닫힌 체에 대한 유한 차원 아핀 공간 \mathbb A^n을 생각하자. 이 경우:

(고전적 및 스킴) 자리스키 위상은 T1 위상이다. 하지만 유한체가 아닌 체에 대한 대수다양체는 항상 하우스도르프 공간이 아니다.

뇌터 스킴의 자리스키 위상은 뇌터 위상 공간이다. 즉, 뇌터 스킴은 콤팩트 공간이며, 또한 뇌터 스킴의 모든 부분공간은 콤팩트 공간이다.

참고 문헌[편집]

바깥 고리[편집]