[論文レビュー] Dual Feynman transform for modular operads

Joseph Chuang, Andrey Lazarev|ArXiv.org|Apr 19, 2007

Homotopy and Cohomology in Algebraic Topology被引用数 5

ひとこと要約

本稿は、モジュラー代数的構造に対する双対フェルミー変換を導入し、コンツェビッチのグラフコホモロジー類を生成する双対構成法の概念的一般化を提供する。双対変換が真空中のグラフにおいて標準フェルミー変換の線形双対であることを示し、生成子と関係式による単純な記述——自由に次数1の元 s を添加し、s²=0 かつ d(s)=1 を満たす——を提示する。これにより、その代数的構造は、ホモトピー的収縮を持つ O-代数として明示的に記述可能となる。

ABSTRACT

We introduce and study the notion of a dual Feynman transform of a modular operad. This generalizes and gives a conceptual explanation of Kontsevich's dual construction producing graph cohomology classes from a contractible differential graded Frobenius algebra. The dual Feynman transform of a modular operad is indeed linear dual to the Feynman transform introduced by Getzler and Kapranov when evaluated on vacuum graphs. In marked contrast to the Feynman transform, the dual notion admits an extremely simple presentation via generators and relations; this leads to an explicit and easy description of its algebras. We discuss a further generalization of the dual Feynman transform whose algebras are not necessarily contractible. This naturally gives rise to a two-colored graph complex analogous to the Boardman-Vogt topological tree complex.

研究の動機と目的

• 微分付きフォビウス代数を用いたリボングラフ複体におけるコホモロジー類を生成するコンツェビッチの双対構成法を一般化すること。
• モジュラー代数的構造の双対フェルミー変換の概念的枠組みを提示すること。
• 双対フェルミー変換が、標準フェルミー変換の複雑な量子マスター方程式の記述とは対照的に、生成子と関係式による単純な代数的記述を有することを示すこと。
• モジュラー代数的構造の一般化されたボードマン＝ヴォイト（BV）分解を導入し、代数上のホッジ型分解を捉え、最小モデルと関連付けること。
• 双対変換における可縮性を持つ O-代数とコホモロジー類との関係を明確にし、最小モデル解釈を示唆すること。

提案手法

• 双対フェルミー変換 $\mathsf{F}^\vee\mathcal{O}$ を、$s^2 = 0$ および $d(s) = \mathbf{1}$ を満たす次数1の生成子 $s$ を自由に添加することで得られるモジュラー代数的構造（または拡張モジュラー代数的構造）として定義する。
• 真空部分 $\mathsf{F}^\vee\mathcal{O}$ が標準フェルミー変換 $\mathsf{F}\mathcal{O}$ と線形双対であることを示し、グラフ複体のレベルで双対性を確立する。
• $\mathsf{F}^\vee\mathcal{O}$-代数が、ホモトピー的収縮を持つ $\mathcal{O}$-代数に他ならないことを証明し、直接フェルミー変換と比較して代数的構造を簡素化する。
• 二重反復フェルミー変換から得られる、双対変換の一般化としてのボードマン＝ヴォイト（BV）分解 $\mathsf{BV}_{\mathfrak{D}}\mathcal{O}$ を導入し、彩色付き辺を持つ安定グラフ複体に関連付ける。
• $\mathsf{bv}_{\mathfrak{D}}\mathcal{O} \hookrightarrow \mathsf{BV}_{\mathfrak{D}}\mathcal{O}$ の包含写像および $\mathsf{BV}_{\mathfrak{D}}\mathcal{O} \to \mathcal{O}_+$ の増幅写像が、それぞれ準同型であることを示し、分解を最小モデル構成として確立する。
• 双対変換を用いてコンツェビッチの元々の双対構成法を再解釈し、それが入力となるフォビウス代数に厳しい条件を課すか、ループの縮約を施した変更されたグラフ複体を用いることで、コホモロジー類が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 コンツェビッチの双対構成法——グラフ複体におけるコホモロジー類を生成するもの——を、モジュラー代数的構造の枠組み内でどのように一般化・概念化できるか。
• RQ2 双対フェルミー変換の代数的構造は何か。標準フェルミー変換とはどのように異なるか。
• RQ3 双対フェルミー変換は、生成子と関係式による単純な記述を有するか。その単純さの意義は何か。
• RQ4 ボードマン＝ヴォイト（BV）分解は、最小モデルおよびモジュラー代数的構造上の代数におけるホッジ分解とどのように関係するか。
• RQ5 すべてのコホモロジー類 $\mathsf{F}_{\operatorname{Det}^d}^\vee\mathcal{O}((0))$ が、可縮性を持つ $\mathcal{O}$-代数によって実現可能か。

主な発見

• 双対フェルミー変換 $\mathsf{F}^\vee\mathcal{O}$ は、脚を持たない（つまり真空中の）グラフに制限した場合、標準フェルミー変換 $\mathsf{F}\mathcal{O}$ と線形双対である。
• $\mathsf{F}^\vee\mathcal{O}$-代数は、ホモトピー的収縮を持つ $\mathcal{O}$-代数に他ならず、$\mathsf{F}\mathcal{O}$-代数が要請する量子マスター方程式とは対照的に、明示的かつ単純な記述が可能である。
• 双対変換は、生成子と関係式による洗練された記述を有する：$\mathsf{F}\mathcal{O}$ に、$s^2 = 0$ および $d(s) = \mathbf{1}$ を満たす次数1の生成子 $s$ を自由に添加することで得られる。
• ボードマン＝ヴォイト分解 $\mathsf{BV}_{\mathfrak{D}}\mathcal{O}$ は、$\mathsf{bv}_{\mathfrak{D}}\mathcal{O}$ および $\mathcal{O}_+$ と準同型であり、$\mathcal{O}$ の標準的分解であることが示された。
• 可縮性を持つ $\mathcal{O}$-代数に双対変換を適用すると、$\mathsf{F}_{\operatorname{Det}^d}^\vee\mathcal{O}((0))$ のコホモロジー類と、零ベクトル空間上の $\mathsf{bv}_{\operatorname{Det}^d}\mathcal{O}$-代数構造との間に対応関係が成立し、最小モデル解釈を示唆する。
• 双対変換の構成を、メトリックリボングラフのモジュライ空間をコンactify することで変更可能であり、これはループの縮約を用いるか、入力となるフォビウス代数に条件を課えることで実現可能である。