[論文レビュー] Garside categories, periodic loops and cyclic sets

David Bessis|ArXiv.org|Oct 26, 2006

Mathematics and Applications参考文献 20被引用数 26

ひとこと要約

本稿では、Garside 群の小で周期的要素が関連する群の小における拡張された 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 群の小における周期的要素およびその中心化部分群の代数的・圏論的構造を理解すること。
• 古典的 Kerékjártó-Brouwer-Eilenberg 定理（周期的ホメオモルフィズムに関するもの）を braid 群および複素反射群の設定に一般化すること。
• Connes の循環的カテゴリが位相的・ホモトピー的代数において果たす役割を模倣する圏論的枠組み「分割 Garside 圈」を構築すること。
• この新しい枠組みを用いて、複素反射配置の $K(\pi,1)$ 性質を証明すること。
• 弱 Garside 群と Garside 群の関係を明確にすること、特に点における自己準同型圏が Garside 構造を必ずしも引き継がないという事実についての考察。

提案手法

• Garside 細胞の概念を導入し、それによって Garside 圈を定義することで、Artin-Tits 半群や braid 群の構造を一般化する。
• Bökstedt-Hsiang-Madsen の循環的カテゴリの分割を模倣した、Garside 群の小における循環的対称性を捉える圏論的アナログとしての「分割 Garside 圈」を定義する。
• 与えられた Garside 群の小 $\mathcal{G}$ から、その周期的ループが $m$-可除性を用いて新しい Garside 群の小 $\mathcal{G}_m$ において Garside 要素となるように、新たな Garside 群の小 $\mathcal{G}_m$ を構成する。
• Garside ネ载体の構成を用いて、ネ载体のホモトピー型と $K(\pi,1)$ 性質との関係を確立し、Bestvina の研究による非正曲率の性質を活用する。
• 理論を応用し、弱 Garside 群における周期的要素の中心化部分群が、新しい Garside 構造を備えた Garside 群の小のフル部分圏として実現されることにより、それが弱 Garside 群であることを示す。
• $A_2$ Artin-Tits 半群の例を用いて、3-分割圏を明示的に計算し、構成の正当性を具体的な事例で検証する。

実験結果

リサーチクエスチョン

• RQ1 任意の Garside 群の小における周期的ループは、適切に構成された拡張 Garside 群の小において Garside 要素として実現可能か？
• RQ2 弱 Garside 群における周期的要素の中心化部分群は常に弱 Garside 群か？
• RQ3 分割 Garside 圈の構成は、Garside 理論的用途のための Connes の循環的カテゴリの一般化としての圏論的枠組みを提供するか？
• RQ4 $S^1$-空間における有理数回転の固定点集合は、基本群の小における周期的要素の共役性および中心性をどの程度制御するか？
• RQ5 固定点集合 $X^{\mu_q}$ の包含写像が、$\frac{p}{q}$-周期的要素の中心化部分群と $\pi_1(X^{\mu_q})$ の間に同型を誘導する条件は何か？

主な発見

• 任意の Garside 群の小 $\mathcal{G}$ における周期的ループは、分割 Garside 圈の構成によって得られる新たな Garside 群の小 $\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$ を含む反例によって示された。