[论文解读] The Seiberg-Witten equations and the length spectrum of hyperbolic three-manifolds

Francesco Lin, Michael Lipnowski|arXiv (Cornell University)|Oct 15, 2018

Geometric and Algebraic Topology参考文献 49被引用 6

一句话总结

本文首次确定了双曲三维流形——具体为霍奇森-韦克斯普查中的23个——其Seiberg-Witten方程无不可约解，通过共轭1-形式的谱几何与Selberg迹公式，将双曲几何（体积、长度谱）与此类解的不存在性联系起来。关键贡献在于为双曲有理同调球面中不可约解的存在性提供了新颖的几何障碍。

ABSTRACT

We exhibit the first examples of hyperbolic three-manifolds for which the Seiberg-Witten equations do not admit any irreducible solution. Our approach relies on hyperbolic geometry in an essential way; it combines an explicit upper bound for the first eigenvalue on coexact $1$-forms $λ_1^*$ on rational homology spheres which admit irreducible solutions together with a version of the Selberg trace formula relating the spectrum of the Laplacian on coexact $1$-forms with the volume and complex length spectrum of a hyperbolic three-manifold. Using these relationships, we also provide precise numerical bounds on $λ_1^*$ for several hyperbolic rational homology spheres.

研究动机与目标

• 确定哪些双曲三维流形的Seiberg-Witten方程无不可约解，这是3-流形拓扑学中长期悬而未决的问题。
• 通过将几何不变量（体积、长度谱）与Seiberg-Witten方程的解联系起来，建立双曲几何与Floer同调之间的桥梁。
• 利用谱理论，为有理同调球面上共轭1-形式上的第一特征值 $\lambda_1^*$ 提供明确的数值界限。
• 证明这些流形中不可约解的缺失意味着其为 $L$-空间，从而验证了几何与Floer同调之间猜想性联系。

提出的方法

• 推导出允许不可约Seiberg-Witten解的有理同调球面中，共轭1-形式上第一特征值 $\lambda_1^*$ 的上界。
• 应用Selberg迹公式，将共轭1-形式上Hodge拉普拉斯算子的谱与流形的双曲几何（体积与复长度谱）联系起来。
• 利用SnapPy的 `length_spectrum()` 函数的数值数据，计算霍奇森-韦克斯普查中前50个流形的长度谱。
• 结合谱界限与几何数据，证明在某些流形中，$\lambda_1^*$ 过小，无法允许不可约解的存在。
• 利用加权Sobolev范数，控制迹公式中谱泛函的收敛性与连续性。
• 利用 $b_1(Y) = 0$ 的事实，将 $\Omega^1(Y)$ 分解为恰当与共轭恰当形式，将分析重点集中于 $d^*\Omega^2(Y)$。

实验结果

研究问题

• RQ1 对于满足 $b_1(Y) = 0$ 的哪些双曲三维流形，其Seiberg-Witten方程无不可约解？
• RQ2 能否利用双曲3-流形上共轭1-形式的谱几何来阻碍不可约Seiberg-Witten解的存在？
• RQ3 长度谱与共轭1-形式上第一特征值 $\lambda_1^*$ 之间是否存在定量关系？
• RQ4 双曲3-流形的几何不变量（体积、测地线长度）是否决定其是否为 $L$-空间？
• RQ5 能否利用Selberg迹公式为有理同调球面导出 $\lambda_1^*$ 的有效界限？

主要发现

• 本文从霍奇森-韦克斯普查中识别出23个双曲三维流形（编号0, 2, 3, 8, 12, 13, 14, 15, 16, 22, 25, 28, 29, 30, 31, 32, 33, 39, 40, 42, 44, 46, 49），其Seiberg-Witten方程无不可约解。
• 对于这些流形，共轭1-形式上的第一特征值 $\lambda_1^*$ 的上界小到与不可约解的存在性不相容。
• 这些流形被确认为 $L$-空间，因其约化Floer同调为零，与邓菲尔德早期的Heegaard Floer计算结果一致。
• 作者利用谱数据与Selberg迹公式，为若干双曲有理同调球面提供了 $\lambda_1^*$ 的精确数值界限。
• 该方法建立了双曲几何（体积与长度谱）与Seiberg-Witten方程解空间之间的非平凡联系。
• 本工作首次提供了除具有正标量曲率或平坦度量外的双曲3-流形中无不可约Seiberg-Witten解的例子。