[論文レビュー] Finite complex reflection arrangements are K(pi,1)

David Bessis|arXiv (Cornell University)|Oct 26, 2006

Advanced Algebra and Geometry参考文献 22被引用数 9

ひとこと要約

この論文は、有限次元複素ベクトル空間における有限複素反射群の作用下で、反射超平面の補集合が K(π,1) 空間であることを証明している—これは古典的な Brieskorn の予想を解決するものである。証明は、ガーディアン構造、双対ブraidモノイド、および Lyashko-Looijenga 素写像に基づく、幾何学的かつ代数的な新しい枠組みを用いる。この枠組みにより、既知のケースの新たな証明が得られるとともに、残りの6つの例外的ケースも解決される。

ABSTRACT

Let $V$ be a finite dimensional complex vector space and $W\subseteq \GL(V)$ be a finite complex reflection group. Let $V^{ eg}$ be the complement in $V$ of the reflecting hyperplanes. We prove that $V^{ eg}$ is a $K(π,1)$ space. This was predicted by a classical conjecture, originally stated by Brieskorn for complexified real reflection groups. The complexified real case follows from a theorem of Deligne and, after contributions by Nakamura and Orlik-Solomon, only six exceptional cases remained open. In addition to solving this six cases, our approach is applicable to most previously known cases, including complexified real groups for which we obtain a new proof, based on new geometric objects. We also address a number of questions about $π_1(W\cq V^{ eg})$, the braid group of $W$. This includes a description of periodic elements in terms of a braid analog of Springer's theory of regular elements.

研究の動機と目的

• 有限複素反射群における反射超平面の補集合が K(π,1) 空間であるという Brieskorn の長年の予想を解決すること。
• well-generated および non-well-generated 両方の複素反射群に適用可能な統一的な幾何学的・代数的枠組みを提供すること。
• 新しい幾何的対象とガーディアン構造を用いて、複素化された実反射群の場合の新たな証明を提示すること。
• 特に周期的要素と Springer の正規要素の理論との関係に関して、複素反射群のブraid群に関する未解決の問題を扱うこと。
• これまで未解決であった残りの6つの例外的複素反射群について、K(π,1) 性質が完全に分類されることを確立すること。

提案手法

• 補集合空間の基本群をモデル化するために、双対ブraidモノイドとガーディアン構造を用いる。
• 判別式の分岐集合とブraid群およびその表現との関係を確立するために、Lyashko-Looijenga 素写像を適用する。
• ブraid因数分解を追跡し、置換作用に Hurwitz の法則を適用するために「トンネル」と「ラベル」の概念を導入する。
• 脂肪ベースポイントのトリックと普遍被覆モデルを用いて、補集合空間の位相を分析する。
• 拡張された Lyashko-Looijenga 素写像と相対ガーディアン構造を用いて、ブraid群内の中心化子と周期的要素を研究する。
• アフィン Van Kampen 法と Saito 商体理論を用いて、問題を扱いやすい代数的・組合せ的構造に還元する。

実験結果

リサーチクエスチョン

• RQ1 有限次元複素反射群における反射超平面の補集合は K(π,1) 空間か？
• RQ2 複素反射群のブraid群はガーディアン構造を用いて記述可能か？ また、これは補集合の位相とどのように関係するか？
• RQ3 周期的要素はブraid群において果たす役割は何か？ また、Springer の正規要素の理論とどのように関連するか？
• RQ4 一般化された非交叉分割と双対ブraidモノイドは、K(π,1) 性質の証明にどのように寄与するか？
• RQ5 残りの6つの例外的複素反射群は、一様な方法で K(π,1) 条件を満たすことが示せるか？

主な発見

• 任意の有限次元複素ベクトル空間における有限複素反射群 $W$ に対して、反射超平面の補集合 $V^{\text{reg}}$ は $K(\pi,1)$ 空間である。
• 証明により、$W$ のブraid群 $B(W)$ がガーディアン構造を備えていることが示され、双対ブraidモノイドが主要な代数的道具として機能することが分かった。
• $W \backslash V^{\text{reg}}$ の普遍被覆が収縮可能であることが示され、これにより $K(\pi,1)$ 性質が成立する。
• これまで未解決であった6つの例外的ケース（例：$G_{31}$）が、新しい枠組みを用いて解決され、一般に予想が完全に確認された。
• 周期的要素は Springer の正規要素の理論のブraid版として特徴づけられ、位相と組合せ論が結びつけられた。
• コロールファンクター $\kappa_m$ とファンクター $\Theta_m$ が、配置の圏の間の同値を確立し、より単純な場合への還元を可能にした。