[논문 리뷰] The asymptotic geometry of right-angled Artin groups, I

Mladen Bestvina, Bruce Kleiner외 1명|ArXiv.org|2007. 08. 14.

Geometric and Algebraic Topology참고 문헌 13인용 수 4

한 줄 요약

이 논문은 유한하고 삼각형이 없으며 길이 ≤4인 고리가 없고 분리 정점 별을 갖지 않는 그래프로 정의된 원자적 오른쪽-각 아르틴 군의 점점 커지는 기하학을 조사한다. 준등거리 사상이 최대 곱부분복합체와 평평한 부분공간을 보존하고, 두 군이 준등거리일 때 오직 그들이 동형이면 성립함을 증명하며, 전체 준등거리 기하학적 강성의 결여에도 불구하고 강력한 형태의 준등거리 기하학적 강성을 보여준다.

ABSTRACT

We study atomic right-angled Artin groups -- those whose defining graph has no cycles of length less than five, and no separating vertices, separating edges, or separating vertex stars. We show that these groups are not quasi-isometrically rigid, but that an intermediate form of rigidity does hold. We deduce from this that two atomic groups are quasi-isometric iff they are isomorphic.

연구 동기 및 목표

• 짧은 고리나 분리 구조가 없는 그래프로 정의된 오른쪽-각 아르틴 군(RAAG)의 점점 커지는 기하학을 이해하는 것.
• 이러한 RAAG 간의 준등거리 사상이 평평한 부분공간과 곱부분복합체와 같은 핵심 기하적 특성을 보존하는지 조사하는 것.
• 이 클래스에서 준등거리 사상이 동형을 암시하는지 여부를 판단하여, 전체 준등거리 기하학적 강성의 실패를 다루는 것.
• 공변자군과 준등거리군의 구조를 분석하여, 자동기구군이 공변자군에서 유한 차수를 가지지 않음을 보여주어 고전적 의미에서의 비강성임을 밝혀내는 것.

제안 방법

• 정점별로 연결되어 있고 삼각형이 없으며 길이 <5인 고리가 없고 분리 정점 별이 없는 그래프로 정의된 원자적 RAAG를 정의한다.
• 기하 분석의 모델 공간으로 샐베티 복합체의 범용 커버 $ K(ar{ abla}) $ 를 사용한다.
• 기하학적 및 조합적 추론을 통해 이러한 공간 간의 준등거리 사상이 평평한 부분공간을 유계한 하우스도르프 거리 내에서 보존함을 증명한다.
• 이중 디스크 다이어그램과 타우트 사이클의 구조를 통해 최대 곱부분복합체의 보존을 확립한다.
• 평행 집합 위의 작용을 분석하고 $ \bbZ $-요소 위에 유도된 사상들을 사용하여 공轭이 아닌 준등거리 사상을 탐지한다.
• 무한 순환 커버와 $ K(ar{ abla}_1) $ 의 사본 위에서의 순열 작용을 통한 구체적 예를 구성하여 $ \operatorname{Comm}(G) $ 가 $ \operatorname{QI}(G) $ 에서 유한 차수를 가짐을 보여준다.

실험 결과

연구 질문

• RQ1 원자적 RAAG 간의 준등거리 사상이 평평한 부분공간과 최대 곱부분복합체를 보존하는가?
• RQ2 완전한 준등거리 기하학적 강성과 그 결여 사이의 중간 형태의 강성이 원자적 RAAG에 존재하는가?
• RQ3 정의하는 그래프가 원자적일 경우, 서로 동형이 아닌 두 RAAG가 준등거리일 수 있는가?
• RQ4 원자적 RAAG의 공변자군과 준등거리군의 구조는 무엇이며, 자동기구군과 어떻게 관련이 있는가?
• RQ5 공변자군의 기하적 작용 중 등거리 작용과 공轭이 아닌 것은 존재하는가?

주요 결과

• 원자적 RAAG의 범용 커버 간 준등거리 사상은 평평한 부분공간을 유계한 하우스도르프 거리 내에서 보존하며, 그 유계는 오직 준등거리 상수에 의존한다.
• 최대 곱부분복합체는 준등거리 사상에 의해 보존되며, 이는 강성 결과에 필수적이다.
• 두 원자적 RAAG는 서로 준등거리일 때 오직 그들이 동형이면 성립하며, 강력한 형태의 강성을 확립한다.
• 공변자군 $ \operatorname{Comm}(G) $ 는 준등거리군 $ \operatorname{QI}(G) $ 에서 유한 차수를 가지며, 이는 $ \operatorname{Aut}(G) $ 가 $ \operatorname{Comm}(G) $ 에서 유한 차수를 가지지 않음을 보여준다.
• 등거리 작용과 공轭이 아닌 준등거리 사상이 존재하며, 이는 평행 집합을 보존하고 $ \bbZ $-요소 위에 전단사 준등거리 사상을 유도한다.
• 무한 순환 커버에서 사본의 순열을 통한 준등거리 사상의 구성은 $ \bbZ $-요소 위의 작용이 임의의 전단사 준등거리 사상을 실현할 수 있음을 보여주며, 이러한 사상의 유한 분류가 불가능함을 의미한다.