[论文解读] Quantum microformal morphisms of supermanifolds: an explicit formula and further properties

Theodore Voronov|arXiv (Cornell University)|Dec 14, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用 7

一句话总结

本文为超流形上的量子微形式态射提供了显式公式，将其表示为具有量子生成函数的振荡积分核的无穷阶形式微分算子。关键贡献在于证明了在经典极限 ℏ→0 时，这些态射通过经典微形式态射再现了函数的非线性拉回，推广了同伦泊松结构背景下 L∞-态射的普通光滑映射。

ABSTRACT

We give an explicit formula, as a formal differential operator, for quantum microformal morphisms of (super)manifolds that we introduced earlier. Such quantum microformal morphisms are essentially oscillatory integral operators or Fourier integral operators of a particular kind. They act on oscillatory wave functions, whose algebra extends the algebra of formal power series in Planck's constant. In the classical limit, quantum microformal morphisms reproduce, as the main term of the asymptotic, the nonlinear pullbacks of functions with respect to `classical' microformal morphisms. We found these nonlinear transformations of functions in search of $L_{\infty}$-morphisms for homotopy Poisson structures.

研究动机与目标

• 为超流形之间量子微形式态射提供一个显式、基于坐标的公式，表示为形式微分算子。
• 阐明作用于 ℏ 上形式幂级数环中振荡波函数的量子拉回的几何与代数结构。
• 建立量子微形式态射的经典极限，表明其通过哈密顿-雅可比形式化简化为经典微形式态射。
• 通过傅里叶变换和映射图上分布的支集，解决生成函数的坐标依赖性，证明所得积分核在几何上是良定义的。
• 通过将量子生成函数与支集在图上的分布相关联，统一量子与经典框架，确保在坐标变换下不变性。

提出的方法

• 通过量子生成函数 $ S_{\text{\textbackslash{}hbar}}(x,q) $ 定义量子微形式态射，其为 $ q_i $ 的形式幂级数，系数属于 $ C^{ extbackslash{}infty}(M)[[\hbar]] $，编码相位与振幅数据。
• 量子拉回 $ \hat{\Phi}^* $ 作为在 $ T^*M_2 $ 上的振荡积分算子实现，对相位 $ \frac{i}{\hbar}(S_{\text{\textbackslash{}hbar}}(x,q) - y^i q_i) $ 和勒贝格测度进行积分。
• 通过对其 $ q_i $-依赖性应用傅里叶变换，积分被重写为形式微分算子 $ \exp\left(\frac{i}{\hbar} S^{+}_{\text{\textbackslash{}hbar}}\left(x, \frac{\hbar}{i} \frac{\partial}{\partial y} \right) \right) $ 作用于狄拉克函数 $ \delta(y - \varphi_{\text{\textbackslash{}hbar}}(x)) $ 的形式。
• 所得核 $ K(x,y) $ 是支集于映射 $ \varphi_{\text{\textbackslash{}hbar}}: M_1 \to M_2 $ 的图上的分布，确保构造的坐标不变性。
• 通过 $ y^i $ 中的傅里叶变换与坐标变换的复合，推导出 $ S_{\text{\textbackslash{}hbar}}(x,q) $ 的变换律，保持该对象的几何性质。
• 通过提取主导项 $ S_0(x,q) $ 分析 $ \hbar \to 0 $ 的经典极限，表明量子态射简化为先前工作中定义的经典微形式态射。

实验结果

研究问题

• RQ1 如何将量子微形式态射显式表示为无穷阶形式微分算子？
• RQ2 在 $ \hbar \to 0 $ 极限下，量子微形式态射与经典微形式态射之间的确切关系是什么？
• RQ3 量子拉回如何作为振荡积分实现？其几何意义是什么？
• RQ4 为何生成函数 $ S_{\text{\textbackslash{}hbar}}(x,q) $ 的坐标依赖性不会破坏构造的几何不变性？
• RQ5 能否将量子生成函数解释为 $ M_1 \times M_2 $ 上的几何对象？其在坐标变换下的变换方式如何？

主要发现

• 量子拉回 $ \hat{\Phi}^* $ 显式表示为作用于振荡波函数的无穷阶形式微分算子，形式为 $ \exp\left(\frac{i}{\hbar} S^{+}_{\text{\textbackslash{}hbar}}\left(x, \frac{\hbar}{i} \frac{\partial}{\partial y} \right) \right) $。
• 量子拉回的积分核是支集于映射 $ \varphi_{\text{\textbackslash{}hbar}}: M_1 \to M_2 $ 的图上的分布，确保构造在坐标变换下几何不变。
• 在经典极限 $ \hbar \to 0 $ 时，量子态射简化为经典微形式态射，主导项 $ S_0(x,q) $ 再现了经典生成函数。
• 量子生成函数 $ S_{\text{\textbackslash{}hbar}}(x,q) $ 通过傅里叶变换与变量代换的复合在坐标变换下变换，确保其几何一致性。
• 该构造在量子生成函数与支集于 $ \varphi_{\text{\textbackslash{}hbar}} $ 图上的分布之间建立了一一对应关系，推广了经典情况下的勒让德变换。
• 该方法自然地实现了经典非线性拉回的量子变形，保持了态射在每一点的导数为环同态的性质。