표준 선다발

틀:위키데이터 속성 추적 대수기하학에서 표준 선다발(標準線다발, 틀:Llang) 또는 표준 선속(標準線束)은 켈러 미분의 층의 최고차 외부 거듭제곱이다.

정의

대수적으로 닫힌 체 위의 $n$차원 비특이 대수다양체 $X$의 표준 선다발 ${\omega }_X$은 다음과 같은 가역층이다.틀:Rp

${\omega }_X={\bigwedge }^n{\mathrm{\Omega }}_{X/k}$

여기서 ${\mathrm{\Omega }}_{X/k}$는 켈러 미분층이다. 표준 선다발에 대응하는 인자류를 표준류(標準類, 틀:Llang)라고 하고, 표준류에 속하는 인자를 표준 인자(標準因子, 틀:Llang) $K_X$라고 한다.

만약 $X$가 특이점을 가지지만 정규 대수다양체인 경우, 매끄러운 궤적(틀:Llang) $U\subset X$가 존재한다. 이 경우, $X$의 표준 인자는 $U$의 표준 인자로 정의한다. 보다 일반적으로, $X$가 S₂ 조건(여차원 2까지 코언-매콜리 조건이 성립)을 만족시키며 고런스틴 스킴이라면, 위와 같이 표준 인자를 정의할 수 있다.

표준 선다발의 역을 반표준 선다발(反標準線다발, 틀:Llang) ${\omega }_X^{-1}$이라고 한다. 반표준류(反標準類, 틀:Llang) 및 반표준 인자(反標準因子, 틀:Llang)는 이에 대응하는 인자(류)이다.

첨가 공식

첨가 공식(添加公式, 틀:Llang)은 어떤 부분 대수다양체의 표준 선다발과 전체 공간의 표준 선다발 사이의 관계를 나타내는 공식이다.

비특이 대수다양체 $X$ 위의 인자 $D$에 대하여, 다음과 같은 첨가 공식이 성립한다.

$K_D=(K_X+D){|}_D$

즉, 선다발로는 다음과 같다. $D$로 정의되는 부분다양체를 $Y$, 매장 사상을 $\iota :Y\hookrightarrow X$라고 하면, 다음과 같다.

${𝒦}_Y={\iota }^{*}({𝒦}_X\otimes 𝒪(D))$

여차원이 2 이상일 경우에도 유사한 첨가 공식이 성립한다. 비특이 대수다양체 $X$의 닫힌 비특이 부분 대수다양체 $\iota :Y\hookrightarrow X$가 주어졌고, 이에 대응하는 아이디얼 층이 $ℐ$라고 하자. 이 경우, $ℐ/{ℐ}^2$는 $Y$의 자리스키 쌍대법다발이다. 이 경우, 다음과 같은 아벨 군 층의 짧은 완전열이 존재한다.틀:Rp

$0\to ℐ/{ℐ}^2\to {\iota }^{*}{T}^{*}X\to T^{*}Y\to 0$

여기서 $T^{*}$는 공변접다발이다. 완전열의 모든 항에 최고차 외부 거듭제곱을 취하면, 다음을 얻는다.틀:Rp틀:Rp

${𝒦}_Y={\iota }^{*}{𝒦}_X\otimes {(\det (ℐ/{ℐ}^2))}^{\vee }$

여기서 $(-{)}^{\vee }$는 쌍대 다발을 뜻한다.

예

복소수체 위의 $n$차원 비특이 대수다양체의 경우, 표준 선다발은 행렬식 다발(틀:Llang)이라고 하며, $n$차 정칙 미분 형식들의 선다발이다. (단일 연결) 칼라비-야우 다양체의 경우, 표준 선다발은 자명하다. 파노 다양체의 경우, 반표준 선다발은 풍부한 선다발이다.

리만 곡면의 표준 선다발

리만 곡면(=1차원 복소수 비특이 대수다양체) $C$ 위의 표준 선다발은 정칙 공변접다발 ${\mathrm{\Omega }}_C$와 같으며, 그 차수는 다음과 같다.

$\mathrm{deg}{\omega }_C=2g-2=-\chi (C)$

특히, $g\ge 2$인 경우 이는 효과적 인자를 이룬다. 이 경우, ${\omega }_C$의 $g$개의 단면들은 유리 사상 $C\to {\mathbb{P}}_{ℂ}^{g-1}$을 정의한다. 이 유리 사상의 상은 사영 곡선을 이루며, 이를 표준 곡선(틀:Llang)이라고 한다.

만약 $C$가 초타원 곡선일 경우, 그 표준 곡선은 유리 곡선이며, 유리 사상은 두 겹 피복 공간을 이룬다. 예를 들어, $C$의 종수가 2이며, $C$가 다음과 같은 (아핀) 방정식으로 정의된다고 하자.

