[论文解读] 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构造的逆向结果，表明整个AKSZ框架——包括奇辛空间结构与映射空间上的主作用量——自然由此产生。关键结果是：要求差向量场 $ 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) $ 关于 $ \operatorname{Map}(M,N) $ 上的奇辛结构为哈密顿向量场。
• 由哈密顿条件推导出奇辛形式 $ \Omega[\varphi, \delta\varphi] = \int_M Dx\, \rho(x)\, \omega(\varphi(x), \delta\varphi(x)) $。
• 证明生成泛函 $ S $（即哈密顿向量场 $ d(Q_1, Q_2) $ 的生成元）与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 $ 作用下不变的性质，确保主方程的一致性与闭包性。
• 证明经典主方程 $ (S,S) = 0 $ 由差向量场 $ d(Q_1, Q_2) $ 的同调性质推出，等价于 $ X_S $ 为同调向量场。

实验结果

研究问题

• 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构造进行推广？

主要发现

• AKSZ构造完全由映射空间 $ \operatorname{Map}(M,N) $ 上差向量场 $ d(Q_1, Q_2) $ 关于奇辛结构为哈密顿向量场这一单一条件所恢复。
• 映射空间 $ \operatorname{Map}(M,N) $ 上的辛形式 $ \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 $），即使 $ S $ 本身非全局单值，其变分仍定义良好。