수학에서 윌리엄 밸런스 더글러스 호지의 이름을 따서 명명된 **호지 이론**은 리만 다양체의 라플라스 연산자의 코호몰로지를 다루는 이론이다. 또한 편미분 방정식을 사용하여 매끄러운 다양체 에 대한 리만 계량이 주어지면 모든 코호몰로지류가 계량의 라플라스 연산자 아래에서 사라지는 미분 형식인 표준 대표원을 갖는다는 것이다. 이러한 형식을 **조화 형식**이라고 한다.

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

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

## 리만다양체의 호지 이론
매끄러운 ''n''차원 콤팩트 가향 리만 다양체 을 정의할 수 있다. 이 경우 미분 형식 층은 드람 복합체
를 이룬다. 여기서 이다.

이제 (외)미분의 (형식적인) 딸림연산자를 생각하자. 즉 다음을 만족하는 연산자 에 대하여,
(여기서 를 찾을 수 있으며, **공미분**이라고 부른다. 이는 다음과 같다.
여기서 은 **호지 별연산자**라 불리는 연산자로, 형식을 레비치비타 기호와 축약시키는 연산이다.

이제 라플라스 연산자 를 다음과 같이 정의한다.
라플라스 연산자의 값이 0인 형식을 **조화 형식**이라 부른다. 즉 이다.

### 호지 분해와 호지 정리
임의의 는 다음과 같이 유일하게 분해할 수 있다.
여기서 는 조화 형식이다. 즉, 임의의 미분 형식을 조화 성분과 닫힌 성분, 공닫힌 성분으로 유일하게 분해할 수 있다. 이를 **호지 분해**이라고 한다.

만약 ) 공닫힌 성분은 항상 0이다. 즉
이다. 여기서 조화 성분만을 취하면, 과의 동형사상을 얻는다. 즉,
이다. 이를 **호지 정리**라고 하고, 호지가 최초로 증명하였다. 다시 말하면, 임의의 코호몰로지 동치류 를 찾을 수 있다.

### 타원 복합체의 호지 이론
아티야와 보트는 타원 복합체를 드 람 복합체의 일반화로 정의했다. 호지 정리는 다음과 같이 이 설정으로 확장된다. **''에 계량이 장착된 선형 다발이라 하자.

는 이러한 선형 다발의 **''

을 도입한다. 그리고 를 정의한다. 드 람의 경우에서와 같이 이것은 조화 단면의 선형 공간을 산출한다.

**''에 대한 그린 연산자라고 하자. **호지 정리**는 다음을 주장한다.

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

## 복소다양체의 호지 이론
''n''차원 복소다양체 을 생각하자. 에르미트 형식을 써서 내적
를 정의한다. 이 내적을 써서 딸림연산자 를 정의할 수 있다. 이를 써서 라플라스 연산자
를 정의한다. 라플라스 연산자가 0인 형식을 마찬가지로 조화 형식으로 일컫는다.

이들도 마찬가지로
임을 보일 수 있다. 이 경우에도 마찬가지로 호지 정리가 성립한다. 즉 과 동형이다.

이 밖에도, 에르미트 다양체는 리만 다양체를 이루므로, 실수다양체의 경우와 같이 를 기반으로 라플라스 연산자
를 정의할 수 있다. 즉 에르미트 공간에는  세 개의 라플라스 연산자와 그에 관련된 호지 코호몰로지가 존재한다.

만약 에르미트 형식이 닫혀 있다면 (는 켈러 다양체를 이룬다. 이 경우 라플라스 연산자 사이에 다음 관계가 성립한다.
따라서 어느 라플라스 연산자를 쓰는지에 상관없이 같은 코호몰로지를 얻는다.

## 복소 사영 다형체에 대한 호지 이론
**''**''를 켈러 다양체로 만든다.

복소 다양체 **''

**''**''의 코호몰로지 분해를 제공한다.

이 분해는 켈러 계량의 선택과 무관하다(그러나 일반적인 콤팩트 복소 다양체에 대한 비슷한 분해는 없다). 다른 한편으로, 호지 분해는 진정으로 복소 다양체로서 **''**''의 기저 위상 공간에만 의존한다.

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

호지 분해의 조각 **''**''에만 의존한다(켈러 계량의 선택에 의존하지 않음):

여기서 **''**''-형식이 사실 대수적임을 의미한다. )

