[論文レビュー] $k$-Parabolic Subspace Arrangements

Hélène Barcelo, Christopher Severs+1 more|ArXiv.org|Sep 3, 2009

Advanced Combinatorial Mathematics参考文献 12被引用数 3

ひとこと要約

本稿は、任意の有限実反射群における3包合的配置の基本群の代数的記述を、Khovanovの3等分配置に対する記述に一般化し、Brieskornの複素結果に対する実数版を提供する。主な貢献は、修正されたコクセター群からの自然な準同型の核として基本群を記述することであり、3包合的配置が明示的な群構造を持つ$K(\pi,1)$空間であることを確立する。

ABSTRACT

In this paper, we study $k$-parabolic arrangements, a generalization of $k$-equal arrangements for finite real reflection groups. When $k=2$, these arrangements correspond to the well-studied Coxeter arrangements. Brieskorn (1971) showed that the fundamental group of the complement, over $\mathbb{C}$, of the type $W$ Coxeter arrangement is isomorphic to the pure Artin group of type $W$. Khovanov (1996) gave an algebraic description for the fundamental group of the complement, over $\mathbb{R}$, of the 3-equal arrangement. We generalize Khovanov's result to obtain an algebraic description of the fundamental groups of the complements of 3-parabolic arrangements for arbitrary finite reflection groups. Our description is a real analogue to Brieskorn's description.

研究の動機と目的

• 任意の有限実反射群における3包合的配置の基本群のKhovanovの代数的記述を3等分配置へ拡張すること。
• Brieskornの複素化コクセター配置の基本群に関する結果に対する実数版を提供すること。
• 高次ホモトピー群が消えることにより、3包合的配置が$K(\pi,1)$空間であることを確立すること。
• 離散ホモトピー理論と古典的ホモトピー不変量の間の関係を、部分空間配置の補集合に関して探求すること。

提案手法

• 生成元は$W$と同一であるが、配置に属するペア$s,t$の固定空間が配置に含まれる場合に限り関係を変更した修正コクセター群$W'$を構成する。
• 生成元をそれ自身に送る写像$\varphi' : W' \to W$を定義する。
• 離散ホモトピー理論と収縮性の議論を用いて、3包合的配置の補集合の基本群が$\ker \varphi'$に同型であることを示す。
• 高次ホモトピー格子$n-k+1$を用いて、特定の群元が離散ホモトピー枠組みにおいて収縮可能であることを証明する。
• Davis, Januszkiewicz, および Scott の結果を活用して、codimension-2不変配置における高次ホモトピー群が自明であることを確認する。
• 離散ホモトピー理論を用いて、補集合の高次ホモトピー群とコクセター複体の高次離散ホモトピー群$A_m^{n-k+1}(\mathscr{C}(W))$との関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 Khovanovの3等分配置の基本群の記述は、任意の有限反射群における3包合的配置へ一般化可能か？
• RQ2 3包合的配置の補集合は$K(\pi,1)$空間か？ もしそうなら、$\pi_1$の明示的記述は何か？
• RQ3 補集合の高次ホモトピー群は、コクセター複体の高次離散ホモトピー群とどのように関係しているか？
• RQ4 修正コクセター群からの自然な準同型の核が、このような配置の基本群を記述できるか？
• RQ5 共役不変なランク2包合的部分群の集合は、基本群にどのように寄与するか？

主な発見

• 3包合的配置の補集合の基本群は、配置に属するペアの関係を変更した修正コクセター群$W'$から$W$への準同型$\varphi' : W' \to W$の核$\ker \varphi'$に同型である。
• 3包合的配置は、反射群による不変性とcodimension-2構造のおかげで高次ホモトピー群が消えるため、$K(\pi,1)$空間である。
• $n-k+1$-ホモトピー格子の構成により、特定の群元が離散ホモトピー枠組みにおいて収縮可能であることが証明され、核記述を支持する。
• 群$A_1^{n-k+1}(\mathscr{C}(W))$は自明であるため、この場合における離散ホモトピー枠組みが古典的ホモトピーと整合していることが確認された。
• 任意の共役不変なランク2包合的部分群の集合に対して、対応する配置の補集合の基本群が$\ker \varphi'$であるという予想は支持されている。
• 離散ホモトピー群$A_m^{n-k+1}(\mathscr{C}(W))$が、特に$k > 3$の場合に補集合の高次ホモトピー群を分類する可能性があるという強い証拠が得られた。