호지 구조

대수기하학에서 호지 구조(Hodge構造, 영어: Hodge structure)는 켈러 다양체 위에 호지 이론으로 주어지는 코호몰로지의 분해와 같은 성질들을 만족시키는 벡터 공간의 분해이다.

정의

순수 호지 구조

무게가 $n$인 순수 호지 구조(純粹Hodge構造, 영어: pure Hodge structure) $(H,F^{\bullet })$는 다음과 같은 데이터로 구성된다.^{:Definition 1}

• 자유 아벨 군 $H$
• 복소수 벡터 공간의 유한 감소 여과 $H{\otimes }_{\mathbb{Z}}ℂ=F^0\supseteq F^1\supseteq \cdots \supseteq F^n$

이는 다음 성질을 만족시켜야 한다.

• $p+q=n+1$이라면, $F^p\cap {\overline{F}}^q=\{0\}$, $F^p\oplus {\overline{F}}^q=H\otimes ℂ$

순수 호지 구조 $(H,F^{\bullet })$에 대하여, 다음과 같은 벡터 공간들을 정의한다.

$H^{p,q}=F^p\cap {\overline{F}}^q$

그렇다면 다음이 성립한다.

$H\otimes ℂ=H^{0,n}\oplus H^{1,n-1}\oplus \cdots \oplus H^{n,0}$

${\overline{H}}^{p,q}\cong H^{q,p}$

무게 $n$의 순수 호지 구조 $(H,F^{\bullet })$의 호지 수(Hodge數, 영어: Hodge number) $h^{\bullet ,n-\bullet }$는 다음과 같다.

$h^{p,n-p}={\dim }_{ℂ}{H}^{p,q}={\dim }_{ℂ}{\mathrm{gr}}_F^p(H{\otimes }_{\mathbb{Z}}ℂ)$

순수 호지 구조는 복소수 벡터 공간 $H{\otimes }_{\mathbb{Z}}ℂ$ 위의, 복소수 곱셈군 $𝕊(ℝ)={ℂ}^{\times }$의 표현으로도 정의할 수 있다. 이 경우, $H^{p,q}$는 ${ℂ}^{\times }$의 작용이 $z:v\mapsto z^p{\overline{z}}^{q}v$의 꼴인 성분이다.

같은 무게의 두 순수 호지 구조 사이의 사상(寫像, 영어: morphism) $f:H\to H^{\prime }$은 다음과 같은 성질을 만족시키는 아벨 군 준동형이다.