한편, 적분은 **''**''의 기본류와 교집합하여 계산할 수 있다

**''.

**호지 수** **''**''( 세르 쌍대성에 의해)가 있다.

매끄러운 복소 사영 다형체(또는 콤팩트 켈러 다양체)의 호지 수는 **호지 다이아몬드**에 나열될 수 있다(복소 2차원의 경우에 표시됨).예를 들어, 종수 **''**'' 갖는 호프 곡면의 예에서 볼 수 있듯이 일반적으로 콤팩트 복소 다양체에 대해서는 사실이 아니다.

"켈러 패키지"는 호지 이론을 기반으로 하는 매끄러운 복소 사영 다형체(또는 콤팩트 켈러 다양체)의 코호몰로지에 대한 강력한 제한들의 집합이다. 결과에는 렙셰츠 초평면 정리, 강한 렙셰츠 정리 및 호지-리만 쌍선형 관계가 포함된다. 이러한 결과의 대부분은 켈러 항등식 및 -정리를 포함하는 호지 이론을 통해 콤팩트 켈러 다양체들에 대해 증명된 근본적인 성질들로부터 나온다.

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

## 대수 순환과 호지 추측
**''**''에서 **대수적 순환**이라고 한다.)

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

는 전체 군 **''의 **호지 구조** (복소 코호몰로지의 호지 분해와 적분 코호몰로지의 조합)에 의해 결정된다고 예측한다.

렙셰츠-정리는 호지 추측이 **''**''에 대해 참이라고 말한다.

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

예: 매끄러운 복소 사영 K3 곡면 **''**''와 동형이지만 "특별한" K3 곡면의 경우 교집합이 더 클 수 있다.)

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

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

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

복소 기하학의 기본적인 측면은 비동형 복소 다양체(실 다양체로서 모두 미분동형사상임)의 연속적인 계열이 있다는 것이다. **호지 구조 변형**에 대한 필립 그리피스의 개념은 **''**''에 대한 혼합 호지 구조의 층이다.

## 역사
윌리엄 밸런스 더글러스 호지가 1930년대에 도입하였고, 1941년 조화 적분의 이론과 응용에 집대성하였다. (여기서 "조화 적분"은 조화 형식을 호지가 불렀던 이름이다.)

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

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

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

이와는 별도로 솔로몬 렙셰츠의 1927년 논문은 리만의 정리를 다시 증명하기 위해 위상수학적 방법을 사용했다.

호지는 이러한 기술이 더 높은 차원의 다형체에도 적용되어야 한다고 느꼈다. 그의 동료인 피터 프레져는 드 람의 논문을 그에게 추천했다. 드 람의 논문을 읽으면서 호지는 리만 곡면의 정칙 1형의 실수 부분과 허수 부분이 어떤 의미에서 서로 쌍대적이라는 것을 깨달았다. 그는 더 높은 차원에서 비슷한 쌍대성이 있어야 한다고 의심했다. 이 쌍대성은 이제 호지 별 연산자 로 알려져 있다. 그는 또한 각 코호몰로지류가 외미분 연산자 아래에서 그것과 그것의 쌍대가 사라지는 성질을 가진 유일한 대표를 가져야 한다고 추측했다. 이들은 이제 조화 형식이라고 부른다. 호지는 1930년대의 대부분을 이 문제에 바쳤다. 증명에 대한 그의 초기 출판 시도는 1933년에 나타났지만 그는 그것이 "극단적으로 조잡하다"고 생각했다. 그 시대의 가장 뛰어난 수학자 중 한 명인 헤르만 바일은 호지의 증명이 올바른지 여부를 결정할 수 없다는 것을 알게 되었다. 1936년에 호지는 새로운 증명을 발표했다. 호지는 새로운 증명이 훨씬 우수하다고 생각했지만 Bohnenblust는 심각한 결함을 발견했다. 독립적으로 헤르만 바일과 고다이라 구니히코는 오류를 수정하기 위해 호지의 증명을 수정했다. 이것은 호지가 추구하는 조화 형식과 코호몰로지류 사이의 동형사상을 확립했다.