[论文解读] The Multidimensional Berry-Hannay Model

Shamgar Gurevich, Ronny Hadani|ArXiv.org|Mar 18, 2004

Mathematics and Applications参考文献 5被引用 5

一句话总结

该论文通过利用量子环代数 $\mathcal{A}_{\varepsilon,\hbar}$ 及其在辛群 $\mathrm{Sp}(2n,\mathbb{Z})$ 作用下的行为，构建了二维辛环面的典范、射影、等变量子化。对于有理数普朗克常数 $\hbar = M/N$ 且满足 $\gcd(M,N) = 1$ 的情形，证明了在群作用下固定的唯一不可约表示的存在性，从而得到一个与函数代数和辛对称性均相容的典范量子化方案。

ABSTRACT

The aim of this paper is to construct the Berry-Hannay model of quantum mechanics on a 2n-dimensional symplectic torus. We construct a simultaneous quantization of the algebra $\cal A$ of functions on the torus and the linear symplectic group $\G = \Sp(\mathrm{2n},\Z)$. In the construction we use the quantum torus $\A$, which is a deformation of $\cal A$, together with a $\G$-action on it. We obtain the quantization via the action of $\G$ on the set of equivalence classes of irreducible representations of $\A$. For $\h \in \Q$ this action has a unique fixed point. This gives a canonical projective equivariant quantization. There exists a Hilbert space on which both $\G$ and $\A$ act in a compatible way.

研究动机与目标

• 将二维 Berry-Hannay 模型推广至高维辛环面。
• 在环面上的光滑函数与线性辛群 $\mathrm{Sp}(2n,\mathbb{Z})$ 上实现同时的量子化。
• 通过量子环代数不可约表示上的 $\mathrm{G}$ 作用，建立典范、射影、等变的量子化。
• 证明当 $\hbar \in \mathbb{Q}$ 时，存在唯一的 $\mathrm{G}$-不变不可约表示。

提出的方法

• 将量子环代数 $\mathcal{A}_{\varepsilon,\hbar}$ 用作环面上光滑函数代数 $\mathcal{A} = C^\infty(\mathbf{T})$ 的形变。
• 定义代数的两种版本：$\mathcal{A}_{0,\hbar}$ 为 Rieffel 的量子环，$\mathcal{A}_{1,\hbar}$ 为一种扭曲变体。
• 构造 $\mathcal{A}_{\varepsilon,\hbar}$ 的不可约表示，并证明当 $\hbar = M/N$ 且 $\gcd(M,N) = 1$ 时，其维数为 $N^n$。
• 在不可约表示的等价类集合 $\mathrm{Irr}(\mathcal{A}_{\varepsilon,\hbar})$ 上引入 $\mathrm{G} = \mathrm{Sp}(2n,\mathbb{Z})$-作用。
• 通过 $\mathrm{Hom}(\Lambda^*, \mathbb{C}^\times)$ 中的平凡特征标识别出唯一的 $\mathrm{G}$-不动点不可约表示，从而实现典范量子化。
• 在固定表示的希尔伯特空间上构造 $\mathrm{G}$ 的典范射影表示，满足 Egorov 恒等式。

实验结果

研究问题

• RQ1 在高维环面上，是否存在对光滑函数代数与辛群 $\mathrm{Sp}(2n,\mathbb{Z})$ 的同时、等变量子化？
• RQ2 能否为有理数普朗克常数 $\hbar \in \mathbb{Q}$ 构建典范量子化？
• RQ3 是否存在唯一的不可约表示，使得量子环代数 $\mathcal{A}_{\varepsilon,\hbar}$ 在 $\mathrm{Sp}(2n,\mathbb{Z})$ 作用下不变？
• RQ4 $\mathrm{G}$-作用在表示空间上如何与环面上的经典辛动力学相关联？

主要发现

• 当 $\hbar = M/N \in \mathbb{Q}$ 且 $\gcd(M,N) = 1$ 时，存在唯一的不可约表示，使得 $\mathcal{A}_{\varepsilon,\hbar}$ 在 $\mathrm{G} = \mathrm{Sp}(2n,\mathbb{Z})$ 作用下不变，其中 $\varepsilon = MN \mod 2$。
• 该典范表示的维数为 $N^n$，且为不可约的有限维表示。
• $\mathrm{G}$-作用在不可约表示集合上，与 $\mathrm{G}$ 在 $\mathrm{Hom}(\Lambda^*, \mathbb{C}^\times)$ 上的作用 $\mathrm{G}$-等变同构，平凡特征标为唯一不动点。
• 在固定表示的希尔伯特空间上构造了 $\mathrm{G}$ 的典范射影表示，满足 Egorov 恒等式：对所有 $f \in \mathcal{A}$ 和 $B \in \mathrm{G}$，有 $\rho(B)^{-1}\pi(f)\rho(B) = \pi(f \circ B)$。
• 表示空间上的希尔伯特空间结构在标量倍数意义下唯一，且所有在希尔伯特空间上的不可约 $*$-表示均对应于取值于单位圆 $S^1$ 上的特征标 $\chi_\pi$。
• 该构造首次为有理数 $\hbar$ 的高维辛环面提供了显式、典范、等变的量子化方案。