{{위키데이터 속성 추적}}
[[수학]]에서 [[윌리엄 밸런스 더글러스 호지|윌리엄 밸런스 더글러스]] 호지의 이름을 따서 명명된 '''호지 이론'''(Hodge理論, {{llang|en|Hodge theory}})은 [[리만 기하학|리만 다양체]]의 [[라플라스 연산자]]의 [[코호몰로지]]를 다루는 이론이다. 또한 [[편미분 방정식]]을 사용하여 [[매끄러운 다양체]] <math>M</math>의 [[코호몰로지|코호몰로지 군]]을 연구하는 방법이다. 이 이론의 배경이 되는 주요한 관찰은 <math>M</math>에 대한 [[리만 다양체|리만 계량]]이 주어지면 모든 코호몰로지류가 계량의 [[라플라스 연산자|라플라스]] 연산자 아래에서 사라지는 [[미분 형식]]인 [[동치류|표준 대표원]]을 갖는다는 것이다. 이러한 형식을 '''조화 형식'''이라고 한다.

이 이론은 [[대수기하학|대수 기하학]]을 연구하기 위해 1930년대에 호지에 의해 개발되었으며, [[드람 코호몰로지|드 람 코호몰로지]]에 관한 [[조르주 드 람]]의 작업을 기반으로 한다. [[리만 다양체]] 와 [[켈러 다양체]]의 두 가지 설정에서 주요 응용이 있다. 호지의 주요 동기인 복소 사영 다형체에 대한 연구는 후자의 경우에 포함된다. 호지 이론은 특히 [[대수적 순환]] 연구와의 연결을 통해 대수 기하학에서 중요한 이론이 되었다.

호지 이론은 본질적으로 실수 및 복소수에 의존하지만 [[정수론]]의 질문에 적용될 수 있다. 산술적 상황에서 p-진 호지 이론은 고전적인 호지 이론의 대체 증명 또는 비슷한 결과를 제공했다.

== 리만다양체의 호지 이론 ==
매끄러운 ''n''차원 [[콤팩트 공간|콤팩트]] [[가향 다양체|가향]] [[리만 다양체]] <math>(M,g)</math>를 생각하자. 이 위에 <math>k</math>차 [[미분 형식]]의 [[층 (수학)|층]] <math>\Omega^k(M)</math>을 정의할 수 있다. 이 경우 미분 형식 층은 [[드람 코호몰로지|드람 복합체]]
:<math> 0\rightarrow \Omega^0(M) \xrightarrow{d_0} \Omega^1(M)\xrightarrow{d_1} \cdots\xrightarrow{d_{n-1}} \Omega^n(M)\xrightarrow{d_n} 0 </math>
를 이룬다. 여기서 <math>d_k</math>는 [[외미분]]이다. 이 복합체로 정의한 코호몰로지는 [[드람 코호몰로지]] <math>H^k(M)</math>이다.

이제 (외)미분의 (형식적인) 딸림연산자({{lang|en|adjoint}})를 생각하자. 즉 다음을 만족하는 연산자 <math>d^\dagger</math>를 생각하자. 임의의 <math>\alpha\in\Omega^k(M)</math>, <math>\beta\in\Omega^{k+1}(M)</math>에 대하여,
:<math>\int_M \langle d\alpha,\beta\rangle_{k+1} \,dV = \int_M\langle\alpha,d^\dagger\beta\rangle_k \,dV</math>
(여기서 <math>\langle,\rangle_k</math>는 <math>k</math>차 미분 형식의 내적으로, [[리만 계량]]으로부터 정의한다.) 이러한 연산자 <math>d^\dagger</math>를 찾을 수 있으며, '''공미분'''({{lang|en|codifferential}})이라고 부른다. 이는 다음과 같다.
:<math>d^\dagger_k=(-)^{nk+n+1}*d*</math>
여기서 <math>*\colon\Omega^k(M)\to\Omega^{n-k}(M)</math>은 '''[[호지 쌍대|호지 별연산자]]'''({{llang|en|Hodge star operator}})라 불리는 연산자로, 형식을 [[레비치비타 기호]]와 축약시키는 연산이다.

이제 [[라플라스 연산자]] <math>\Delta</math>를 다음과 같이 정의한다.
:<math>\Delta=dd^\dagger+d^\dagger d</math>
라플라스 연산자의 값이 0인 형식을 '''조화 형식'''(調和形式, {{llang|en|harmonic form}})이라 부른다. 즉 <math>\Delta\alpha=0</math>이면 <math>\alpha</math>는 조화 형식이다. 모든 조화 형식은 미분과 공미분에 대하여 닫혀 있음을 보일 수 있다. 즉 <math>\Delta\alpha=0</math>이면 <math>d\alpha=0</math>이며 <math>d^\dagger\alpha=0</math>이다.

