[论文解读] Garside and locally Garside categories

François Digne, Jean Michel|arXiv (Cornell University)|Dec 21, 2006

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

本文通过聚焦诺特性、消去性质以及最小公倍式（lcms）或最大公因式（gcis）的存在性，引入并研究了左、右及局部 Garside 范畴——Garside 半群的范畴推广——。关键贡献在于证明：在补集和最小公倍式下稳定的子范畴会继承局部 Garside 结构，从而使得通过同一 braid 群元素不同分解所关联的 Deligne-Lusztig 簇之间的典范同构得以应用。

ABSTRACT

We define and give axioms for Garside and locally Garside categories. We give an application to Coxeter and Artin groups and Deligne-Lusztig varieties.

研究动机与目标

• 将 Garside 范畴的概念形式化并推广至半群之外，尤其适用于几何表示论。
• 解决对范畴框架的需求，以理解与 Coxeter 群及 braid 群作用相关的 Deligne-Lusztig 簇。
• 确立子范畴继承局部 Garside 结构的条件，确保其在 lcm 和补集等关键运算下封闭。
• 证明同一 braid 元素的不同分解所关联的簇之间存在典范同构，从而支持定义良态的投射极限簇。

提出的方法

• 通过三个公理定义左局部 Garside 范畴：左诺特性、左消去性，以及存在具有共同右倍数的对的右最小公倍式。
• 引入子范畴在补集和最小公倍式下稳定的概念，证明此类子范畴会继承局部 Garside 性质。
• 利用诺特序与阿廷ian序之间的对偶性，关联左与右局部 Garside 结构，尤其在弱消去条件下。
• 构造从带标记序列范畴到拟射影簇范畴的函子，将每个态射映射为关联簇之间的同构。
• 证明该函子像中对象之间初等同构的复合与路径无关，其统一表达式基于一个公共目标对象。
• 将该框架应用于 Coxeter 群的 Artin-Tits 半群，证明同一元素所有分解所关联的簇均存在典范同构。

实验结果

研究问题

• RQ1 在何种范畴条件下，子范畴能从其环境范畴继承局部 Garside 结构？
• RQ2 在范畴框架下，如何建立不同分解所关联的几何对象之间典范同构的存在性？
• RQ3 诺特性在可除性序集中确保最小公倍式与最大公因式存在的作用是什么？
• RQ4 能否通过 Garside 类似范畴的函子构造，统一描述 Deligne-Lusztig 簇的结构？
• RQ5 在 Artin-Tits 半群中，将簇分配给分解的函子性具有何种意义？

主要发现

• 在补集和最小公倍式下稳定的子范畴，会从环境范畴继承左局部 Garside 结构。
• 在左局部 Garside 范畴中，任意具有相同源对象的态射族存在左最大公因式，且此类最大公因式的存在性在阿廷ian性条件下刻画了该类。
• 从带标记序列范畴出发的函子像中，对象之间初等同构的复合与路径无关，这是由于其在公共目标对象上的统一表达式。
• Artin-Tits 半群中同一元素的不同分解所关联的所有簇均存在典范同构，从而可定义良态的投射极限簇。
• 到簇的函子构造与复合相容，确保该分配尊重底层范畴的幺半群结构。
• 该框架为 Deligne-Lusztig 簇提供了范畴基础，推广了 Deligne 的早期结果，并通过函子性加以拓展。