[論文レビュー] A class of Garside groupoid structures on the pure braid group

Daan Krammer|ArXiv.org|Sep 7, 2005

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

ひとこと要約

本稿では、2以上の整数でラベル付けされた穴にパrameter化された、純ブレード群におけるGarside群概体構造の新しいクラスを導入する。穴にラベルを割り当てることで、球体分割の群概体作用を構成し、ラベルが領域の周囲長に対応する。これにより、Garsideの元来の構造が一般化され、アソシアヘドロンやパーソムタヘドロンを含む、新たな有限ラティスへのTamariラティス順序が拡張される。

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.

研究の動機と目的

• ブレード群におけるGarsideの元来の構造を、純ブレード群上のより広い群概体構造のクラスへ一般化すること。
• 穴から整数≥2への関数によってインデックス付けされる、Garside群概体の新しい族を定義すること。
• 穴の球体分割から生じる新たな有限ラティスへのTamariラティス順序を拡張すること。
• ラティスにおける区間[x, x∆]が、特定のラベル関数のもとでアソシアヘドロンやパーソムタヘドロンを含む有限ポリトープを形成することを示すこと。
• 群概体作用を通じて、n角形の三角形分割におけるラティス順序を統一的に理解するフレームワークを提供すること。

提案手法

• 各領域に1つの穴が含まれ、その周囲長が穴のラベルと一致するように、穴あきディスクの球体分割の集合に作用するブレードに類似た群概体を構成する。
• 局所的移動を符号化する基本関係（ER1–ER4）を用いて、群概体の提示を定義する。
• Garside群概体の公理（Garside元∆の存在および有限区間[x, x∆]の存在）を満たすことを確立する。
• 群概体がラティス的分割の集合に作用することにより、区間[x, x∆]を有限ラティスとして定義し、Tamariラティスを一般化する。
• すべてのラベルが3の場合、区間Ω(y)がn角形の三角形分割の集合と一対一対応することを証明し、この集合にラティス順序を誘導する。

実験結果

リサーチクエスチョン

• RQ1 Garside群概体構造は、古典的ブレード群やBirman–Ko–Lee構成を越えて一般化可能か？
• RQ2 穴に整数≥2をラベル付けることは、純ブレード群の構造および関連ラティスにどのように影響するか？
• RQ3 ラティスにおける区間[x, x∆]と、アソシアヘドロンやパーソムタヘドロンなどの既知のポリトープとの関係は何か？
• RQ4 群概体作用が、ラベル付き穴を持つディスクの三角形分割の集合にラティス順序をもたらす条件は何か？
• RQ5 三角形分割におけるTamariラティス順序は、Garside群概体から生じるより広い族のラティス順序の特殊ケースか？

主な発見

• 本稿では、穴から整数≥2への関数ごとに、純ブレード群におけるGarside群概体構造の新しいクラスを構成している。
• すべてのラベルが3の場合、区間[x, x∆]はn角形の三角形分割の集合と一対一対応し、Tamariラティス順序が一般化される。
• 構造はGarsideの元来のGarside構造を一般化しているが、Birman–Ko–Lee構造は含まない。
• すべてのラベルが2の場合、群概体作用は推移的であり、パーソムタヘドロンにおける単一のラティス順序が得られる。
• 区間[x, x∆]は有限ラティスを形成し、すべてのラベルが3の場合、このラティスはアソシアヘドロン上のTamariラティスと同型である。
• 本稿では、[x, x∆]におけるラティス順序が群概体作用によって誘導され、Garside元∆のもとで保存されることを証明している。