[논문 리뷰] Graphical small cancellation groups with the Haagerup property

Goulnara Arzhantseva, Damian Osajda|arXiv (Cornell University)|2014. 04. 27.

Advanced Operator Algebra Research참고 문헌 26인용 수 17

한 줄 요약

이 논문은 빈도 조건을 만족하는 무한 그래픽적 소작분해 표현을 갖는 유한 생성 군에 대해 Haagerup 성질을 확립한다. $C^{\raisebox{1pt}{\textquotesingle}}(\overline{\lambda})$-복합체가 선형 분리 성질을 만족함을 증명함으로써, 저자들은 이러한 군이 벽을 가진 공간 위에 적절히 작용함을 보이며, 이는 근사적 포함성과 힐버트 공간으로의 강력한 Baum-Connes 추측의 타당성을 암시한다.

ABSTRACT

We prove the Haagerup property (= Gromov's a-T-menability) for finitely generated groups defined by infinite presentations satisfying the graphical C'(lambda)-small cancellation condition with respect to graphs endowed with a compatible wall structure. We deduce that these groups are coarsely embeddable into a Hilbert space and that the strong Baum-Connes conjecture and, hence, the Baum-Connes conjecture with arbitrary coefficients hold for them. As the main step we show that C'(lambda)-complexes satisfy the linear separation property. Our result provides many new examples and a general technique to show the Haagerup property for graphical small cancellation groups.

연구 동기 및 목표

• 무한 표현을 갖는 그래프적으로 표현된 군의 광범위한 클래스에 대해 Haagerup 성질을 확립하는 것.
• 그래프의 조합적 성질과 소작분해 레이블링 사이의 자연스러운 호환 조건을 규명하여 Haagerup 성질이 보장되도록 하는 것.
• 특히 무한히 표현된 군의 맥락에서 그래픽적 소작분해의 맥락에서 Haagerup 성질을 증명하는 일반적인 방법을 제공하는 것.
• 힐버트 공간으로 근사적으로 포함될 수 있지만, 근사적으로 아벨리안이 아닌 유한 생성 군을 구성하는 열린 문제를 다루는 것.

제안 방법

• 그래프의 벽 구조와 $C^{\raisebox{1pt}{\textquotesingle}}(\overline{\lambda})$-소작분해 레이블링 사이의 호환 조건으로서 lacunary walling 조건을 도입한다.
• lacunary walling 조건을 만족하는 복합체가 선형 분리 성질을 갖는다는 것을 증명한다. 즉, 경로 거리와 벽 준거리가 비-리프시츠 등가임을 의미한다.
• 선형 분리 성질을 이용해, 벽을 가진 공간 위에 등급 등거리 작용이 존재함을 유도하며, 이는 Haagerup 성질을 암시한다.
• 벽 준거리에서 병리적 행동을 피하기 위해 $\beta$-조건과 $\delta$-조건이 필수적임을 보여주는 그래픽적 표현의 구체적 예를 제시한다.
• 무한 표현에서 $\delta$-조건의 실패를 분석하여, 큰 경로 거리에도 불구하고 적은 수의 벽으로 분리된 지오데식선이 존재함을 보여준다.
• lacunarity 조건을 기존의 $\pi/2$-강한 분리 성질과 비교하여, 이들이 논리적으로 독립적이지만 모두 벽 분포를 제어하는 데 기여함을 보여준다.

실험 결과

연구 질문

• RQ1 힐버트 공간으로 근사적으로 포함될 수 있지만, 근사적으로 아벨리안이 아닌 유한 생성 군이 존재하는가?
• RQ2 그래프의 레이블링에 대해 어떤 조합적 조건이 그래픽적 소작분해 군의 Haagerup 성질을 보장하는가?
• RQ3 $C^{\raisebox{1pt}{\textquotesingle}}(\overline{\lambda})$-복합체가 적절한 벽 구조를 갖는 경우 선형 분리 성질을 확보할 수 있는가?
• RQ4 $\beta$-조건과 $\delta$-조건이 무한 그래픽적 표현에서 벽 준거리에 미치는 영향은 어떠한가?
• RQ5 lacunarity 조건이 벽을 가진 공간 위의 적절한 작용 맥락에서 $\pi/2$-강한 분리 성질을 얼마나 대체하거나 일반화하는가?

주요 결과

• 주요 결과는 빈도 조건을 만족하는 무한 그래픽적 표현을 갖는 유한 생성 군이 벽을 가진 공간 위에 적절히 작용함을 보이며, 이는 Haagerup 성질을 암시한다는 것이다.
• $C^{\raisebox{1pt}{\textquotesingle}}(\overline{\lambda})$-복합체가 빈도 조건을 만족할 경우 선형 분리 성질을 만족한다. 즉, 경로 거리와 벽 준거리는 비-리프시츠 등가이다.
• 레퍼런스 $r$가 $(4k+2)$-각형이고 벽이 그와 같이 기술된 무한 그래픽적 표현으로 정의된 군 $G$에서 $d(v_1,v_{2k+2}) = 2k+1$ 이지만 $d_W(v_1,v_{2k+2}) = 1$ 이다. 이는 $\delta$-조건이 실패할 경우 벽 준거리가 비적절해질 수 있음을 보여준다.
• $k$개의 레퍼런스 $r$ 복사본으로 구성된 복합체 $X_k$에서, $k=3$ 일 때 $d_W(p,q) = 8$ 이지만 경로 거리 $d(p,q) = 24$ 이다. 이는 무한한 극한에서의 적절성 실패를 나타낸다.
• lacunarity 조건은 장거리 지오데식선에서 벽이 간선을 고갈시키는 것을 방지하기 위해 필수적임이 입증되었으며, 이는 구조 내 트리 간선의 수가 지름에 비해 지수적으로 증가함을 보여준다.
• 저자들은 $\pi/2$-강한 분리 성질과 lacunarity 조건이 논리적으로 독립적이며, 후자가 벽을 가진 공간에 대한 정량적 접근에 더 적합함을 보였다.