[논문 리뷰] Cubical-like geometry of quasi-median graphs and applications to geometric group theory

Anthony Genevois|arXiv (Cornell University)|2017. 12. 05.

Advanced Graph Theory Research인용 수 27

한 줄 요약

이 논문은 CAT(0) 큐브 복합체의 일반화로 쿼드-미디안 그래프를 도입하고, 그 기하학이 하이퍼플레인의 조합론에 의해 완전히 결정됨을 보여준다. 이는 클리크-스테이빌라이저의 성질에 기반하여 이러한 그래프 위에 작용하는 군의 전반적인 기하학적 성질—예를 들어, 하이퍼볼릭성, CAT(0) 기하학, 큐브성, ℓp-압축성—을 유도할 수 있는 프레임워크를 개발한다. 주요 기여는 군이 쿼드-미디안 그래프 위에 적절하게 작용하고 클리크-스테이빌라이저가 비양의 곡률 성질 P를 만족한다면, 전체 군도 성질 P를 만족함을 보여주는 일반 기준을 제시하는 것이다.

ABSTRACT

The class of quasi-median graphs is a generalisation of median graphs, or equivalently of CAT(0) cube complexes. The purpose of this thesis is to introduce these graphs in geometric group theory. In the first part of our work, we extend the definition of hyperplanes from CAT(0) cube complexes, and we show that the geometry of a quasi-median graph essentially reduces to the combinatorics of its hyperplanes. In the second part, we exploit the specific structure of the hyperplanes to state combination results. The main idea is that if a group acts in a suitable way on a quasi-median graph so that clique-stabilisers satisfy some non-positively curved property $\mathcal{P}$, then the whole group must satisfy $\mathcal{P}$ as well. The properties we are interested in are mainly (relative) hyperbolicity, (equivariant) $\ell^p$-compressions, CAT(0)-ness and cubicality. In the third part, we apply our general criteria to several classes of groups, including graph products, Guba and Sapir's diagram products, some wreath products, and some graphs of groups. Graph products are our most natural examples, where the link between the group and its quasi-median graph is particularly strong and explicit; in particular, we are able to determine precisely when a graph product is relatively hyperbolic.

연구 동기 및 목표

• CAT(0) 큐브 복합체의 기하학적 및 조합론적 도구를 더 넓은 범주인 쿼드-미디안 그래프로 일반화하기.
• 쿼드-미디안 그래프의 기하학이 하이퍼플레인의 구조에 완전히 암호화되어 있음을 입증하기.
• 클리크-스테이빌라이저가 비양의 곡률 성질(예: 하이퍼볼릭성, CAT(0), 큐브성)을 만족할 경우, 적절한 군 작용 하에 전체 군으로 그 성질을 전이할 수 있는 일반 기준을 개발하기.
• 특정 군의 클래스—특히 그래프 곱과 다이어그램 곱—에 이 프레임워크를 적용하여 그 기하학적 및 대수적 성질을 규명하기.

제안 방법

• CAT(0) 큐브 복합체에서의 하이퍼플레인과 섹터 개념을 쿼드-미디안 그래프로 확장하여, 변에 대한 동치관계를 통해 정의한다.
• 게이팅 서브그래프와 사영을 도입하여 쿼드-미디안 그래프 내의 볼록성과 볼록 Hull을 분석한다.
• 게이팅 Hull, 프리즘, 평면 직사각형을 정의하고 연구하여 국소적 및 전반적 기하학을 이해한다.
• 쿼드-미디안 그래프에 대한 표준 거리 δ₁을 정의하고, 이 구조를 보존하는 군 작용을 연구한다.
• 벽 공간 이론과 큐브화 이론을 적용하여 쿼드-미디안 그래프 위의 군 작용이 ℓp-압축성과 a-T-멘어블리티와 어떻게 연결되는지 분석한다.
• 하이퍼플레인의 팽창을 이용해 새로운 쿼드-미디안 그래프를 구성하고, 와이어드 그래프 곱과 그래프의 군 분해를 통해 군 작용을 분석한다.

실험 결과

연구 질문

• RQ1 그래프 곱 군이 상대적으로 하이퍼볼릭이 되는 조건은 무엇인가?
• RQ2 쿼드-미디안 그래프 위에 작용하는 군이 하이퍼볼릭성, CAT(0), 또는 큐브성을 갖는 조건은 무엇인가?
• RQ3 쿼드-미디안 그래프 위에 작용하는 군의 ℓp-압축성은 클리크-스테이빌라이저의 압축성으로부터 결정될 수 있는가?
• RQ4 이중 순서 가능 군의 다이어그램 곱은 반드시 이중 순서 가능한가?
• RQ5 왜곡된 그래프 곱 또는 오른쪽-각도 그래프의 군이 특별한 작용을 하며 쿼드-미디안 그래프 위에 작용하는 조건은 무엇인가?

주요 결과

• 그래프 곱이 상대적으로 하이퍼볼릭이 되는 것은 그 기저 그래프가 트리이고, 어떤 정점 군도 자명하지 않을 때이다.
• 오른쪽-각도 그래프의 군의 기본군은 쿼드-미디안 그래프 위에 작용하며, 하이퍼플레인-스테이빌라이저가 리트랙트일 때에만 특별한 작용을 한다.
• 유한 군의 다이어그램 곱은 그 기저 다이어그램 군이 잔여 유한할 경우 잔여 유한하다.
• 쿼드-미디안 그래프 위에서 회전적으로 작용하는 군은 왜곡된 그래프 곱으로 분해되며, 이는 이 구성의 역이 성립할 수 있음을 시사한다.
• 쿼드-미디안 그래프 위에 작용하는 군의 ℓp-압축성은 군 작용이 등변 조건을 만족할 경우, 클리크-스테이빌라이저의 최소 ℓp-압축성으로부터 아래로 유계진다.
• 군의 카르테시안 큐빙 위의 기본군은 쿼드-미디안 그래프 위에 주로 전이적으로 작용하며, 단사 사상이 표준 포함일 경우 작용은 특별하다.