[論文レビュー] Nested sets and Jeffrey Kirwan cycles

Corrado De Concini, Claudio Procesi|ArXiv.org|Jun 15, 2004

Advanced Combinatorial Mathematics参考文献 4被引用数 10

ひとこと要約

本稿は、超平面配置におけるブレークサーキュイトのない基底と適切な最大ネスト集合の間の標準的対応を確立し、配置の補集合における関連する幾何的サイクルを構成し、それらのサイクルがノブレークサーキュイト形式から得られるコホモロジー基底を双対化することを証明する。主な貢献は、積分によるサイクル上でのジェフリー＝キルワン留数の幾何的実現であり、複素超平面配置における組合せ論、コホモロジー、留数論の明示的かつ明確な関係を確立する。

ABSTRACT

For the complement of a hyperplane arrangement we construct a dual homology basis to the no broken circuit basis of cohomology. This is based on the theory of wonderful embeddings and nested sets.

研究の動機と目的

• SzenesおよびVergneの超平面配置における留数に関する結果を、組合せ論的および幾何的道具を用いて簡素化し、再解釈すること。
• 超平面配置におけるブレークサーキュイトのない基底と適切な最大ネスト集合の間の標準的全単射対応を確立すること。
• 配置の補集合に、ジェフリー＝キルワン留数を周期積分として実現する幾何的サイクルを定義すること。
• ノブレークサーキュイト形式から得られるコホモロジー基底と、これらのサイクルから得られるホモロジー基底との双対性を証明すること。
• トーラス作用および射影埋め込みの文脈において、ジェフリー＝キルワン留数を特定のサイクル上での積分として幾何学的に解釈すること。

提案手法

• 超平面配置の順序付けを用いて、ブレークサーキュイトのない基底と適切な最大ネスト集合の間の標準的全単射を定義する。
• 各適切な最大ネスト集合 $ \mathbb{M} $ に対して、補集合 $ \tilde{A}_{\Delta} $ に次元 $ r $ の幾何的サイクル $ c_{\text{M}} $ を繰り返し留数を用いて構成する。
• デ・ラーム複体の形式的性質を用いて、最高次微分形式 $ \omega_{\sigma} = d\log\gamma_1 \wedge \cdots \wedge d\log\gamma_r $ をコホモロジー類と同一視する。
• 最大ネスト集合 $ \text{M} $ で $ C \subset C(\text{M}) $ を満たすものについて、係数 $ \nu_{\text{M}} $（符号は向きに依存）を用いて、ジェフリー＝キルワンサイクル $ \delta(C) $ を $ c_{\text{M}} $ の線形結合として構成する。
• 最高次形式 $ \psi $ を $ \delta(C) $ 上で積分すると、公式 $ \int_{\delta(C)} \psi = (2\pi i)^r \cdot J\langle c \mid \psi \rangle $ を用いてジェフリー＝キルワン留数が計算されることを証明する。
• ラプラス変換 $ L: K^r \to H^r $ を用いて留数を正則ベクトル $ c $ における評価と関連づけ、このことによりサイクル $ \delta(C) $ が留数の幾何的実現であると解釈する。

実験結果

リサーチクエスチョン

• RQ1 超平面配置におけるブレークサーキュイトのない基底と最大ネスト集合の間に、標準的な組合せ論的対応が存在するか？
• RQ2 超平面配置の補集合に、その周期がジェフリー＝キルワン留数を計算するような幾何的サイクルを構成できるか？
• RQ3 一方の基底がブレークサーキュイトのない形式から、他方がネスト集合に関連するサイクルからなるホモロジー基底であるとき、コホモロジーとホモロジーの基底の双対性はどのように現れるか？
• RQ4 ジェフリー＝キルワン留数を積分として実現する正確な幾何的サイクル $ \delta(C) $ は何か？
• RQ5 基底 $ \sigma $ の向きが、サイクル $ \delta(C) $ 上での留数積分の符号にどのように影響するか？

主な発見

• 超平面配置におけるブレークサーキュイトのない基底と適切な最大ネスト集合の間には、標準的全単射対応が存在する。
• 各適切な最大ネスト集合 $ \mathbb{M} $ は、$ \mathcal{A}_{\Delta} $ 内に次元 $ r $ の幾何的サイクル $ c_{\mathbb{M}} $ をもたらし、そこへ最高次形式 $ \omega_{\sigma} $ を積分すると、局所座標に関する多重留数によって計算される。
• ノブレークサーキュイト基底で添字づけられたコホモロジー基底 $ \{ \omega_{\sigma} \} $ は、適切な最大ネスト集合で添字づけられたホモロジー基底 $ \{ c_{\mathbb{M}} \} $ と、積分によって双対である。
• ジェフリー＝キルワン留数 $ J\langle c \mid \psi \rangle $ は、$ \frac{1}{(2\pi i)^r} \int_{\delta(C)} \psi $ として実現され、ここで $ \delta(C) $ はチャネル $ C $ のみに依存するサイクルである。
• サイクル $ \delta(C) $ は明示的に $ \delta(C) = \sum_{\mathbb{M} \in \mathcal{M} \mid C \subset C(\mathbb{M})} \nu_{\mathbb{M}} c_{\mathbb{M}} $ と与えられ、$ \nu_{\mathbb{M}} = \pm 1 $ は向きに依存する。
• ラプラス変換 $ L $ は特性関数 $ \chi_{\sigma} $ を $ \epsilon_{\sigma} \omega_{\sigma} $ に写し、この同型写像により留数が正則ベクトル $ c $ における評価として解釈可能となり、幾何的にはサイクル $ \delta(C) $ によって実現される。