[論文レビュー] The Cumulant Bijection and Differential Forms

Nissim Ranade, Dennis Sullivan|arXiv (Cornell University)|Jul 1, 2014

Algebraic structures and combinatorial models参考文献 1被引用数 4

ひとこと要約

本稿では、階数付き可換代数 $A$ 上の線形写像の標準的リフトをコデリバーションまたはコールゲブラ写像に共役する、標準的コールゲブラ同型写像 $τ\tilde{}: SA \to SA$ である累積項写像を導入する。この写像は、共役化された写像のテイラー係数を明示的に与え、それらが代数準同型写像や微分作用素でないときのずれを測定することを示す。主な貢献は、微分形式およびコールゲブラ的変形を用いた代数的構造の分析のための新しい枠組みを提供することであり、変形リトラクトやチェーン複体への応用を含む。

ABSTRACT

According to Jae Suk Park, physicists use "canonical coordinate systems" to compute correlations in perturbative quantum field theories. One may interpret these canonical coordinate systems as equivalences of generalized differential Lie algebras. In this note we discuss these flattenings in one particular setting and refer to them as "cumulant bijections". The main point we make is that these cumulant bijections are functorial for deformation retracts. The discussion is completely self contained and based on well known universal properties.

研究の動機と目的

• 階数付き可換代数 $A$ 上の線形写像を対称代数 $SA$ 上のコデリバーションに上げる、標準的コールゲブラ同型写像（累積項写像）を定義し、その性質を特徴づける。
• 共役化された写像のテイラー係数と、元の写像が代数準同型写像または微分作用素でないときのずれとの間の対応関係を確立する。
• チェーン複体の変形リトラクトの文脈において累積項写像を応用し、微分付きコールゲブラ間の誘導同型写像を構成する。
• コールゲブラ的共役化と微分形式を用いた、代数的および微分的構造を分析するための計算的枠組みを提供する。

提案手法

• 写像 $\tau: SA \to A$ を $\tau(x_1 \wedge \cdots \wedge x_n) = x_1 \cdots x_n$ で定義し、$\tilde{\tau}$ を公式 $\tilde{\tau}(v) = \tau(v) + (\tau \wedge \tau) \circ \Delta(v) + \cdots$ によりコールゲブラ同型写像として拡張する。
• コプロダクト $\Delta: SA \to SA \wedge SA$ を用いて、符号補正付きの分割和を用いて、共役化された写像のテイラー係数を再帰的に定義する。
• 線形写像 $f: A \to A$ の標準的リフト $\tilde{f}$ を $SA$ 上のコールゲブラ写像として構成し、$\tilde{\tau}$ を用いて共役化して $g = \tilde{\tau}^{-1} \tilde{f} \tilde{\tau}$ を得る。この写像の係数は代数準同型写像でないときのずれを測定する。
• コデリバーションの文脈では、$\hat{f}$ を標準的リフトの共役として定義し、その係数が微分作用素でないときのずれを測定する。
• $SA$ のフィルトレーションに関する帰納法を用い、$\tilde{\tau}$ がコールゲブラ同型写像であることを証明する。これは、線形項上で恒等写像として作用し、コールゲブラ構造を保存することを根拠とする。
• 変形リトラクトへの応用：チェーン複体 $C \subset A$ とリトラクト $I$、ホモトピー $s$ が与えられたとき、$SC$ 上に誘導された累積項写像 $\tilde{\tau}_C = \tilde{I} \circ \tilde{\tau} \circ \iota$ を定義し、これが微分付きコールゲブラ同型写像であることを示す。

実験結果

リサーチクエスチョン

• RQ1 線形写像 $f: A \to A$ をどのようにして $SA$ 上のコールゲブラ写像に標準的にリフトできるか。また、そのリフトのテイラー係数は何か。
• RQ2 累積項写像 $\tilde{\tau}$ を用いたそのリフトの共役化の明示的公式は何か。また、これらの係数はどのような意味を持つのか。
• RQ3 共役化された写像の高次テイラー係数が消える条件は何か。これは $f$ が代数準同型写像または微分作用素であるときとどのように関係するか。
• RQ4 累積項写像を用いて、チェーン複体の変形リトラクトの文脈で、微分付きコールゲブラ間の同型写像を構成できるか。
• RQ5 累積項写像は、関連研究で示唆された3次元流体運動における構造の統合と微分形式の関係とどのように関連するか。

主な発見

• 累積項写像 $\tilde{\tau}$ は $\tilde{\tau}(v) = \sum_{k \geq 1} \tau^{\wedge k} \circ \Delta^{k-1}(v)$ で定義され、$\tilde{\tau}(v) = v + \text{低次の項}$ となるため、全単射であることが保証される。
• 共役化写像 $g = \tilde{\tau}^{-1} \tilde{f} \tilde{\tau}$ のテイラー係数は、$g^1(x) = f(x)$、$g^2(x,y) = f(xy) - f(x)f(y)$、$g^3(x,y,z) = f(xyz) - f(xy)f(z) - f(yz)f(x) - f(zx)f(y) + 2f(x)f(y)f(z)$ であり、これは $f$ が代数準同型写像であるときかつそのときに限り消える。
• コデリバーションの文脈では、共役化写像 $h = \tilde{\tau}^{-1} \hat{f} \tilde{\tau}$ の係数は $h^1(x) = f(x)$、$h^2(x,y) = f(xy) - f(x)y - x f(y)$、$h^3(x,y,z)$ はより複雑な式で与えられ、$f$ が微分作用素であるときかつそのときに限り消える。
• $SC$ 上の誘導累積項写像 $\tilde{\tau}_C$ は $\tilde{I} \circ \tilde{\tau} \circ \iota$ として構成され、$SC$ のフィルトレーションに関する帰納法を用いて、$C$ 上で恒等写像として作用し、コールゲブラ構造を保存することを根拠に、微分付きコールゲブラ同型写像であることが証明される。
• この構成により、線形写像が準同型写像または微分作用素でないときのずれを、共役化された写像のテイラー係数を通じて体系的に測定する方法が得られ、変形理論における新しい代数的道具が提供される。
• チェーン複体に変形リトラクトが存在する場合、累積項写像は微分付きコールゲブラ $(SC, \partial_\infty)$ と $(SC, d_C)$ 間の同型写像を誘導する。ここで $\partial_\infty$ は $\partial_C$ を拡張するコデリバーションである。