[논문 리뷰] Garside categories, periodic loops and cyclic sets

David Bessis|ArXiv.org|2006. 10. 26.

Mathematics and Applications참고 문헌 20인용 수 26

한 줄 요약

이 논문은 Garside 군oids의 주기적 원소들이 관련된 군oids에서 확장된 Garside 구조에 대해 Garside 원소로 작용함을 증명하며, 약한 Garside 군에서의 주기적 원소의 중심화자를 자체적으로 약한 Garside 군으로 보여준다. 핵심 혁신은 Connes의 순환 카테고리에 대응하는 분할 Garside 카테고리의 도입으로, Garside 이론에서 주기성과 순환 대칭성을 통합적으로 다룰 수 있게 하며, 복소 반사 배열의 $K(\pi,1)$ 추측에 응용된다.

ABSTRACT

Garside groupoids, as recently introduced by Krammer, generalise Garside groups. A weak Garside group is a group that is equivalent as a category to a Garside groupoid. We show that any periodic loop in a Garside groupoid $\CG$ may be viewed as a Garside element for a certain Garside structure on another Garside groupoid $\CG_m$, which is equivalent as a category to $\CG$. As a consequence, the centraliser of a periodic element in a weak Garside group is a weak Garside group. Our main tool is the notion of divided Garside categories, an analog for Garside categories of Bökstedt-Hsiang-Madsen's subdivisions of Connes' cyclic category. This tool is used in our separate proof of the $K(π,1)$ property for complex reflection arrangements

연구 동기 및 목표

• Garside 군oids의 주기적 원소 및 그 중심화자의 대수적이고 카테고리적 구조를 이해하기 위해.
• 기본 군oids의 브레이드 군과 복소 반사 군에 대한 주기적 호메오모르피즘에 대한 고전적 Kerékjártó-Brouwer-Eilenberg 정리의 일반화를 위해.
• Connes의 순환 카테고리가 위상수학 및 호모토피 대수학에서 수행하는 역할을 모방하는 분할 Garside 카테고리라는 카테고리적 프레임워크를 개발하기 위해.
• 이 새로운 프레임워크를 사용하여 복소 반사 배열의 $K(\pi,1)$ 성질을 증명하기 위해.
• 약한 Garside 군과 Garside 군 간의 관계를 명확히 하며, 특히 점에서의 준동형 카테고리가 Garside 구조를 유전하지 않는 실패 사례에 대해 논의하기 위해.

제안 방법

• Garside 원소의 구조를 일반화하기 위해 Garside 원소의 기원 개념을 도입하고, 이를 통해 Garside 카테고리를 정의한다. 이는 Artin-Tits 모노이드와 브레이드 군의 구조를 일반화한다.
• Bökstedt-Hsiang-Madsen의 Connes의 순환 카테고리 분할을 카테고리적 해석으로 일반화하여, 분할 Garside 카테고리를 정의한다. 이는 카테고리적 맥락에서 순환 대칭성을 포착한다.
• 주어진 Garside 군oids $\mathcal{G}$에서 새로운 Garside 군oids $\mathcal{G}_m$을 구성하여, $\mathcal{G}$의 주기적 루프가 $\mathcal{G}_m$에서 Garside 원소로 작용하도록 한다. 이는 루프의 $m$-가분성에 기반한다.
• Garside 네브 구조를 사용하여 네브의 호모토피 유형이 $K(\pi,1)$ 성질과 관련됨을 보이며, Bestvina의 연구에서 유도된 음이 아닌 곡률 성질을 활용한다.
• 이론을 적용하여, 약한 Garside 군에서 주기적 원소의 중심화자를 새로운 Garside 구조를 가진 Garside 군oids의 완전한 부분카테고리로 표현함으로써, 중심화자가 약한 Garside 군임을 증명한다.
• $A_2$ Artin-Tits 모노이드의 예를 들어 3-분할 카테고리를 명시적으로 계산하고, 구조가 잘 정의되어 있음을 검증한다.

실험 결과

연구 질문

• RQ1 어떤 주기적 루프도 적절히 구성된 확장된 Garside 군oids에서 Garside 원소로 표현될 수 있는가?
• RQ2 약한 Garside 군에서 주기적 원소의 중심화자는 항상 약한 Garside 군인가?
• RQ3 분할 Garside 카테고리 구성은 Garside 이론적 목적을 위해 Connes의 순환 카테고리의 일반화가 되는 카테고리적 프레임워크를 제공하는가?
• RQ4 $S^1$-공간에서의 유리수 각도의 회전 고정점 집합이 기본군oids에서 주기적 원소의 공轭성과 중심성에 얼마나 많은 영향을 미치는가?
• RQ5 $\frac{p}{q}$-주기적 원소의 중심화자와 $\pi_1(X^{\mu_q})$ 사이에 포함 사상이 동형을 유도하는 조건은 무엇인가?

주요 결과

• Garside 군oids $\mathcal{G}$의 주기적 루프는 분할 Garside 카테고리 구성에 의해 생성된 새로운 Garside 군oids $\mathcal{G}_m$에서 Garside 원소로 작용한다.
• 약한 Garside 군에서 주기적 원소의 중심화자는 자체적으로 약한 Garside 군이며, 이러한 중심화자의 구조적 특성을 규명한다.
• 분할 Garside 카테고리 구성은 Connes의 순환 카테고리에 대응하는 카테고리적 해석을 제공하며, 주기성과 순환 대칭성의 호모토피적 다루기에 기여한다.
• $A_2$ Artin-Tits 모노이드의 경우, 3-분할 카테고리가 명시적으로 계산되었고, 잘 정의된 Garside 구조를 지닌다는 것이 입증되었다.
• 분할 Garside 카테고리 프레임워크를 사용하여 복소 반사 배열의 $K(\pi,1)$ 추측이 증명되었으며, 위상수학과 Garside 이론 간의 연결 고리를 확립하였다.
• Garside 카테고리 $\mathcal{C}$의 객체 $x$에서의 준동형 카테고리 $\operatorname{Hom}_{\mathcal{C}}(x,x)$는 반드시 Garside 구조를 유전하지는 않으며, $a^3 = b^3$를 포함한 반례로 이를 보였다.