arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1503.04372math.GR
收藏

Coxeter群和辫群的图解演算

Diagrammatic Calculus of Coxeter and Braid Groups

Niket Gowravaram, Uma Roy

摘要:

我们研究了一种新的图解方法来检验Coxeter群或辫群在范畴上的严格作用。这种图示语言,这是由埃利亚斯,Khovanov和威廉姆森的一系列文件中开发的,提供了新的工具和方法来攻击当前感兴趣的表示论的许多问题。在我们的研究中,我们考虑了在这种情况下出现的一个特殊问题。对于一个Coxeter群$W$,人们可以将一个实超平面排列联系起来,并且可以在复化$Y_W$中考虑这些超平面的补。著名的$K(π,1)$猜想指出,$Y_W$应该是纯辫群的分类空间,因此自然商${Y_W}/{W}$应该是辫群的分类空间。萨尔韦蒂提供了商的胞腔复形实现,我们称之为萨尔韦蒂复形。本文研究了$K(π,1)$猜想的一部分,我们称之为$K(π,1)$猜想,它指出Salvetti复形的第二个同伦群是平凡的。本文给出了一类辫群的$K(π,1)$可积性的一个图解证明,并给出了几类Coxeter群的类似结果.

英文摘要:

We investigate a novel diagrammatic approach to examining strict actions of a Coxeter group or a braid group on a category. This diagrammatic language, which was developed in a series of papers by Elias, Khovanov and Williamson, provides new tools and methods to attack many problems of current interest in representation theory. In our research we considered a particular problem which arises in this context. To a Coxeter group $W$ one can associate a real hyperplane arrangement, and can consider the complement of these hyperplanes in the complexification $Y_W$. The celebrated $K(π,1)$ conjecture states that $Y_W$ should be a classifying space for the pure braid group, and thus a natural quotient ${Y_W}/{W}$ should be a classifying space for the braid group. Salvetti provided a cell complex realization of the quotient, which we refer to as the Salvetti complex. In this paper we investigate a part of the $K(π,1)$ conjecture, which we call the $K(π,1)$ conjecturette, that states that the second homotopy group of the Salvetti complex is trivial. In this paper we present a diagrammatic proof of the $K(π,1)$ conjecturette for a family of braid groups as well as an analogous result for several families of Coxeter groups.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