표준환

대수기하학에서 표준환(標準環, 영어: canonical ring)은 주어진 대수다양체의 표준 선다발의 텐서 거듭제곱들의 단면들로 구성된 등급환이다.

정의

$X$가 대수다양체라고 하고, 그 표준 선다발을 ${\omega }_X$라고 하자. 그렇다면 표준환 $R(X)$는 다음과 같은 등급환이다.

$R(X)=\underset{n=0}{\overset{\mathrm{\infty }}{⨁}}{R}_n(X)$

$R_n(X)=H^0(X,{\omega }_X^n)$

여기서 $H^0$은 0차 층 코호몰로지, 즉 단면들의 아벨 군이다. ${\omega }_X^n$은 표준 선다발의 $n$승 텐서곱이다.

다중 종수

대수다양체 $X$의 다중 종수(多重種數, 영어: plurigenus, 복수 영어: plurigenera)는 표준환의 각 등급 $R_n$의 차원들이다.^{:190, Exercise II.8.8}

$P_n=\dim R_n(X)=h^0(X,{\omega }_X^n)$

$P_0$은 항상 1이다. $P_n$은 모두 음이 아닌 정수들이다.

표준 모형

대수다양체 $X$의 표준환 $R$에 대한 사영 공간 $\mathrm{Proj}(R)$을 표준 모형(영어: standard model)이라고 한다. 이는 모리 시게후미의 최소 모형 프로그램(minimal model program)의 중요한 요소다.

고다이라 차원

표준 모형의 차원을 고다이라 차원([小平]次元, 영어: Kodaira dimension) $\kappa$라고 하며,^:421 이는 다음과 같이 정의할 수도 있다.

• $P_n\in O(d^{\kappa })$인 최소의 $\kappa$. 여기서 $O$는 점근 표기법이다.

만약 모든 양의 정수 $n$에 대하여 $P_n=0$이라면, 고다이라 차원을 $\kappa =-\mathrm{\infty }$로 정의한다. 고다이라 차원은 고다이라 구니히코의 이름을 땄다.

고다이라 차원은 다음을 만족시킨다.

$\kappa (X\times Y)=\kappa (X)+\kappa (Y)$

즉, 차원의 일종으로 생각할 수 있다.

성질

표준환은 쌍유리 동치에 대하여 불변이다. 이에 따라, 모든 다중 종수 및 고다이라 차원 역시 쌍유리 동치 불변량이다.

각주

• Kawamata, Yujiro (2009). “Finite generation of a canonical ring” (영어). 《Current Developments in Mathematics》 2007: 43-76. arXiv:0804.3151. MR 2532995. Zbl 05578294.  CS1 관리 - Zbl (링크)

같이 보기

• 엔리퀘스-고다이라 분류

외부 링크

• “Kodaira dimension” (영어). 《Encyclopedia of Mathematics》. Springer-Verlag. 2001. ISBN 978-1-55608-010-4.