[論文レビュー] Local Generalized Pauli's Theorem

Nikoly Marchuk, Dmitry Shirokov|arXiv (Cornell University)|Jan 24, 2012

Algebraic and Geometric Analysis参考文献 4被引用数 5

ひとこと要約

この論文は、ユークリッド空間における滑らかに変化するクリフォード代数の要素へポーライの定理を拡張し、局所的に二つのような集合が滑らかな類似変換によって関連付けられることを証明する。主な結果は、任意の点 x₀ の近傍で、滑らかな可逆関数 T(x) が存在し、すべての a および x に対して h^a(x) = T(x)^{-1}e^a(x)T(x) が成り立つことを確立する。

ABSTRACT

In this work a generalized Pauli's theorem (proved by D. S. Shirokov for two sets $e^a, h^a$, $a=1,...,n$ of Clifford algebra elements $Cl(p,q)$, $p+q=n$) is extended to the case, when one or both sets of elements depends smoothly on points $x$ of the Euclidian space. We prove that in this case for any point $x_0$ of Euclidian space there exists $\epsilon$-neighborhood $O_\epsilon(x_0)$ and there exists smooth function $T : O_\epsilon(x_0) o Cl(p,q)$ such that two sets of Clifford algebra elements are connected by a similarity transformation $h^a(x)=T(x)^{-1}e^a(x)T(x)$, $a=1,...,n$ in $O_\epsilon(x_0)$.

研究の動機と目的

• ユークリッド空間における位置で滑らかに変化するクリフォード代数の要素へのポーライの定理の一般化を図ること。
• 滑らかに変化する二つのクリフォード代数生成子の集合を結ぶ局所的滑らかな変換の存在を確立すること。
• ユークリッド空間内の任意の点 x₀ の周囲で、このような変換が存在することを証明すること。
• 空間座標に滑らかに依存する物理的・幾何的文脈へのポーライの定理の適用範囲を拡張すること。

提案手法

• 証明は微分幾何学および Cl(p,q) のクリフォード代数の性質に依存し、p+q=n を満たす。
• 空間点 x に依存する {e^a(x)} および {h^a(x)} の滑らかさを用いて局所的解を構成する。
• クリフォード代数の局所的構造が滑らかな可逆変換 T(x) を許容する、ある近傍 O_ε(x₀) を特定する。
• O_ε(x₀) 内の各点で、すべての a=1,...,n に対して、類似変換 h^a(x) = T(x)^{-1}e^a(x)T(x) が点ごとに成り立つことを示す。
• 滑らかなクリフォード構造に関連するファイバー束の局所自明性を応用する。
• 滑らかな多様体およびリー群の文脈における陰関数定理に類似した推論を用いて、T(x) の存在を導出する。

実験結果

リサーチクエスチョン

• RQ1 ポーライの定理は、ユークリッド空間における滑らかに変化するクリフォード代数要素へ拡張可能か？
• RQ2 二つの滑らかに変化するクリフォード代数生成子の集合を結ぶ局所的滑らかな変換 T(x) が存在するか？
• RQ3 このような変換が有効である最大の近傍は、点 x₀ の周囲でどの程度か？
• RQ4 e^a(x) および h^a(x) の x への滑らかな依存性が、類似変換の存在にどのように影響するか？
• RQ5 どのような条件下で、h^a(x) = T(x)^{-1}e^a(x)T(x) を満たす局所的滑らかな T(x) が存在するか？

主な発見

• ユークリッド空間の任意の点 x₀ に対して、ε-近傍 O_ε(x₀) が存在し、そこでは滑らかに変化する二つのクリフォード代数要素の集合が類似変換によって関連づけられる。
• O_ε(x₀) に倣う滑らかな関数 T: O_ε(x₀) → Cl(p,q) が存在し、すべての a=1,...,n および O_ε(x₀) 内のすべての x に対して h^a(x) = T(x)^{-1}e^a(x)T(x) が成り立つ。
• 変換 T(x) は近傍 O_ε(x₀) 内で可逆かつ滑らかであり、二つのクリフォード構造の局所的同値性を保証する。
• e^a(x) および h^a(x) の具体的な滑らかな依存性の形に関わらず、それらが x に関して滑らかである限り、この結果は成り立つ。
• 局所的類似変換は、近傍 O_ε(x₀) 内でクリフォード代数の代数的関係を保つ。
• この構成は、p+q=n を満たす任意の符号型 (p,q) に対して有効であり、以前の結果を滑らかさのケースに一般化する。