[論文レビュー] Deformation Expression for Elements of Algebras (III) --Generic product formula for *-exponentials of quadratic forms--

Hideki Omori, Yoshiaki Maeda+2 more|arXiv (Cornell University)|Jul 13, 2011

Advanced Topics in Algebra参考文献 5被引用数 5

ひとこと要約

本稿は、ウェイリ代数における二次形式の∗-指数関数の一般化された積公式を構築し、インターヴァリアンツとスター積を用いて座標に依存せず、順序に依存しない枠組みを確立する。主な貢献は、単連結で、Sp(m, R)のメタプレクティック群を含む、Sp(m, C)の非自明な二重被覆群の同定であり、これにより無限に多くの平方根を持つ極的要素や、表現パラメータに依存する周期性といった、新たな代数的構造が明らかになる。

ABSTRACT

In a noncommutative algebra there is no canonical way to express elements in univalent way, which is often called "ordering problem". In this note we give product formula of the Weyl algebra in generic ordered expression. In particular, the generic product formula of *-exponential functions of quadratic forms will be given.

研究の動機と目的

• 非可換代数における『順序の問題』を解決するため、∗-指数関数の一般化され、座標に依存しない表現を構築すること。
• 物理的・幾何的対象が順序選択に依存しない数学的枠組み（順序独立性原理、IOP）を確立すること。
• 対称行列と反対称行列を変形パラメータとして用いて、ウェイリ代数上での一般化されたスター積構造を構築すること。
• 特に周期性と結合則の破綻に注目し、二次形式の∗-指数関数の代数的・幾何的帰結を調査すること。
• 変形構造に起因する、無限に多くの平方根を持つ新規の代数的要素「極的要素」の同定と特徴付けを行うこと。

提案手法

• 複素行列Λを用いて、多項式C[u]上にスター積∗Λを導入し、Λの反対称部が非可換性を支配することを示す。
• 二次微分作用素の指数関数として定義されるインターヴァリアンツI^K_0を導入し、(C[u], ∗Λ)から(C[u], ∗Λ+K)への同型写像であることを示す。
• 線形形式の∗-指数関数に対する一般化された積公式を導出する：e^{1/iℏ⟨a,u⟩}_∗ ∗ e^{1/iℏ⟨b,u⟩}_∗ = e^{1/2iℏ⟨aJ,b⟩} e^{1/iℏ⟨a+b,u⟩}_∗、ここでJはΛの反対称部である。
• 対称行列KでインdeXされた順序付き表現の族上での平行切断を考察することで、Sp(m, C)のぼやけた被覆群を構成する。
• 一意パラメータ群の平行切断を定義するための発展方程式 d/dt :e^{s/iℏ⟨a,u⟩}_∗:K = 1/iℏ :⟨a,u⟩:K ∗K :e^{s/iℏ⟨a,u⟩}_∗:K を用いる。
• 結合則の破綻と、特に場の理論的量子観測量の文脈における表現パラメータに依存する周期性の分析を行う。

実験結果

リサーチクエスチョン

• RQ1 二次形式の∗-指数関数を、一般化され、順序に依存しない形でどのように表現できるか？
• RQ2 ウェイリ代数における二次形式のスター指数の代数的構造は何か？また、シンプレクティック群とどのように関係するか？
• RQ3 順序独立性原理（IOP）は、二次形式の∗-指数関数を含む系において、どのように失敗するか？
• RQ4 無限に多くの平方根を持つ「極的要素」を導入した場合の、幾何的・代数的帰結は何か？
• RQ5 ∗-指数関数の周期性と結合性は、表現パラメータ（例：対称行列K）の選択にどのように依存するか？

主な発見

• 線形形式の∗-指数関数に対する一般化された積公式が導出された：e^{1/iℏ⟨a,u⟩}_∗ ∗ e^{1/iℏ⟨b,u⟩}_∗ = e^{1/2iℏ⟨aJ,b⟩} e^{1/iℏ⟨a+b,u⟩}_∗、ここでJは変形行列の反対称部である。
• (C[u], ∗Λ)の代数的構造は、Λの反対称部Jにのみ依存し、対称部とは無関係であるため、同型類は対称部に依存しない。
• 単連結で、Sp(m, R)のメタプレクティック群を部分群として含む、Sp(m, C)の新しい二重被覆群が構成された。
• 極的要素は、変形構造に起因する特別な代数的要素であり、無限に多くの平方根を持つ。
• ∗-指数関数の周期性と結合性は、表現パラメータ（例：K）の選択に依存し、分岐特異点を生じ、大域的な結合則の破綻を引き起こす。
• 場の理論的文脈において、∗-指数関数を含む系では、順序独立性原理（IOP）が失敗し、物理的観測量が使用される代数的表現に依存することが示唆される。