[論文レビュー] Projectively equivariant quantization and symbol calculus: noncommutative hypergeometric functions

Christian Duval, Valentin Ovsienko|ArXiv.org|Mar 15, 2001

Algebraic structures and combinatorial models参考文献 6被引用数 11

ひとこと要約

本稿は、非可換超幾何関数を用いて、$S^n$ 上の擬微分作用素へ射影的不変量化および記号計算を拡張する。コンフラuent超幾何関数を用いた非可換作用素の関数として、量化および記号写像の明示的公式を導出しており、$S^3$ 上の量子長さ要素や、半密度に対する簡略化された表現が得られている。

ABSTRACT

We extend projectively equivariant quantization and symbol calculus to symbols of pseudo-differential operators. An explicit expression in terms of hypergeometric functions with noncommutative arguments is given. Some examples are worked out, one of them yielding a quantum length element on $S^3$.

研究の動機と目的

• 微分作用素を超えて、擬微分作用素の記号へまで射影的不変量化および記号計算を拡張すること。
• ${\sigma}\mathrm{SL}(n+1,\mathbb{R})$-作用に関して不変である、$S^n$ 上で明示的かつグローバルに定義された量化写像を提供すること。
• 非可換引数を伴う超幾何関数、特にコンフラuent超幾何関数を用いて、量化および記号写像を表現すること。
• 幾何的・物理的応用を具体的に導出すること、例えば測地線流れの量化や$S^3$ 上の量子長さ要素の導出。

提案手法

• $S^n$ の射影的構造と$\mathrm{SL}(n+1,\mathbb{R})$ の作用を用いて、グローバルに不変な量化写像を定義する。
• 量化写像を同次成分に分解するための主要な道具として、オイラー作用素$\mathcal{E}$ と発散作用素$\mathrm{D}$ を導入する。
• 係数がポッホハマー記号および超幾何級数によって定義される、非可換作用素$i\hbar\mathrm{D}$ を含む級数として量化写像を表現する。
• 記号写像を、パrameterが$\lambda$, $\mu$, および$\delta=\mu-\lambda$ に依存する、作用素$\mathcal{E}$ と$\mathrm{D}$ のコンフラuent超幾何関数として導出する。
• 特定のハミルトニアン、特に測地線流れとその$\alpha$-乗の量化を計算するために形式を適用する。
• 局所座標におけるフーリエ変換とノーマル順序同型を用いて、記号と微分作用素を関連付け、その後、不変性を用いてグローバルに拡張する。

実験結果

リサーチクエスチョン

• RQ1 射影的不変量化は、微分作用素を超えて、擬微分作用素の記号へどのように拡張できるか？
• RQ2 作用素が可換でない場合、特に非可換引数を伴う場合に、量化および記号写像の明示的形はどのようなものか？
• RQ3 特殊関数、例えば超幾何関数を用いて、非可換設定下での量化写像を表現できるか？
• RQ4 この一般化された量化の幾何的・物理的意味は何か、特に$S^n$ 上のハミルトニアンに対しては？
• RQ5 $S^3$ 上で$H^{-1/2}$ を量化すると、形式論的に示唆されているように、意味のある量子長さ要素が得られるか？

主な発見

• 半密度（$\lambda=\mu=1/2$）に対して、射影的不変量化写像は、コンフラuent超幾何関数$F\left(\left.\begin{array}[]{r}2\mathcal{E}\\ \mathcal{E}\end{array}\right|\frac{i\hbar\mathrm{D}}{4}\right)$ を含む級数として表される。
• 記号写像は、コンフラuent超幾何関数$F\left(\left.\begin{array}[]{l}\mathcal{E}+(n+1)\lambda\\ 2\mathcal{E}+(n+1)(1-\delta)\end{array}\right|-\frac{\mathrm{D}}{i\hbar}\right)$ として与えられ、すべての$\lambda, \mu$ に対して有効である。
• 測地線流れハミルトニアン$H = \mathrm{g}^{ij}\xi_i\xi_j$ の量化は、$\mathcal{Q}_{\lambda,\mu}(H_\delta) = -\hbar^2(\Delta + C_{\lambda,\mu} R)$ を得る。ここで$C_{\lambda,\mu} = \frac{(n+1)^2\lambda(\mu-1)}{(n-1)((1-\delta)(n+1)+1)}$ かつ$R=n(n-1)$ である。
• $\alpha = \frac{1-n}{4}$ のとき、$H^\alpha$ の量化は$H^\alpha$ 自身である。これは、量化写像の下で不動点であることを示している。
• $S^3$ 上で、$H^{-1/2}$ の量化は$\mathcal{Q}_{1/2,1/2}(H^{-1/2}) = \frac{1}{\hbar}\frac{1}{\sqrt{-\Delta}}$ を得る。これは量子長さ要素として解釈される。
• この形式論は、非可換超幾何関数を用いて、擬微分記号へ一般化された、グローバルに定義され射影的不変な量化写像を提供する。