[논문 리뷰] Equivalence of Geometric and Combinatorial Dehn Functions

José Burillo, Jennifer Taback|ArXiv.org|2001. 03. 13.

Advanced Topics in Algebra참고 문헌 7인용 수 25

한 줄 요약

이 논문은 단순연결된 리만다이니안 다양체의 기하학적 Dehn 함수와 그것에 대해 올바르게 이산적이고 코컴 pact하며 등거리로 작용하는 유한형상군의 조합적 Dehn 함수 사이의 동치성을 확립한다. 측도론적 중심 선택 기반의 기하학적 '밀어내기 보조정리'를 사용하여, 다양체 내의 리프시츠 체인을 삼각분할된 뼈대에 투영할 수 있으며, 이때 체적 성장이 통제 가능하다는 것을 증명한다. 이를 통해 다양체 내의 최소 메쉬 면적과 바운든 반경 다이어그램 내의 최소 2셀 수를 연결한다.

ABSTRACT

We prove that if a finitely presented group acts properly discontinuously, cocompactly and by isometries on a simply connected Riemannian manifold, then the Dehn function of the group and the corresponding filling function of the manifold are equivalent, in a sense described below.

연구 동기 및 목표

• 단순연결된 리만다이니안 다양체의 기하학적 Dehn 함수와 그것에 대해 올바르게 이산적이고 코컴 pact하며 등거리로 작용하는 유한형상군의 조합적 Dehn 함수 사이의 엄밀한 동치성을 확립하는 것.
• 기하군론에서 오랫동안 암묵적으로 가정되어 온, 이러한 군 작용 하에서 두 Dehn 함수가 동치라는 가정을 해결하는 것.
• 특히 새로운 형태의 변형 정리를 포함한 기하측도론 기법을 사용하여 완전하고 상세한 증명을 제공하는 것.
• 삼각분할을 통한 쿼어지이소메트리 제어 하에서 군의 Dehn 함수와 다양체의 메쉬 함수가 동치임을 보이는 것.
• 다양체 내의 리프시츠 체인과 군-불변 삼각분할로의 심플로이드 투영 사이의 관계를 체계화하여, 면적과 길이의 유계성을 보존하는 것.

제안 방법

• 리만다이니안 다양체 내의 리프시츠 k-체인을 군-불변 삼각분할의 k-스켈레톤으로 투영하는 '밀어내기 보조정리'를 도입하여 체적 성장이 통제될 수 있도록 한다.
• 체인으로부터 너무 멀리 떨어진 투영 중심을 측도론적 방법으로 선택하여 체적의 임의의 증가를 방지한다.
• 밀어내기 보조정리를 다양체 내의 고리와 디스크에 적용하여, 그 기하학적 면적과 삼각분할된 2-복합체 위의 반카펜 다이어그램 내 2셀 수 사이의 관계를 규명한다.
• 2-디스크에서 삼각분할의 2-스켈레톤으로의 심플로이드 사상으로, 경계 고리를 유지하면서 2삼각형의 수를 기하학적 면적의 상수배 이내로 제한한다.
• 심플로이드 사상을 최소 2셀 수를 갖는 반카펜 다이어그램으로 변환하여, 조합적으로 최소화되고 동일한 면적 유계를 만족함을 보장한다.
• Dehn 함수의 쿼어지이소메트리 불변성을 이용하여 군의 Dehn 함수와 삼각분할된 2-복합체의 Dehn 함수를 동치로 연결함으로써 동치성 증명을 완성한다.

실험 결과

연구 질문

• RQ1 단순연결된 리만다이니안 다양체의 기하학적 Dehn 함수와 그것에 대해 올바르게 이산적이고 코컴 pact하며 등거리로 작용하는 유한형상군의 조합적 Dehn 함수가 동치가 되는 조건은 무엇인가?
• RQ2 리프시츠 체인을 삼각분할된 뼈대로 투영할 때, 체적 성장을 통제할 수 있는 기하학적 투영 기법(기하측도론의 변형 정리 유사)을 사용할 수 있는가?
• RQ3 군 작용 조건 하에서, 메쉬 디스크의 면적에 비례하여 반카펜 다이어그램 내 2셀 수를 균일하게 유계로 제한할 수 있는가?
• RQ4 경계를 유지하는 투영(즉, ∂T = ∂R)의 성질을 어떻게 활용하여 원래 고리와 그 투영 이미지 사이의 호모토피가 타당한지를 보장할 수 있는가?
• RQ5 G-불변 삼각분할의 존재는 군의 카일리 복합체와 다양체 기하학 간의 쿼어지이소메트리 비교를 어느 정도 허용하는가?

주요 결과

• 주어진 군 작용 조건 하에서 기하학적 Dehn 함수 δ_M 과 삼각분할된 2-복합체의 조합적 Dehn 함수 δ_τ^(2) 는 동치이다.
• 밀어내기 보조정리는 임의의 리프시츠 k-체인 T(그 경계가 τ^(k-1)에 속함)에 대해, τ^(k) 내의 투영된 k-체인 R 과 T 로의 호모토피 S 가 존재하며, vol_k(R) ≤ C·vol_k(T) 및 vol_{k+1}(S) ≤ C·vol_k(T) 를 만족한다. 여기서 C 는 M 과 τ 에만 의존한다.
• 길이 l(γ) ≤ n 인 고리 γ 에 대한 반카펜 다이어그램 내 2삼각형의 수는 다양체 M 내 γ 의 기하학적 면적의 상수배 이내로 유계된다.
• 군 G 의 Dehn 함수 δ_G 는 δ_τ^(2) 와 동치이며, δ_τ^(2) ≡ δ_M 이므로 δ_G ≡ δ_M 이다.
• 이 증명은 다양체 내 최소면적의 채움 디스크와 군의 표현 복합체 내 최소면적 반카펜 다이어그램 사이의 구성적 연결을 확립한다.
• 결과적으로 이는 기하군론에서 널리 암시되어 온 동치성에 대해 엄밀한 증명을 제공하며, 기하학적 및 조합적 등위적 함수를 연결하는 기초 도구를 제공한다.