[论文解读] Representations of the Heisenberg algebra on holomorphic functions and Krein structures

M. N. Mnatsakanova, G. Morchio+2 more|Nov 14, 2002

Advanced Operator Algebra Research参考文献 4被引用 4

一句话总结

本文通过海森堡代数与全纯算子$^*$-代数之间的同构，对具有不定度量的海森堡代数和CCR代数的全纯克雷因空间表示进行分类。结果表明，当规范变换由连续的$U(1)$克雷因等距群实现时，其正则表示等价于巴格曼型或薛定谔型全holomorphic表示的直和，其内积通过福克/反福克结构定义，并辅以谱条件以确保稳定性与非退化性。

ABSTRACT

Representations of CCR algebras in spaces of entire functions are classified on the basis of isomorphisms between the Heisenberg CCR algebra A_H and star algebras of holomorphic operators. To each representations of such algebras, satisfying a regularity and a reality condition, one can associate isomorphisms and inner products so that they become Krein star representations of A_H, with the gauge transformations implemented by a continuous U(1) group of Krein isometries. Conversely, any holomorphic Krein representation of A_H, having the gauge transformations implemented as before and no null subrepresentation, is shown to be contained in a direct sum of the above representations. The analysis is extended to infinite dimensional CCR algebras, under a spectral condition for the implementers of the gauge transformations.

研究动机与目标

• 对海森堡代数在克雷因空间中的全纯表示进行分类，将福克-巴格曼-塞加尔（FBS）框架推广至不定度量情形。
• 将分类结果扩展至具有混合统计性质（$\eta_i = \pm 1$）的CCR代数，包括无限维情形。
• 建立规范变换可由连续$U(1)$克雷因等距群实现的条件。
• 证明所有满足实现算子谱条件的正则克雷因表示均包含于巴格曼型或薛定谔型全纯表示的直和之中。
• 通过全纯算子代数导出的同构与内积，对不可约正则克雷因表示提供完整分类。

提出的方法

• 通过共轭$K$刻画海森堡代数$\mathcal{A}_H$与全holomorphic算子$^*$-代数$\mathcal{A}^K$之间的同构$\sigma$，并利用$SL(2,\mathbb{C})$中的自同构关联不同同构。
• 施加正则性条件：$SL(2,\mathbb{C})$中的$U(1)$子群在表示中可实现，从而导出两种典型情形：巴格曼型（$z \to e^{is}z$, $\partial_z \to e^{-is}\partial_z$）与薛定谔型（$z \pm \partial_z \to e^{\mp is}(z \pm \partial_z)$）。
• 将满足实性条件的每个不可约表示与克雷因内积关联，使其成为具有连续$U(1)$实现规范对称性的克雷因$^*$-表示。
• 利用实现算子$U(s)$的谱条件——即$\langle f, U(s)g\rangle$在上半平面解析并有界——以确保谱支持非负，排除负频率分量。
• 通过分析规范生成元$N = \sum \eta_i a_i^* a_i$及其谱性质，将分类推广至$M$维CCR代数，其中$[a_i, a_j^*] = \delta_{ij}\eta_i$，$\eta_i = \pm 1$。
• 证明任意具有谱实现算子的正则克雷因表示均包含于形如$\pi = \pi_H \circ \rho$的表示直和中，其中$\pi_H$是复$M$变量多项式空间上循环的福克/反福克型表示。

实验结果

研究问题

• RQ1 在正则性与实性条件下，如何对克雷因空间中海森堡代数的全纯表示进行分类？
• RQ2 何种条件可确保在全纯表示中，规范变换由连续的$U(1)$克雷因等距群实现？
• RQ3 巴格曼型与薛定谔型实现的海森堡代数在$\eta_i = \pm 1$的不定度量情形下如何推广？
• RQ4 实现算子$U(s)$的谱条件在限制数算子谱并确保稳定性方面起何作用？
• RQ5 所有具有谱实现算子的正则克雷因表示$\mathcal{A}_H(\eta)$是否均可嵌入于具有福克/反福克内积的全纯表示的直和中？

主要发现

• 所有具有$U(1)$实现规范对称性的正则全纯克雷因表示，均等价于巴格曼型或薛定谔型表示的直和。
• 复$M$变量多项式空间上的内积唯一确定（至非零因子），其矩阵元为$\langle z^{n_i}, z^{m_i} \rangle = n_i! \, (-1)^{n_i(1 - \eta_i)/2} \delta_{n_i, m_i}$。
• 当$\eta_i = 1$时，表示退化为标准福克空间；当$\eta_i = -1$时，变为反福克空间，整体结构构成克雷因空间分解。
• 对$U(s)$的谱条件确保仅出现非负频率分量，排除零频率或负频率子表示。
• 该分类可推广至无限维CCR代数（$M = \infty$），只要实现算子的谱条件成立。
• 任意具有谱实现算子的正则克雷因表示$\mathcal{A}_H(\eta)$，均与形如$\pi = \pi_H \circ \rho$的全纯表示克雷因等价，其中$\pi_H$是复$M$变量多项式上循环的福克/反福克表示。