[論文レビュー] Two-sided asymptotic bounds for the complexity of cyclic branched coverings of two-bridge links

Carlo Petronio, Andreĭ Vesnin|arXiv (Cornell University)|Dec 28, 2006

Geometric and Algebraic Topology被引用数 3

ひとこと要約

本稿は、3次元球面内の2橋リンクの循環被覆の被覆位数が無限大に近づく際の、Matveev複雑度に対する両側線形漸近的評価を確立する。下界にはCao-MeyerhoffおよびLackenbyによる双曲的体積推定を用い、上界には明示的なトリアングリュレーションを用いる。著者らは、被覆位数とともに複雑度が線形に増加することを証明するとともに、基本群のDelzant T不変量に対しても評価を与える。

ABSTRACT

Abstract. We consider closed orientable 3-dimensional hyperbolic manifolds which are cyclic branched coverings of the 3-sphere, with branching set being a two-bridge knot (or link). As the order of the covering tends to infinity we establish two-sided linear asymptotic bounds for the Matveev complexity of the covering manifold. The lower estimate uses the hyperbolic volume and results of Cao-Meyerhoff and Lackenby, while the upper estimate is based on an explicit triangulation, which also allows us to give a bound on the Delzant T-invariant of the fundamental group of the manifold. 1. Definitions, motivations and statements Complexity Using simple spines (a technical notion from piecewise linear topology that we will not need to recall in this paper), Matveev [15] introduced a notion of complexity for compact 3-dimensional manifolds. If M is such an object, its complexity c(M) ∈ N is a very efficient measure of “how complicated ” M is, because: • every 3-manifold can be uniquely expressed as a connected sum of prime ones (this is an old and well-known fact, see [10]); • c is additive under connected sum; • if M is closed and prime, c(M) is precisely the minimal number of tetrahedra needed to triangulate M.

研究の動機と目的

• 3次元球面上の2橋の絡み目またはリンクの上での循環被覆である閉じた向きつけ可能双曲的3次元多様体のMatveev複雑度の漸近的評価を求める。
• Cao-MeyerhoffおよびLackenbyによる被覆における体積増加に関する既知の結果を用いて、複雑度の下界を確立する。
• 被覆多様体の明示的トリアングリュレーションを用いて上界を導出し、複雑度の推定を可能にする。
• 複雑度とその基本群のDelzant T不変量との関係を提示し、幾何的不変量の評価を提供する。
• 被覆位数が無限大に近づく際、Matveev複雑度が被覆位数に対して線形に増加することを示す。

提案手法

• Matveevらが確立した体積-複雑度関係に依拠し、被覆多様体の双曲的体積を複雑度の下界として用いる。
• Cao-MeyerhoffおよびLackenbyによる循環被覆における体積増加に関する結果を応用し、体積の漸近的挙動を推定することで、複雑度の漸近的挙動を評価する。
• 被覆多様体の明示的トリアングリュレーションを構成し、四面体の数の上界（したがって複雑度の上界）を提供する。
• トリアングリュレーションを用いて、多様体の基本群のDelzant T不変量の上界を導出し、幾何的複雑度と群論的不変量を結びつける。
• 下界と上界を組み合わせることで、被覆位数の増加に伴う複雑度の両側線形漸近的推定を確立する。
• Matveev複雑度が、素で閉じた3次元多様体において四面体の最小数に等しいことを利用している。

実験結果

リサーチクエスチョン

• RQ1 被覆位数が無限大に近づく際、2橋リンクの循環被覆におけるMatveev複雑度の漸近的増加率は何か？
• RQ2 双曲的体積をどのように用いて、このような被覆の複雑度の下界を導出できるか？
• RQ3 被覆多様体の明示的トリアングリュレーションは、その複雑度に対する計算可能な上界を提供できるか？
• RQ4 被覆多様体の複雑度とその基本群のDelzant T不変量との関係は何か？
• RQ5 これらの多様体の複雑度は、被覆位数に関して線形に有界であるか？

主な発見

• 被覆位数が無限大に近づく際、循環被覆多様体のMatveev複雑度は被覆位数に対して線形に増加する。
• Cao-MeyerhoffおよびLackenbyによる被覆における体積増加に関する結果を用いて、複雑度の下界が確立される。
• 被覆多様体の明示的トリアングリュレーションにより、複雑度の上界が得られ、これは被覆位数に関して線形である。
• トリアングリュレーションから得られる上界は、多様体の基本群のDelzant T不変量に対しても評価を提供する。
• 下界と上界の組み合わせにより、複雑度の両側線形漸近的推定が得られる。
• 結果は、複雑度が被覆位数に関して正確に線形に増加することを確認しており、幾何的および位相的不変量から導かれる有効な定数が得られている。