• $f(H^{p,q})\subset \underset{i\ge 0}{⨁}H{\text{'}}^{p+i,q-i}$

무게 $k$의 두 개의 순수 호지 구조 $H$, $H^{\prime }$이 주어졌을 때, 직합 $H\oplus H^{\prime }$ 역시 무게 $k$의 순수 호지 구조를 이룬다.

무게 $k$의 순수 호지 구조 $H$와 무게 $k^{\prime }$의 순수 호지 구조 $H^{\prime }$이 주어졌을 때, 텐서곱 $H\otimes H^{\prime }$은 무게 $k{k}^{\prime }$의 순수 호지 구조를 이룬다.

무게 $k$의 순수 호지 구조 $H$ 위의 극성화(極性化, 영어: polarization) $Q$는 다음 조건들을 만족시키는, $H$ 위의 정수 이차 형식이다.

• $Q^{ℂ}(a,b)=(-1{)}^k{\mathbb{Q}}^{ℂ}(b,a)\mathrm{\forall }a,b\in H{\otimes }_{\mathbb{Z}}ℂ$
• $Q^{ℂ}(a,b)=0\mathrm{\forall }a\in H^{p,q},b\in H^{p^{\prime },q^{\prime }},(p,q)\ne (q^{\prime },p^{\prime })$
• $i^{p-q}Q(a,\overline{a})\in {ℝ}^{+}\mathrm{\forall }a\in H^{p,q}\setminus \{0\}$

혼합 호지 구조

혼합 호지 구조(混合Hodge構造, 영어: mixed Hodge structure) $(H,F^{\bullet },W_{\bullet })$는 다음과 같은 데이터로 구성된다.^{:Definition 10(1)}

• 아벨 군 $H$
• $H\otimes ℂ$ 위의, 복소수 벡터 공간들의 유한 감소 여과 $H\otimes ℂ=F^0\supseteq F^1\supseteq \cdots \supseteq F^k$. 이를 호지 여과(Hodge濾過, 영어: Hodge filtration)라고 한다.
• $H\otimes \mathbb{Q}$ 위의, 유리수 벡터 공간들의 유한 증가 여과 $W_0\subseteq W_1\subseteq \cdots \subseteq W_m=H\otimes \mathbb{Q}$. 이를 무게 여과(-濾過, 영어: weight filtration)라고 한다.

이는 다음을 만족시켜야 한다.

• 모든 $n$에 대하여, ${\mathrm{gr}}_n^{W}H=(W_n/W_{n-1})\otimes ℂ$ 위의 감소 여과 $F^p{\mathrm{gr}}_n^{W}H=(F^p\cap W_n\otimes ℂ+W_{n-1}\otimes ℂ)/(W_{n-1}\otimes ℂ)$는 무게 $n$의 순수 호지 구조를 이룬다.

혼합 호지 구조 위의 극성화는 무게 여과의 각 등급 성분에 주어지는 극성화로 구성된다.

혼합 호지 구조 $(H,F^{\bullet },W_{\bullet })$의 호지 수(Hodge數, 영어: Hodge number) $h^{\bullet ,\bullet }$는 다음과 같다.^{:Definition 10(3)}

$h^{p,q}={\dim }_{ℂ}{\mathrm{gr}}_F^p{\mathrm{gr}}_{p+q}^W(H{\otimes }_{\mathbb{Z}}ℂ)$

두 혼합 호지 구조 $(H,F,W)$, $(H^{\prime },F^{\prime },W^{\prime })$ 사이의 사상(寫像, 영어: morphism) $f:H\to H^{\prime }$은 다음과 같은 성질을 만족시키는, 아벨 군의 준동형이다.

• $f(F^p)\subseteq F{\text{'}}^p$
• $f(W_{k}H)\subseteq W{\text{'}}_k$

혼합 호지 구조와 그 사상들의 범주는 아벨 범주를 이룬다. 이 범주에서의 핵과 여핵은 (망각 함자를 통해) 복소수 벡터 공간에서의 핵 · 여핵과 일치한다. 또한, 이 범주는 텐서곱을 가지며, 텐서곱을 통하여 단나카 범주(영어: Tannakian category)를 이룬다.

다양체의 호지 구조

켈러 다양체

콤팩트 켈러 다양체 (또는 복소수체 위의 비특이 완비 사영 대수다양체) $X$의 복소수 계수 특이 코호몰로지 $H^k(X;ℂ)=H^k(X;\mathbb{Z})\otimes ℂ$는 호지 이론에 의하여 다음과 같이 분해된다.

$H^k(X;\mathbb{Z})\otimes ℂ=\underset{p+q=k}{⨁}{H}^{p,q}(X)\mathrm{\forall }k=0,1,\dots ,n$

이는 무게 $n$의 순수 호지 구조를 이룬다. 또한, 모든 차수의 코호몰로지들의 직합

$H(X;\mathbb{Z})=\underset{n}{⨁}{H}^n(X;\mathbb{Z})$

은 혼합 호지 구조를 이룬다. 여기서 무게 여과는

$W_k=\underset{i\le k}{⨁}{H}^i(X;\mathbb{Z})\otimes \mathbb{Q}$

이며, 호지 여과는

$F^p=\underset{i\ge p}{⨁}{H}^{i,n-i}$

이다.

두 콤팩트 켈러 다양체 사이의 정칙 사상 $f:M\to M^{\prime }$은 순수 호지 구조의 사상

$f^{*}:H^n(M^{\prime })\to H^n(M)$

을 유도한다.^{:Example 7}

비완비 비특이 대수다양체

(완비 대수다양체가 아닐 수 있는) 복소수 비특이 대수다양체 $X$의 $k$차 특이 코호몰로지 $H^k(X;\mathbb{Z})$ 위에는 자연스럽게 혼합 호지 구조가 존재하며, 무게 여과에 따라 $H^k(X;\mathbb{Z})$ 위에 존재하는 무게는 $k,k+1,\dots ,\min \{2{\dim }_{ℂ}X,2k)$이다.^{:Theorem 8}

${\mathrm{gr}}_n^W{H}^k(X;\mathbb{Q})\ne 0⟹k\le n\le \min \{2{\dim }_{ℂ}U,2k\}$

또한, 이는 함자적이다. 즉, 이는 복소수 비특이 대수다양체의 범주의 반대 범주에서, 혼합 호지 구조의 범주로 가는 함자를 이룬다.

비특이 사영 대수다양체 $X$의 닫힌 비특이 부분다양체 $Y\hookrightarrow X$가 주어진다면, 대수적 위상수학에 따라서 다음과 같은 (상대) 특이 코호몰로지의 (아벨 군으로서의) 긴 완전열이 존재한다.

$\cdots \to H^i(X,Y)\to H^i(X)\to H^i(Y)\to H^{i+1}(X,Y)\to H^{i+1}(X)\to \cdots$

혼합 호지 구조 함자에 따라서, 이는 혼합 호지 구조의 긴 완전열을 이룬다. 이 경우 $H^{\bullet }(X)$는 순수 호지 구조이지만, $H^{\bullet }(X,Y)$ 및 $H^{\bullet }(Y)$는 순수 호지 구조가 아닐 수 있다.

특이 대수다양체

보다 일반적으로, (특이점을 가질 수 있는) 임의의 복소수 준사영 대수다양체에 대해서도 혼합 호지 구조를 자연스럽게 정의할 수 있다. 일부 경우 이는 미분 형식으로 계산할 수 있다.

관련 개념

호지 구조의 변동(Hodge構造의變動, 영어: variation of Hodge structure)은 대략 어떤 복소다양체로 매개변수화된 호지 구조들의 족이다. 필립 오거스터스 그리피스가 도입하였다.

호지 가군(Hodge加群, 영어: Hodge module)은 대략 "호지 구조들의 층"으로 생각할 수 있다. 사이토 모리히코(일본어: 斎藤 盛彦)가 도입하였다.

예

무게 0 또는 1의 호지 구조

임의의 아벨 군 $H$에, 다음과 같이 자명하게 무게 0의 순수 호지 구조를 줄 수 있다.

$H^{0,0}=H{\otimes }_{\mathbb{Z}}ℂ$

$F^0=H{\otimes }_{\mathbb{Z}}ℂ$

만약 호지 구조의 차수 $(p,q)$가 둘 다 음이 아닌 정수라면 이는 무게 0의 유일한 순수 호지 구조이다.

아벨 군 $H$ 위의, 무게 1의 순수 호지 구조는 (만약 차수 $(p,q)$가 모두 음이 아닌 정수라면) 실수 벡터 공간$H{\otimes }_{\mathbb{Z}}ℝ$ 위의 복소구조

$J:H{\otimes }_{\mathbb{Z}}ℝ\to H{\otimes }_{\mathbb{Z}}ℝ$

$J^2=-1$

와 같다. 이 경우,

$H^{1,0}=\{v\in H{\otimes }_{\mathbb{Z}}ℂ:J^{ℂ}v=iv\}$

$H^{0,1}=\{v\in H{\otimes }_{\mathbb{Z}}ℂ:J^{ℂ}v=-iv\}$

이다. 여기서

$J^{ℂ}:H{\otimes }_{\mathbb{Z}}ℂ\to H{\otimes }_{\mathbb{Z}}ℂ$

$(J^{ℂ}{)}^2=-1$

는 $J$의 복소수체로의 선형 확대이다.

보다 일반적으로, 임의의 아벨 군 $H$ 위에, 짝수 무게 $2n$의 자명한 순수 호지 구조를 다음과 같이 줄 수 있다.^{:Example 1}

$H^{p,q}=\{\begin{array}{cc}H{\otimes }_{\mathbb{Z}}ℂ& (p,q)=(n,n)\\ \{0\}& (p,q)\ne (n,n)\end{array}$

테이트 호지 구조(영어: Tate Hodge structure) $\mathbb{Z}(1)$는 $\mathbb{Z}$ 위에 정의되는, 무게 $-2$의 순수 호지 구조이다.^{:Example 2} 이의 텐서곱을 취하여 얻는, 자명한 무게 $-2n$의 호지 구조는 $\mathbb{Z}(n)$으로 쓴다.

테이트 뒤틂

무게 $k$의 순수 호지 구조 $(H,F^{\bullet })$ 및 정수 $r$가 주어졌을 때, 테이트 뒤틂(영어: Tate twist) $H(r)$는 다음과 같은, 무게 $k+2r$의 순수 호지 구조이다.^{:Example 3}

• 아벨 군으로서, $H(r)=H$
• $H(r{)}^{p,q}=H^{p-r,q-r}$

구멍을 뚫은 타원 곡선

복소수 타원 곡선 $E$에 서로 다른 닫힌 점 $z_1,\dots ,z_k\in E$가 주어졌다고 하자. 이 경우, 점을 제거한 타원 곡선의 혼합 호지 구조는 다음과 같다.^{:Example 18} 우선, 특이 코호몰로지는 다음과 같다.

$H^0(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})=0$

$H^1(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})\cong {\mathbb{Q}}^{k+1}(k>1)$

$H^2(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})=0(k>0)$

상대 코호몰로지 긴 완전열을 사용하면 다음과 같다.

$0\to H^0(E,E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})=0\to H^0(E;\mathbb{Q})\to H^0(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})\to H^1(E,E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})=0\to H^1(E;\mathbb{Q})\to H^1(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})\to H^2(E,E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})\to H^2(E;\mathbb{Q})\to H^2(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})=0$

