この論文ノートは、50年近く前に提案された「K(π,1)予想」を紹介し、有限（球面）型のアーティン群についてその主張を示すことを目標にしています。要点を平たく言えば、対称性のある平面（より正確には超平面）の組合せからなる複素空間の除去（除かれた点の残りの空間）が、群の「分類空間」（K(π,1)＝高次ホモトピーが消える空間）になっている、という予想です。元の有名な証明は1972年にピエール・デルニュが与えましたが、本ノートは組合せ的位相幾何と離散モース理論という現代的な言葉で同じ球面型の場合の証明を解説します。

まず背景です。Coxeter（コクセター）群とは、ある有限個の反射に関する単純な生成関係で定義される群です。たとえば対称群Snはその典型例です。各コクセター群に対応して、同じ関係からs^2=1を外したものとして定義されるのがアーティン群です。代表例が編み目（ブレイド）群で、これは対称群に対応するアーティン群です。論文で定義される空間YWは、反射に対応する超平面を複素化して取り除いた領域を群Wで割ったものです。重要な事実として、その空間の基礎群（π1）は対応するアーティン群GWに同型です（論文の定理3.1）。対称群の場合、YWは「複素平面上の異なるn点の配置」の空間になり、これは古くからブレイド群の分類空間として知られています。

研究手法としては、YWがホモトピー同値な有限セル複体（CW複体）であることがサルヴェッティ（Salvetti）の構成で示されます。サルヴェッティ複体XWは、生成元の部分集合Tに対応する標準的な部分群WTが有限であるときに、その部分集合ごとに一つのセルσ_Tを持ち、セルの次元は|T|で与えられます。幾何的には各σ_Tは部分群WTに対応する多面体の双対として描けます。この有限な複体の構造を詳しく調べることで、空間YWのホモトピー的性質を扱います。

本ノートの主要な貢献は、このサルヴェッティ複体に離散モース理論を適用して、球面型（有限コクセター群に対応する場合）においてYWが本当にK(GW,1)であることを示す道筋を整理して示した点です。離散モース理論は、セル複体上で“余分な”セル対を順に取り除きつつホモトピー型を保つ手法です。ここではその手法を用いて、サルヴェッティ複体を簡約し、非自明な高次ホモトピー群が消えることを確かめます。ノートは元のデルニュの証明と核となる考え方は同じだが、言い回しや技法が現代風に異なることを明確にしています。

なぜこれが重要か、また限界は何か。K(π,1)性はアーティン群の空間的なモデルを与えます。分類空間がわかればホモロジーやコホモロジーなどの不変量を計算しやすくなりますし、群の性質を位相的に理解できます。一方で本ノートが扱うのは「球面型」、つまり対応するコクセター群が有限で超平面が有限個しかない場合に限られます。史的にはこの球面型の主張はデルニュの定理として既に知られており、本ノートはその再構成と別の証明法の提示です。アーティン群全体についてのK(π,1)予想は一般には未解決であり、既知の追加の例としては平坦（アフィン）型や二次元型・FC型などが挙げられますが、一般解決には至っていません。