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

Yi Liu|arXiv (Cornell University)|Sep 29, 2015

Geometric and Algebraic Topology参考文献 21被引用数 10

ひとこと要約

本稿は、空または圧縮不能なトーラル境界をもつ、非可約かつ向きつけ可能なコンpakト3次元多様体の完全な$L^2$-アレクサンダー torsionが、両端で連続的で正であり、漸近的に単項式であることを確立する。主な結果は、この torsion 関数の漸近的次数が、双対類のサーフェス・ノルムに等しいことを確認し、Dubois, Friedl, Lück の予想を解決するとともに、Li と Zhang の質問に答える。

ABSTRACT

For an irreducible orientable compact $3$-manifold $N$ with empty or incompressible toral boundary, the full $L^2$--Alexander torsion $τ^{(2)}(N,ϕ)(t)$ associated to any real first cohomology class $ϕ$ of $N$ is represented by a function of a positive real variable $t$. The paper shows that $τ^{(2)}(N,ϕ)$ is continuous, everywhere positive, and asymptotically monomial in both ends. Moreover, the degree of $τ^{(2)}(N,ϕ)$ equals the Thurston norm of $ϕ$. The result confirms a conjecture of J.~Dubois, S.~Friedl, and W.~Lück and addresses a question of W.~Li and W.~Zhang. Associated to any admissible homomorphism $γ:π_1(N) o G$, the $L^2$--Alexander torsion $τ^{(2)}(N,γ,ϕ)$ is shown to be continuous and everywhere positive provided that $G$ is residually finite and $(N,γ)$ is weakly acyclic. In this case, a generalized degree can be assigned to $τ^{(2)}(N,γ,ϕ)$. Moreover, the generalized degree is bounded by the Thurston norm of $ϕ$.

研究の動機と目的

• 3次元多様体の完全な$L^2$-アレクサンダー torsionの漸近的次数の存在およびwell-defined性を確立すること。
• この漸近的次数が双対類$\phi$のサーフェス・ノルムに等しいことを確認し、Dubois, Friedl, Lück の予想を解決すること。
• 残差的有限性および弱アサイクル性の条件下で、$\pi_1(N) \to G$ への適切なホモモーフィズム$\gamma$ に関連する$L^2$-アレクサンダー torsionへの理論の拡張。
• 係数関数$C(N,\phi)$の分析を行い、その上半連続性を示し、単体的体積を用いた明示的評価を与えること。

提案手法

• 証明は、十分大きな$m$に対して$\tau^{(2)}(N,\phi)(t) \cdot \max\{1,t\}^m$ の連続性および乗法的凸性に依拠し、torsion 関数の正則性を保証する。
• $t \to 0^+$および$t \to \infty$における$\tau^{(2)}(N,\phi)(t)$の漸近的解析により、それぞれ指数$d_{0+}$および$d_{+\infty}$をもつ単項式的挙動が示される。
• 漸近的次数は$\mathrm{deg}^\mathtt{a}(f) = d_{+\infty} - d_{0+}$として定義され、これがサーフェス・ノルム$x_N(\phi)$に等しいことが示される。
• 一般化された場合、$\gamma: \pi_1(N) \to G$ に対して、$G$ が残差的有限かつ$(N,\gamma)$ が弱アサイクルであるとき、torsion $\tau^{(2)}(N,\gamma,\phi)$ が連続的かつ正であることが証明される。
• 係数$C(N,\phi)$は、既知の図8文字結び目補間体に関する結果を用いて、積公式$\tau^{(2)}(N,\phi) \doteq \prod_{i=0}^2 \tau^{(2)}(J_i, \phi_i)$ から導出される。
• 上半連続性は、3つの図8文字結び目補間体と積成分から構成された3次元多様体$N$上で明示的計算により確立される。

実験結果

リサーチクエスチョン

• RQ1 非可約かつ向きつけ可能な3次元多様体が圧縮不能なトーラル境界を持つとき、$L^2$-アレクサンダー torsion $\tau^{(2)}(N,\phi)$ は、well-definedな漸近的次数をもつか。
• RQ2 Dubois, Friedl, Lück が予想したように、$\tau^{(2)}(N,\phi)$ の漸近的次数は、サーフェス・ノルム$x_N(\phi)$ に等しいか。
• RQ3 $L^2$-アレクサンダー torsion は、適切なホモモーフィズム$\gamma: \pi_1(N) \to G$ に対して一般化可能であり、残差的有限性および弱アサイクル性の下で連続的かつ正値のままであるか。
• RQ4 係数関数$C(N,\phi)$ の挙動はいかなるものか。また、$H^1(N;\mathbb{R})$ 上で上半連続であるか。
• RQ5 $C(N,\phi)$ は1と$e^{\mathrm{Vol}(N)/6\pi}$ の間の値をとる可能性があるか。また、$\phi$ のゼロ成分の数に応じてどのように変化するか。

主な発見

• 完全な$L^2$-アレクサンダー torsion $\tau^{(2)}(N,\phi)(t)$ は、すべての$t \in \mathbb{R}_+$ に対して連続的かつ正であり、十分大きな$m$に対して$\tau^{(2)}(N,\phi)(t) \cdot \max\{1,t\}^m$ は乗法的凸性をもつ。
• $t \to \infty$ のとき、$\tau^{(2)}(N,\phi)(t) \sim C(N,\phi) \cdot t^{d_{+\infty}}$ であり、$C(N,\phi) \in [1, e^{\mathrm{Vol}(N)/6\pi}]$ である。同様に$t \to 0^+$に対しても漸近的挙動が成り立つ。
• 漸近的次数$\mathrm{deg}^\mathtt{a}(\tau^{(2)}(N,\phi))$ はwell-definedであり、サーフェス・ノルムに等しい：$\mathrm{deg}^\mathtt{a}(\tau^{(2)}(N,\phi)) = x_N(\phi)$。
• 係数関数$\phi \mapsto C(N,\phi)$ は$H^1(N;\mathbb{R})$ 上で上半連続であり、$C(N,\phi) = e^{\delta(\phi) \cdot v_3 / (3\pi)}$ と表される。ここで$\delta(\phi)$ は、$\phi_0 + \phi_1 + \phi_2 = 0$ の下で$\phi = (\phi_0,\phi_1,\phi_2)$ のゼロ成分の数を数える。
• $H^1(N;\mathbb{R})$ の原点では$C(N,\phi) = e^{\mathrm{Vol}(N)/6\pi}$ であり、サーフェス・ノルム単位球の頂点を通る6本の放射線に沿っては$C(N,\phi) = e^{\mathrm{Vol}(N)/18\pi}$ であり、それ以外では$C(N,\phi) = 1$ である。
• 一般化された$L^2$-アレクサンダー torsion $\tau^{(2)}(N,\gamma,\phi)$ は、$G$ が残差的有限かつ$(N,\gamma)$ が弱アサイクルであるとき、連続的かつ正であり、その一般化された次数はサーフェス・ノルム$x_N(\phi)$ によって上から抑えられる。