[논문 리뷰] Crystallographic Helly Groups

Nima Hoda|arXiv (Cornell University)|2020. 10. 14.

Algebraic structures and combinatorial models인용 수 5

한 줄 요약

이 논문은 헬리 그래프의 점점 커지는 원뿔이 가чёт히 초구형임을 증명하고, 이로부터 점군을 통해 거의 아벨인 헬리 군을 특성화한다. 또한 거의 노름형 헬리 군이 거의 아벨임을 증명하며, 헬리가 아닌 첫 번째 식스티컬 군으로서 3-3-3 코크세터 군을 제시함으로써 기하군론에서 오랫동안 남아 있던 열린 문제를 해결한다.

ABSTRACT

We prove that asymptotic cones of Helly graphs are countably hyperconvex. We use this to show that virtually nilpotent Helly groups are virtually abelian and to characterize virtually abelian Helly groups via their point groups. In fact, we do this for the more general class of coarsely injective spaces and groups. We apply this to prove that the $3$-$3$-$3$-Coxeter group is not Helly (nor even coarsely injective), thus obtaining the first example of a systolic group that is not Helly, answering a question of Chalopin, Chepoi, Genevois, Hirai, and Osajda.

연구 동기 및 목표

• GL_n(R)에서의 점군을 통해 거의 아벨인 헬리 군을 특성화하는 것.
• 거의 노름형 헬리 군이 거의 아벨임을 증명하여, 코컴팩트하게 큐브형 군에 대한 결과를 확장하는 것.
• 칼로핀 등이 제기한, 헬리가 아닌 식스티컬 군의 존재에 관한 열린 문제를 해결하는 것.
• 기하군론에서 거칠게 포함성, 점점 커지는 원뿔, 초구형성 간의 연결 고리를 설정하는 것.
• 거의 아벨 및 거의 노름형 군의 범주 내에서 헬리 군을 완전히 특성화하는 것.

제안 방법

• 헬리 군의 대규모 기하학을 분석하기 위해 헬리 그래프의 점점 커지는 원뿔을 사용한다.
• 노름형 군의 점점 커지는 원뿔에 관한 반수의 결과를 응용하여, 거의 노름형 헬리 군의 구조를 연구한다.
• 거칠게 포함성 공간(헬리 그래프 포함)의 점점 커지는 원뿔이 가чёт히 초구형임을 증명한다.
• 아이스벨의 포함성 메트릭 공간 이론과 표준 포함성 헐 구조를 활용한다.
• 헬리 군과 거칠게 포함성 군 간의 동치성을 이용하여, 포함성 기하학의 결과를 군론으로 이전한다.
• Z^n 위의 올바르고 대략적으로 지오데식이며 왼쪽 불변 메트릭의 특성화를 응용하여 점군 작용을 분석한다.

실험 결과

연구 질문

• RQ1 어떤 거의 아벨 군들이 헬리 그래프 위에 올바르고 코컴팩트하게 작용할 수 있는가?
• RQ2 모든 거의 노름형 헬리 군이 거의 아벨인가?
• RQ3 헬리가 아닌 식스티컬 군이 존재하는가? 만약 존재한다면 그 구조는 어떠한가?
• RQ4 거의 아벨 군의 점군과 그가 작용하는 노름 공간의 기하학 간의 관계는 무엇인가?
• RQ5 헬리 그래프의 점점 커지는 원뿔은 초구형성과 거칠게 포함성과 어떻게 관련되는가?

주요 결과

• 거칠게 포함성 공간의 점점 커지는 원뿔은 가чёт히 초구형이며, 이는 별도의 관심사로도 가치가 있다.
• 거의 노름형 헬리 군은 거의 아벨이며, 헤겐의 코컴팩트하게 큐브형 군에 대한 결과를 일반화한다.
• 거의 아벨 군이 헬리일 조건은 그 점군이 R^n의 최대노름에 대한 등급군의 부분군과 쌍대화되어 있을 때이다.
• 3-3-3 코크세터 군은 헬리가 아니며(또한 거칠게 포함성도 아님), 헬리가 아닌 첫 번째 식스티컬 군의 예이다.
• 3-3-3 코크세터 군의 예를 통해 헬리 군의 범주는 코컴팩트하게 큐브형 군의 범주를 엄밀히 포함한다.
• 거의 아벨 헬리 군의 점군은 l∞-노름을 보존해야 하며, 이는 작용의 기하학을 특성화한다.