[论文解读] 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数的维数可任意增大，并随近乎Hermitian度量而变化——解决了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.

研究动机与目标

• 开发一种有效方法，用于计算具有近乎复结构的非Kähler流形上的∂̄-调和形式。
• 解决Kodaira与Spencer提出的长期疑问：在近乎复设定下，Hodge数是否独立于近乎Hermitian度量的选择。
• 证明在近乎复设定下，∂̄-Hodge数的维数可任意增大，与Kähler几何中所见的有界性相反。
• 通过ODE约化，建立寻找∂̄-调和形式的问题与广义Gauss圆问题之间的联系。

提出的方法

• 应用Weil-Brezin变换将Kodaira-Thurston流形上的函数分解为傅里叶模态，将∂̄-调和PDE系统约化为可数个线性ODE系统。
• 通过拉普拉斯积分变换分析傅里叶分解产生的ODE系统，求解n ≠ 0的情形。
• 通过直接分析零频模态下得到的ODE，求解n = 0的情形。
• 通过ODE系统的谱分析，将寻找∂̄-调和(0,1)-形式的问题约化为广义Gauss圆问题。
• 在近乎Kähler流形上利用恒等式(∆µ + ∆∂̄)s = (∆µ̄ + ∆∂)s，推导∂̄-调和(0,1)-形式的约束条件。
• 应用内积估计与L²范数恒等式，推导出在Hk,m,n空间中解存在的n的可能取值的上界。

实验结果

研究问题

• RQ1 在Kodaira-Thurston流形上，对于非可积的近乎复结构，∂̄-Hodge数h0,1的维数是否可任意增大？
• RQ2 在近乎复设定下，Hodge数hp,q是否如Kodaira与Spencer所猜想的那样，独立于近乎Hermitian度量的选择？
• RQ3 在近乎Kähler族中，近乎复结构的连续形变下，Hodge数的变化程度如何？
• RQ4 寻找∂̄-调和形式的问题是否可约化为如广义Gauss圆问题之类的数论问题？
• RQ5 ∂̄-调和方程对Kodaira-Thurston流形上微分形式的傅里叶模态施加了何种约束？

主要发现

• 对于Kodaira-Thurston流形上的近乎复结构Ja,b，h0,1的维数可任意大；对任意不被8整除的正整数n，存在参数a,b使得h0,1Ja,b = n。
• Kodaira-Thurston流形上的Hodge数hp,q并非独立于近乎Hermitian度量，表明在近乎复设定下它们并非度量不变。
• 寻找∂̄-调和(0,1)-形式的问题等价于广义Gauss圆问题，将微分几何与数论联系起来。
• 对于标准正交度量，除非|n| ≤ √2b² / (8π)，否则不存在具有Hk,m,n傅里叶模态的∂̄-调和(0,1)-形式，这给出了此类形式频率内容的精确上界。
• 当度量为近乎Kähler时，近乎复结构Ja,b的Hodge数h1,1恰好为3，与近乎Kähler流形的一般公式一致。
• 利用恒等式(∆µ + ∆∂̄)s = (∆µ̄ + ∆∂)s，推导出对任意∂̄-调和(0,1)-形式s，有∥∂s∥² = ∥µs∥²，该关系在控制解的大小方面起关键作用。