[論文レビュー] 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体の双曲的3次元多様体—具体的には、最初に双曲的3次元多様体で、Seiberg-Witten方程式が非可約解をもたない例を特定した。共調和1形式のスペクトル幾何学とセルバーグのトレース公式を用い、双曲的幾何（体積、長さスペクトル）とこのような解の非存在を結びつける。主な貢献は、双曲的有理数ホモロジー球面における非可約解の存在に対する幾何的障害を新たに特定したことである。

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.

研究の動機と目的

• 3次元多様体位相幾何学における長年の未解決問題である、双曲的3次元多様体でSeiberg-Witten方程式が非可約解をもたないものを探すこと。
• 幾何的不変量（体積、長さスペクトル）とSeiberg-Witten方程式の解を結びつけることで、双曲的幾何とFloerホモロジーの橋渡しをすること。
• スペクトル理論を用いて、有理数ホモロジー球面における共調和1形式上の第一固有値 $\lambda_1^*$ に対して明示的な数値的境界を与えること。
• これらの多様体で非可約解が存在しないことは、それらが $L$-空間であることを示し、幾何とFloerホモロジーの間の予想的な関係を確認すること。

提案手法

• 有理数ホモロジー球面で非可約Seiberg-Witten解をもつものについて、共調和1形式上の第一固有値 $\lambda_1^*$ の上界を導出する。
• セルバーグのトレース公式を適用し、共調和1形式上のホッジラプラシアンのスペクトルを多様体の双曲的幾何（体積および複素長さスペクトル）と関連付ける。
• SnapPyの `length_spectrum()` 関数の数値データを用いて、ホジソン＝ウィークスのリストに含まれる最初の50体の多様体の長さスペクトルを計算する。
• スペクトル境界と幾何的データを組み合わせ、特定の多様体では $\lambda_1^*$ が非可約解の存在を許さないほど小さくなることを示す。
• 重み付きソボレフノルムを用いて、トレース公式におけるスペクトル関数の収束性と連続性を制御する。
• $b_1(Y) = 0$ であることを利用して、 $\Omega^1(Y)$ を完全形式と共調和形式に分解し、分析を $d^*\Omega^2(Y)$ に集中させる。

実験結果

リサーチクエスチョン

• RQ1 $b_1(Y) = 0$ を満たす双曲的3次元多様体 $Y$ において、Seiberg-Witten方程式が非可約解をもたないのはどれか？
• RQ2 双曲的3次元多様体における共調和1形式のスペクトル幾何学は、非可約Seiberg-Witten解の存在を妨げるか？
• RQ3 長さスペクトルと共調和1形式上の第一固有値 $\lambda_1^*$ の間に定量的関係があるか？
• RQ4 双曲的3次元多様体の幾何的不変量（体積、測地線長）は、その多様体が $L$-空間かどうかを決定するか？
• RQ5 セルバーグのトレース公式を用いて、有理数ホモロジー球面における $\lambda_1^*$ の有効な境界を導出できるか？

主な発見

• 本稿は、ホジソン＝ウィークスのリストに含まれる23体の双曲的3次元多様体（ラベル 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^*$ は、非可約解の存在を許さない値よりも小さい上界で抑えられている。
• これらの多様体は、それらの簡約Floerホモロジーが消えることから、$L$-空間であることが確認された。これはダンフィールドによる以前のヘーガードFloer計算と整合的である。
• 著者らは、スペクトルデータとセルバーグのトレース公式を用いて、いくつかの双曲的有理数ホモロジー球面について $\lambda_1^*$ の明確な数値的境界を与えた。
• この手法により、双曲的幾何（体積および長さスペクトル）とSeiberg-Witten方程式の解空間との間の非自明な関係が確立された。
• 本研究は、正のスカラー曲率や平坦計量を持つもの以外の双曲的3次元多様体で、非可約Seiberg-Witten解をもたない例を初めて同定した。