[論文レビュー] From homotopy to Ito calculus and Hodge theory

Ghaliah Alhamzi, Edwin Beggs+1 more|arXiv (Cornell University)|Jul 11, 2013

Algebraic structures and combinatorial models参考文献 13被引用数 10

ひとこと要約

この論文は、確率的仮定なしに伊藤積分の形式的枠組みを回復するホモトピーに基づく微分的可換代数（DGA）の変形を導入する。これはストラトノビッチ積分に対応する変形DGAと古典的DGAの間の同型を確立する。この枠組みを非可換Podleés球面 $S^2_q$ に適用し、ラプラシアン $Δ$ の明示的な固有形式と固有値を持つホッジ理論を構築し、de Rhamコホモロジー類に対応する調和形式を明らかにする。

ABSTRACT

We begin with a deformation of a differential graded algebra by adding time and using a homotopy. It is shown that the standard formulae of Itô calculus are an example, with four caveats: First, it says nothing about probability. Second, it assumes smooth functions. Third, it deforms all orders of forms, not just first order. Fourth, it also deforms the product of the DGA. An isomorphism between the deformed and original DGAs may be interpreted as the transformation rule between the Stratonovich and classical calculus (again no probability). The isomorphism can be used to construct covariant derivatives with the deformed calculus. We apply the deformation in noncommutative geometry, to the Podleś sphere $S^2_q$. This involves the Hodge theory of $S^2_q$.

研究の動機と目的

• 確率的基礎なしに、ホモトピーによる微分的可換代数（DGA）の変形を、伊藤積分の代数的構造が再現できるように確立すること。
• 変形DGAと元のDGAの間の同型を、伊藤とストラトノビッチ積分の間の変換則として解釈し、共変微分の構成を可能にすること。
• ホモトピー的変形枠組みを非可換幾何学、特にPodleés球面 $S^2_q$ に拡張し、実際のホッジ理論を開発すること。
• $S^2_q$ 上で $n > 1$ 次形式に対して一意な内積が存在しないという問題を、ホッジ理論とホッジスターによって誘導される余微分を用いて解決すること。
• $S^2_q$ 上のラプラシアン $Δ$ の明示的な固有形式と固有値を計算し、調和形式の射影によってコホモロジー的一致性を検証すること。

提案手法

• 時間座標を導入し、微分 $\mathrm{d}$ と外積 $\wedge$ を変形するホモトピー $\delta$ を適用することで、DGAを変形し、新たなDGA構造を構築する。
• 変形DGAと元のDGAの間の同型を用いて、伊藤からストラトノビッチ積分への移行をモデル化し、変形された積の可換性を保つ。
• Podleés球面 $S^2_q$ 上の非可換微分計算にこの変形を適用し、その既知の $C^*$-代数的構造と微分形式を用いる。
• ホッジスター演算子 $\diamondsuit$ を $S^2_q$ 上で明示的に定義し、$\mathrm{d}$ とその形式的随伴 $\delta$ を関連づけ、余微分の定義を可能にする。
• ホッジスターを用いて、双対性に基づき $n$-形式に対する内積 $X \righthalfcup \xi$ を定義し、以前の構成における一意でない性質を解決する。
• $S^2_q$ 上のラプラシアン $Δ = \mathrm{d}\delta + \delta\mathrm{d}$ を計算し、表現論的技法と $q$-整数を用いて、0-、1-、2-形式について明示的な固有形式と固有値を列挙する。

実験結果

リサーチクエスチョン

• RQ1 確率的入力なしに、ホモトピー的変形によるDGAから、伊藤積分の形式的枠組みを純粋に代数的に導出可能か？
• RQ2 確率的要素が欠如する状況下で、変形DGAと古典的DGAの間の同型は、ストラトノビッチ積分に対応するか？
• RQ3 ホモトピー的変形と余微分構造を用いて、非可換空間（特にPodleés球面 $S^2_q$）上に体系的なホッジ理論を構築可能か？
• RQ4 ホッジスターと内積は、$S^2_q$ 上で調和形式とコホモロジーを保存する射影を定義する上で果たす役割は何か？
• RQ5 $S^2_q$ 上のラプラシアン $Δ$ の固有形式は、形式の空間において稠密か？ また、de Rhamコホモロジー類と整合しているか？

主な発見

• DGAのホモトピー的変形は、確率的解釈なしに伊藤積分の代数的構造を再現する。変形された微分と積は、伊藤型の恒等式を満たすが、確率的解釈は持たない。
• 変形DGAと元のDGAの間の同型は、伊藤とストラトノビッチ積分の間の変換則に対応し、変形された積は可換性を保つ。
• Podleés球面 $S^2_q$ 上では、ラプラシアン $Δ$ が明示的に構築され、その固有値は $q$-整数 $[n]$ とパラメータ $\alpha, \beta$ で表される。
• 1-形式に関しては、固有形式が $e^{\pm}$, $b^m$, $c^p$, $d^n$, $x^r$ の組み合わせとして明示的に列挙され、固有値は $(\beta + \alpha q^{-2})[n+p+2][n+p+1]q^{1-2n-2p}$ などに比例する。
• 2-形式における $Δ$ の固有値は0-形式と一致し、唯一の調和2-形式は定数倍の $e^+ \wedge e^-$ である。これはde Rhamコホモロジーと整合的である。
• $S^2_q$ 上の調和形式は、正確に定数（0-形式）、ゼロ（1-形式）、および定数倍の $e^+ \wedge e^-$（2-形式）である。これは、$\Delta\xi = 0$ であることと、$\xi$ が定数にコホモロジカルに同値であることの必要十分条件であることを確認する。