대수 곡선

대수기하학에서 **대수 곡선**(對數曲線, )은 1차원의 대수다양체이다. 대수기하학에서 다루는 대상 중 가장 간단한 대상에 속한다.

## 정의
고전적으로, **대수 곡선**은 차원이 1인 대수다양체이다. 현대 대수기하학에서는 스킴 이론의 발달로 이 정의가 더 일반화되었으며, 임의의 1차원 스킴을 일컫는다.

## 성질
대수적으로 닫힌 체 위의 대수 곡선에 대하여, 다음 두 조건이 서로 동치이다.
* 완비 대수다양체이다.
* 사영 대수다양체이다.
대수적으로 닫힌 체 위의 모든 완비 대수 곡선은 비특이 사영 평면 곡선과 쌍유리 동치이다. 또한, 복소수체의 경우 모든 콤팩트 리만 곡면은 항상 대수적이다. (이는 2차원 이상에서 성립하지 않는다.) 즉, 콤팩트 리만 곡면은 복소수체에 대한 비특이 사영 대수 곡선을 이루며, 항상 3차원 복소수 사영 공간 \mathbb CP^3으로 매장할 수 있다. 따라서, 다음 3개의 분류 문제가 일치한다.
* 완비 대수 곡선의 쌍유리 동치류에 대한 분류
* 비특이 사영 평면 곡선들의 동형에 대한 분류
* (복소수체 위의 경우) 연결 콤팩트 리만 곡면의 쌍정칙 함수에 대한 분류
비특이 대수 곡선은 일차적으로 **종수**(種數, ) g로 분류되며, 이는 쌍유리 불변량이다. 종수는 음이 아닌 정수이며, 이는 위상수학적으로 g개의 원환면들의 연결합인 콤팩트 리만 곡면에 대응한다. 각 종수에 대하여, 비특이 대수 곡선들의 모듈러스 스택 \mathcal M_g이 존재한다. 만약 비특이성 조건을 약화시켜 모든 안정 곡선들의 모듈러스 공간 \bar{\mathcal M}_g을 고려하면, 이는 콤팩트 공간을 이룬다. \mathcal M_g의 비특이 피복 공간은 **[[타이히뮐러 공간]]**이라고 한다.

종수가 0인 대수 곡선은 **[[유리 곡선]]**이라고 하며, 종수가 1인 대수 곡선은 **[[타원 곡선]]**이라고 한다. 유리곡선은 사영 직선과 쌍유리 동치이다.

