[论文解读] A class of Garside groupoid structures on the pure braid group

Daan Krammer|ArXiv.org|Sep 7, 2005

Geometric and Algebraic Topology参考文献 9被引用 4

一句话总结

本文引入了纯 braid 群上一类新的 Garside 群胚结构，其参数由在标点上取值于整数 ≥2 的标记函数决定。通过构造一个作用于带 puncture 的圆盘的球面分解的群胚——其中标记对应于区域周长——该工作推广了 Garside 的原始结构，并将 Tamari 格序推广至新的有限格，包括在特定标记函数下出现的 associahedra 和 permutahedra。

ABSTRACT

We construct a class of Garside groupoid structures on the pure braid groups, one for each function (called labelling) from the punctures to the integers greater than 1. The object set of the groupoid is the set of ball decompositions of the punctured disk; the labels are the perimeters of the regions. Our construction generalises Garside's original Garside structure, but not the one by Birman-Ko-Lee. As a consequence, we generalise the Tamari lattice ordering on the set of vertices of the associahedron.

研究动机与目标

• 将 braid 群上 Garside 的原始结构推广至纯 braid 群上更广泛的群胚结构类别。
• 定义一个由从标点到整数 ≥2 的函数索引的新 Garside 群胚族。
• 将 Tamari 格序推广至由带 puncture 的圆盘的球面分解所生成的新有限格。
• 证明在格中的区间 [x, x∆] 构成一个有限多面体，在特定标记下包括 associahedra 和 permutahedra。
• 为通过群胚作用统一理解 n 边形三角剖分上的格序提供一个框架。

提出的方法

• 构造一个类似 braid 的群胚，作用于带 puncture 的圆盘的球面分解集合，其中每个区域包含一个 puncture，且其周长与 puncture 的标记一致。
• 通过编码分解上局部移动的初等关系（ER1–ER4）来定义群胚的表示。
• 证明群胚满足 Garside 群胚的公理，包括存在一个 Garside 元素 ∆ 和有限区间 [x, x∆]。
• 利用群胚在分解格上的作用，将区间 [x, x∆] 定义为有限格，推广 Tamari 格。
• 证明当所有标记均为 3 时，区间 Ω(y) 与 n 边形的三角剖分集合之间存在双射，从而在该集合上诱导出一个格序。

实验结果

研究问题

• RQ1 Garside 群胚结构能否被推广至经典 braid 群和 Birman–Ko–Lee 构造之外？
• RQ2 将整数 ≥2 的标记分配给 puncture 如何影响纯 braid 群及其相关格的结构？
• RQ3 格中区间 [x, x∆] 与已知多面体（如 associahedron 和 permutahedron）之间存在何种关系？
• RQ4 在何种条件下，群胚作用会在带标记 puncture 的圆盘的三角剖分集合上产生格序？
• RQ5 对三角剖分的 Tamari 格序是否为由 Garside 群胚产生的更广泛格序族中的特例？

主要发现

• 本文为每个从 puncture 到整数 ≥2 的标记函数构造了纯 braid 群上一类新的 Garside 群胚结构。
• 当所有标记均为 3 时，区间 [x, x∆] 与 n 边形的三角剖分集合之间存在双射，推广了 Tamari 格序。
• 该结构推广了 Garside 的原始 Garside 结构，但不包含 Birman–Ko–Lee 结构。
• 当所有标记均为 2 时，群胚作用是传递的，导致在 permutahedron 上产生唯一的格序。
• 区间 [x, x∆] 构成一个有限格，且当所有标记为 3 时，该格同构于 associahedron 上的 Tamari 格。
• 本文证明了 [x, x∆] 上的格序由群胚作用诱导，并在 Garside 元素 ∆ 下保持不变。