$y^2=P(x)$

여기서 $P$는 6차 다항식이다. 그렇다면, 이 위의 제1종 미분(=(1,0)차 복소수 미분 형식)은 다음과 같이 두 개가 있다.

$\frac{1}{\sqrt{P(x)}}dx,\frac{x}{\sqrt{P(x)}}dx$

이에 따라서, 표준 곡선은

$(x,y)\mapsto x\in {\mathbb{P}}_{ℂ}^1$

임을 알 수 있다. 이는 물론 두 겹 피복 공간이다.

만약 $C$가 초타원 곡선이 아닌 종수 3 이상의 곡선일 경우, $C$의 표준 곡선은 $C$와 동형이다. 예를 들어, 다음과 같다.

• 종수 3인 경우, 표준 곡선은 4차 평면 곡선이다.
• 종수 4인 경우, 표준 곡선은 2차 곡면과 3차 곡면의 교집합이다.
• 종수 5인 경우, 표준 곡선은 세 개의 2차 초곡면의 교집합이다.

사영 공간

대수적으로 닫힌 체 $K$ 위의 사영 공간 ${\mathbb{P}}_K^n$에 대하여, 다음과 같은 짧은 완전열이 존재한다.틀:Rp 이를 오일러 완전열이라고 한다.

$0\to {\mathrm{\Omega }}_{{\mathbb{P}}_K^n}^1\to {𝒪}_{{\mathbb{P}}_K^n}(-1{)}^{\oplus (n+1)}\to {𝒪}_{{\mathbb{P}}_K^n}(0)\to 0$

모든 항에 최고차 외부 거듭제곱을 취하면, 다음을 얻는다.틀:Rp

${\omega }_{{\mathbb{P}}_K^n}={𝒪}_{{\mathbb{P}}_K^n}(-n-1)$

사영 공간 속의 초곡면

$n$차원 사영 공간 ${\mathbb{P}}^n$ 속에서, 동차다항식들 $P_i$으로 정의되는 초곡면 $Y_i\hookrightarrow {\mathbb{P}}^n$들의 완전 교차(틀:Llang)

$Y=\bigcap _{i=1}^{\mathrm{codim}Y}{Y}_i$

를 생각하자. 이 경우,

${\omega }_{{\mathbb{P}}^n}=𝒪(-n-1)$

$𝒪(Y_i)=\mathrm{deg}{P}_i$

이므로, 첨가 공식에 따라서 $Y$의 표준 선다발은 다음과 같다.

${\omega }_Y=𝒪(\sum _i\mathrm{deg}{P}_i-n-1)$

만약

$\sum _i\mathrm{deg}{P}_i=n+1$

이라면 표준 선다발은 자명하며, 이 경우 (비특이 대수다양체라면) $Y$는 칼라비-야우 다양체를 이룬다.

특히, 사영 평면 속의 $d$차 대수 곡선 $C\subset {\mathbb{P}}^2$의 표준 선다발은 다음과 같다.틀:Rp

${\omega }_C=𝒪(d-3)$

$d$차 평면 대수 곡선의 경우

$\mathrm{deg}𝒪(1)=d$

이므로,

$\mathrm{deg}{\omega }_C=d(d-3)$

이다. 리만-로흐 정리에 따라서

$\mathrm{deg}{\omega }_C=2g-2=-\chi (\mathrm{\Sigma })$

이므로, 다음과 같은 종수-차수 공식(種數次數公式, 틀:Llang)을 얻는다.

$g=\frac{1}{2}(d-1)(d-2)$

이차 곡면 위의 곡선의 종수

첨가 공식을 사용하여 이차 곡면 ${\mathbb{P}}^1\times {\mathbb{P}}^1$ 속의 곡선의 종수를 계산할 수 있다.틀:Rp 곡선 $C$의 차수가 $(d_1,d_2)$라고 하자. ${\mathbb{P}}^1\times {\mathbb{P}}^1$의 표준 선다발의 차수는 $(-2,-2)$이다. 즉, $C$의 차수는 $(d_1-2,d_2-2)$와 $(d_1,d_2)$의 교차곱이다. 이차 평면 위의 교차곱은 다음과 같다.틀:Rp

$(a,b).(c,d)=ad+bc$

따라서, 다음이 성립한다.

$2g-2=d_1(d_2-2)+d_2(d_1-2)$

즉,

$g=d_1{d}_2-d_1-d_2+1$

이다.

같이 보기

• 리만-로흐 정리
• 복소수 미분 형식
• 인자 (대수기하학)

외부 링크

• 틀:Eom
• 틀:Eom
• 틀:Eom
• 틀:Eom
• 틀:Eom
• 틀:매스월드
• 틀:Nlab
• 틀:웹 인용