[논문 리뷰] The Large Scale Geometry of Nilpotent-by-Cyclic Groups

Ashley Reiter Ahlin|ArXiv.org|2005. 07. 14.

Geometric and Algebraic Topology참고 문헌 19인용 수 6

한 줄 요약

이 논문은 유한적으로 표현된 비다각형(nilpotent-by-cyclic) 군에 대해 준등거리 군의 강성(quasi-isometric rigidity)을 확립하며, 이러한 군과 준등거리인 임의의 군은 (유한부위-다각형)-by-cyclic임을 보여준다. 이 논문은 발산 속도와 성장 공간을 불변량으로 도입하고, 정의하는 자기환형(endomorphism)의 순열된 절대 조르당 표준형이 준등거리 불변량임을 추측하며, 이 조건 하에서 불변량이 동치임을 통해 부분적인 증거를 제시한다.

ABSTRACT

A nonpolycyclic nilpotent-by-cyclic group Gamma can be expressed as the HNN extension of a finitely-generated nilpotent group N. The first main result is that quasi-isometric nilpotent-by-cyclic groups are HNN extensions of quasi-isometric nilpotent groups. The nonsurjective injection defining such an extension induces an injective endomorphism phi of the Lie algebra g associated to the Lie group in which N is a lattice. A normal form for automorphisms of nilpotent Lie algebras--permuted absolute Jordan form-- is defined and conjectured to be a quasi-isometry invariant. We show that if phi, theta are endomorphisms of lattices in a fixed Carnot group G, and if the induced automorphisms of g have the same permuted absolute Jordan form, then Gamma_phi and Gamma_theta are quasi-isometric. Two quasi-isometry invariants are also found: the set of ``divergence rates'' of vertical flow lines: D_phi the ``growth spaces'': g_n subset g These do not establish that permuted absolute Jordan form is a quasi-isometry invariant, although they are major steps toward that conjecture. Furthermore, the quasi-isometric rigidity of finitely-presented nilpotent-by-cyclic groups is proven: any finitely-presented group quasi-isometric to a nonpolycyclic nilpotent-by-cyclic group is (virtually-nilpotent)-by-cyclic.

연구 동기 및 목표

• 비다각형 다각형-비순환 군을 준등거리 관계로 분류하기.
• 정의하는 자기환형의 순열된 절대 조르당 표준형이 준등거리 불변량인지 조사하기.
• 유한적으로 표현된 다각형-비순환 군에 대해 준등거리 군의 강성을 확립하기.
• 준등거리 클래스를 식별하는 데 사용될 수 있는 거시 기하 불변량인 발산 속도와 성장 공간과 같은 것을 특정하기.

제안 방법

• 유한 생성 다각형 군의 상행 HNN 확장으로 다각형-비순환 군을 분석한다.
• 다각형 군과 관련된 리 대수를 사용하고, 리 대수 위에서 유도된 자기환형을 연구한다.
• 준등거리 불변량 후보로 순열된 절대 조르당 표준형을 도입한다.
• 모델 공간 내 수직 흐름선의 발산 속도를 준등거리 불변량으로 정의한다.
• 리 대수 내 성장 공간을 다른 불변량으로 도입한다.
• 시간 변화 강성과 거시 기하 위상수학을 적용하여 준등거리 사상과 모델 공간 위의 구조를 유지하는 사상 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 두 준등거리인 비다각형 다각형-비순환 군은 반드시 준등거리인 다각형 군의 HNN 확장인가?
• RQ2 정의하는 자기환형의 순열된 절대 조르당 표준형이 군의 준등거리 불변량인가?
• RQ3 그룹의 모델 공간의 발산 속도와 성장 공간이 준등거리 클래스에 대한 완전한 불변량인가?
• RQ4 이러한 불변량들이 자기환형의 대수적 구조를 어느 정도 식별하는가?
• RQ5 유한적으로 표현된 다각형-비순환 군의 클래스는 준등거리적으로 강성 있는가?

주요 결과

• 유한적으로 표현된 군이 비다각형 다각형-비순환 군과 준등거리이면, (유한부위-다각형)-by-cyclic이므로 준등거리 강성이 확립된다.
• 준등거리인 다각형-비순환 군은 준등거리인 다각형 군의 HNN 확장으로 유도된다.
• 동일한 카르노 군 내의 격자 위의 두 자기환형이 동일한 순열된 절대 조르당 표준형을 가질 경우, 그에 대응하는 HNN 확장은 준등거리이다.
• 발산 속도의 집합 ${\mathcal{D}}_{\phi}$ 와 성장 공간 $\mathfrak{g}_{n}$ 은 군의 준등거리 불변량이다.
• 동일한 발산 속도와 성장 공간을 가지지만 다른 순열된 절대 조르당 표준형을 가진 두 군의 예가 구성되었으며, 이는 표준형이 완전한 불변량이 아닐 수 있음을 시사한다.
• 이러한 불변량들은 순열된 절대 조르당 표준형이 준등거리 불변량임을 향한 강력한 증거를 제공한다.