호지 추측은 대수기하학의 가장 큰 떡밥 문제 중 하나로, 복소수체 위의 비특이 사영 대수다양체의 코호몰로지에 관한 문제 중 하나이다. 1930년 더글러스 호지가 호지 이론을 개발하면서 1941년 《조화 적분의 이론과 응용》저서에서 처음 발표했다. 이 문제는 밀레니엄 문제 중 하나로 선정되어 있다.
정의[편집 | 원본 편집]
복소 n차원의 콤팩트 연결 복소 대수다양체 X가 주어졌다고 하면, 이 위에는 코호몰로지를 다음과 같은 위상수학·해석학·대수기하학을 사용하여 세 가지 방법으로 정의할 수 있다.
- 대수적 위상수학을 사용하여, 특이 코호몰로지 [math]\displaystyle{ H^i(X;\mathbb Q) }[/math]를 정의할 수 있다. 이들은 (다양체로서의 위상의) 부분 위상 공간들로 정의되며, 유리수 계수를 갖는다.
- 호지 이론을 사용하여, 돌보 코호몰로지 [math]\displaystyle{ H^{p,q}(X) }[/math]를 정의할 수 있다. 이는 복소 미분 형식으로 정의되며, 실수 계수를 갖는다.
- 대수기하학을 이용하여, 저우 환(Chow ring)을 정의할 수 있다. 이는 대수적 순환을 기본으로 하며, 유리수 계수를 갖는다.
호지 코호몰로지와 특이 코호몰로지 사이의 관계는 이미 잘 알려져 있다. 호지 추측은 이들과 대수기하학적 코호몰로지 사이의 관계에 대한 추측이다.
호지 이론[편집 | 원본 편집]
임의의 콤팩트 [math]\displaystyle{ n }[/math]차원 복소다양체 [math]\displaystyle{ X }[/math]가 주어졌다고 하자. 이는 실수 [math]\displaystyle{ 2n }[/math]차원 유향 매끄러운 다양체이므로, 대수적 위상수학을 통해 특이 코호몰로지 군 [math]\displaystyle{ H^\bullet(X) }[/math]를 정의할 수 있다.
만약 [math]\displaystyle{ X }[/math]가 추가로 켈러 다양체의 구조가 주어졌다면, 호지 이론을 사용하여 특이 코호몰로지의 꼬임 부분군에 대한 몫군을 다음과 같이 돌보 코호몰로지 군으로 추가로 분해할 수 있다.
- [math]\displaystyle{ H^k(X;\mathbb C) = \bigoplus_{p+q=k} H^{p,q}(X) }[/math]
여기서 [math]\displaystyle{ H^{p,q}(X) }[/math]는 [math]\displaystyle{ (p,q) }[/math]차 조화 형식으로 표현되는 코호몰로지류들로 구성되는 부분군이다. 호지 이론에 따라, 특정 복소좌표계 [math]\displaystyle{ (z_1, \ldots, z_n) }[/math]에서, (p,q)차 코호몰로지류들은 다음과 같은 꼴의 복소 미분 형식들의 합으로 표현된다.
- [math]\displaystyle{ dz_{i_1} \wedge \cdots \wedge dz_{i_p} \wedge d\bar z_{j_1} \wedge \cdots \wedge d\bar z_{j_q} }[/math]
코호몰로지 상의 합곱에 상응하는 조화형식의 쐐기곱을 취하면 합곱은 다음과 같이 호지 분해로 변환된다.
- [math]\displaystyle{ \smile\colon H^{p,q}(X) \times H^{p',q'}(X) \rightarrow H^{p+p',q+q'}(X). }[/math]
대수적 코호몰로지[편집 | 원본 편집]
[math]\displaystyle{ X }[/math]가 표수가 0인 체 위의 [math]\displaystyle{ n }[/math]차원 비특이 사영 대수다양체라고 하자.
X의 대수적 순환은 X 다양체의 형식적 선형 결합으로, 다음과 같은 꼴이다.
- [math]\displaystyle{ \sum_i c_iZ_i }[/math]
여기서 계수 [math]\displaystyle{ c_i }[/math]는 정수이거나 유리수일 수 있다. 여기서 대수적 순환의 코호몰로지류를 이것을 구성하는 코호몰로지류들의 합으로 정의할 수 있으며, 이렇게 나타낼 수 있는 코호몰로지류를 대수적 코호몰로지류라고 한다.
호지 이론과 대수적 코호몰로지의 비교[편집 | 원본 편집]
[math]\displaystyle{ X }[/math]가 복소수체 위의 임의의 [math]\displaystyle{ n }[/math]차원 비특이 사영 대수다양체라고 하자. 그렇다면 가가 정리에 따라 이에 대응되는 사영 공간에 매장될 수 있는 복소다양체 [math]\displaystyle{ X^{\operatorname{an}} }[/math]을 정의할 수 있으며, [math]\displaystyle{ X }[/math]의 임의의 [math]\displaystyle{ n-k }[/math]차원 부분 대수다양체 [math]\displaystyle{ i\colon Y\hookrightarrow X }[/math]에 대하여 이에 대응하는 복소다양체의 부분 복소다양체
- [math]\displaystyle{ i^{\operatorname{an}}\colon Y^{\operatorname{an}}\hookrightarrow X^{\operatorname{an}} }[/math]
가 존재한다. 그렇다면 [math]\displaystyle{ X^{\operatorname{an}} }[/math] 위의 임의의 [math]\displaystyle{ (p,q) }[/math]차 복소 미분 형식 [math]\displaystyle{ \alpha\in\Omega^{p,q}(X^{\operatorname{an}}) }[/math]에 대하여, 다음과 같은 적분을 정의할 수 있다.
- [math]\displaystyle{ \int_{Y^{\operatorname{an}}}{i^{\operatorname{an}}}^*\alpha }[/math]
[math]\displaystyle{ Y }[/math]의 기본류는 [math]\displaystyle{ i^{\operatorname{an}}_*[Y^{\operatorname{an}}]\in H^{k,k}(X^{\operatorname{an}}) }[/math]이므로, 만약 [math]\displaystyle{ (p,q)\ne(n-k,n-k) }[/math]라면 이 적분은 0이다. 보다 추상적으로, 이 적분은 부분 복소다양체 [math]\displaystyle{ Y^{\operatorname{an}} }[/math]로 나타내어지는 호몰로지류 [math]\displaystyle{ [Y^{\operatorname{an}}] }[/math]와 [math]\displaystyle{ \alpha }[/math]로 표현되는 코호몰로지류 [math]\displaystyle{ [\alpha] }[/math]에 대한 교곱
- [math]\displaystyle{ \int_{Y^{\operatorname{an}}}{i^{\operatorname{an}}}^*\alpha=[Y^{\operatorname{an}}]\frown[\alpha] }[/math]
으로 생각할 수 있다. 푸앵카레 쌍대성에 의해, [math]\displaystyle{ Y^{\operatorname{an}} }[/math]의 호몰로지류의 짝이 되는 코호몰로지류 [math]\displaystyle{ \operatorname{PD}([Y^{\operatorname{an}}])\in H^{2k}(X^{\operatorname{an}}) }[/math]를 정의할 수 있다. 이 교곱은 [math]\displaystyle{ \operatorname{PD}([Y^{\operatorname{an}}]) }[/math]와 [math]\displaystyle{ \alpha }[/math]의 합곱에 [math]\displaystyle{ X^{\operatorname{an}} }[/math]의 기본류 [math]\displaystyle{ [X^{\operatorname{an}}] }[/math]를 교곱하여 계산할 수 있다. 코호몰로지 [math]\displaystyle{ \operatorname{PD}([Y^{\operatorname{an}}]) }[/math]는 호지 분해되기 때문이다. 이상과 같이 이 코호몰로지류에 차수가 [math]\displaystyle{ (k,k) }[/math]가 아닌 임의의 호몰로지류를 합곱할 경우 0이 된다. 따라서 [math]\displaystyle{ H^{2n}(X^{\operatorname{an}};\mathbb C) = H^{n,n}(X^{\operatorname{an}}) }[/math]이기 때문에
- [math]\displaystyle{ \operatorname{PD}([Y^{\operatorname{an}}])\in H^{k,k}(X^{\operatorname{an}};\mathbb C) }[/math]
이다.
이에 따라, 유리수 계수 대수적 순환군 [math]\displaystyle{ Z(X;\mathbb Q) }[/math]에서 특이 코호몰로지로 가는 자연스러운 사상
- [math]\displaystyle{ \phi_k\colon Z^k(X;\mathbb Q)\to H^{k,k}(X^{\operatorname{an}};\mathbb C)\cap H^{2k}(X^{\operatorname{an}};\mathbb Q)\qquad(k=0,1,\dots,n) }[/math]
이 존재한다. 여기서
- [math]\displaystyle{ \operatorname{Hdg}^k(X^{\operatorname{an}})=H^{k,k}(X^{\operatorname{an}};\mathbb C)\cap H^{2k}(X^{\operatorname{an}};\mathbb Q) }[/math]
를 호지 류(Hodge class)의 군이라고 한다.
그렇다면 호지 추측은 다음과 같은 문제이다.
“ [math]\displaystyle{ X^{\operatorname{an}} }[/math]의 모든 호지 류는 [math]\displaystyle{ X }[/math]의 (유리수 계수) 대수적 코모호몰로지류인가? 즉, 모든 [math]\displaystyle{ 0\le k\le n }[/math]에 대하여, [math]\displaystyle{ \phi_k }[/math]가 전사 함수인가? “
증명[편집 | 원본 편집]
2015년 현재까지도 호지 추측은 아직 미해결 문제이다. 그러나 호지 추측의 다양한 부분적인 경우들이 증명되었다. 여기서 [math]\displaystyle{ n }[/math]은 사영 다양체의 복소수 차원, [math]\displaystyle{ k }[/math]는 호지 류의 차수(=부분다양체의 여차원)이다.
(여)차원이 1 이하인 경우[편집 | 원본 편집]
- 임의의 [math]\displaystyle{ H^2(X;\mathbb Z)\cap H^{1,1}(X) }[/math]의 원소는 인자로 나타내어진다. 즉, 호지 추측은 [math]\displaystyle{ k=1 }[/math]인 경우 성립한다.
이는 지수열로 쉽게 증명할 수 있다.
또한, 어려운 렙셰츠 정리를 사용하여 다음을 보일 수 있다.
- 만약 호지 추측이 [math]\displaystyle{ k {\lt } n }[/math]차 호지 류에 대하여 성립한다면, 호지 추측은 [math]\displaystyle{ n-k }[/math]차 호지 류에 대해서도 성립한다.
따라서 호지 추측은 [math]\displaystyle{ k=n-1 }[/math]차 호지 류에 대해서도 성립한다. 즉, [math]\displaystyle{ n\le3 }[/math]이라면 호지 추측은 참이다.
아벨 다양체[편집 | 원본 편집]
대부분의 아벨 다양체의 경우, 호지 류의 대수는 1차 호지 류로부터 생성되며, 1차 호지 류의 경우 호지 추측이 성립하므로, 모든 차수에 대하여 호지 추측이 성립한다.
그러나 특수한 경우, 호지 류가 1차 호지 류로부터 생성되지 않는 아벨 다양체가 존재한다. 이러한 현상은 아벨 다양체가 허수 이차 수체에 대한 복소 곱셈을 가질 때 발생하며, 반대로 5차원 이하에서는 아벨 다양체가 허수 이차 수체에 대한 복소 곱셈을 갖지 않는다면 모든 호지 류가 1차류로부터 생성됨이 증명되었다.즉, 호지 추측은 허수 이차 수체에 대한 복소 곱셈을 갖지 않는 5차원 이하의 아벨 다양체에 대하여 성립한다.
호지 자취의 대수성[편집 | 원본 편집]
복소수체 위의 사영 대수다양체의 복소 구조를 변화시킨다면, 돌보 코호몰로지로의 호지 분해 또한 바뀌게 된다. 만약 호지 추측이 옳다면, 복소 구조의 모듈러스 공간 속에서, 어떤 주어진 올이 호지 류를 이루는 점들의 집합은 모듈러스 공간의 대수 집합을 이루어야 한다. 이러한 집합을 호지 자취(Hodge locus)라고 한다. 호지 자취가 대수적이라는 사실은 1995년에 증명되었으며, 이는 호지 추측이 참이라는 중요한 증거로 꼽힌다.
여기까지 온 위키러들은 정신이 멍해질 것이다. 사실 대수기하학 전공한 교수님 붙잡아도 잘 모르는 문제므로 안심해도 된다