[論文レビュー] Deformation Expression for Elements of Algebras (I) --(Jacobi's theta functions and *-exponential functions)--

Hideki Omori, Yoshiaki Maeda+2 more|arXiv (Cornell University)|Apr 12, 2011

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

ひとこと要約

本稿では、*-指数関数とヤコビのシータ関数を用いた代数的表現の変形理論を提示し、インターヴァリアンツと解体計算を介した非摂動的量子化の枠組みを確立する。主な貢献は、進化方程式における一意性の欠如を解消するℓ分岐*-指数関数の構成であり、エルミート、レジェンドル、ベッセルの母関数への応用および高次*-指数関数における新しいℓ被覆性の発見が含まれる。

ABSTRACT

This paper presents a preliminary version of the deformation theory of expressions of elements of algebras. The notion of *-functions is given. Several important problems appear in simplified forms, and these give an intuitive bird's-eye of the whole theory.

研究の動機と目的

• 代数的要素の表現に対する＊-関数とインターヴァリアンツを用いた変形理論の構築。
• 高次多項式の＊-指数関数を含む進化方程式における一意性の欠如の解消。
• 変形量子化におけるヤコビのシータ関数、虚数変換、および＊-逆元の関係の確立。
• 古典的直交多項式の母関数を＊-指数関数的計算を通じて体系的に導出する枠組みの提供。

提案手法

• 微分作用素を用いて定義される変形パrameter τ を用いた多項式および整関数上の＊-積を導入：f *τ g = ∑ (τ^k / 2^k k!) ∂_w^k f ∂_w^k g。
• ∗₀ と ∗τ 代数の間の関係を保つインターヴァリアンツ I_τ^0 = exp(τ/4 ∂_w²) を用い、代数的構造の移行を可能にする。
• 解体計算と緩和分布のフーリエ変換を用いて、＊-逆元および＊-指数関数を定義する。
• 進化方程式 d/dt f_t = (w^ℓ)* f_t に対して f_0 = 1 となる解としてスター指数関数を構成し、t=0 での非解析性を示す。
• C\{0} の普遍被覆を用いたℓ被覆性を導入し、I_ℓ(s, θ+2πℓ, τ) = I_ℓ(s, θ, τ) だが I_ℓ(s, θ+2π, τ) ≠ I_ℓ(s, θ, τ) であることを示す。
• δ∗-関数と積分表現を用いて、(α+w)^{-1}_*+ の＊-逆元を定義し、複素1パラメータ群と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 非多項式的生成子 w^ℓ に対して＊-指数関数を一貫して定義する方法は何か？ その解析的構造は？
• RQ2 進化方程式 d/dt f_t = (w^ℓ)* f_t が複数の非解析的解を許容する理由は何か？ その幾何的起源は？
• RQ3 ヤコビの虚数変換とシータ関数は、＊-逆元および解体計算の文脈でどのように現れるか？
• RQ4 ℓ被覆性は＊-指数関数における分岐点特異性を解消する上で果たす役割は何か？
• RQ5 古典的直交多項式（エルミート、レジェンドル、ベッセル）の母関数は＊-指数関数的構造から導出可能か？

主な発見

• ＊-指数関数 :e^{is w^ℓ}_* :τ は C\{0} 上で一価でないが、ℓ分岐被覆構造を有し、I_ℓ(s, θ+2πℓ, τ) = I_ℓ(s, θ, τ) だが I_ℓ(s, θ+2π, τ) ≠ I_ℓ(s, θ, τ) である。
• ℓ ≥ 3 かつ τ ≠ 0 のとき、I_ℓ(s, θ, τ) の s=0 におけるテイラー級数は発散し、原点での非解析性を示す。
• 進化方程式 d/dt f_t = i w^ℓ_* f_t は ℓ 個の異なる解を有し、いずれの解も t=0 で実解析的でない。
• ＊-逆元 (α+w)^{-1}_*+ は複素1パラメータ群を介して適切に定義される：:e^{s(α+w)^{-1}_*+} :τ = ∫_{-∞}^∞ e^{s/(α+x−iη)} :δ∗(w−x+iη):τ dx。
• ラゲール多項式の母関数は w^2_* の＊-指数関数として回復される。
• インターヴァリアンツ I_τ^0 は w^{2n}_*τ を w^2 の多項式に、w^{2n+1}_*τ を w に w^2 の多項式を乗じた形に写し、偶奇性を保存する。