### 특이 대수 곡선
특이점을 갖는 대수 곡선의 동형에 대한 분류는 힘들다. 특이 대수 곡선의 경우 일반적으로 산술종수는 기하종수보다 더 크다. 특이 대수 곡선의 경우, 정규화를 취하면 항상 비특이 대수 곡선을 이룬다. 대수적으로 닫힌 체 위의 1차원 정역 사영 스킴 C의 정규화 \tilde C\to C가 주어졌을 때, 임의의 점 x\in C에 대하여 다음과 같은, C 위의 가군층의 짧은 완전열이 존재한다.
:0\to\mathcal O_C\to f_*\mathcal O_{\tilde C}\to(f_*\mathcal O_{\tilde C})/\mathcal O_C\to0
닫힌 점 x\in C에서, 몫층 (f_*\mathcal O_{\tilde C}/\mathcal O_C의 줄기는 다음과 같다.
:\left(\frac{f^*\mathcal O_{\tilde C}}{\mathcal O_C}\right)_x\cong\tilde{\mathcal O}_x/\mathcal O_x
여기서 \tilde{\mathcal O_x}\subset\operatorname{Frac}\mathcal O_x는 정역 \mathcal O_x의, 분수체 속에서의 정수적 폐포이다. 이 경우, 정규화 \tilde C는 비특이 대수 곡선이며, C의 산술 종수는 다음과 같다.
:p_a(C)=g(\tilde C)+\sum_{x\in C}\operatorname{length}(\tilde{\mathcal O}_x/\mathcal O_x)
여기서 \operatorname{length}는 가군의 길이이며, 오직 유한 개의 점들에서의 줄기가 양의 길이를 갖는다는 것을 보일 수 있다.

정규화 대신 부풀리기를 통해서도 대수 곡선의 모든 특이점을 해소할 수 있으며, 이 경우 산술종수를 감소시키는 방향으로 거듭하여 부풀리기를 가해야 한다. 기하 종수는 쌍유리 불변량이지만, 산술 종수는 쌍유리 불변량이 아니다. 특이 대수 곡선 C에서 주어진 특이점 z\in C을 부풀리기를 통해 해소하여 \tilde C를 얻었다고 하자.
:\pi\colon\tilde C\twoheadrightarrow C
만약 특이점의 중복도가 \operatorname{mult}z라고 한다면, \tilde C의 산술 종수 p_a는 다음과 같다.
:p_a(\tilde C)=p_a(C)-\frac12(\operatorname{mult}z)(\operatorname{mult}z-1)
즉, 특이점을 해소할 때마다 산술 종수가 감소한다.

### 산술적 곡선
유리수체나 정수환 등 위의 대수 곡선의 분류는 매우 복잡하며, 대수적 수론의 주요 연구 분야이다. 예를 들어, 수체의 대수적 정수환의 스펙트럼 \operatorname{Spec}\mathcal O_K은 1차원 스킴을 이룬다.

### 사영 공간 속의 대수 곡선
대수 곡선을 사영 공간에 매장하였을 경우, **차수**(次數, )라는 불변량을 정의할 수 있다. 사영 공간 \mathbb P^n 속의 대수 곡선의 차수는 일반적 n-1차원 초평면과의 교차점의 수이다.

*n*차원 사영 공간에서 n-1개의 동차다항식 p_1,\dots,p_{n-1}의 완전 교차로 주어지는 대수 곡선 C의 차수는 각 다항식들의 차수의 곱이다.
:\deg C=\prod_{i=1}^{n-1}\deg p_i

## 평면 곡선
**사영 평면 곡선**(射影平面曲線, )은 사영 평면 \mathbb P^2 속의 대수 곡선이다. 첨가 공식 및 리만-로흐 정리를 통해 (산술)종수와 차수는 다음과 같은 관계를 가진다.
:g=\binom{d-1}2=\frac12(d-1)(d-2)
이를 **종수-차수 공식**()이라고 한다. 비특이 평면 곡선의 경우 위 값은 기하종수와 같지만, 특이 평면 곡선의 경우 기하종수는 위 값보다 더 작다.

낮은 차수의 비특이 평면 곡선에는 다음과 같은 이름이 있다.
* 1차 평면 곡선: **[[사영 직선]]** (=1차원 사영 공간)
* 2차 평면 곡선: **[[원뿔 곡선]]** (=1차원 2차 초곡면)
* 3차 평면 곡선: **[[3차 곡선]]** (=1차원 아벨 다양체)

### 평면 곡선의 특이점
평면 곡선은 유한 개의 특이점들을 가질 수 있다. 국소적으로, 특이점 근처에서 평면 곡선이 f\in\mathbb C[x,y]에 대하여 f=0으로 정의된다고 하자. 그렇다면 다음과 같은 불변량들을 정의할 수 있다.
* 특이점의 **중복수**(重複數, ) \operatorname{mult}(f)은 f의 도함수가 0인 최고 차수이다.
*:\operatorname{mult}f=\max\left\{n\in\mathbb N\colon\partial_{i_1}\cdots\partial_{i_n}f(0,0)=0\forall i_1,\dots,i_n\in\{x,y\}\right\}
*특이점의 **밀너 수**(Milnor數, ) \mu는 위상수학적으로 특이점 근처의 작은 구 위에서 연속 함수 \nabla f(x,y)/\Vert \nabla f(x,y)\Vert의 차수이다. 대수적으로, 이는 다음과 같다.
*:\mu(f)=\dim_{\mathbb C}\frac{\mathbb C[x,y]}{(\partial_xf,\partial_yf)}
* \delta는 특이점의 **델타 불변량**(δ不變量, )이다.
* r는 특이점의 **분지수**(分枝數, )이다.

일부 종류의 특이점은 전통적인 이름을 갖는다. 중복수·델타 불변량·분지수 [m,\delta,r]가 주어졌을 때,
* **<math>n</math>중점**(n重點, )은 [n,n(n-1)/2,n]의 꼴의 특이점이다.
* **첨점**(尖點, )은 [2,1,1]의 꼴의 특이점이다.

d차 특이 평면 곡선의 경우, 다음과 같은 **종수-차수 공식**이 성립한다.
:g = \frac12(d-1)(d-2) - \sum_P \delta_P
이는 첨가 공식 또는 리만-후르비츠 공식을 통해 증명할 수 있다.

## 공간 곡선
**사영 공간 곡선**(射影空間曲線, )은 3차원 사영 공간 \mathbb P^3 속의 대수 곡선이다.
공간 곡선의 경우, 가능한 종수와 차수의 관계는 더 복잡하다. 차수가 d\le 7인 경우는 완전히 분류되었으나, d\ge8은 아직 완전히 알려지지 않았다.

일반적으로, 평면 곡선이 아닌 *d*차 *g*종 대수 곡선의 경우 d\ge3이다. 이 경우 가능한 종수들은 다음과 같다.
* g\le d-3인 경우 항상 이 종수를 가진 대수 곡선이 존재한다.
* d-3인 경우 일반적으로 대수 곡선이 존재하는지 여부가 알려져 있지 않다.
* g=\lfloor d^2/4\rfloor-d+1인 경우 항상 대수 곡선이 존재하며, 이는 항상 이차 곡면의 부분 곡선이다.
* g>\lfloor d^2/4\rfloor-d+1는 (평면 곡선 g=(d-1)(d-2)/2을 제외하고는) 불가능하다.

현재까지 알려져 있는 가능한 공간 곡선의 차수와 종수는 다음과 같다.

여기서 각 칸의 기호는 다음을 의미한다.
* ○: 평면 곡선이 존재
* ●: 평면 곡선이 아닌 공간 곡선이 존재
* ?: 공간 곡선의 존재 여부가 알려지지 않음
* (비어 있음): 공간 곡선 불가능

### 대수 곡면의 완전 교차
3차원 사영 공간 속에서, 차수 d_1, d_2의 두 대수 곡면의 완전 교차로 얻어지는 대수 곡선의 산술 종수 p_a는 다음과 같다.
:p_a=\frac12d_1d_2(d_1+d_2-4)+1
만약 곡선이 비특이 대수 곡선이라면 이는 기하 종수와 같다. 예를 들어, 유리 곡선이나 타원 곡선 등을 얻으려면, 다음과 같은 비특이 완전 교차를 취하면 된다.
* 종수 0: (1,1), (1, 2)
* 종수 1: (1,3), (2,2)
* 종수 3: (1,4)
* 종수 4: (2,3)

## 예
(복소수) 평면 곡선의 예로는 다음을 들 수 있다. 사영 평면의 동차좌표가 [x:y:z]라고 하자.

### 1차 · 2차 곡선
사영 직선은 다음과 같은 꼴이다.
:\begin{pmatrix}a&b&c\end{pmatrix}\begin{pmatrix}x\\y\\z\end{pmatrix}=0
임의의 0이 아닌 \alpha에 대하여 (a,b,c)\mapsto(\alpha a,\alpha b,\alpha c)는 같은 곡선을 정의하므로, 사영 직선의 모듈러스 공간은 \mathbb P^2이다. 사영 직선은 평면 위의 2개의 일반적인 점으로부터 결정된다. 복소수체 위에서, 사영 직선은 위상수학적으로 리만 구 \mathbb{CP}^1이다.

원뿔 곡선은 다음과 같은 2차 곡선이다.
:\begin{pmatrix}x&y&z\end{pmatrix}M\begin{pmatrix}x\\y\\z\end{pmatrix}=0\qquad(M=M^\top)
여기서 M은 3×3 복소수 대칭 행렬이다. 3×3 복소수 대칭 행렬은 6개의 독립된 성분을 가지며, 임의의 0이 아닌 \alpha에 대하여 M과 \alpha M은 같은 원뿔 곡선을 정의하므로, 평면 원뿔 곡선의 모듈러스 공간은 \mathbb P^5이다. 즉, 평면 원뿔 곡선은 5개의 일반적인 점으로부터 결정된다. 만약 M이 가역 행렬이 아닌 경우, 원뿔 곡선은 더 이상 (기약) 대수다양체가 아니며, 두 개의 사영 직선의 합집합이 된다.

### 3차 곡선
섬네일|right|첨점을 갖는 3차 곡선 <math>y^2=x^3</math>
섬네일|right|이중점을 갖는 3차 곡선 <math>y^2=x^2(x+1)</math>
비특이 3차 곡선은 타원 곡선을 이룬다. 이는 종수 1의 대수 곡선이며, 1차원 아벨 다양체를 이룬다. 3차 곡선은 9개의 점에 의하여 결정된다.

기약 3차 곡선의 가능한 특이점은 하나의 이중점 또는 하나의 첨점이다. 예를 들어, 3차 곡선
:x^3=zy^2
은 원점에서 중복도 2의 첨점을 갖는다. 이 경우 산술 종수는 1이지만, 기하 종수는 중복도에 의하여 0이다. 편의상, 동차좌표 z를 생략하여 x^3=y^2로 쓰자. 이 경우, 부풀리기를 통해 y\mapsto ux로 치환하면 x^2(x-u^2)=0을 얻는다. 축소 스킴을 취하면, 이는 원뿔 곡선 x=u^2과 사영 직선 x=0의 합집합이다. 원점은 접촉점()이므로 엄밀히 말하면 특이점이지만, 이는 두 번 더 부풀리기를 하여 해소할 수 있다.

다른 예로, 3차 곡선
:y^2z=x^3+x^2z
은 원점에서 이중점을 갖는다. 편의상, 동차좌표 z를 생략하고, 원점을 부풀려 y\mapsto ux로 치환하면 0=x^3(u^2-x-1)을 얻는다. 축소 스킴을 취하면, 이는 원뿔 곡선 u^2=x+1과 사영 직선 x=0의 합집합이다. 따라서 기하 종수가 0임을 알 수 있다.

### 고차 곡선
초타원 곡선은 다음과 같은 곡선이다.
:z^{\deg p-2}y^2=p(x,z)
여기서 p는 5차 이상의 동차다항식이다. 이 경우, 기하 종수는
:g=\lfloor(\deg p-1)/2\rfloor
이다.

종수 3의 곡선은 모두 초타원 곡선으로 나타낼 수 있지만, 종수 4 이상의 대부분의 곡선은 초타원 곡선이 아니다.

## 각주

* 
* 
* 
* 

## 같이 보기
* 리만-로흐 정리
* 야코비 다양체
* 대수 곡면
* 리만 곡면
* 원뿔 곡선
* 타원 곡선
* 초타원 곡선

## 외부 링크

* 
* 
* 
* 
*