arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1003.0719math.GRmath.GT
收藏

反射群的子群及其辫群的交换化及其在上同调中的应用

Abelianization of Subgroups of Reflection Group and their Braid Group; an Application to Cohomology

Vincent Beck

摘要:

本文的最终结果给出了扩张$$\xymatrix{1\ar[r] & P/[P,P] \ar^{j}[r] & B/[P,P] \ar^-{p}[r] & W \ar[r] & 1}$$作为上同调群$H^2(W,P/[P,P])$的元素的阶(其中$B$和$P$代表与复反射群$W$相关联的辫群和纯辫群)。为了得到这个结果,我们描述了超平面$H$的稳定子$N_H$的阿贝尔化。与Coxeter群的情况相反,$N_H$一般不是复反射群$W$的反射子群。因此,第一步是完善斯坦利-施普林格关于反射群阿贝尔化的定理。第二步是描述$W$的辫群$B$的各种类型的大子群的阿贝尔化。更准确地说,我们只需要$p$从$N_H$的逆像得到一个群同态,其值在$\QQ$中(其中$p : B \ra W$是规范态射),但稍微增强就可以完整地描述$p^{-1}(W')$的阿贝尔化,其中$W'$是$W$的反射子群或超平面的稳定子。我们还建议在$W$中对反射的中心化器的每个元素进行提升构造。

英文摘要:

The final result of this article gives the order of the extension $$\xymatrix{1\ar[r] & P/[P,P] \ar^{j}[r] & B/[P,P] \ar^-{p}[r] & W \ar[r] & 1}$$ as an element of the cohomology group $H^2(W,P/[P,P])$ (where $B$ and $P$ stands for the braid group and the pure braid group associated to the complex reflection group $W$). To obtain this result, we describe the abelianization of the stabilizer $N_H$ of a hyperplane $H$. Contrary to the case of Coxeter groups, $N_H$ is not in general a reflection subgroup of the complex reflection group $W$. So the first step is to refine Stanley-Springer's theorem on the abelianization of a reflection group. The second step is to describe the abelianization of various types of big subgroups of the braid group $B$ of $W$. More precisely, we just need a group homomorphism from the inverse image of $N_H$ by $p$ with values in $\QQ$ (where $p : B \ra W$ is the canonical morphism) but a slight enhancement gives a complete description of the abelianization of $p^{-1}(W')$ where $W'$ is a reflection subgroup of $W$ or the stabilizer of a hyperplane. We also suggest a lifting construction for every element of the centralizer of a reflection in $W$.

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

↑