즉, 이는 다음과 같이 분해된다.

$0\to H^0(E;\mathbb{Q})\to H^0(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})\to 0$

$0\to H^1(E;\mathbb{Q})\to H^1(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})\to H^2(E,E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})\to H^2(E;\mathbb{Q})\to 0$

긴 완전열의 사상은 혼합 호지 구조의 사상을 이루므로, 이를 무게에 따라 분해하면 다음과 같다.

$0\to H^1(E;\mathbb{Q})\cong {\mathbb{Q}}^2\to {\mathrm{gr}}_1^W{H}^1(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})\to {\mathrm{gr}}_1^W{H}^2(E,E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})=0$

$0\to {\mathrm{gr}}_2^W{H}^1(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})\to H^2(E,E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})\cong {\mathbb{Q}}^k\to H^2(E;\mathbb{Q})\cong \mathbb{Q}\to 0$

즉,

${\mathrm{gr}}_0^W{H}^0(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})=H^0(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})$

${\dim }_{\mathbb{Q}}{\mathrm{gr}}_1^W{H}^1(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})=2$

${\mathrm{gr}}_2^W{H}^1(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})=H^2(E\setminus \{z_1,\dots ,z_k\};\mathbb{Q})$

이며, 구멍이 뚫린 타원 곡선의 1차 코호몰로지의 혼합 호지 구조는 무게 1 및 2를 가진다.

