대수 곡선

대수기하학에서 대수 곡선(對數曲線, )은 1차원의 대수다양체이다. 대수기하학에서 다루는 대상 중 가장 간단한 대상에 속한다.
정의.
고전적으로, 대수 곡선은 차원이 1인 대수다양체이다. 현대 대수기하학에서는 스킴 이론의 발달로 이 정의가 더 일반화되었으며, 임의의 1차원 스킴을 일컫는다.
성질.
대수적으로 닫힌 체 위의 대수 곡선에 대하여, 다음 두 조건이 서로 동치이다.
대수적으로 닫힌 체 위의 모든 완비 대수 곡선은 비특이 사영 평면 곡선과 쌍유리 동치이다. 또한, 복소수체의 경우 모든 콤팩트 리만 곡면은 항상 대수적이다. (이는 2차원 이상에서 성립하지 않는다.) 즉, 콤팩트 리만 곡면은 복소수체에 대한 비특이 사영 대수 곡선을 이루며, 항상 3차원 복소수 사영 공간 formula_1으로 매장할 수 있다. 따라서, 다음 3개의 분류 문제가 일치한다.
비특이 대수 곡선은 일차적으로 종수(種數, ) formula_2로 분류되며, 이는 쌍유리 불변량이다. 종수는 음이 아닌 정수이며, 이는 위상수학적으로 formula_2개의 원환면들의 연결합인 콤팩트 리만 곡면에 대응한다. 각 종수에 대하여, 비특이 대수 곡선들의 모듈러스 스택 formula_4이 존재한다. 만약 비특이성 조건을 약화시켜 모든 안정 곡선들의 모듈러스 공간 formula_5을 고려하면, 이는 콤팩트 공간을 이룬다. formula_4의 비특이 피복 공간은 타이히뮐러 공간이라고 한다.
종수가 0인 대수 곡선은 유리 곡선이라고 하며, 종수가 1인 대수 곡선은 타원 곡선이라고 한다. 유리곡선은 사영 직선과 쌍유리 동치이다.
특이 대수 곡선.
특이점을 갖는 대수 곡선의 동형에 대한 분류는 힘들다. 특이 대수 곡선의 경우 일반적으로 산술종수는 기하종수보다 더 크다. 특이 대수 곡선의 경우, 정규화를 취하면 항상 비특이 대수 곡선을 이룬다. 대수적으로 닫힌 체 위의 1차원 정역 사영 스킴 formula_7의 정규화 formula_8가 주어졌을 때, 임의의 점 formula_9에 대하여 다음과 같은, formula_7 위의 가군층의 짧은 완전열이 존재한다.
닫힌 점 formula_9에서, 몫층 formula_13의 줄기는 다음과 같다.
여기서 formula_15는 정역 formula_16의, 분수체 속에서의 정수적 폐포이다. 이 경우, 정규화 formula_17는 비특이 대수 곡선이며, formula_7의 산술 종수는 다음과 같다.
여기서 formula_20는 가군의 길이이며, 오직 유한 개의 점들에서의 줄기가 양의 길이를 갖는다는 것을 보일 수 있다.
정규화 대신 부풀리기를 통해서도 대수 곡선의 모든 특이점을 해소할 수 있으며, 이 경우 산술종수를 감소시키는 방향으로 거듭하여 부풀리기를 가해야 한다. 기하 종수는 쌍유리 불변량이지만, 산술 종수는 쌍유리 불변량이 아니다. 특이 대수 곡선 formula_7에서 주어진 특이점 formula_22을 부풀리기를 통해 해소하여 formula_17를 얻었다고 하자.
만약 특이점의 중복도가 formula_25라고 한다면, formula_17의 산술 종수 formula_27는 다음과 같다.
즉, 특이점을 해소할 때마다 산술 종수가 감소한다.
산술적 곡선.
유리수체나 정수환 등 위의 대수 곡선의 분류는 매우 복잡하며, 대수적 수론의 주요 연구 분야이다. 예를 들어, 수체의 대수적 정수환의 스펙트럼 formula_29은 1차원 스킴을 이룬다.
사영 공간 속의 대수 곡선.
대수 곡선을 사영 공간에 매장하였을 경우, 차수(次數, )라는 불변량을 정의할 수 있다. 사영 공간 formula_30 속의 대수 곡선의 차수는 일반적 formula_31차원 초평면과의 교차점의 수이다.
"n"차원 사영 공간에서 formula_31개의 동차다항식 formula_33의 완전 교차로 주어지는 대수 곡선 formula_7의 차수는 각 다항식들의 차수의 곱이다.
평면 곡선.
사영 평면 곡선(射影平面曲線, )은 사영 평면 formula_36 속의 대수 곡선이다. 첨가 공식 및 리만-로흐 정리를 통해 (산술)종수와 차수는 다음과 같은 관계를 가진다.
이를 종수-차수 공식()이라고 한다. 비특이 평면 곡선의 경우 위 값은 기하종수와 같지만, 특이 평면 곡선의 경우 기하종수는 위 값보다 더 작다.
낮은 차수의 비특이 평면 곡선에는 다음과 같은 이름이 있다.
평면 곡선의 특이점.
평면 곡선은 유한 개의 특이점들을 가질 수 있다. 국소적으로, 특이점 근처에서 평면 곡선이 formula_38에 대하여 formula_39으로 정의된다고 하자. 그렇다면 다음과 같은 불변량들을 정의할 수 있다.
일부 종류의 특이점은 전통적인 이름을 갖는다. 중복수·델타 불변량·분지수 formula_48가 주어졌을 때,
formula_53차 특이 평면 곡선의 경우, 다음과 같은 종수-차수 공식이 성립한다.
이는 첨가 공식 또는 리만-후르비츠 공식을 통해 증명할 수 있다.
공간 곡선.
사영 공간 곡선(射影空間曲線, )은 3차원 사영 공간 formula_55 속의 대수 곡선이다.
공간 곡선의 경우, 가능한 종수와 차수의 관계는 더 복잡하다. 차수가 formula_56인 경우는 완전히 분류되었으나, formula_57은 아직 완전히 알려지지 않았다.
일반적으로, 평면 곡선이 아닌 "d"차 "g"종 대수 곡선의 경우 formula_58이다. 이 경우 가능한 종수들은 다음과 같다.
현재까지 알려져 있는 가능한 공간 곡선의 차수와 종수는 다음과 같다.
여기서 각 칸의 기호는 다음을 의미한다.
대수 곡면의 완전 교차.
3차원 사영 공간 속에서, 차수 formula_64, formula_65의 두 대수 곡면의 완전 교차로 얻어지는 대수 곡선의 산술 종수 formula_27는 다음과 같다.
만약 곡선이 비특이 대수 곡선이라면 이는 기하 종수와 같다. 예를 들어, 유리 곡선이나 타원 곡선 등을 얻으려면, 다음과 같은 비특이 완전 교차를 취하면 된다.
예.
(복소수) 평면 곡선의 예로는 다음을 들 수 있다. 사영 평면의 동차좌표가 formula_68라고 하자.
1차 · 2차 곡선.
사영 직선은 다음과 같은 꼴이다.
임의의 0이 아닌 formula_70에 대하여 formula_71는 같은 곡선을 정의하므로, 사영 직선의 모듈러스 공간은 formula_72이다. 사영 직선은 평면 위의 2개의 일반적인 점으로부터 결정된다. 복소수체 위에서, 사영 직선은 위상수학적으로 리만 구 formula_73이다.
원뿔 곡선은 다음과 같은 2차 곡선이다.
여기서 formula_75은 3×3 복소수 대칭 행렬이다. 3×3 복소수 대칭 행렬은 6개의 독립된 성분을 가지며, 임의의 0이 아닌 formula_70에 대하여 formula_75과 formula_78은 같은 원뿔 곡선을 정의하므로, 평면 원뿔 곡선의 모듈러스 공간은 formula_79이다. 즉, 평면 원뿔 곡선은 5개의 일반적인 점으로부터 결정된다. 만약 formula_75이 가역 행렬이 아닌 경우, 원뿔 곡선은 더 이상 (기약) 대수다양체가 아니며, 두 개의 사영 직선의 합집합이 된다.
3차 곡선.
비특이 3차 곡선은 타원 곡선을 이룬다. 이는 종수 1의 대수 곡선이며, 1차원 아벨 다양체를 이룬다. 3차 곡선은 9개의 점에 의하여 결정된다.
기약 3차 곡선의 가능한 특이점은 하나의 이중점 또는 하나의 첨점이다. 예를 들어, 3차 곡선
은 원점에서 중복도 2의 첨점을 갖는다. 이 경우 산술 종수는 1이지만, 기하 종수는 중복도에 의하여 0이다. 편의상, 동차좌표 formula_82를 생략하여 formula_83로 쓰자. 이 경우, 부풀리기를 통해 formula_84로 치환하면 formula_85을 얻는다. 축소 스킴을 취하면, 이는 원뿔 곡선 formula_86과 사영 직선 formula_87의 합집합이다. 원점은 접촉점()이므로 엄밀히 말하면 특이점이지만, 이는 두 번 더 부풀리기를 하여 해소할 수 있다.
다른 예로, 3차 곡선
은 원점에서 이중점을 갖는다. 편의상, 동차좌표 formula_82를 생략하고, 원점을 부풀려 formula_84로 치환하면 formula_91을 얻는다. 축소 스킴을 취하면, 이는 원뿔 곡선 formula_92과 사영 직선 formula_87의 합집합이다. 따라서 기하 종수가 0임을 알 수 있다.
고차 곡선.
초타원 곡선은 다음과 같은 곡선이다.
여기서 formula_95는 5차 이상의 동차다항식이다. 이 경우, 기하 종수는
이다.
종수 3의 곡선은 모두 초타원 곡선으로 나타낼 수 있지만, 종수 4 이상의 대부분의 곡선은 초타원 곡선이 아니다.