[论文解读] Garside categories, periodic loops and cyclic sets

David Bessis|ArXiv.org|Oct 26, 2006

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

一句话总结

该论文证明了在相关范畴上，Garside范畴中的周期性元素作为扩展Garside结构的Garside元，且弱Garside群中任意周期性元素的中心化子本身也是弱Garside群。关键创新在于引入了分拆Garside范畴——Connes循环范畴的范畴类比——从而统一处理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 群与复反射群的设定。
• 构建一个范畴框架——分拆Garside范畴——其作用类似于Connes循环范畴在拓扑与同伦代数中的角色。
• 利用此新框架证明复反射排列的$K(\pi,1)$性质。
• 澄清弱Garside群与Garside群之间的关系，特别是端点处的自同态范畴未必继承Garside结构的问题。

提出的方法

• 引入Garside胚的概念，并用其定义Garside范畴，推广Artin-Tits半群与braid群的结构。
• 将分拆Garside范畴定义为Bökstedt-Hsiang-Madsen对Connes循环范畴的细分的范畴类比，以在范畴设定中捕捉循环对称性。
• 从给定的Garside范畴$\mathcal{G}$构造一个新的Garside范畴$\mathcal{G}_m$，使得$\mathcal{G}$中的周期性环路在$m$-可除性下成为$\mathcal{G}_m$中的Garside元。
• 利用Garside单纯形构造，将单纯形的同伦型与$K(\pi,1)$性质关联，借助Bestvina工作中的非正曲率性质。
• 将该理论应用于证明：弱Garside群中周期性元素的中心化子本身是弱Garside群，通过将其视为带有新Garside结构的Garside范畴的全子范畴实现。
• 以$A_2$ Artin-Tits半群为例，说明3-分拆范畴并验证该构造在具体情形下的正确性。

实验结果

研究问题

• RQ1 任何Garside范畴中的周期性环路是否都能在适当构造的扩展Garside范畴中实现为Garside元？
• RQ2 弱Garside群中周期性元素的中心化子是否总是弱Garside群？
• RQ3 分拆Garside范畴构造是否提供了一个广义化Connes循环范畴的范畴框架，适用于Garside理论目的？
• RQ4 在$S^1$-空间中，有理旋转的固定点集在多大程度上控制了基本范畴中周期性元素的共轭性与中心性？
• RQ5 在何种条件下，包含固定点集$X^{\mu_q}$的映射能诱导$\pi_1(X^{\mu_q})$与$\frac{p}{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$。