[論文レビュー] Minimality of hyperplane arrangements and basis of local system cohomology

Masahiko Yoshinaga|arXiv (Cornell University)|Feb 10, 2010

Advanced Combinatorial Mathematics参考文献 24被引用数 7

ひとこと要約

本稿は、補完の最小性を活用し、セルラー鎖複体における境界写像を分析することで、2次元超平面配置における局所系統コホモロジー群の消滅に関する基準を確立する。コホモロジーが上位次数でのみ非ゼロであり、その基底が有界チャネルによって形成されるのは、射影的閉包における密な辺の周りのモノドロミーが非自明である場合に限る。

ABSTRACT

The purpose of this paper is applying minimality of hyperplane arrangements to local system cohomology groups. It is well known that twisted cohomology groups with coefficients in a generic rank one local system vanish except in the top degree, and bounded chambers form a basis of the remaining cohomology group. We determine precisely when this phenomenon happens for two-dimensional arrangements.

研究の動機と目的

• 2次元超平面配置の局所系統コホモロジー群が上位次数を除いて消える条件を特徴づけること。
• 有界チャネルが上位次数コホモロジー群の基底をなす条件を特定すること。
• 超平面配置の補完の最小性を用いて、ランク1の局所系統のコホモロジーを計算すること。
• 射影的閉包における密な辺の周りのモノドロミーを含む明確な基準を確立すること。
• 非共鳴局所系統に関する先行結果を、セルラー鎖複体および離散モース理論と結びつけることで拡張・精錬すること。

提案手法

• 超平面配置の補完 $\mathsf{M}(\mathcal{A})$ の最小性を用い、これは最小CW複体とホモトピー同値であることを示す。
• サルベッティ複体に関連するセルラー鎖複体を分析し、ねじれた複体 $\mathbb{C}[\mathsf{ch}^{\bullet}]$ における境界写像 $d_{\mathcal{L}}$ に注目する。
• 微分と有界でないチャネルへの射影の合成により、誘導写像 $\overline{d_{\mathcal{L}}}: \mathbb{C}[\mathsf{bch}^{q-1}] \to \mathbb{C}[\mathsf{uch}^{q}]$ を導入する。
• 対合 $\iota$ を用いて有界および非有界チャネルの基底を特定し、次元の比較を可能にする。
• 行列式 $\overline{d_{\mathcal{L}}}$ を重要な不変量として用い、$\dim X \geq \ell - q$ を満たす密な辺 $X \in \mathsf{D}_\infty(\mathcal{A}_\infty)$ の上での因数分解 $\prod_X (q_X^{1/2} - q_X^{-1/2})^{n_X}$ を予想する。
• すべての密な辺 $X \in \mathsf{D}_\infty(\mathcal{A}_\infty)$ に対して $q_X \neq 1$ であるという条件を、コホモロジー消滅の中心的基準として用いる。

実験結果

リサーチクエスチョン

• RQ1 2次元超平面配置において、局所系統コホモロジー $H^k(\mathsf{M}(\mathcal{A}), \mathcal{L})$ が $k \neq \ell$ のとき消える条件は何か？
• RQ2 上位次数コホモロジー群 $H^\ell(\mathsf{M}(\mathcal{A}), \mathcal{L})$ が有界チャネルによって基底をなすのはいつか？
• RQ3 射影的閉包 $\mathcal{A}_\infty$ の密な辺の周りのモノドロミー $q_X$ はコホモロジー構造にどのように影響するか？
• RQ4 写像 $\widetilde{d_{\mathcal{L}}}: \mathbb{C}[\mathsf{ch}^{1}] \to \mathbb{C}[\mathsf{uch}^{2}]$ の全射性とコホモロジーの非消滅との正確な関係は何か？
• RQ5 $\overline{d_{\mathcal{L}}}$ の行列式は、密な辺の周りのモノドロミー情報で表現できるか？

主な発見

• 2次元超平面配置 $\mathcal{A}$ に対して、局所系統コホモロジー $H^k(\mathsf{M}(\mathcal{A}), \mathcal{L})$ が $k \neq 2$ のとき消えるための必要十分条件は、すべての密な辺 $X \in \mathsf{D}_\infty(\mathcal{A}_\infty)$ に対して $q_X \neq 1$ であることである。
• 上位次数コホモロジー群 $H^2(\mathsf{M}(\mathcal{A}), \mathcal{L})$ は、直和 $\bigoplus_{C \in \mathsf{bch}(\mathcal{A})} \mathbb{C} \cdot [C]$ に同型であり、有界チャネルが基底をなす。
• すべての $X \in \mathsf{D}_\infty(\mathcal{A}_\infty)$ に対して $q_X \neq 1$ であるという条件は、写像 $\widetilde{d_{\mathcal{L}}}: \mathbb{C}[\mathsf{ch}^{1}] \to \mathbb{C}[\mathsf{uch}^{2}]$ の全射性と同値である。
• $\overline{d_{\mathcal{L}}}: \mathbb{C}[\mathsf{bch}^{1}] \to \mathbb{C}[\mathsf{uch}^{2}]$ が全射であるための必要十分条件は、すべての $X \in \mathsf{D}_\infty(\mathcal{A}_\infty)$ に対して $q_X \neq 1$ であることであり、これはコホモロジーが次数2でのみ非ゼロであることを意味する。
• 可解な配置による反例は、非可解性仮定が必要であることを示している：$q_\infty = 1$ のときでさえ、写像 $\widetilde{d_{\mathcal{L}}}$ が全射であっても、低次のコホモロジーが消える可能性がある。
• 本稿は、行列式 $\overline{d_{\mathcal{L}}}$ が $\pm \prod_X (q_X^{1/2} - q_X^{-1/2})^{n_X}$ と因数分解可能であると予想する。ここで $X$ は $\mathsf{D}_\infty(\mathcal{A}_\infty)$ 内の次元 $\geq \ell - q$ の密な辺を走る。この因数分解が成立すれば、非共鳴条件の下で次数 $k < \ell$ におけるコホモロジーの消滅が示唆される。