=== 호지 분해와 호지 정리 ===
임의의 <math>k</math>차 미분 형식 <math>\omega</math>는 다음과 같이 유일하게 분해할 수 있다.
:<math>\omega=\alpha+d\beta+d^\dagger\gamma</math>
여기서 <math>\alpha</math>는 조화 형식이다. 즉, 임의의 미분 형식을 조화 성분과 닫힌 성분, 공닫힌({{lang|en|coclosed}}) 성분으로 유일하게 분해할 수 있다. 이를 '''호지 분해'''({{lang|en|Hodge decomposition}})이라고 한다.

만약 <math>\omega</math>가 닫힌 형식이라면 (<math>d\omega=0</math>) 공닫힌 성분은 항상 0이다. 즉
:<math>\omega=\alpha+d\beta</math>
이다. 여기서 조화 성분만을 취하면, <math>k</math>차 조화 형식의 벡터 공간 <math>\mathcal H_\Delta^k(M)</math>과 <math>k</math>차 드람 코호몰로지 <math>H^k(M,\mathbb R)</math>과의 [[동형사상]]을 얻는다. 즉,
:<math>\mathcal H_\Delta^k(M)\cong H^k(M,\mathbb R)</math>
이다. 이를 '''호지 정리'''({{llang|en|Hodge's theorem}})라고 하고, 호지가 최초로 증명하였다. 다시 말하면, 임의의 코호몰로지 동치류 <math>[\alpha]\in H^k</math>에서 유일한 조화 형식인 대표 <math>\alpha\in[\alpha]</math>를 찾을 수 있다.

=== 타원 복합체의 호지 이론 ===
[[마이클 아티야|아티야]]와 [[라울 보트|보트]]는 [[타원 복합체]]를 드 람 복합체의 일반화로 정의했다. 호지 정리는 다음과 같이 이 설정으로 확장된다. <math>E_0,E_1,\ldots,E_N</math>를 부피 형식 ''<math>dV</math>''가 있는 닫힌 매끄러운 다양체 '''''<math>M</math>'''''에 계량이 장착된 [[벡터 다발|선형 다발]]이라 하자.

: <math>L_i:\Gamma(E_i)\to\Gamma(E_{i+1})</math>

는 이러한 선형 다발의 '''''<math>C^{\infty}</math>''''' 단면에 작용하는 선형 [[미분 연산자]]이며 유도된 열

: <math> 0\to\Gamma(E_0)\to \Gamma(E_1) \to \cdots \to \Gamma(E_N) \to 0</math>

타원 복합체이다. 직합

: <math>\begin{align}
\mathcal E^\bullet &= \bigoplus\nolimits_i \Gamma(E_i) \\
L &= \bigoplus\nolimits_i L_i:\mathcal E^\bullet\to\mathcal E^\bullet
\end{align}</math>

을 도입한다. 그리고 <math>L^*</math>을 <math>L</math>의 adjoint로 둔다. 타원 연산자  <math>\Delta:=LL^*+L^*L</math>를 정의한다. 드 람의 경우에서와 같이 이것은 조화 단면의 선형 공간을 산출한다.

: <math>\mathcal H=\{e\in\mathcal E^\bullet\mid\Delta e=0\}.</math>

<math>H:\mathcal E^\bullet\to\mathcal H</math>가 직교 사영이고 '''''<math>G</math>'''''를 '''''<math>\Delta</math>'''''에 대한 [[그린 함수|그린 연산자]]라고 하자. '''호지 정리'''는 다음을 주장한다.<ref>Wells (2008), Theorem IV.5.2.</ref>

# '''''<math>H</math>'''''와 '''''<math>G</math>'''는'' 잘 정의되어 있다.
# '''''<math>\text{Id}=H+\Delta G=G+G\Delta</math>'''''
# '''''<math>LG=GL</math>''','' '''''<math>L^*G=GL^*</math>'''''
# 복합체의 코호몰로지는 조화 단면들의 공간에 정식으로 동형이다. <math>H(E_j)\cong\mathcal H(E_j)</math>, 각 코호몰로지류에는 고유한 조화 대표원이 있다는 의미에서.

이 상황에는 드 람 복합체에 대한 위의 설명을 일반화하는 호지 분해도 있다.

== 복소다양체의 호지 이론 ==
''n''차원 [[복소다양체]] <math>M</math>과 그 위에 정의된 (1,1)-[[복소 미분 형식|형식]] (에르미트 형식) <math>\omega</math>를 생각하자. 이 형식이 <math>\omega=\omega^*</math>를 만족한다고 가정하자. 이 경우, <math>(M,\omega)</math>는 [[에르미트 다양체]]로 불리며, 복소다양체에서 [[리만 기하학|리만 구조]]와 유사한 개념이다. 이 경우, 돌보 연산자({{lang|en|Dolbeault operator}}) <math>\partial\colon\Omega^{p,q}(M)\to\Omega^{p+1,q}(M)</math>, <math>\bar\partial\colon\Omega^{p,q}(M)\to\Omega^{p,q+1}(M)</math>을 생각하자. 에르미트 형식을 써서 내적
:<math>\langle\alpha,\beta\rangle=\int_M\alpha^*\beta\;\omega^n/n!</math>
를 정의한다. 이 내적을 써서 딸림연산자 <math>\partial^\dagger</math>와 <math>\bar\partial^\dagger</math>를 정의할 수 있다. 이를 써서 라플라스 연산자
:<math>\Delta_\partial=\partial\partial^\dagger+\partial^\dagger\partial</math>
:<math>\Delta_{\bar\partial}=\bar\partial\bar\partial^\dagger+\bar\partial^\dagger\bar\partial</math>
를 정의한다. 라플라스 연산자가 0인 형식을 마찬가지로 [[조화 형식]]으로 일컫는다.

이들도 마찬가지로
:<math>\Delta_\partial\alpha=0\implies\partial\alpha=0,\partial^\dagger\alpha=0</math>
:<math>\Delta_{\bar\partial\alpha}=0\implies\bar\partial\alpha=0,\bar\partial^\dagger\alpha=0</math>
임을 보일 수 있다. 이 경우에도 마찬가지로 호지 정리가 성립한다. 즉 <math>\Delta_{\bar\partial}</math>에 대한 조화 형식의 벡터 공간은 돌보 코호몰로지 공간 <math>H^{p,q}_{\bar\partial}</math>과 동형이다.

이 밖에도, 에르미트 다양체는 [[리만 다양체]]를 이루므로, 실수다양체의 경우와 같이 <math>d=\partial+\bar\partial</math>를 기반으로 라플라스 연산자
:<math>\Delta=dd^\dagger+d^\dagger d</math>
를 정의할 수 있다. 즉 에르미트 공간에는 <math>\Delta_\partial</math>, <math>\Delta_{\bar\partial}</math>, <math>\Delta</math> 세 개의 라플라스 연산자와 그에 관련된 호지 코호몰로지가 존재한다.

만약 에르미트 형식이 닫혀 있다면 (<math>d\omega=\partial\omega=\bar\partial\omega=0</math>) <math>(M,\omega)</math>는 [[켈러 다양체]]를 이룬다. 이 경우 라플라스 연산자 사이에 다음 관계가 성립한다.
:<math>\Delta=2\Delta_\partial=2\Delta_{\bar\partial}</math>
따라서 어느 라플라스 연산자를 쓰는지에 상관없이 같은 [[코호몰로지]]를 얻는다.

== 복소 사영 다형체에 대한 호지 이론 ==
'''''<math>X</math>'''''를 [[매끄러운 스킴|매끄러운]] 복소 사영 다양체라고 하자. 즉, '''''<math>X</math>'''''는 일부 복소 사영 공간 '''''<math>\mathbb{CP}^N</math>'''''의 닫힌 [[복소다양체|복소 부분 다양체]]이다. [[가가 정리|저우의 정리]]에 따르면 복소 사영 다양체는 자동으로 대수적이다. 즉, '''''<math>\mathbb{CP}^N</math>'''''에서 [[동차다항식|동차 다항식]]의 영점 집합으로 정의된다. '''''<math>\mathbb{CP}^N</math>'''''의 [[푸비니-슈투디 계량|표준 리만 계량]]은 복소 구조와 강력한 호환성이 있는 '''''<math>X</math>'''''의 리만 계량을 유도하여 '''''<math>X</math>'''''를 [[켈러 다양체]]로 만든다.

복소 다양체 '''''<math>X</math>'''''및 자연수 '''''<math>r</math>'''''에 대해 '''''<math>X</math>'''''(복소 계수 포함)의 모든 '''''<math>C^{\infty}</math>''''' 제 '''''<math>r</math>'''''형식은 '''''<math>p+q=r</math>'''''인 <math>(p,q)</math>-형식의 합으로 유일하게 작성될 수 있다. 각 항은

: <math>f\, dz_1\wedge\cdots\wedge dz_p\wedge d\overline{w_1}
\wedge\cdots\wedge d\overline{w_q}</math>

'''''<math>f</math>'''''는 '''''<math>C^{\infty}</math>''''' 함수이고 '''''<math>z_s, w_s</math>'''''는 [[정칙 함수]]이다. 켈러 다양체에서 조화 형식의 '''''<math>(p,q)</math>''''' 성분은 다시 조화 형식이다. 따라서 임의의 [[콤팩트 공간|콤팩트]] 켈러 다양체 '''''<math>X</math>'''''에 대해 호지 정리는 복소 선형 공간들의 직합으로서 복소 계수를 사용하여 '''''<math>X</math>'''''의 [[코호몰로지]] 분해를 제공한다.<ref>Huybrechts (2005), Corollary 3.2.12.</ref>

: <math>H^r(X,\mathbf{C})=\bigoplus_{p+q=r} H^{p,q}(X).</math>

이 분해는 켈러 계량의 선택과 무관하다(그러나 일반적인 콤팩트 복소 다양체에 대한 비슷한 분해는 없다). 다른 한편으로, 호지 분해는 진정으로 복소 다양체로서 '''''<math>X</math>'''''의 구조에 의존하는 반면, 군 '''''<math>H^{r}(X,\C)</math>'''''은 '''''<math>X</math>'''''의 기저 [[위상 공간 (수학)|위상 공간]]에만 의존한다.

이러한 조화 대표원의 쐐기 곱을 취하는 것은 코호몰로지의 [[합곱]]에 해당하므로 복소수 계수가 있는 [[합곱]]은 호지 분해와 호환된다.

: <math>\smile \colon H^{p,q}(X) \times H^{p',q'}(X) \rightarrow H^{p+p',q+q'}(X).</math>

호지 분해의 조각 '''''<math>H^{p,q}(X)</math>'''''는 연접층 코호몰로지 군으로 식별할 수 있으며, 이는 복소 다양체로서 '''''<math>X</math>'''''에만 의존한다(켈러 계량의 선택에 의존하지 않음):<ref>Huybrechts (2005), Corollary 2.6.21.</ref>

: <math>H^{p,q}(X)\cong H^q(X,\Omega^p),</math>

여기서 '''''<math>\Omega^p</math>'''''는 '''''<math>X</math>'''''에서 정칙 제 '''''<math>p</math>'''''형식의 [[층 (수학)|층]]을 나타낸다. 예를 들어, '''''<math>H^{p,0}(X)</math>'''''는 '''''<math>X</math>''''' 상의 정칙 제 '''''<math>p</math>'''''형식의 공간이다. (만약 '''''<math>X</math>'''''가 사영이면, [[장피에르 세르|세르]]의 [[가가 정리|GAGA]] 정리는 모든 '''''<math>X</math>'''''에 대한 정칙 '''''<math>p</math>'''''-형식이 사실 대수적임을 의미한다. )

한편, 적분은 '''''<math>Z</math>'''''의 호몰로지류 와 <math>\alpha</math>의 교곱으로 나타내어진다. 푸앵카레 쌍대성에 의해 '''''<math>Z</math>'''''의 호몰로지류는 우리가 '''''<math>[Z]</math>'''''라고 부르는 코호몰로지류에 대해 쌍대적이며 [[교곱]]은 '''''<math>[Z]</math>'''''와 <math>\alpha</math>의 [[합곱]]을 취하고 '''''<math>X</math>'''''의 기본류와 교집합하여 계산할 수 있다

'''''<math>[Z]</math>'''''는 코호몰로지류이므로 호지 분해가 있다. 위에서 수행한 계산에 따라 이 클래스를 <math>(p,q) \ne (k,k)</math> 유형의 클래스로 합집합을 취하면, 0을 얻는다. <math>H^{2n}(X, \Complex) = H^{n,n}(X)</math>이므로,  <math>[Z]\in H^{n-k,n-k}(X)</math>.

'''호지 수''' '''''<math>h^{p,q}(X)</math>'''''는 복소수 선형 공간 '''''<math>H^{p,q}(X)</math>'''''의 차원을 의미한다 이들은 매끄러운 복소 사영 다형체의 중요한 불변량이다. 그들은 '''''<math>X</math>'''''의 복소 구조가 연속적으로 변할 때 변하지 않지만 일반적으로 위상 불변량은 아니다. 호지 수의 성질 중에는 '''호지 대칭 ''<math>h^{p,q}=h^{q,p}</math>''''' (왜냐하면 '''''<math>H^{p,q}(X)</math>'''''는 '''''<math>H^{q,p}(X)</math>'''''의 [[켤레 복소수]]이기 때문에) 및 '''''<math>h^{p,q}=h^{n-p,n-q}</math>'''''( [[세르 쌍대성]]에 의해)가 있다.

매끄러운 복소 사영 다형체(또는 콤팩트 켈러 다양체)의 호지 수는 '''[[호몰로지 거울 대칭|호지 다이아몬드]]'''에 나열될 수 있다(복소 2차원의 경우에 표시됨).{{Hodge diamond|''h''<sup>2,2</sup>|''h''<sup>2,1</sup>|''h''<sup>1,2</sup>|''h''<sup>2,0</sup>|''h''<sup>1,1</sup>|''h''<sup>0,2</sup>|''h''<sup>1,0</sup>|''h''<sup>0,1</sup>|''h''<sup>0,0</sup>}}예를 들어, [[곡면 종수|종수]] '''''<math>g</math>'''''인 모든 매끄러운 사영 [[대수 곡선|곡선]]에는 호지 다이아몬드가 있다.{{Hodge diamond|1|''g''|''g''|1}}또 다른 예로 모든 [[K3 곡면]]에는 호지 다이아몬드가 있다.{{Hodge diamond|1|0|0|1|20|1|0|0|1}}'''''<math>X</math>'''''의 [[베티 수]]는 주어진 행에 있는 호지 수의 합이다. 호지 이론의 기본 적용은 호지 대칭에 의해 매끄러운 복소 사영 다형체(또는 콤팩트 켈러 다양체)의 홀수 베티 수 '''''<math>b_{2a+1}</math>'''''이 짝수라는 것이다. 이것은 '''''<math>S^1\times S^1</math>'''''에 대해 [[미분동형사상|동형]]이므로 '''''<math>b_{1}=1</math>''''' 갖는 호프 곡면의 예에서 볼 수 있듯이 일반적으로 콤팩트 복소 다양체에 대해서는 사실이 아니다.

"켈러 패키지"는 호지 이론을 기반으로 하는 매끄러운 복소 사영 다형체(또는 콤팩트 켈러 다양체)의 코호몰로지에 대한 강력한 제한들의 집합이다. 결과에는 [[렙셰츠 초평면 정리]], [[렙셰츠 초평면 정리|강한 렙셰츠 정리]] 및 [[호지 구조|호지-리만 쌍선형 관계]]가 포함된다.<ref>Huybrechts (2005), sections 3.3 and 5.2; Griffiths & Harris (1994), sections 0.7 and 1.2; Voisin (2007), v. 1, ch. 6, and v. 2, ch. 1.</ref> 이러한 결과의 대부분은  켈러 항등식 및 <math>\partial \bar {\partial}</math>-정리를 포함하는 호지 이론을 통해 콤팩트 켈러 다양체들에 대해 증명된 근본적인 성질들로부터 나온다.

호지 이론 및 비-아벨 호지 이론과 같은 확장은 또한 콤팩트 켈러 다양체의 가능한 [[기본군|기본 군]]에 대한 강력한 제한을 제공한다.

== 대수 순환과 호지 추측 ==
'''''<math>X</math>'''''를 매끄러운 복소 사영 다형체라고 하자. [[여차원]] '''''<math>p</math>'''''인 '''''<math>X</math>'''''의 복소 부분 다형체 '''''<math>Y</math>'''''는 코호몰로지 군 <math>H^{2p}(X,\Z)</math>의 원소를 정의한다. 또한 결과 클래스에는 특별한 성질이 있다. 복소 코호몰로지 <math>H^{2p}(X,\Complex)</math>에서 상은 호지 분해의 중간 부 분<math>H^{p,p}(X)</math>에 있다. '''[[호지 추측]]'''은 이 성질의 역을 추측한다. 복소 코호몰로지의 상이 부분 공간 <math>H^{p,p}(X)</math>에 있는 <math>H^{2p}(X,\Z)</math>의 모든 원소들은 '''''<math>X</math>'''''의 복소 부분 다형체 류의 <math>\Z</math>-선형 결합인 양의 정수 배수를 가져야 한다. (이러한 선형 결합을 '''''<math>X</math>'''''에서 '''대수적 순환'''이라고 한다.)

중요한 점은 호지 분해가 일반적으로 적분(또는 유리) 계수를 갖는 코호몰로지의 분해에서 나오지 않는 복소수 계수로 코호몰로지를 분해한다는 것이다. 그 결과 교집합

: <math>(H^{2p}(X,\Z)/{\text{torsion}})\cap H^{p,p}(X)\subseteq H^{2p}(X,\Complex)</math>

는 전체 군 <math>H^{2p}(X,\Z)/\text{torsion}</math>보다 훨씬 작을 수 있다. 호지 수 <math>h^{p,p}</math>가 크다. 요컨대, 호지 추측은 '''''<math>X</math>'''''의 복소 부분 다형체의 가능한 "모양"(코호몰로지에 의해 설명됨)이 '''''<math>X</math>'''''의 '''호지 구조''' (복소 코호몰로지의 호지 분해와 적분 코호몰로지의 조합)에 의해 결정된다고 예측한다.

렙셰츠(1,1)-정리는 호지 추측이 '''''<math>p=1</math>'''''에 대해 참이라고 말한다(적분적으로도, 즉 문장에서 양의 정수 배수가 필요하지 않음).

다형체 '''''<math>X</math>'''''의 호지 구조는 '''''<math>X</math>'''''의 [[특이 호몰로지|호몰로지]]류에 대한 '''''<math>X</math>'''''의 대수 미분 형식의 적분을 설명한다. 이런 의미에서 호지 이론은 [[미적분학|미적분]]의 기본 문제와 관련이 있다. 일반적으로 [[대수함수|대수 함수]]의 적분에 대한 "공식"이 없다. 특히 주기로 알려진 대수 함수의 [[적분|정적분]]은 [[초월수]]가 될 수 있다. 호지 추측의 어려움은 일반적으로 그러한 적분에 대한 이해 부족을 반영한다.

예: 매끄러운 복소 사영 K3 곡면 '''''<math>X</math>'''''의 경우 군 '''''<math>H^2(X,\Z)</math>'''''는 '''''<math>\Z^{22}</math>'''''와 동형이고 '''''<math>H^{1,1}(X)</math>'''''은 '''''<math>\C^{20}</math>'''''과 동형이다. 교차점은 1에서 20 사이의 랭크를 가질 수 있다. 이 랭크를 '''''<math>X</math>'''''의 [[피카르 군|피카르 수]]라고 한다. 모든 사영 K3 곡면의 [[모듈라이 공간]]은 [[가산 집합|가산]] 성분들의 집합을 가지며 각각의 복소수 차원은 19이다. 피카드 수 '''''<math>a</math>'''''를 갖는 K3 곡면의 부분 공간은 차원이 '''''<math>20-a</math>'''''이다.<ref>Griffiths & Harris (1994), p. 594.</ref> (따라서 대부분의 사영 K3 곡면에 대해 '''''<math>H^2(X,\Z)</math>''''' 와 '''''<math>H^{1,1}(X)</math>'''''의 교집합은 '''''<math>\Z</math>'''''와 동형이지만 "특별한" K3 곡면의 경우 교집합이 더 클 수 있다.)

이 예는 복소 대수 기하학에서 호지 이론이 수행하는 여러 가지 다른 역할을 제안한다. 첫째, 호지 이론은 위상 공간이 매끄러운 복소 사영 다형체의 구조를 가질 수 있는 제한을 제공한다. 둘째, 호지 이론은 주어진 위상 유형을 가진 매끄러운 복소 사영 다형체의 계수 공간에 대한 정보를 제공한다. 가장 좋은 경우는 [[토렐리 정리]]가 유지되는 경우이다. 즉, 다형체가 호지 구조에 의해 결정된다는 의미이다. 마지막으로 호지 이론은 주어진 다형체에 대한 대수적 순환의 [[저우 환|저우 군]]에 대한 정보를 제공한다. 호지 추측은 저우 군에서 일반 코호몰로지로 가는 [[저우 환|순환 사상]] 상에 관한 것이지만 호지 이론은 예를 들어 호지 구조에서 구축된 중간 야코비안을 사용하여 순환 사상의 핵심에 대한 정보도 제공한다.

== 일반화 ==
[[피에르 들리뉴]]가 발표한 '''혼합 호지 이론'''은 호지 이론을 반드시 매끄럽거나 콤팩트하지는 않은 모든 복소 대수 다형체로 확장한다. 즉, 모든 복소 대수 다형체의 코호몰로지는 보다 일반적인 분해 유형인 혼합 호지 구조를 가진다.

특이 다형체에 대한 호지 이론의 다른 일반화는 '''교차 호몰로지'''에 의해 제공된다. 즉, 사이토 모리히코는 모든 복소 사영 다형체(반드시 매끄럽지는 않음)의 교차 호몰로지이 매끄러운 경우와 마찬가지로 순수한 호지 구조를 가짐을 보여주었다. 실제로 전체 켈러 패키지는 교차 호몰로지으로 확장된다.

복소 기하학의 기본적인 측면은 비동형 복소 다양체(실 다양체로서 모두 미분동형사상임)의 연속적인 계열이 있다는 것이다. '''[[호지 구조|호지 구조 변형]]'''에 대한 [[필립 오거스터스 그리피스|필립 그리피스]]의 개념은 '''''<math>X</math>'''''가 변할 때 매끄럽고 복소 사영 다형체 '''''<math>X</math>'''''의 호지 구조가 어떻게 변하는지 설명한다. 기하학적 용어로 이것은 다형체 족과 관련된 주기 사상을 연구하는 것과 같다. 사이토의 [[호지 구조|호지 가군]] 이론은 일반화이다. 대략적으로 말하면, 다형체 '''''<math>X</math>'''''의 혼합 호지 가군은 매끄럽거나 콤팩트할 필요가 없는 다형체 족에서 발생하는 것과 같이 '''''<math>X</math>'''''에 대한 혼합 호지 구조의 층이다.

== 역사 ==
[[윌리엄 밸런스 더글러스 호지]]가 1930년대에 도입하였고, 1941년 《조화 적분의 이론과 응용》<ref>{{서적 인용|이름=W.V.D. |성=Hodge|저자링크=윌리엄 밸런스 더글러스 호지|제목=Theory and Applications of Harmonic Integrals|출판사=Cambridge University Press|날짜=1941|언어=en}}</ref>에 집대성하였다. (여기서 "조화 적분"은 조화 형식을 호지가 불렀던 이름이다.)

[[대수적 위상수학]] 분야는 1920년대에 아직 초기 단계였다. 아직 [[코호몰로지]]라는 개념을 발전시키지 못했고, 미분 형식와 위상 사이의 상호 작용에 대한 이해가 부족했다. 1928년에 [[엘리 카르탕]]은 ''Sur les nombres de Betti des espaces de groupes clos라는'' 제목의 메모를 발표했는데, 여기에서 미분 형식와 위상이 연결되어야 한다고 제안했지만 증명하지는 못했다. 당시 학생이었던 조르주 드 람은 그것을 읽자마자 즉시 영감을 받았다. 1931년 논문에서 그는 현재 [[드람 코호몰로지|드 람 정리]]라고 불리는 놀라운 결과를 증명했다. 스토크스 정리에 의해, [[특이 호몰로지|특이 사슬]]을 따라 미분 형식의 적분은 임의의 콤팩트한 매끄러운 다양체 <math>M</math>에 대해 쌍선형 짝을 유도한다.

: <math>H_k(M; \mathbf{R}) \times H^k_{\text{dR}}(M; \mathbf{R}) \to \mathbf{R}.</math>

원래 언급된 바와 같이 드 람의 정리는 이것이 [[쌍선형 형식|완벽한 쌍]]이므로 왼쪽에 있는 각 항이 서로의 선형 공간 쌍대라고 주장한다. 현대 수학에서 드 람의 정리는 실수 계수 특이 코호몰로지가 드 람 코호몰로지와 동형이라는 진술로 더 자주 표현된다.

: <math>H^k_{\text{sing}}(M; \mathbf{R}) \cong H^k_{\text{dR}}(M; \mathbf{R}).</math>

드 람의 원래 진술은 [[푸앵카레 쌍대성]]의 결과이다.

이와는 별도로 [[솔로몬 렙셰츠]]의 1927년 논문은 [[베른하르트 리만|리만]]의 정리를 다시 증명하기 위해 위상수학적 방법을 사용했다.<ref>Lefschetz, Solomon, "Correspondences Between Algebraic Curves", Ann. of Math. (2), Vol. 28, No. 1, 1927, pp. 342–354.</ref> 현대 수학에서  <math>\omega_1</math>과 <math>\omega_2</math>가 대수 곡선 <math>C</math>의 정칙 미분이면 <math>C</math>가 복소수 차원이 하나만 있기 때문에 [[외대수|쐐기 곱]]은 반드시 <math>0</math>이다. 결과적으로 그들의 코호몰로지류의 [[합곱|합곱은]] <math>0</math>이며 명시적으로 만들면 렙셰츠는 리만 관계의 새로운 증명을 제공했다. 또한, <math>\omega</math>가 <math>0</math>이 아닌 정칙 미분이면 <math>\sqrt{-1}\,\omega \wedge \bar\omega</math>는 렙셰츠가 리만의 부등식을 재유도할 수 있었던 양의 부피 형식이다. 1929년 호지는 렙셰츠의 논문을 알게 되었다. 그는 즉시 비슷한 원리가 대수 곡면에 적용되는 것을 관찰했다. 보다 정확하게는, <math>\omega</math>가 대수 곡면에서 <math>0</math>이 아닌 정칙적 형식이라면, <math>\sqrt{-1}\,\omega \wedge \bar\omega</math>는 양수이므로 <math>\omega</math>와 <math>\bar\omega</math>의 [[합곱]]은 <math>0</math>이 아니어야 한다. 따라서 <math>\omega</math> 자체는 <math>0</math>이 아닌 코호몰로지류를 나타내야 하므로 주기가 모두 <math>0</math>일 수는 없다. 이것은 세베리의 질문을 해결했다.<ref>[[Michael Atiyah]], ''William Vallance Douglas Hodge, 17 June 1903 – 7 July 1975'', Biogr. Mem. Fellows R. Soc., 1976, vol. 22, pp. 169–192.</ref>

호지는 이러한 기술이 더 높은 차원의 다형체에도 적용되어야 한다고 느꼈다. 그의 동료인 피터 프레져는 드 람의 논문을 그에게 추천했다. 드 람의 논문을 읽으면서 호지는 리만 곡면의 정칙 1형의 실수 부분과 허수 부분이 어떤 의미에서 서로 쌍대적이라는 것을 깨달았다. 그는 더 높은 차원에서 비슷한 쌍대성이 있어야 한다고 의심했다. 이 쌍대성은 이제 [[호지 쌍대|호지 별 연산자]] 로 알려져 있다. 그는 또한 각 코호몰로지류가 외미분 연산자 아래에서 그것과 그것의 쌍대가 사라지는 성질을 가진 유일한 대표를 가져야 한다고 추측했다. 이들은 이제 조화 형식이라고 부른다. 호지는 1930년대의 대부분을 이 문제에 바쳤다. 증명에 대한 그의 초기 출판 시도는 1933년에 나타났지만 그는 그것이 "극단적으로 조잡하다"고 생각했다. 그 시대의 가장 뛰어난 수학자 중 한 명인 [[헤르만 바일]]은 호지의 증명이 올바른지 여부를 결정할 수 없다는 것을 알게 되었다. 1936년에 호지는 새로운 증명을 발표했다. 호지는 새로운 증명이 훨씬 우수하다고 생각했지만 Bohnenblust는 심각한 결함을 발견했다. 독립적으로 헤르만 바일과 [[고다이라 구니히코]]는 오류를 수정하기 위해 호지의 증명을 수정했다. 이것은 호지가 추구하는 조화 형식과 코호몰로지류 사이의 동형사상을 확립했다.<blockquote>돌이켜 보면 존재 정리의 기술적 어려움은 실제로 중요한 새로운 아이디어를 필요로 하지 않고 단지 고전적 방법의 신중한 확장을 필요로 한다는 것이 분명하다. 호지의 주요 공헌이었던 진정한 참신함은 조화 적분의 개념과 대수 기하학과의 관련성에 있었다. 기술에 대한 개념의 승리는 호지의 위대한 전임자 베른하르트 리만의 작업에서 비슷한 일화를 연상시킨다. — [[마이클 아티야]], 윌리엄 더글러스 호지, 1903년 6월 17일 – 1975년 7월 7일, ''왕립 학회 회원 전기 회고록'', vol. 22, 1976, pp. 169–192.</blockquote>

== 각주 ==
{{각주}}
* {{저널 인용|제목={{lang|fr|Les formes différentielles harmoniques}}|이름=Pierre|성=Bidal|공저자=Georges de Rham|저널={{lang|la|Commentarii Mathematici Helvetici}}|issn=0010-2571|zbl=0063.00378|권=19|쪽=1–49|doi=10.5169/seals-17331|언어=fr|날짜=1946}}
* {{저널 인용|제목=Undergraduate lecture notes in De Rham–Hodge theory|이름=Vladimir G.|성=Ivancevic|공저자=Tijana T. Ivancevic|arxiv=0807.4991|bibcode=2008arXiv0807.4991I|날짜=2008|언어=en}}

== 같이 보기 ==
* [[호지 추측]]
* [[호지 구조]]
* [[미분 형식]]과 [[복소수 미분 형식]]
* [[켈러 다양체]]
* [[돌보 코호몰로지]]
* [[라플라스 연산자]]

== 외부 링크 ==
* {{nlab|id=Hodge theory}}
* {{nlab|id=Hodge theorem}}
* {{nlab|id=Hodge isomorphism }}
* {{nlab|id=harmonic differential form|title=Harmonic differential form}}
* {{nlab|id=Dolbeault cohomology}}
* {{nlab|id=nonabelian Hodge theory|title=Nonabelian Hodge theory}}
* {{nlab|id=p-adic Hodge theory}}
* {{nlab|id=global Hodge theory|title=Global Hodge theory}}

{{전거 통제}}

[[분류:호지 이론| ]]