[论文解读] Conjugacy stability of parabolic subgroups of Artin-Tits groups of spherical type

Matthieu Calvez, Bruno Aarón Cisneros de la Cruz+1 more|arXiv (Cornell University)|Jul 18, 2018

Geometric and Algebraic Topology参考文献 12被引用 5

一句话总结

本文對球面型Artin-Tits群中的共軛穩定拋物子群提供了完整的分類，解決了Ivan Marin提出的一個問題。研究證明標準拋物子群在共軛穩定性上成立，除非其類型為特定類型（例如 $D_5$ 在 $E_6$ 中，$H_3$ 在 $H_4$ 中），並確立了可約拋物子群僅在特殊條件下為共軛穩定，使用了絲帶共軛與Coxeter圖的圖論性質。

ABSTRACT

We give a complete classification of conjugacy stable parabolic subgroups of Artin-Tits groups of spherical type. This answers a question posed by Ivan Marin and generalizes a theorem obtained by Juan Gonz\\'alez-Meneses in the specific case of Artin braid groups.

研究动机与目标

• 確定球面型Artin-Tits群的哪些拋物子群是共軛穩定的。
• 將González-Meneses對braid群的結果推廣至所有球面型Artin-Tits群。
• 解決Ivan Marin關於標準拋物子群共軛穩定性的一個問題。
• 分類所有拋物子群的共軛類在周圍Artin-Tits群中合併的情況。

提出的方法

• 利用Coxeter圖及其子圖的結構，根據類型對標準拋物子群進行分類。
• 應用絲帶共軛——從Coxeter圖中相鄰帶狀結構導出的特定元素——來分析共軛關係。
• 採用以下性質：兩個生成元在Artin-Tits群中彼此共軛，當且僅當它們在Coxeter圖中由奇數標籤的邊構成的路徑連接。
• 分析特定共軛元素對生成元的作用，以檢測共軛類在子群之間是否合併。
• 使用性質 $\star$ 來特徵化可約情況下的共軛穩定性。
• 將問題簡化至不可約組件，並透過已知的球面型Artin-Tits群分類分析每一種情況。

实验结果

研究问题

• RQ1 在什麼條件下，球面型Artin-Tits群的標準拋物子群是共軛穩定的？
• RQ2 哪些拋物子群嵌入到更大的Artin-Tits群中會導致共軛類合併？
• RQ3 何時可約拋物子群在其周圍的球面型Artin-Tits群中是共軛穩定的？
• RQ4 Coxeter圖中奇數標籤路徑在決定生成元共軛性方面扮演何種角色？
• RQ5 是否存在一個統一的準則——例如性質 $\star$——可特徵化這些群中的共軛穩定性？

主要发现

• 標準拋物子群 $A_X$ 在 $A_S$ 中共軛穩定，除非 $A_X$ 是 $D_5$ 且 $A_S$ 是 $E_6$、$E_7$ 或 $E_8$，或 $D_7$ 在 $E_8$ 中，或 $E_7$ 在 $E_8$ 中，或 $D_{2k}$，或 $H_3$ 在 $H_4$ 中。
• 對於可約拋物子群，共軛穩定性僅在 $A_S$ 為 $B_n$ ($n \geq 3$) 且 $A_X = A_{\{s_1\}} \times A_Z$ 時成立，其中 $A_{\{s_1\}}$ 為循環群且 $A_Z$ 為 braid 群。
• 當且僅當對 $(A_X, A_S)$ 滿足性質 $\star$ 時，$A_X$ 的共軛類才不會在 $A_S$ 中合併，而此性質等價於共軛穩定性。
• 證明顯示，在例外情況下，存在特定的共軛元素（即絲帶）可將 $A_X$ 中的元素共軛至周圍群中，但無法在 $A_X$ 內部實現，從而證明了共軛類的合併。
• 作者確立了兩個生成元在 $A_S$ 中共軛，當且僅當它們在Coxeter圖中由奇數標籤的邊構成的路徑連接，這是分析中的關鍵工具。
• 分類是完整的，適用於所有球面型Artin-Tits群，從而全面解決了Marin的問題。