[논문 리뷰] Isometric endomorphisms of free groups

Danny Calegari, Alden Walker|arXiv (Cornell University)|2011. 01. 21.

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

한 줄 요약

이 논문은 자유군 간의 무작위 준동형사상이 안정적 교환자 길이(scl)에 대해 거의 확실히等距사상임을 입증하며, 자유군의 scl 단위구 안에 풍부한 이색 등距사상이 존재함을 보여준다. 지름그림 기법과 정점 쿼시함수를 사용하여, 교환자 길이가 $ n $ 이하인 자유군 내의 무작위 원소들이 정확히 $ \text{scl} = n - \frac{1}{2} $임을 증명하고, 이러한 결과를 확인하는 계산 가능한 쿼시함수를 제공한다.

ABSTRACT

An arbitrary homomorphism between groups is nonincreasing for stable commutator length, and there are infinitely many (injective) homomorphisms between free groups which strictly decrease the stable commutator length of some elements. However, we show in this paper that a random homomorphism between free groups is almost surely an isometry for stable commutator length for every element; in particular, the unit ball in the scl norm of a free group admits an enormous number of exotic isometries. Using similar methods, we show that a random fatgraph in a free group is extremal (i.e. is an absolute minimizer for relative Gromov norm) for its boundary; this implies, for instance, that a random element of a free group with commutator length at most n has commutator length exactly n and stable commutator length exactly n-1/2. Our methods also let us construct explicit (and computable) quasimorphisms which certify these facts.

연구 동기 및 목표

• 안정적 교환자 길이(scl)에 대해 자유군 간 준동형사상이 얼마나 흔한지 조사하여, 준동형사상 하에서 scl이 감소하지 않는다는 기대에 도전한다.
• 무작위 준동형사상 $ F_k \to F_l $가 scl에 대해 등距사상임 확률이 $ 1 - O(C^{-n}) $임을 입증하며, scl 단위구 내에 풍부한 이색 등距사상의 구조를 드러낸다.
• 무작위 지름그림에 대해 극단적 성질을 갖는 명시적이고 계산 가능한 쿼시함수를 구성하여, 이들의 극단성을 확인한다.
• 삼중 지름그림에서 국소 조건과 만남의 중간 기법을 사용하여 극단적 쿼시함수를 검증하는 효율적인 알고리즘을 개발한다.

제안 방법

• 무작위 준동형사상 $ \varphi: F_k \to F_l $는 $ F_k $의 생성자를 길이 $ n $ 이하인 무작위 원소들로 할당하여 정의되며, 이의 scl에 대한 등距사상일 확률을 渐近적으로 분석한다.
• 논문은 일반화된 바바르 이중성 원리를 사용하여 scl을 동차 쿼시함수와 연결하며, 극단성을 확인하기 위해 지름그림에서 유도된 정점 쿼시함수에 초점을 맞춘다.
• 지름그림의 레이블링이 정점 쿼시함수를 유도하는지 확인하기 위해 조건 B라는 조합 조건을 도입하며, 이는 부분어구 회피와 소규모 취약성 성질에 의존한다.
• 만족도 조건을 만족하는 삼중 지름그림의 유효한 레이블링을 검색하기 위해 만남의 중간 알고리즘을 적용하여 검색 효율을 크게 향상시킨다.
• 준동형사를 지름그림에 적용하여 비극단적 레이블링을 극단적으로 변형함으로써, 극단적 쿼시함수를 찾는 성공률을 높인다.
• 각 지름그림에 대해 50만 개의 무작위 레이블링을 활용하여 실패율을 추정하고 성공 확률에 대한 지수 모델을 fitting한다.

실험 결과

연구 질문

• RQ1 자유군 간의 무작위 준동형사상이 안정적 교환자 길이(scl)를 유지할 확률은 얼마인가?
• RQ2 자유군 내의 무작위 지름그림에 대해 극단적 쿼시함수를 효율적으로 계산할 수 있는가?
• RQ3 교환자 길이가 $ n $ 이하인 자유군 내의 무작위 원소들이 최대 가능한 안정적 교환자 길이 $ n - \frac{1}{2} $에 도달하는가?
• RQ4 지름그림에 무작위 준동형사를 적용함으로써 정점 쿼시함수를 찾는 데 실패할 확률을 줄일 수 있는가?
• RQ5 지름그림 레이블링에 어떤 조합 조건이 성립하면 극단적 쿼시함수가 존재함을 보장하는가?

주요 결과

• 길이 $ n $ 인 무작위 준동형사상 $ \varphi: F_k \to F_l $는 어떤 $ C(k,l) > 1 $에 대해 확률 $ 1 - O(C(k,l)^{-n}) $로 scl에 대해 등距사상이며, 이는 scl 단위구 내에 이색 등距사상의 존재를 증명한다.
• 교환자 길이가 $ n $ 이하인 자유군 내의 무작위 원소에 대해 안정적 교환자 길이는 정확히 $ n - \frac{1}{2} $이며, 이는 극단적 지름그림에 의해 확인된다.
• 네 개의 정점을 가진 삼중 지름그림에 대해 정점 쿼시함수를 찾는 성공 확률은 $ P(\text{성공}) \geq 1 - 82.3971(3.19827)^{-n} $로 모델링되며, 실패율은 레이블 길이에 따라 지수적으로 감소한다.
• 지름그림에 무작위 준동형사를 적용함으로써 극단적 쿼시함수를 찾는 성공률이 약 5배 증가하며, 특히 짧은 레이블링에서 두드러진다.
• 정점 쿼시함수의 결함은 국소 부분어구 및 상수 조건을 사용하여 다항시간 내에 검증 가능하며, 일반 쿼시함수의 경우 지수시간이 필요하다.
• 등距사상 추측은 임베딩이 가능한 준동형사상 $ \varphi: F_2 \to F $가 항상 scl에 대해 등距사상임을 주장하며, 광범위한 계산적 증거와 이론적 추론에 의해 뒷받침된다.