[논문 리뷰] Bestvina's normal form complex and the homology of Garside groups

Ruth Charney, John Meier외 1명|ArXiv.org|2002. 02. 22.

Geometric and Algebraic Topology참고 문헌 12인용 수 11

한 줄 요약

이 논문은 Garside 군에 대해 Bestvina의 정규형 복합체를 이용하여 유한한 K(π,1) 공간을 구성함으로써, 단순 약수의 유한한 격자로부터 군의 (코)호몰로지의 명시적 계산을 가능하게 한다. 핵심 기여는 Garside 군이 약한 음의 곡률 조건을 만족함을 보여주는 함의적 구성이며, 이는 Garside 원소 Δ에 대한 타이밍 조건이 성립할 경우 가역 부분군이 유한 생성 아벨 군의 부분군임을 의미한다.

ABSTRACT

A Garside group is a group admitting a finite lattice generating set D. Using techniques developed by Bestvina for Artin groups of finite type, we construct K(π,1)s for Garside groups. This construction shows that the (co)homology of any Garside group G is easily computed given the lattice D, and there is a simple sufficient condition that implies G is a duality group. The universal covers of these K(π,1)s enjoy Bestvina's weak non-positive curvature condition. Under a certain tameness condition, this implies that every solvable subgroup of G is virtually abelian.

연구 동기 및 목표

• Garside 군이 유한한 K(π,1) 공간을 갖는다는 것을 입증함으로써, 유한형 아르틴 군에 대해 Bestvina의 구성의 일반화를 이루는 것.
• 단순 약수의 유한 생성 집합 D를 기반으로 한 구체적이고 격자 기반의 방법을 제공하여 Garside 군의 (코)호몰로지를 계산하는 것.
• Bestvina의 약한 음의 곡률 조건을 모든 Garside 군으로 확장하여 기하학적 성질과 대수적 성질을 연결하는 것.
• 모든 가역 부분군이 유한 생성 아벨 군의 부분군이 되는 충분조건(Δ의 타이밍 조건)을 규명하는 것.
• 구성의 함의적 성격을 보여주어, 아르틴 군 외에도 모든 격자 생성 집합을 갖는 군에 적용 가능함을 보이는 것.

제안 방법

• Garside 원소 Δ의 단순 약수의 격자 D의 기하적 실현 |D|를 구성하여 단체 복합체를 형성한다.
• Garside 군 G를 G⁺(Garside 모노이드)의 분수군으로 정의하며, 그 안에 있는 Garside 원소 Δ의 약수가 유한한 격자를 형성하는 것으로 한다.
• 좌측 그리디 정규형 (g = μ₁μ₂⋯μₖΔʲ)을 사용하여 D에 대한 단어 길이 노름 |g|_D를 정의한다.
• 이동 길이 τ(g) = limₙ→∞ |gⁿ|_D / n을 정의하고, Δ에 대한 타이밍 조건 하에서 이 값이 0으로부터 떨어져 있음을 증명한다.
• 유한한 K(π,1)의 분해형 덮개에 Bestvina의 약한 음의 곡률 조건을 적용하며, 볼록성과 거리 추정을 사용한다.
• G가 복합체 X_D 위에 작용하는 방식을 이용해 안정자와 궤도를 분석하며, 특히 G_Δ 내에서 유한 또는 무한 순환을 갖는 원소에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 단순 약수의 격자 D만을 사용하여 임의의 Garside 군에 대해 유한한 K(π,1) 공간을 구성할 수 있는가?
• RQ2 정규형 복합체 |D|의 기하학적 및 위상수학적 성질은 Garside 군이 약한 음의 곡률 조건을 만족하는 데 어떤 영향을 미치는가?
• RQ3 Garside 원소 Δ에 대해 어떤 조건이 성립할 경우 G의 모든 가역 부분군이 유한 생성 아벨 군의 부분군이 되는가?
• RQ4 단어 길이 |g|_D는 K(π,1)의 분해형 덮개에서의 기하적 거리 d(*, g(*))와 어떻게 관련이 있는가?
• RQ5 K(π,1)의 구성은 함의적일 수 있으며, 이는 아르틴 군의 유한형 이외의 모든 격자 생성 집합을 갖는 군으로까지 확장 가능한가?

주요 결과

• Garside 군은 단순 약수의 격자 D로부터 유한한 K(π,1) 공간을 갖는다. 이는 정리 3.6에 의해 그 (코)호몰로지의 직접 계산이 가능함을 의미한다.
• 구성된 K(π,1)의 분해형 덮개는 Bestvina의 약한 음의 곡률 조건을 만족하며, 이는 음의 곡률 유사 행동을 보장한다.
• Garside 군이 이중성 군임을 보여주는 충분조건은 |D|의 부분복합체의 연결성에 의해 기술되며, 이는 4.2 및 4.4 절에서 보여진다.
• Garside 원소 Δ가 타이밍 조건을 만족할 경우(즉, ||Δⁿ|| ≤ cn 인 상수 c가 존재할 경우), 모든 g ∈ G에 대해 이동 길이 τ(g)는 0으로부터 떨어져 있음이 보장된다.
• Δ에 대한 타이밍 조건이 성립할 경우, G의 모든 가역 부분군은 유한 생성 아벨 군의 부분군임을 보여주는 코로나리 6.13에 의해 입증된다.
• τ(g)의 하한을 증명하는 데에는 궤도의 외접 반경이 n에 대해 선형으로 증가함을 이용하며, 이는 g의 G_Δ 상의 이미지가 무한 순환일 경우 유한 안정자를 가질 수 없음을 모순시킴으로써 이루어진다.