[논문 리뷰] Quasi-isometries and rigidity of solvable groups

Alex Eskin, David Fisher외 1명|ArXiv.org|2005. 11. 27.

Geometric and Algebraic Topology참고 문헌 18인용 수 3

한 줄 요약

이 논문은 비아벨리안의 비노르말리프 수열군에 대한 준등거리 강성( quasi-isometric rigidity )을 확립하며, 3차원 수열 리 대칭군 $\operatorname{Sol}$ 와 준등거리인 유한생성군은 모두 $\operatorname{Sol}$ 안에 가상 래티스임을 증명한다. 저자들은 수열 리 대칭군의 자기준등거리 변환을 분류하기 위해 새로운 기법인 '근사 미분(coarse differentiation)'을 도입하여 오랫동안 남아있던 추측을 해결하고, 램플라이터 군과 디에스트렐-리더 그래프로의 결과를 확장한다.

ABSTRACT

In this note, we announce the first results on quasi-isometric rigidity of non-nilpotent polycyclic groups. In particular, we prove that any group quasi-isometric to the three dimenionsional solvable Lie group Sol is virtually a lattice in Sol. We prove analogous results for groups quasi-isometric to $R \ltimes R^n$ where the semidirect product is defined by a diagonalizable matrix of determinant one with no eigenvalues on the unit circle. Our approach to these problems is to first classify all self quasi-isometries of the solvable Lie group. Our classification of self quasi-isometries for $R \ltimes \R^n$ proves a conjecture made by Farb and Mosher in [FM4]. Our techniques for studying quasi-isometries extend to some other classes of groups and spaces. In particular, we characterize groups quasi-isometric to any lamplighter group, answering a question of de la Harpe [dlH]. Also, we prove that certain Diestel-Leader graphs are not quasi-isometric to any finitely generated group, verifying a conjecture of Diestel and Leader from [DL] and answering a question of Woess from [SW],[Wo1]. We also prove that certain non-unimodular, non-hyperbolic solvable Lie groups are not quasi-isometric to finitely generated groups. The results in this paper are contributions to Gromov's program for classifying finitely generated groups up to quasi-isometry [Gr2]. We introduce a new technique for studying quasi-isometries, which we refer to as "coarse differentiation".

연구 동기 및 목표

• 비아벨리안의 다중순환군, 특히 3차원 수열 리 대칭군 $\operatorname{Sol}$ 에 대한 준등거리 강성 결과를 확립하기 위해.
• 단위 원 위에 고유값이 없는 행렬식 1인 대각화 가능 행렬에 의한 $\mathbb{R} \ltimes \mathbb{R}^n$ 형태의 수열 리 대칭군의 자기준등거리 변환을 분류하기 위해.
• 파르브와 모셔가 제기한 수열군의 준등거리 강성에 대한 추측과, 디에스트렐과 리더가 제기한 디에스트렐-리더 그래프에 대한 추측을 해결하기 위해.
• 람플라이터 군과 비단조화 수열 리 대칭군으로의 준등거리 강성의 범위를 확장하기 위해.
• 근사 미분 기법을 도입하고 적용하여, 점근선을 사용하지 않고 준등거리 변환을 연구하는 데 새로운 방법론을 제공하기 위해.

제안 방법

• 점근선을 사용하지 않고 메트릭 공간 상에서 직접 준등거리 변환을 분석하기 위해 '근사 미분'이라 불리는 새로운 기법을 개발한다.
• 상자 내의 지오데식선을 따라 가중 평균을 취하여, 준등거리 변환 하에서 근사적으로 보존되는 측도를 구성하며, 기하학적 비대칭성을 활용한다.
• 근사적으로 보존되는 높이 함수를 활용하여 상자 내에서 방향 전환을 방지함으로써 기하학적 구조의 강성을 확보한다.
• 자기준등거리 변환의 분류 결과를 바탕으로 무한대 경계 위의 군 작용을 통해 강성 결과를 유도한다.
• 튜리아 딘마르즈와 모셔-사게프-왜이트의 연구 결과를 활용하여, 람플라이터 군과 디에스트렐-리더 그래프에 대한 준등거리 강성을 도출한다.
• 동일한 근사 미분 프레임워크를 사용하여, 일부 비단조화, 비하이퍼볼릭 수열 리 대칭군이 어떤 유한생성군과도 준등거리가 아니라는 것을 증명한다.

실험 결과

연구 질문

• RQ1 $\operatorname{Sol}$ 와 준등거리인 군들은 모두 $\operatorname{Sol}$ 안에 가상 래티스인가?
• RQ2 다중순환군의 클래스는 준등거리적으로 강성한가, 즉 다중순환성은 기하적 성질인가?
• RQ3 디에스트렐-리더 그래프는 어떤 유한생성군과도 준등거리인가?
• RQ4 람플라이터 군의 준등거리 유형은 기하학적으로 특징지을 수 있는가?
• RQ5 비단조화, 비하이퍼볼릭 수열 리 대칭군은 유한생성 군의 준등거리 모델을 갖는가?

주요 결과

• $\operatorname{Sol}$ 와 준등거리인 모든 군은 $\operatorname{Sol}$ 안에 가상 래티스이므로, 비아벨리안 수열군에 대한 첫 번째 준등거리 강성 결과를 확립한다.
• 행렬 작용이 주어진 $\mathbb{R} \ltimes \mathbb{R}^n$ 의 자기준등거리 변환군은 해당 대각화 가능 작용을 보존하는 자기동형사상군과 동형임을 보였다.
• 파르브와 모셔의 추측에 따라, 행렬식 1이고 단위 원 위에 고유값이 없는 행렬에 의한 $\mathbb{R} \ltimes \mathbb{R}^n$ 군의 클래스에 대해 수열군의 준등거리 강성이 확인되었다.
• 특정 $DL(m,n)$ 형태의 디에스트렐-리더 그래프 중 $m \neq n$ 인 경우는 어떤 유한생성군과도 준등거리가 아니며, 이는 디에스트렐과 리더의 추측을 검증한다.
• 델라하르프의 질문을 해결하여, 람플라이터 군과 준등거리인 군들을 특징지었다.
• 비단조화, 비하이퍼볼릭 수열 리 대칭군은 어떤 유한생성군과도 준등거리가 아니며, 이는 강성 결과의 적용 범위를 확장한다.