[论文解读] A Fedosov Star Product of Wick Type for Kähler Manifolds

Martin Bordemann, Stefan Waldmann|ArXiv.org|May 8, 1996

Geometry and complex manifolds参考文献 5被引用 27

一句话总结

该论文通过一种类似Fedosov的程序，在凯勒流形上构造了一类Wick型星积，将标准的Weyl型星积推广，以保持全纯与反全纯微分结构。关键贡献是通过改进的Fedosov构造，直接证明了此类星积的存在性，确保双微分算子对第一个变量仅在全纯方向上微分，对第二个变量仅在反全纯方向上微分。

ABSTRACT

In this letter we compute some elementary properties of the Fedosov star product of Weyl type, such as symmetry and order of differentiation. Moreover, we define the notion of a star product of Wick type on every Kähler manifold by a straight forward generalization of the corresponding star product in $\mathbb C^n$: the corresponding sequence of bidifferential operators differentiates its first argument in holomorphic directions and its second argument in antiholomorphic directions. By a Fedosov type procedure we give an existence proof of such star products for any Kähler manifold.

研究动机与目标

• 在凯勒流形上建立Wick型星积，推广平坦 $\mathbb{C}^n$ 情形下的情况，其中算子分别对全纯与反全纯变量进行微分。
• 提供一种直接、几何的此类星积存在性证明，不依赖渐近展开或解析量子化方案。
• 证明Fedosov构造可通过修改曲率与联络条件，被调整以生成Wick型星积。
• 证明所得星积具有结合性，为双微分算子的 $r$ 阶形式，且尊重全纯/反全纯微分结构。

提出的方法

• 通过在Weyl代数丛 $\mathcal{W} \otimes \Lambda$ 上定义一个 $\hbar$-变形的纤维化Weyl乘积 $\circ'$，将Fedosov构造进行改进，引入一个新的星积 $*'$。
• 在 $\mathcal{W} \otimes \Lambda$ 上引入一个联络 $\nabla$，其曲率为 $R$，并通过递推关系定义星积，借助一个量子化映射 $\tau'$。
• 定义星积 $f *' g = \pi^{(0,0)}_s(\tau'(f) \circ' \tau'(g))$，其中 $\pi^{(0,0)}_s$ 投影到标量部分。
• 利用条件 $\nabla^2 = \frac{i}{\hbar}[R, \cdot]$，并选择 $R$ 为 $(1,1)$ 型，以确保与凯勒结构相容。
• 通过递推的归纳法证明：对全纯 $f$，有 $\tau'(f)$ 无反全纯对称分量；对反全洁 $f$，反之亦然。
• 利用 $*'$ 的结合性及 $\circ'$ 乘积的结构，证明 $M'_r(f,g)$ 仅对 $f$ 在全纯方向上微分，仅对 $g$ 在反全纯方向上微分。

实验结果

研究问题

• RQ1 能否通过类似Fedosov的方法在任意凯勒流形上构造出Wick型星积？
• RQ2 曲率与联络需满足何种条件，才能确保所得星积对第一个变量在全纯方向上微分，对第二个变量在反全纯方向上微分？
• RQ3 改进的Fedosov构造如何在保持结合性的同时，强制实现Wick型微分结构？
• RQ4 星积展开中双微分算子 $M'_r$ 的精确阶数与类型为何？
• RQ5 星积是否满足所需的实性与对称性公理，特别是 $\overline{M'_r(f,g)} = (-1)^r M'_r(\bar{g}, \bar{f})$？

主要发现

• 通过改进的Fedosov程序构造的星积 $*'$ 为Wick型：$M'_r(f,g)$ 仅对 $f$ 在全纯方向上微分，仅对 $g$ 在反全纯方向上微分。
• 双微分算子 $M'_r$ 的阶数为 $r$，确认 $*'$ 为Vey型星积，满足所需的形式形变性质。
• 对全纯 $f$ 与反全洁 $g$，星积满足局部关系 $h *' f = hf$ 与 $g *' h = gh$，确认其正规序行为。
• 证明依赖于归纳法，以及对全纯 $f$ 有 $\pi^{(0,p)}_s \tau'(f) = 0$（当 $p > 0$ 时）的消失性，从而确保第一项中不出现反全纯微分。
• 星积 $*'$ 的结合性在证明中至关重要：通过多项式测试函数的反证法，表明 $M'_r$ 的第一项中仅可能出现全纯微分。
• 曲率 $R$ 被选为 $(1,1)$ 型，确保与凯勒结构相容，并实现星积中所需的微分行为。