횡단 교차

대수다양체 $X$가 두 개의 비특이 사영 대수다양체 $X_1$과 $X_2$의 합집합이며, $X_1$과 $X_2$는 횡단적으로 교차한다면, 그 호지 구조를 다음과 같이 계산할 수 있다.^:§4 대수적 위상수학에 따르면, 특이 코호몰로지 위에 마이어-피토리스 완전열이 존재한다.

$\cdots \to H^{i-1}(X_1\cap X_2)\stackrel{{\delta }_{i-1}}{\to }{H}^i(X)\to H^i(X_1)\oplus H^i(X_2)\to H^i(X_1\cap X_2)\stackrel{{\delta }_i}{\to }{H}^{i+1}(X)\to \cdots$

이는 혼합 호지 구조의 완전열을 이룬다. 이 완전열에서 $H^i(X_1\cap X_2)$와 $H^i(X_1)\oplus H^i(X_2)$는 무게 $i$의 순수 호지 구조를 가지지만, $H^i(X)$는 일반적으로 무게 $i$ 및 $i-1$을 갖는 혼합 호지 구조이며, 구체적으로 다음과 같다.

$W_j(H^i(X))=\{\begin{array}{cc}{H}^i(X)& j\ge i\\ \mathrm{im}{\delta }_{i-1}& j=i-1\\ 0& j<i-1\end{array}$

각주

• Peters, Christiaan; Steenbrink, Joseph H. M. (2008). 《Mixed Hodge structures》 (영어). Ergebnisse der Mathematik und ihrer Grenzgebiete 52. Springer. doi:10.1007/978-3-540-77017-6. ISBN 978-3-540-77015-2. 2015년 3월 26일에 원본 문서에서 보존된 문서. 2015년 7월 26일에 확인함. 
• Eduardo Cattani, Fouad El Zein, Phillip A. Griffiths, Lê Dũng Tráng 편집 (2014). 《Hodge theory》 (영어). Mathematical Notes 49. Princeton University Press. ISBN 9780691161341.  CS1 관리 - 여러 이름 (링크)

외부 링크

• “Hodge structure” (영어). 《Encyclopedia of Mathematics》. Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• “Variation of Hodge structure” (영어). 《Encyclopedia of Mathematics》. Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• “Hodge structure” (영어). 《nLab》. 
• “Examples of mixed Hodge structures” (영어). Math Overflow. 
• Sabbah, Claude. “Théorie de Hodge et théorème de Lefschetz «difficile». Notes de cours (Strasbourg 2000, Bordeaux 2001)” (PDF) (프랑스어). 

같이 보기

• 호지 이론
• 호지 추측
• 모티브 (수학)