Quantum Mechanics on Lie Groups: I. Noncommutative Fourier Transforms

技術要約：リー群上の量子力学 I：非可換フーリエ変換

問題設定
本論文は、構成空間がリー群（現在は有限次元を想定しているが、無限次元の可能性もある）である場合の、リー群 $G$ 上における量子力学の一般的な枠組みを構築するという基礎的な課題に取り組んでいる。古典的な力学は、これらの空間上でリー・ポアソン方程式やオイラー・アルノルド方程式によって記述できるが、その量子化は依然として微妙な問題である。主要な障害は、「位置空間」（リー群多様体 $G$）から「運動量空間」への移行である。$\mathbb{R}^n$ の標準的なケースとは異なり、リー群に対する運動量空間は、その群構造のために非可換となる。

運動量空間には、2つの競合する定義が存在する：

1. 離散的／表現論的定義： ピーター・ウェイルの定理に基づくもので、運動量空間は既約表現の集合（コンパクト群の場合は離散的）である。これはフーリエ級数には自然であるが、ウィグナー関数や経路積分には不向きである。これらは連続的な位相空間の座標を必要とするためである。
2. 連続的／幾何学的定義： リー代数の双対 $\mathfrak{g}^*$ である。これは連続的な位相空間 $T^*G \cong G \times \mathfrak{g}^*$ を提供し、半古典極限や経路積分に不可欠であるが、運動量の非可換性によりフーリエ変換の定義を複雑にする。

本論文は第2のアプローチに焦点を当て、平方可積分なリー群上の波動関数を $\mathfrak{g}^*$ 上の波動関数へと写す、ユニタリかつ可逆なフーリエ変換を構築することを目指している。その際、運動量の非可換性と、コンパクト部分群から生じる位相幾何学的な複雑さを厳密に取り扱う。

手法
著者らは以下のステップを通じて、この枠組みを構築する：

1. 演算子代数の構築： 位相空間 $T^*G$ のシンプレクティック構造から出発し、運動量が非可換である（$\{p_i, p_j\} = -c_{ij}^k p_k$）ポアソン括弧を定義する。彼らはこの代数を量子化するために、座標と運動量を演算子へと昇格させ、運動量の積に対して**対称順序規則（symmetric ordering prescription）**を採用する。この選択により、運動量演算子の指数関数が指数演算子へと直接写り、バッカー・キャンベル・ハウスドルフ（BCH）関係式 $e^{-i\langle \hat{p}, X \rangle} e^{-i\langle \hat{p}, Y \rangle} = e^{-i\langle \hat{p}, B(X,Y) \rangle}$ を満たすことが保証される。

2. コンパクト部分群と商の処理： コンパクトな部分群を持つ群において、指数写像が単射ではないことは、決定的な技術的障壁となる。リー代数の元 $I = \{X \in \mathfrak{g} \mid \exp(X) = e\}$ は非自明である。

   • 著者らは、「大きな」位置表現を $L^2(\mathfrak{g})$ 上に、そしてスター積（具体的にはグット・スター積）を備えた非可換ヒルベルト空間 $L^2_\star(\mathfrak{g}^*)$ 上の「大きな」運動量表現を定義する。
   • 彼らは、物理的なヒルベルト空間 $L^2(G)$ が、$I$ の作用に対して不変な関数の部分空間に対応することを特定する。彼らは、$\mathbb{R}$ 上のフーリエ変換と $S^1$ 上のフーリエ級数の関係における無限の正規化因子（$|I| \to \infty$）の問題を慎重に対処しながら、この不変性を強制するための射影演算子 $\hat{P}_I$ を導入する。

