[논문 리뷰] Two-sided asymptotic bounds for the complexity of cyclic branched coverings of two-bridge links

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

Geometric and Algebraic Topology인용 수 3

한 줄 요약

이 논문은 두 다리 링크에 대한 3차원 구면에서의 순환 분할 덮개의 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차원 구면에서 두 다리 뭉치나 링크를 중심으로 하는 순환 분할 덮개인 닫힘 온도리엔티에이블 초구형 3차원 다면체의 Matveev 복잡도에 대한 점근적 경계를 결정하는 것.
• Cao-Meyerhoff와 Lackenby의 부피 성장에 관한 기존 결과를 활용하여 초구형 부피를 이용해 복잡도의 하한을 확립하는 것.
• 덮개 다면체의 명시적 삼각분할을 통해 상한을 유도함으로써 복잡도 추정을 가능하게 하는 것.
• 복잡도를 기본군의 Delzant T-불변량과 연관지켜 기하 불변량의 경계를 제공하는 것.
• 덮개 차수가 무한으로 갈 때 Matveev 복잡도가 덮개 차수에 대해 선형으로 증가함을 보이는 것.

제안 방법

• Matveev 및 다른 이들이 확립한 부피-복잡도 관계에 기반하여, 덮개 다면체의 초구형 부피를 복잡도의 하한으로 사용한다.
• Cao-Meyerhoff와 Lackenby의 순환 덮개에서의 부피 성장에 관한 결과를 적용하여, 부피의 점근적 행동을 추정하고 이를 통해 복잡도의 점근적 행동을 유도한다.
• 덮개 다면체의 명시적 삼각분할을 구성함으로써, 테트라헤드론의 수에 대한 상한을 제공함으로써 복잡도에 대한 상한을 확보한다.
• 삼각분할을 이용해 기본군의 Delzant T-불변량에 대한 경계를 도출함으로써 기하적 복잡도와 군론적 불변량을 연결한다.
• 하한과 상한을 조합하여 덮개 차수가 증가함에 따라 복잡도에 대한 이원선형 점근적 추정치를 확립한다.
• Prime이고 닫힌 3차원 다면체에 대해 Matveev 복잡도가 삼각분할에서 최소 테트라헤드론 수와 동일하다는 사실에 기반한다.

실험 결과

연구 질문

• RQ1 덮개 차수가 무한으로 갈 때, 두 다리 링크에 대한 순환 분할 덮개의 Matveev 복잡도의 점근적 증가율은 무엇인가?
• RQ2 초구형 부피는 이러한 덮개의 복잡도에 대한 하한을 유도하는 데 어떻게 활용될 수 있는가?
• RQ3 덮개 다면체의 명시적 삼각분할이 그 복잡도에 대한 계산 가능한 상한을 제공할 수 있는가?
• RQ4 덮개 다면체의 복잡도와 그 기본군의 Delzant T-불변량 사이의 관계는 무엇인가?
• RQ5 이러한 다면체의 복잡도는 덮개 차수에 대해 선형적으로 경계될 수 있는가?

주요 결과

• 덮개 차수가 무한으로 갈 때, 순환 분할 덮개 다면체의 Matveev 복잡도는 덮개 차수에 대해 선형으로 증가한다.
• Cao-Meyerhoff와 Lackenby의 부피 성장에 관한 결과를 활용하여 초구형 부피를 이용해 복잡도의 하한이 확립된다.
• 덮개 다면체의 명시적 삼각분할이 복잡도에 대한 상한을 제공하며, 이 상한은 덮개 차수에 대해 선형이다.
• 삼각분할에서 유도된 상한은 다면체의 기본군의 Delzant T-불변량에 대한 경계를 제공한다.
• 하한과 상한의 조합으로 복잡도에 대한 이원선형 점근적 추정치가 확립된다.
• 결과는 복잡도가 덮개 차수에 대해 정확히 선형임을 확인하며, 기하학적 및 위상수학적 불변량으로부터 유도된 효과적인 상수를 제공한다.