[論文レビュー] The L^2-Alexander torsion of 3-manifolds

Jérôme Dubois, Stefan Friedl+1 more|arXiv (Cornell University)|Oct 25, 2014

Geometric and Algebraic Topology参考文献 29被引用数 9

ひとこと要約

本稿では、3次元多様体に対する$L^2$-Alexander不変量の一般化として$L^2$-Alexander torsionを導入し、グラフ多様体およびファイバード3次元多様体におけるその挙動を確立している。また、torsion関数の漸近的極限がThurstonノルムを検出することを証明し、任意の非分解的3次元多様体に対して、$L^2$-torsionがThurstonノルムを検出する係数系が存在することを示しており、これによりBen Aribiによる$L^2$-Alexander torsionがトリビアルリンクを検出することの再証明がなされている。

ABSTRACT

We introduce $L^2$-Alexander torsions for 3-manifolds, which can be viewed as a generalization of the $L^2$-Alexander polynomial of Li--Zhang. We state the $L^2$-Alexander torsions for graph manifolds and we partially compute them for fibered manifolds. We furthermore show that given any irreducible 3-manifold there exists a coefficient system such that the corresponding $L^2$-torsion detects the Thurston norm.

研究の動機と目的

• 3次元多様体に対する$L^2$-Alexander torsionを、$L^2$-Alexander不変量の一般化として定義し、その性質を調査すること。
• グラフ多様体およびファイバード3次元多様体における$L^2$-Alexander torsionを計算すること。
• 任意の非分解的3次元多様体に対して、$L^2$-torsionがThurstonノルムを検出する係数系が存在することを示すこと。
• 本稿の新しい不変量を用いて、$L^2$-Alexander torsionがトリビアルリンクを検出することを再証明すること。

提案手法

• 本稿では、$L^2$-torsionとねじれ表現を用いて、関数$\mathbb{R}^+ \to [0,\infty)$として$L^2$-Alexander torsion$\tau^{(2)}(N,\phi,\gamma)$を定義している。
• 関係$f \doteq g$を、ある$r \in \mathbb{R}$が存在して$f(t) = t^r g(t)$となることとして定義し、これにより同値類が不変量となるようにしている。
• グラフ多様体に対しては、$t \leq 1$では$\tau^{(2)}(N,\phi) \doteq 1$、$t \geq 1$では$t^{x_N(\phi)}$であることを証明し、次数が$x_N(\phi)$であることを示している。
• ファイバード多様体に対しては、torsionの漸近的挙動をモノドロミーのエントロピーと関連づけ、群環の要素のMahler測度を用いている。
• $L^2$-torsionsの理論およびMahler測度の連続性を応用して、$t \to 0$および$t \to \infty$の極限を分析している。
• 有限正規被覆とコhomology類の引き戻しを用いて、一般の場合を準ファイバード類に還元し、有限被覆におけるThurstonノルムの乗法性を活用している。

実験結果

リサーチクエスチョン

• RQ1 $L^2$-Alexander torsionは、3次元多様体のThurstonノルムを検出できるか？
• RQ2 Ben Aribiが以前に示したように、$L^2$-Alexander torsionはトリビアルリンクを検出するか？
• RQ3 グラフ多様体およびファイバード3次元多様体に対して、$t \to 0$および$t \to \infty$の漸近的挙動はどのように振る舞うか？
• RQ4 任意の非分解的3次元多様体に対して、$L^2$-torsionがThurstonノルムを検出する係数系が存在するか？
• RQ5 $L^2$-Alexander torsionは、古典的アレクサンダー多項式および高次の不変量を一般化するために用いられるか？

主な発見

• 非自明な$\phi \in H^1(N;\mathbb{R})$に対して、$N \neq S^1 \times D^2, S^1 \times S^2$であるグラフ多様体$N$の$L^2$-Alexander torsionは、$t \leq 1$では$\tau^{(2)}(N,\phi) \doteq 1$、$t \geq 1$では$t^{x_N(\phi)}$を満たし、次数は$x_N(\phi)$に等しい。
• $L^2$-Alexander torsionは、グラフ多様体において、極限でモニックかつモノミアルとなり、次数は$\phi$のThurstonノルムに等しい。
• ファイバード3次元多様体に対しては、torsionの漸近的挙動がモノドロミーのエントロピーと関連づけられ、torsion関数の次数はThurstonノルムに等しい。
• 本稿では、任意の非分解的3次元多様体$N$に対して、係数系$\gamma$が存在し、$\deg \tau^{(2)}(N,\gamma,\phi) = x_N(\phi)$が成り立つことを証明しており、これにより$L^2$-torsionがThurstonノルムを検出することを示している。
• $t=1$における$L^2$-Alexander torsionは、$\tau^{(2)}(N,\phi)(1) = \exp\left(\frac{1}{6\pi} \operatorname{Vol}(N)\right)$として、多様体$N$の双曲体積を回復する。
• 上記のノルム検出性の性質を応用して、$L^2$-Alexander torsionがトリビアルリンクを検出することを再証明している、とみなせる。