3. 非可換フーリエ変換： 著者らは、大きな位置表現と運動量表現の間のユニタリなインタートウィナー $\mathcal{F}$ を定義する。この変換の核（kernel）は標準的な平面波 $E(X, p) = e^{-i\langle p, X \rangle}$ であるが、積分測度はハール測度のヤコビアン $J(X)$ を含む。

   • この変換は $L^2(\mathfrak{g})$ から $L^2_\star(\mathfrak{g}^*)$ へと写す。
   • $I$ 不変な部分空間への射影を通じて、彼らは非可換フーリエ係数（$L^2(G)$ から $L^2_\star(\mathfrak{g}^*)$ の部分空間への写像）とフーリエ級数（逆写像）を導出する。

4. スター積と畳み込み： 運動量空間における関数の乗法は、スター積によって支配される。著者らは、位置空間における畳み込みが運動量空間におけるスター積へと写り、その逆もまた同様であることを示し、非可換な畳み込み定理の類似性を確立する。

主な貢献と結果

• ヒルベルト空間の等長性： 本論文は、非可換フーリエ係数とフーリエ級数が、リー群上の平方可積分な関数のヒルベルト空間 $L^2(G)$ と、$I$ 不変でスター平方可積分な関数 $\hat{P}_I \cdot L^2_\star(\mathfrak{g}^*)$ の空間との間の等長写像（isometry）を提供することを証明している。これにより、非アーベル群における運動量空間のスカラ積の定義可能性に関する従来の曖昧さが解消された。
• 非可換ポアソン summation 公式： 著者らは、任意のコンパクト・リー群に対する一般化されたポアソン和公式を導出している。この公式は、単位元の対数の離散格子上の関数と、フーリエ変換およびヤコビアンから導かれる特定の微分演算子を含む双対空間上の積分とを結びつける。
  • $G=U(1)$ の場合、これは標準的なポアソン和公式を回収する。
  • $G=SU(2)$の場合、彼らは$\mathbb{R}^3$ 上のアフィン平面上の積分を含む新しい公式を導出し、これは群の非アーベル的な性質を反映している。
• キリルフ・キャラクタ公式： この形式は既約表現のキャラクタ（指標）に適用される。著者らは、キャラクタの非可換フーリエ変換が、対応する余随伴軌道上に局在することを示す。具体的には $SU(2)$について、スピン$\lambda$を持つキャラクタの変換は、$\mathfrak{su}(2)^*$内の半径$2\lambda + 1$ の球面上に支持される。
• デュフロー順序： 第6節において、著者らはデュフロー写像を用いた代替的な量子化を探索する。彼らは、対称順序がキャラクタの「ぼやけた」局在化（一連の軌道上の積分）をもたらす一方で、デュフロー順序は単一の余随伴軌道上に厳密に局在するフーリエ係数を与え、キリルフ・キャラクタ公式を直接再現することを示す。さらに、デュフロー順序化された変換は、クラス関数のパーセバルの・プランシュレの関係式を自然に導く。

意義と主張
本論文は、リー群上の量子系のウィグナー関数や経路積分を計算するための、必要な「予備的」枠組みを提供すると主張している。著者らは、自身の構成がループ量子重力理論（例：[23–25]）における従来のアプローチとは以下の点で異なることを強調している：

1. フーリエ変換とは独立して運動量空間の波動関数を定義し、その後、その変換が等長写像であることを証明している点（変換の像として空間を定義しているのではない点）。
2. 射影演算子を用いて、商から生じる問題を慎重に処理することで、不適切な同値類に依存することなく、スカラ積と演算子の作用が適切に定義されるようにしている点。
3. 非アーベル・ポアソン和公式の厳密な導出を提供しており、これが $G$ のトポロジーを扱うための（特に混合プロパゲータ $\langle p_f | e^{-iHt} | g_i \rangle$ のための）重要なツールとして特定されている点。

この研究は、リー・ポアソン系における表現論的アプローチ（ピーター・ウェイル）と幾何学的アプローチ（位相空間経路積分）の間の溝を埋めるための数学的基礎を目指している。著者らは、得られた結果が無限次元のリー・フレシェ群にも一般化されることが期待されると述べているが、現在のテキストにおいてそれは厳密には証明されていない。