[論文レビュー] Lefschetz fibrations, intersection numbers, and representations of the framed braid group

Gwénaël Massuyeau, Alexandru Oancea+1 more|arXiv (Cornell University)|Aug 15, 2007

Geometric and Algebraic Topology参考文献 17被引用数 4

ひとこと要約

この論文は、レフシェッツ・ファイブレーションの正則ファイバーの中間次元ホモロジーにおける基本群のモノドロミー作用と、消滅サイクルの交点数の間の対応関係を確立する。臨界値への区別されたパスの配置を固定することで、1-コサイクルを用いたGLₘ(ℤ[Γ])値の非線形的作用として、フレームドブレード群の作用をm×m行列の空間に一般化する。これはピカード–レフシェッツの公式を一般化し、特に円板の場合にはマグナス・コサイクルと関連づけ、アーベル化還元も考察する。

ABSTRACT

We examine the action of the fundamental group $Γ$ of a Riemann surface with $m$ punctures on the middle dimensional homology of a regular fiber in a Lefschetz fibration, and describe to what extent this action can be recovered from the intersection numbers of vanishing cycles. Basis changes for the vanishing cycles result in a nonlinear action of the framed braid group $\widetilde{\mathcal B}$ on $m$ strings on a suitable space of $m imes m$ matrices. This action is determined by a family of cohomologous 1-cocycles ${\mathcal S}_c:\widetilde{\mathcal B} o GL_m({\mathbb{Z}}[Γ])$ parametrized by distinguished configurations $c$ of embedded paths from the regular value to the critical values. In the case of the disc, we compare this family of cocycles with the Magnus cocycles given by Fox calculus and consider some abelian reductions giving rise to linear representations of braid groups. We also prove that, still in the case of the disc, the intersection numbers along straight lines, which conjecturally make sense in infinite dimensional situations, carry all the relevant information.

研究の動機と目的

• レフシェッツ・ファイブレーションの正則ファイバーにおけるホモロジー上のモノドロミー作用を、消滅サイクルの交点数を用いて記述すること。
• 消滅サイクルの基底の変更が、m×m行列の空間へのフレームドブレード群の非線形的作用をどのように誘導するかを分析すること。
• 区別された配置cによってパrameter化される1-コサイクルS_c: 𝔐̃B → GLₘ(ℤ[Γ])の族を構成し、モノドロミーのデータを符号化すること。
• 円板の場合に、得られたコサイクルをフォックス微分法から得られるマグナス・コサイクルと比較すること。
• コサイクルのアーベル化還元を調査し、ブレード群の線形表現との関係を明らかにすること。

提案手法

• 区別された配置cを、リーマン面Σの基点z₀からm個の臨界値への埋め込まれたパスの集合として定義する。
• 各パスc_iに対し、M内の消滅サイクルL_i ⊂ Mと、π₁(Σ \ Z, z₀)に属するループg_iを対応させ、モノドロミー作用を生成する。
• ピカード–レフシェッツの公式を用いて、モノドロミー作用をρ(g_i)α = α − (−1)^{n(n+1)/2}⟨L_i, α⟩L_iとして表現する。ここで⟨·,·⟩は交点形式を表す。
• g ∈ Γに対してn_ij(g) = ⟨L_i, ρ(g)L_j⟩と定義し、モノドロミー作用を行列形式で符号化する。
• これらの交点数を用いて、フレームドブレード群の作用を行列空間に記述する1-コサイクルS_c: 𝔐̃B → GLₘ(ℤ[Γ])を構成する。
• 得られたコサイクルを、円板の場合のフォックス微分法から得られるマグナス・コサイクルと比較し、アーベル化還元を検討する。

実験結果

リサーチクエスチョン

• RQ1 レフシェッツ・ファイブレーションのホモロジーにおけるモノドロミー作用は、消滅サイクルの交点数からどの程度再構成可能か？
• RQ2 消滅サイクルの基底の変更が、m×m行列の空間へのフレームドブレード群の作用をどのように誘導するか？
• RQ3 円板の場合に、構築された1-コサイクルS_cとフォックス微分法から得られるマグナス・コサイクルとの関係は何か？
• RQ4 コサイクルのアーベル化還元は、ブレード群の線形表現をもたらすか？
• RQ5 無限次元設定（例：複素化されたフロアホモロジー、ドナルドソン–トーマス理論）において、直線に沿った交点数は、有限次元のレフシェッツ・ファイブレーションと同様のモノドロミー情報を保持するか？

主な発見

• モノドロミー作用ρ(g)は、行列形式で表される交点数⟨L_i, ρ(g)L_j⟩によって完全に決定される。
• 消滅サイクルの基底の変更は、ℤ[Γ]上のm×m行列空間へのフレームドブレード群𝔐̃Bの非線形的作用を誘導し、1-コサイクルS_cの族によって実現される。
• 1-コサイクルS_c: 𝔐̃B → GLₘ(ℤ[Γ])は、マークされた区別された配置cによってパrameter化され、コhomologousであるため、基底の変更に対して一貫性を保つ。
• 円板の場合、構築されたコサイクルはフォックス微分法から得られるマグナス・コサイクルと比較され、構造的類似性が明らかになった。
• コサイクルのアーベル化還元は、ブレード群の線形表現をもたらし、古典的ブレード群表現理論と関連づけられる。
• 円板の場合、直線に沿った交点数は、無限次元設定（例：複素化されたフロアホモロジー、ドナルドソン–トーマス理論）においても、期待されるモノドロミー情報のすべてを保持すると予想される。