[논문 리뷰] The Geometry of the Handlebody Groups II: Dehn functions

Ursula Hamenstädt, Sebastian Hensel|arXiv (Cornell University)|2018. 04. 30.

Geometric and Algebraic Topology인용 수 2

한 줄 요약

이 논문은 종수 g ≥ 3인 핸들바디 군 Hg의 Dehn 함수가 지수적임을 입증한다. 반면 H2는 삼차함수적이고 이중자율적임을 보이며, 이는 이차 Dehn 함수를 암시한다. 저자들은 디스크를 둘러싸는 곡선과 나무 구조를 이용한 기하 모델을 구축하고, Out(Fg)로부터 지수적 순환을 올려받음으로써 저종수와 고종수 핸들바디 군 간의 근본적인 기하적 분리성을 밝혀낸다.

ABSTRACT

We show that the Dehn function of the handlebody group is exponential in any genus $g\geq 3$. On the other hand, we show that the handlebody group of genus $2$ is cubical, biautomatic, and therefore has a quadratic Dehn function.

연구 동기 및 목표

• . 종수 g ≥ 3인 핸들바디 군 Hg의 Dehn 함수 성장률을 규명한다.
• . 종수 2 핸들바디 군 H2가 삼차기하학적이고 이중자율적임을 입증한다.
• . H2가 CAT(0) 삼차기하체 위에 올바르고 콪액트하게 작용함을 보인다.
• . 지수적 면적을 메우기 위해 요구되는 순환을 구축하여, g ≥ 3일 때 Hg의 Dehn 함수가 지수적임을 증명한다.
• . H2의 Dehn 함수가 이차적임을 보이며, 이는 이중자율성과 Haagerup 성질을 암시한다.

제안 방법

• . 단어 문제를 Dehn 함수를 통해 분석하기 위해 기하군론 기법을 사용한다.
• . 종수 2 핸들바디에서 분리되지 않는 메리디언의 교차 패턴을 이용해 H2에 대한 기하 모델을 구축한다.
• . 분리되지 않는 메리디언과 그 이중 곡선의 구조에 기반해 H2가 작용하는 나무 Pnm_2를 구축한다.
• . 메리디언 주위의 링대에서의 디흐누 전환 작용을 이용해, 나무와 휘두름 작용으로부터 CAT(0) 삼차기하체 Mnm_2를 구성한다.
• . H2가 Mnm_2 위에 올바르고 콕팍트하게 작용함을 증명함으로써 이중자율성을 암시한다.
• . Mnm_2에서의 거리 공식을 사용해, 준수트리와 수트리의 곱으로의 준등거리 임bedding을 보이며, H2의 기하적 구조를 뒷받침한다.

실험 결과

연구 질문

• RQ1 . 종수 g ≥ 3인 핸들바디 군 Hg의 Dehn 함수가 지수적일까?
• RQ2 . 종수 2 핸들바디 군 H2는 CAT(0) 삼차기하체 위에 올바르고 콕팍트하게 작용할 수 있을까?
• RQ3 . H2의 Dehn 함수가 이차적으로 성장하여 이중자율성을 암시할까?
• RQ4 . 핸들바디 군 H2의 기하적 구조는 무엇이며, g ≥ 3인 Hg와 어떻게 다를까?
• RQ5 . 기하 모델 Mnm_2에서의 거리 공식을 사용해 준수트리의 곱으로의 준등거리 임bedding을 유도할 수 있을까?

주요 결과

• . g ≥ 3일 때 Hg의 Dehn 함수는 지수적임을 입증하기 위해, 메우기 위해 지수적 면적을 요구하는 순환을 구축함으로써 밝혀졌다.
• . 종수 2 핸들바디 군 H2는 이중자율적임을 보이며, 이는 이차 Dehn 함수를 암시한다.
• . H2는 CAT(0) 삼차기하체 위에 올바르고 콕팍트하게 작용함을 입증하여, 삼차기하학적 기하학을 확인한다.
• . 기하 모델의 거리 공식을 통해, V2에서 분리되지 않는 메리디언의 안정자(Stabilizer)는 H2 내에서 왜곡되지 않았음을 보였다.
• . Mnm_2에서의 거리 공식의 결과로, H2는 수트리와 준수트리의 곱으로의 준등거리 임bedding을 갖는다.
• . 종수 2 핸들바디 군 H2는 이중자율성과 [CMV] 및 [´S]의 결과로부터 Haagerup 성질을 갖는다.