[論文レビュー] Almost Kähler Kodaira-Spencer problem

Tom Holt, Weiyi Zhang|arXiv (Cornell University)|Oct 23, 2020

Geometry and complex manifolds参考文献 5被引用数 7

ひとこと要約

この論文は、ほぼケーラー構造におけるコーディア＝スペンサーアンチ問題を解決し、ほぼ複素構造のホッジ数 $ h^{0,1} $ がほぼケーラー計量の変更に対して不変でないことを示している。ヘイゼンベルク群上の調和解析とフーリエ変換に基づく PDE-ODE-NT 法を用いて、著者らは $ h^{0,1} $ が、選択されたほぼケーラー計量に応じて 2 または 4 という異なる値を取ることを示し、これにより、Kodaira-Thurston多様体に対して $ h^{0,1} $ がほぼケーラー不変量でないことが証明された。

ABSTRACT

We show that the almost complex Hodge number $h^{0,1}$ varies with different choices of almost Kähler metrics. This answers the almost Kähler version of a question of Kodaira and Spencer.

研究の動機と目的

• ほぼ複素 4 次元多様体上のほぼケーラー計量の変更に対してホッジ数 $ h^{0,1} $ が不変であるかどうかを特定すること。
• $ h^{p,q} $ が異なるほぼケーラー構造間で変わらないかどうかを問う、ほぼケーラー版のコーディア＝スペンサー問題を解決すること。
• 次元 4 における唯一の未解決のホッジ数である $ h^{0,1} $ が、ほぼケーラー不変量かどうかを調査すること。
• 先行研究で開発された PDE-ODE-NT 法を拡張し、変化するほぼケーラー計量下での $ h^{0,1} $ の計算を可能とすること。

提案手法

• 著者らは PDE-ODE-NT 法を用い、Kodaira-Thurston 多様体上の楕円型 PDE を Weil-Brezin 変換を用いて可算個の 1 階線形 ODE システムに変換した。
• この方法により、問題は ODE システムにおけるストークス現象の分析と、円上に存在する格子点の数え上げに還元され、ヘイゼンベルク群上の調和解析が用いられた。
• $ n=0 $ の場合、解は半径 $ d $ の円と点 $ (d, 0) $ を中心とする円の交点における格子点上の二次ディオファントス条件を満たすものとして得られた。
• $ n \neq 0 $ の場合、システムは形式 $ \frac{d}{dx}\begin{pmatrix}f\\g\end{pmatrix} = (Ax + B)\begin{pmatrix}f\\g\end{pmatrix} $ の $ 2 \times 2 $ 行列 ODE に簡略化され、$ L^2 $ 解の存在とストークス現象を解析する定理が適用された。
• $ L^2 $ 解の存在は、変換された行列 $ PBP^{-1} $ の非対角成分の積が $ (\lambda_1 - \lambda_2)\mathbb{Z}^{-} $ に属するという条件に依存する。
• 解析により、$ h^{0,1} $ が $ \sqrt{\rho} \in \mathbb{Z} $ のとき 4、$ \sqrt{\rho} \in \mathbb{Q} \setminus \mathbb{Z} $ のとき 2 に依存することが判明した。特定の計量選択下でその値が変化する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなほぼ複素 4 次元多様体上で、ほぼケーラー計量の変更に対してホッジ数 $ h^{0,1} $ は不変か？
• RQ2 同じほぼ複素構造に適合する異なるほぼケーラー計量に対して、$ h^{0,1} $ は異なる値を取ることができるか？
• RQ3 PDE-ODE-NT 法は、変化するほぼケーラー構造下での $ h^{0,1} $ の計算を可能にするか？
• RQ4 $ h^{0,1} $ はほぼケーラー不変量か、それとも $ \bar{\partial} $-ラプラシアンの計量依存解によって変化しうるか？
• RQ5 $ \sqrt{\rho} $ と $ d = \frac{b}{8\pi} $ の代数的性質が、$ h^{0,1} $ の値を決定する上で果たす役割は何か？

主な発見

• ホッジ数 $ h^{0,1} $ は、計量の選択に応じて異なる値を取るため、ほぼケーラー計量の変更に対して不変ではない。
• $ \sqrt{\rho} \in \mathbb{Z} $ のとき $ h^{0,1} = 4 $、$ \sqrt{\rho} \in \mathbb{Q} \setminus \mathbb{Z} $ のとき $ h^{0,1} = 2 $ である。
• $ h^{0,1} = 0 $ は $ \sqrt{\rho} \notin \frac{1}{\pi}\overline{\mathbb{Q}} $ のときにのみ可能であり、計量パrameter に強く依存することが示された。
• この論文は、$ h^{0,1} $ がほぼケーラー計量の変形によって変化することを確認し、質問 1.2 に対して肯定的な答えを与えた。
• 著者らは、$ J_{a,b} $ のほぼ複素構造を変化させることで $ h^{0,1} $ を任意に大きくできることを示した。これは [6] の計算結果が支持している。
• 結果として、$ h^{1,1} $ がほぼケーラー計量に対して不変であることが知られているにもかかわらず、$ h^{0,1} $ はほぼケーラー不変量でないことが示された。