[論文レビュー] Generalized geometry and the Hodge decomposition

Marco Gualtieri|ArXiv.org|Sep 7, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 50

ひとこと要約

この論文は、一般化幾何学を用いて、コンパクトな一般化Kähler多様体のねじれコホモロジーに対してHodge分解を確立する。Courant括弧と一般化複素構造を用いて$(p,q)$-重層を導入する。主な貢献は一般化$dd^c$-補題と、Betti数に偶奇制約を課すHodge分解であり、古典的Kähler結果を一般化された設定に拡張する。

ABSTRACT

In this lecture, we review some of the concepts of generalized geometry, as introduced by Hitchin and developed in the speaker's thesis. We also prove a Hodge decomposition for the twisted cohomology of a compact generalized Kähler manifold, as well as a generalization of the $dd^c$-lemma of Kähler geometry.

研究の動機と目的

• Kählerから一般化Kähler幾何への古典的Hodge理論および$dd^c$-補題の拡張。
• コンパクトな一般化Kähler多様体のねじれコホモロジーに対するHodge分解の確立。
• 一般化Hodge構造を用いたBetti数への位相的制約の導出。
• Courant括弧と一般化複素構造がコホモロジー的分解に果たす役割の明確化。
• 一般化$dd^c$-補題の一般化と、一般化された設定における強いLefschetz性質との関係の特定。

提案手法

• T\oplus T^* 上の$O(n,n)$-構造と、微分形式をスピンルとして作用させるClifford代数作用を用いる。
• 構造群を$U(n,n)$に還元することで一般化複素構造を定義し、$+i$-固有バンドル上のCourant括弧による積分可能性を満たす。
• 閉3形式$H$を用いてねじれCourant括弧$[,]_H$を導入し、標準的括弧の一般化を行う。
• 変形を研究するため、$\mathcal{E} = (\wedge^\bullet E^*, d_E)$ 上の微分Gerstenhaber代数構造を適用する。
• 一般化Kähler恒等式$\overline{\delta}_+^* = -\delta_+$ および $\overline{\delta}_-^* = -\delta_-$ を用いてラプラシアンを等しくする。
• Hodge分解を導出するため、$\Delta_{d_H} = 4\Delta_{\overline{\delta}_\pm}$ を示し、$H^\bullet_H(M,\mathbb{C})$ 上に$(p,q)$-重層を導く。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな一般化Kähler多様体のねじれコホモロジーに対してHodge分解が存在するか？
• RQ2 古典的$dd^c$-補題は一般化Kähler幾何の設定に一般化可能か？
• RQ3 一般化Hodge構造によってBetti数にどのような位相的制約が生じるか？
• RQ4 一般化複素構造とCourant括弧は、どのようにして調和的分解を生じさせるか？
• RQ5 一般化Kähler幾何におけるClifford分解とDolbeault分解の関係は何か？

主な発見

• コンパクトな一般化Kähler多様体のねじれコホモロジーはHodge分解を備える：$H^\bullet_H(M,\mathbb{C}) = \bigoplus_{|p+q|\leq n,\, p+q\equiv n\pmod{2}} \mathcal{H}^{p,q}$、ここで$\mathcal{H}^{p,q}$ は$U_{p,q}$内に存在する$\Delta_{d_H}$-調和形式である。
• 一般化$dd^c$-補題が成立する：コンパクトなねじれ一般化Kähler多様体において、$\rho$ が$d_H$-閉かつ$d^\mathcal{J}_H$-閉であることは、$\rho$ が$d^\mathcal{J}_H$-閉かつ$d_H$-閉であることと同値であり、あるいは$\rho = d_H d^\mathcal{J}_H \tau$ を満たすある$\tau$ が存在する。
• 次元が$\dim M = 4k+2$ のとき、奇数Betti数$b^{od}_H$ と偶数Betti数$b^{ev}_H$ はともに偶数でなければならない。次元が$\dim M = 4k$ のとき、型ペア$(p,q)$ に応じて偶奇制約が適用される。
• Hodge自己同型はClifford分解をDolbeault分解に写像する。一般化された設定では、形式が閉であることは、それが共閉であり、したがって調和的であることと同値である。
• $\mathbb{C}P^2$ はBetti数の偶奇制約に反するため、型$(1,1)$の一般化Kähler構造をもたない。
• 一般化Kähler恒等式により、すべてのラプラシアンが等しいことが示される：$\Delta_{d_H} = 2\Delta_{\overline{\partial}_{1/2}} = 4\Delta_{\overline{\delta}_\pm}$、これによりHodge分解の存在が保証される。