[論文レビュー] Vector fields on mapping spaces and a converse to the AKSZ construction

Theodore Voronov|arXiv (Cornell University)|Nov 27, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 6

ひとこと要約

本稿では、AKSZ構成の逆を提示する。すなわち、写像空間上の偶数次元のシンプレクティック構造とマスター作用が、差ベクトル場 $ d(Q_1, Q_2) $ がハミルトニアンであるという唯一の条件から自然に生じることを示している。主な結果は、差ベクトル場 $ d(Q_1, Q_2) $ が勾配またはハミルトニアンであると仮定することで、体積およびホモロジー的ベクトル場によるシンプレクティック構造の不変性のもとで、AKSZの全フレームワーク—シンプレクティック形式 $ \Omega $ と作用 $ S $ — が一意に回復されることである。

ABSTRACT

The well-known AKSZ construction (for Alexandrov--Kontsevich--Schwarz--Zaboronsky) gives an odd symplectic structure on a space of maps together with a functional $S$ that is automatically a solution for the classical master equation $(S,S)=0$. The input data required for the AKSZ construction consist of a volume element on the source space and a symplectic structure of suitable parity on the target space, both invariant under given homological vector fields on the source and target. In this note, we show that the AKSZ setup and their main construction can be naturally recovered from the single requirement that the `difference' vector field arising on the mapping space be gradient (or Hamiltonian). This can be seen as a converse statement for that of AKSZ. We include a discussion of properties of vector fields on mapping spaces.

研究の動機と目的

• AKSZ構成の逆を確立し、全AKSZフレームワークを回復するための最小条件を同定すること。
• 写像空間上での差ベクトル場 $ d(Q_1, Q_2) $ がAKSZ機構の中心的対象たる役割を明確にすること。
• 差ベクトル場 $ d(Q_1, Q_2) $ がハミルトニアン（すなわち、汎関数 $ S $ によって生成される）であるという要請が、源の体積および終域のシンプレクティック形式の不変性のもとで、自然にAKSZシンプレクティック形式 $ \Omega $ と作用 $ S $ を導くこと。
• AKSZ構成を、単一の幾何的原理—差ベクトル場のハミルトニアン性—によって統一すること。

提案手法

• 写像空間 $ \operatorname{Map}(M,N) $ 上の差ベクトル場 $ d(X,Y) $ を $ Y \circ \varphi - d\varphi \circ X $ として定義し、$ X $ と $ Y $ が $ \varphi $ と可換でない度合いを測る。
• 源 $ M $ におけるホモロジー的ベクトル場 $ Q_1 $ と終域 $ N $ におけるホモロジー的ベクトル場 $ Q_2 $ にこの構成を適用し、写像空間上の奇シンプレクティック構造に関して、差ベクトル場 $ d(Q_1, Q_2) $ がハミルトニアンであると仮定する。
• ハミルトニアン条件から、奇シンプレクティック形式 $ \Omega[\varphi, \delta\varphi] = \int_M Dx\, \rho(x)\, \omega(\varphi(x), \delta\varphi(x)) $ を導出する。
• ハミルトニアンベクトル場 $ d(Q_1, Q_2) $ を生成する汎関数 $ S $ が、AKSZ作用 $ S[\varphi] = \int_M Dx\, \rho(x)\left( Q_1^a(x) \frac{\partial \varphi^i}{\partial x^a} \lambda_i(\varphi(x)) - H(\varphi(x)) \right) $ と一致することを示す。ここで $ \omega = d\lambda $ である。
• 源の体積 $ \boldsymbol{\rho} $ が $ Q_1 $ に関して不変であること、および $ \omega $ が $ Q_2 $ に関して不変であることを利用して、整合性およびマスター方程式の閉じ性を保証する。
• 差ベクトル場 $ d(Q_1, Q_2) $ がホモロジー的であることから、古典的マスター方程式 $ (S,S) = 0 $ が導かれる。

実験結果

リサーチクエスチョン

• RQ1 AKSZ構成は、入力データの集合ではなく、より基本的な幾何的原理から導出可能か？
• RQ2 写像空間上での差ベクトル場 $ d(Q_1, Q_2) $ がハミルトニアン系を生成するための最小条件は何か？
• RQ3 差ベクトル場 $ d(Q_1, Q_2) $ がハミルトニアンであるという要請が、AKSZシンプレクティック構造 $ \Omega $ と作用 $ S $ を一意に決定するか？
• RQ4 差ベクトル場 $ d(Q_1, Q_2) $ がハミルトニアンであるという性質は、ホモロジー的ベクトル場による体積およびシンプレクティック形式の不変性とどのように関係するか？
• RQ5 ハミルトニアン係数が場の微分に依存するように一般化することで、AKSZ構成を拡張可能か？

主な発見

• 差ベクトル場 $ d(Q_1, Q_2) $ が写像空間 $ \operatorname{Map}(M,N) $ 上でハミルトニアンであるという唯一の条件から、AKSZ構成が完全に回復される。
• 写像空間上でのシンプレクティック形式 $ \Omega $ は、$ \Omega[\varphi, \delta\varphi] = \int_M Dx\, \rho(x)\, \omega(\varphi(x), \delta\varphi(x)) $ として一意に決定され、ここで $ \omega $ は終域のシンプレクティック形式、$ \rho $ は源における不変体積である。
• AKSZ作用 $ S[\varphi] $ は、ハミルトニアンベクトル場が $ d(Q_1, Q_2) $ であるような汎関数として生じ、古典的マスター方程式 $ (S,S) = 0 $ を満たす。
• 差ベクトル場 $ d(Q_1, Q_2) $ がハミルトニアンであるという要請は、$ S $ が古典的マスター方程式の解であることを意味し、これは $ X_S $ がホモロジー的であることに等しい。
• 写像空間上のシンプレクティック構造が $ \boldsymbol{\rho} \otimes \omega $ の形に分解されない場合にも、この構成は一般化可能であり、標準AKSZ設定を超えた広範な適用可能性を示唆している。
• この枠組みは、$ S $ が大域的に単一値でない場合でも、その変分が適切に定義されるような多価関数的汎関数を自然に扱える。