[論文レビュー] Bilinear-form invariants of Lefschetz fibrations over the 2-sphere

Takefumi Nosaka|arXiv (Cornell University)|Nov 14, 2016

Algebraic structures and combinatorial models参考文献 20被引用数 6

ひとこと要約

本稿は、群作用と $G$-不変な双一次関数を用いて、2次元球面上の Lefschetz フibration に対して、新しい双一次形式不変量の族を導入する。この方法により、Hopf フibration から導かれるリンク不変量を介してモノドロミー情報から不変量を構成し、4次元多様体の符号数を回復し、特に torsion 係数において加法性の欠如を検出できる計算可能な不変量が得られる。

ABSTRACT

We introduce invariants of Hurwitz equivalence classes with respect to arbitrary group $G$. The invariants are constructed from any right $G$-modules $M$ and any $G$-invariant bilinear function on $M$, and are of bilinear forms. For instance, when $G$ is the mapping class group of the closed surface, $\mathcal{M}_g$, we get an invariant of 4-dimensional Lefschetz fibrations over the 2-sphere. Moreover, the construction is applicable for the quantum representations of $\mathcal{M}_g $ derived from Chern-Simons field theory. We compute the associated invariants in some cases, and find infinitely many Lefschetz fibrations which have the same Seiberg-Witten invariant and are homeomorphic but not mutually isomorphic as fibrations.

研究の動機と目的

• S^2 上の Lefschetz フibration におけるモノドロミー情報の Hurwitz 同値類のための新しい不変量の開発。
• G-加群と G-不変双一次形式を用いた計算可能な不変量の構成、特に写像類群 $\mathcal{M}_g$ に対して。
• 4次元 Lefschetz フibration への不変量の応用と、符号数のような位相的不変量との関係の確立。
• ファイバー和操作におけるこれらの不変量の挙動、特に torsion 係数における不安定性の調査。
• 中心拡大を介して Chern-Simons 理論を用いた $\mathcal{M}_g$ の量子表現へのフレームワークの拡張。

提案手法

• 任意の右 G-加群 M と G-不変双一次関数 ψ から、モノドロミー表現の核上の双一次形式 $\mathcal{Q}_\psi$ を得る。
• S^3 内の (m,m)-トーラスリンク T_{m,m} のリンク群を、Hopf フibration S^3 \to S^2 によって誘導し、リンク不変量を Hurwitz 同値類に持ち上げる。
• G = \mathcal{M}_g の場合、H^1(\Sigma_g; \mathbb{Z}) 上の標準的シンプレクティック表現を用い、ψ をシンプレクティック形式として選び、$\mathcal{Q}_\psi$ を定義する。
• $\mathcal{Q}_\psi$ は、M^3 から M^2 への分割写像を介して計算され、モノドロミー写像の核と同型である。
• 低 genus の Lefschetz フibration に対して、計算機支援計算を用いて不変量を計算する。
• 中心拡大を介して、$\mathcal{M}_g$ の量子表現へのフレームワークの拡張が行われ、Chern-Simons 理論と整合的である。

実験結果

リサーチクエスチョン

• RQ1 Lefschetz フibration におけるモノドロミー情報の Hurwitz 同値類に対して、双一次形式不変量を体系的に構成可能か？
• RQ2 これらの不変量は、全空間の符号数のような古典的不変量とどのように関係するか？
• RQ3 不変量はファイバー和操作に関して加法的か？加法性が成り立たない場合、その構造的意味は何か？
• RQ4 不変量は、特に $\mathbb{Z}/P\mathbb{Z}$ 係数において、モノドロミーの torsion 構造を検出可能か？
• RQ5 この構成は、中心拡大を含む写像類群の量子表現へ拡張可能か？

主な発見

• M = H^1(\Sigma_g; \mathbb{Z}) で ψ がシンプレクティック形式の場合、双一次形式 $\mathcal{Q}_\psi$ はユニモジュラーであり、その符号数は全 4 次元多様体の符号数に一致する。
• $\mathcal{Q}_\psi$ から導かれる符号数の公式は、Meyer の 2-コチェーン公式の簡略化された、計算効率の良い代替手段である。
• A = \mathbb{Z}/P\mathbb{Z の場合、不変量 $\mathcal{Q}_\psi$ は位相的ではなく、ファイバー和において非加法的である。これは表 1 および命題 5.3 で示されている。
• 不変量は、torsion 係数を通じて Lefschetz フibration の非自明なファイバー構造を検出でき、群論的複雑性を示唆する。
• 中心拡大を介して、$\mathcal{M}_g$ の量子表現と整合的であり、Chern-Simons 理論への応用が可能である。
• g \leq 9 の範囲で、$\mathcal{Q}_\psi$ の計算機支援計算が可能であり、多くのファイブレーションに対して明示的な符号数の計算が可能である。