[論文レビュー] Chern classes of graph hypersurfaces and deletion-contraction

Paolo Aluffi|arXiv (Cornell University)|Jun 7, 2011

Geometric and Algebraic Topology参考文献 15被引用数 6

ひとこと要約

本稿は、特定の幾何的条件下におけるグラフヒューパーフェースのチャーン・シュワルツ・マクフィソン（CSM）クラスに対して、削除・縮約の公式を確立する。辺が横断性および特異点制御条件（I' および II'）を満たす場合、グラフ Γ に関連するヒューパーフェースの CSM クラスは、$ C_{X_{\Gamma}}(t) = C_{X_{\Gamma\setminus e} \cap X_{\Gamma/e}}(t) + (t-1)C_{X_{\Gamma\setminus e}}(t) $ と分解される。この結果により、グラフヒューパーフェースのチャーンクラスに再帰的構造が与えられ、グラフの組み合わせ的性質と類似し、CSM クラスを代数幾何的フェニマン規則として用いる根拠が得られる。

ABSTRACT

We study the behavior of the Chern classes of graph hypersurfaces under the operation of deletion-contraction of an edge of the corresponding graph. We obtain an explicit formula when the edge satisfies two technical conditions, and prove that both these conditions hold when the edge is multiple in the graph. This leads to recursions for the Chern classes of graph hypersurfaces for graphs obtained by adding parallel edges to a given (regular) edge. Analogous results for the case of Grothendieck classes of graph hypersurfaces were obtained in previous work. Both Grothendieck classes and Chern classes were used to define `algebro-geometric' Feynman rules. The results in this paper provide further evidence that the polynomial Feynman rule defined in terms of the Chern-Schwartz-MacPherson class of a graph hypersurface reflects closely the combinatorics of the corresponding graph.The key to the proof of the main result is a more general formula for the Chern-Schwartz-MacPherson class of a transversal intersection, which may be of independent interest. We also describe a more geometric approach, using the apparatus of `Verdier specialization'.

研究の動機と目的

• 辺の削除および縮約の下でのグラフヒューパーフェースのチャーン・シュワルツ・マクフィソンクラスの振る舞いを理解すること。
• 辺が特定の幾何的条件を満たす場合に、これらのクラスの再帰的公式を確立すること。
• CSM クラスを用いて定義される多項式フェニマン規則が、基礎となるグラフの組み合わせ論的性質を反映している証拠を提供すること。
• 削除・縮約の公式の有効性に関する代数的および幾何的条件を比較し、それらの同値性の可能性を探ること。

提案手法

• 主な結果の基盤となる、横断的交差の CSM クラスの一般公式を導出する。
• 削除・縮約における CSM クラスの適切な振る舞いを保証する二つの幾何的条件（I' および II'）を導入する：I' は滑らかな点での横断性を保証し、II' は特異点付近の交差のオイラー特性を制御する。
• ヴェルディエの専用定理を用いて、ヒューパーフェースの CSM クラスとそのストラトゥム（特異点集合および縮約集合を含む）のクラスを関連付ける。
• グラフヒューパーフェースのコーンの CSM クラスが、底面の CSM クラスに $ t+1 $ を乗じることで関連することを活用し、[AM09] で知られている性質を応用する。
• プロジェクトブ・スペースにおけるヒューパーフェースの補集合の CSM クラスのプッシュフォワードを用いて定義される多項式フェニマン規則 $ C_{\Gamma}(t) $ を用いる。
• 特異点集合の CSM クラスが、削除および縮約グラフからのクラスの期待される組み合わせと一致することを検証することで、公式を検証する。

実験結果

リサーチクエスチョン

• RQ1 グラフヒューパーフェースのチャーン・シュワルツ・マクフィソンクラスが、グロテンディーククラスと類似した削除・縮約の公式を満たすための幾何的条件は何か？
• RQ2 先行研究における代数的条件（I および II）と、本稿で新たに導入された幾何的条件（I' および II'）の関係は何か？
• RQ3 辺が正則的かつ横断性条件を満たす場合、グラフヒューパーフェースの CSM クラスは、削除および縮約操作を用いて再帰的に計算可能か？
• RQ4 CSM クラスは、多重辺や並列構成に関連して、グラフの組み合わせ的構造をどの程度反映しているか？
• RQ5 削除・縮約の公式の有効性を規定する幾何的条件 I' および II' に、明確な組み合わせ的解釈は存在するか？

主な発見

• 元の代数的条件よりも弱く、直感的である幾何的条件 I' および II' を満たす場合、グラフヒューパーフェースの CSM クラスに対する削除・縮約の公式が成立する。
• 公式は明示的に $ C_{X_{\Gamma}}(t) = C_{X_{\Gamma\setminus e} \cap X_{\Gamma/e}}(t) + (t-1)C_{X_{\Gamma\setminus e}}(t) $ と与えられ、多項式フェニマン規則を再帰的に計算する方法を提供する。
• 条件 I' および II' は幾何的である：I' はヒューパーフェースの滑らかな点での横断性を保証し、II' は特異点付近の局所ファイバーのオイラー特性を制御する。
• この結果により、CSM クラスに基づくフェニマン規則が、グラフヒューパーフェースの特異点に関する非自明な交差理論的情報を保持していることが確認され、ミルナー数やセグレ類を含む。
• ヴェルディエの専用定理と CSM クラスの加法性を用いて公式を証明し、鍵となるステップは交差集合からの正しいオイラー特性寄与の検証である。
• 本稿は、CSM クラスに基づく不変量が、代数的フェニマン規則として期待される構造を満たしており、量子場理論における意味のある物理的不変量としての使用を支持する。