[論文レビュー] Harmonic Forms on the Kodaira-Thurston Manifold

Tom Holt, Weiyi Zhang|arXiv (Cornell University)|Jan 29, 2020

Algebraic Geometry and Number Theory参考文献 16被引用数 11

ひとこと要約

この論文は、Weil-Brezin変換を用いて、Kodaira-Thurston多様体上の∂̄-調和形式の楕円型PDE系を可算無限個の線形ODE系に還元する有効な手法を開発し、∂̄-Hodge数の次元が任意に大きくならず、ほぼ複素構造に従って変化することを示した。これは、KodairaとSpencerが提起した、ほぼ複素設定におけるHodge数の計量不変性に関する長年の未解決問題に答えている。

ABSTRACT

We introduce an effective method to solve the $\bar\partial$-harmonic forms on the Kodaira-Thurston manifold endowed with an almost complex structure and an Hermitian metric. Using the Weil-Brezin transform, we reduce the elliptic PDE system to countably many linear ODE systems. By solving a fundamental problem on linear ODE systems, the problem of finding $\bar\partial$-harmonic forms is equivalent to a generalised Gauss circle problem. We demonstrate two remarkable applications. First, the dimension of the almost complex $\bar\partial$-Hodge numbers on the Kodaira-Thurston manifold could be arbitrarily large. Second, Hodge numbers vary with different choices of Hermitian metrics. This answers a question of Kodaira and Spencer in Hirzebruch's 1954 problem list.

研究の動機と目的

• 非ケーラー多様体にほぼ複素構造を持つ場合の∂̄-調和形式を効果的に計算する手法を開発すること。
• KodairaとSpencerが提起した、ほぼ複素設定におけるHodge数がほぼヘルミート計量の選択に依存しないかどうかという長年の未解決問題に取り組むこと。
• Kähler幾何における有界性とは対照的に、ほぼ複素設定において∂̄-Hodge数の次元が任意に大きく取り得ることを示すこと。
• ∂̄-調和形式の問題をODE還元を通じて一般化されたガウスの円問題に結びつけること。

提案手法

• Kodaira-Thurston多様体上の関数をフーリエモードに分解するためにWeil-Brezin変換を適用し、∂̄-調和PDE系を可算無限個の線形ODE系に還元すること。
• n ≠ 0の場合をラプラス積分変換を用いて、フーリエ分解から生じるODE系を解析することで解くこと。
• n = 0の場合をゼロ周波数モードに生じるODEを直接解析することで解くこと。
• ∂̄-調和(0,1)-形式の数え上げ問題を、ODE系のスペクトル解析を通じて一般化されたガウスの円問題に還元すること。
• ほぼケーラー多様体上での恒等式(∆µ + ∆∂̄)s = (∆µ̄ + ∆∂)s を用いて、∂̄-調和(0,1)-形式に制約を導出すること。
• 内積推定とL2ノルムの恒等式を適用し、Hk,m,n空間において解が存在するためのnの可能な値の上界を導出すること。

実験結果

リサーチクエスチョン

• RQ1 非可積分的ほぼ複素構造を持つKodaira-Thurston多様体上での∂̄-Hodge数h0,1の次元は、任意に大きくとれるか？
• RQ2 KodairaとSpencerが予想したように、ほぼ複素設定において∂̄-Hodge数の次元hp,qは、ほぼヘルミート計量の選択に依存しないか？
• RQ3 ほぼケーラー族におけるほぼ複素構造の連続的変形の下で、Hodge数はどの程度変化するか？
• RQ4 ∂̄-調和形式の問題は、一般化されたガウスの円問題のような数論的問題に還元可能か？
• RQ5 ∂̄-調和方程式は、Kodaira-Thurston多様体上での微分形式のフーリエモードにどのような制約を課えるか？

主な発見

• Kodaira-Thurston多様体上のほぼ複素構造Ja,bに対して、h0,1の次元は任意に大きくとれる。8で割り切れない任意の正の整数nに対して、h0,1Ja,b = nを満たすパラメータa,bが存在する。
• Kodaira-Thurston多様体上のHodge数hp,qは、ほぼヘルミート計量に依存するため、ほぼ複素設定では計量不変ではないことが示された。
• ∂̄-調和(0,1)-形式を見つける問題は、一般化されたガウスの円問題と同値であり、微分幾何学と数論の間の接点を示している。
• 標準的またはthonormal計量の場合、Hk,m,nに属するフーリエモードを持つ∂̄-調和(0,1)-形式が存在するための必要十分条件は|n| ≤ √2b² / (8π) であり、この形式の周波数成分の上限が明確に与えられた。
• 計量がほぼケーラーである場合、ほぼ複素構造Ja,bにおけるHodge数h1,1の値は正確に3であり、ほぼケーラー多様体の一般公式と整合的である。
• 恒等式(∆µ + ∆∂̄)s = (∆µ̄ + ∆∂)s を用いて、任意の∂̄-調和(0,1)-形式sに対して∥∂s∥² = ∥µs∥² が導かれる。これは解の大きさを制限するために中心的な役割を果たす。