[논문 리뷰] Filling Length in Finitely Presentable Groups

S. M. Gersten, Tim Riley|arXiv (Cornell University)|2000. 08. 03.

Geometric and Algebraic Topology참고 문헌 8인용 수 10

한 줄 요약

이 논문은 유한형상군에 대한 필링 길이 함수의 새로운 상계를 확립하며, 이는 등면적 함수의 로그와 동시에 실현 가능한 등직경 함수의 곱으로 유계임을 보여준다. 핵심 기여는 기존의 상계를 향상시키는 일반 부등식을 제시하는 것으로, 특히 다항 등면적 함수를 갖는 군들에 대해 유의미한 개선을 이룬다. 또한 지수적 등면적 함수가 존재할 경우 그에 상응하는 등직경 함수가 동시에 실현 가능할 조건을 필수 조건으로 제시한다.

ABSTRACT

Filling length measures the length of the contracting closed loops in a null-homotopy. The filling length function of Gromov for a finitely presented group measures the filling length as a function of length of edge-loops in the Cayley 2-complex. We give a bound on the filling length function in terms of the log of an isoperimetric function multiplied by a (simultaneously realisable) isodiametric function.

연구 동기 및 목표

• 유한형상군에서 필링 길이, 등면적, 등직경 함수 간의 정량적 관계를 확립하기 위해.
• 등면적 및 등직경 데이터의 조합을 통해 기존 필링 길이 함수 상계를 개선하기 위해.
• 특히 지수적 등면적 상한과 관련하여 성장이 제어 가능한 AD-쌍(등면적, 등직경 함수)의 존재를 조사하기 위해.
• 지수적 등면적 함수가 동시에 실현 가능한 등직경 함수를 갖는 데 필요한 조건을 제시하기 위해.
• 브리드슨의 군 Γₘ과 같은 특정 군의 필링 길이를 새로운 상계를 사용하여 분석하기 위해.

제안 방법

• 저자들은 필링 길이 함수 FL(w)를 정의하여, 1-셀 및 2-셀 붕괴를 통해 영호모토피 시퀀스로 null-homotopic인 단어 w를 항등원으로 줄이는 데 필요한 최소 최대 경계 길이로 정의한다.
• 그들은 바나칸 텐던트 다이어그램을 기반점으로부터 거리 i에 있는 경계의 별(star)로 구성된 중첩된 부분다이어그램 Nᵢ로 기하학적 분해를 제안한다.
• 조합적 면적 추론을 통해, i번째 수준 Nᵢ의 경계 길이가 너무 많은 i에 대해 n/2를 초과할 경우 총 면적이 알려진 등면적 상한을 초과하게 되어 모순이 발생함을 보인다.
• 이 모순은 어떤 수준 i ≤ 6Mn^{r−1}에 대해 경계 길이 ≤ n/2임을 의미하며, 이는 필링 길이에 대한 귀납적 상계를 가능하게 한다.
• 이를 다항 등면적 함수의 차수 r ≥ 2를 갖는 군에 적용하여 h₀(n) ≲ n^{r−1} log(n+1)의 상계를 도출한다.
• 또한 정점의 차수에 의해 유계된 다이어그램에 대해 필링 길이가 지름의 이차 함수로 유계짐을 증명하며, 이는 임베디드 디스크 다이어그램에 대한 일반적 추론을 이끌어낸다.

실험 결과

연구 질문

• RQ1 기존의 h₀ ≲ f₀ 상한보다 개선된 방식으로 필링 길이 함수가 등면적 함수와 등직경 함수에 의해 유계질 수 있는가?
• RQ2 다항 등면적 함수를 갖는 군에 대해 필링 길이 함수의 최적 상한은 무엇인가?
• RQ3 AD-쌍 (f₀, g₀) = (exp g₀, g₀)의 존재에 대해 필수 조건이 존재하는가? 만약 존재한다면 그 조건은 무엇인가?
• RQ4 정점의 차수가 유계된 다이어그램에 대해 필링 길이 함수가 지름의 함수로 유계질 수 있는가?
• RQ5 새로운 상한이 브리드슨의 Γₘ 군과 같은 특정 군의 클래스에 대해 추정치를 상당히 향상시키는가?

주요 결과

• 필링 길이 함수 h₀(n)은 상수배의 log(n+1)과 동시에 실현 가능한 등직경 함수 g₀(n)의 곱으로 유계지며, 즉 h₀(n) ≲ log(n+1) · g₀(n)이다.
• 다항 등면적 함수의 차수 r ≥ 2를 갖는 군에 대해 필링 길이 함수는 h₀(n) ≲ n^{r−1} log(n+1)를 만족하며, 이는 난이도 있는 h₀ ≲ f₀ 상한보다 상당한 개선이다.
• h₀(n) ≲ log(n+1) · g₀(n) 상한은 f₀ ≲ exp g₀이면 h₀ ≲ g₀²가 AD-쌍의 존재를 위한 필수 조건임을 시사한다.
• 모든 유한형상에 대해, 최대 정점 차수 N인 다이어그램의 필링 길이는 C(N) · Diam(𝒟)² + n + 1로 유계지며, 여기서 C(N)은 오직 N에만 의존한다.
• 임베디드 디스크 다이어그램에 대해서는 필링 길이가 면적과 무관하게 지름의 이차 함수로 유계지며, 이는 독립적인 상한을 제공한다.
• h₀(n) ≲ n^{r−1} log(n+1) 상한은 브리드슨의 군 Γₘ에 대해 h₀ ≲ f₀ 상한을 개선하며, 추정치를 x^{2m+1}에서 x^m log x로 감소시킨다.