[論文レビュー] Deformations of the antibracket

S. E. Konstein, I. V. Tyutin|ArXiv.org|Dec 26, 2005

Advanced Topics in Algebra被引用数 4

ひとこと要約

この論文は、ℝⁿ 上のコンパクトな台を持つ滑らかなグラスマン変数関数上の反ポアソン超代数の形式的変形を分類し、非自明な変形が存在し、ħ の形式的級数によってパrameter化されることを示している。さらに、n=1 の場合にのみ存在する中心拡大は、非自明な変形を許さないことが証明され、これらの拡大の剛性が確立された。

ABSTRACT

We consider antiPoisson superalgebras realized on the smooth Grassmann-valued functions with compact supports in R^n and with the grading inverse to Grassmanian parity. The deformations of these superalgebras and their central extensions are found.

研究の動機と目的

• 滑らかなグラスマン変数関数でコンパクトな台を持つℝⁿ 上に定義された反ポアソン超代数の形式的変形を分類すること。
• これらの超代数の中心拡大が非自明な変形を許すかどうかを特定すること。
• 第二ホモロジー空間 H²_ad の構造を確立し、随伴表現を介して変形と関係づけること。
• ε-次数付きの重ね合わせ超代数の文脈において、反括弧とその変形の役割を分析すること。
• 第二ホモロジー群が変形の下で消えることにより、中心拡大の剛性を証明すること。

提案手法

• 随伴表現のホモロジー H²_ad を用いて反括弧の形式的変形を分類し、2-サイクルをジャコビ恒等式の障害として特定する。
• 一般の変形を canonical 形式へと還元するために類似変換を適用し、反括弧および演算子 Δ、ℰ_z、N_z を含む形に変形する。
• 生成関数とħ における形式的べき級数を用いて変形をパラメータ化し、変形パrameter c ∈ ℂ[[ħ]] を用いる。
• 微分作用素 Δ = ∂/∂xⁱ ∂/∂ξⁱ および ℰ_z = 1 - ½zᴬ∂/∂zᴬ を用いて2-サイクルの構造を分析する。
• 指数関数的試験関数 f(z)=e^{zp}、g(z)=e^{zq} を用いた生成関数法を適用し、係数を抽出して変形項の形を制約する。
• トレースホモロジー H²_tr を用いて中心拡大を分析し、d²_tr と J₂ の明示的計算により変形空間が消えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなグラスマン変数関数でコンパクトな台を持つℝⁿ 上の反ポアソン超代数構造の可能な形式的変形は何か？
• RQ2 反ポアソン超代数の中心拡大は存在するか？もしあるならば、変形可能か？
• RQ3 随伴表現における第二ホモロジー空間 H²_ad の構造は何か？そして、変形を分類する上でどのように関係するか？
• RQ4 演算子 Δ、ℰ_z、N_z は、変形された反括弧の形にどのように影響を与えるか？
• RQ5 n=1 の反ポアソン超代数の中心拡大は、変形に対して剛性を示すか？

主な発見

• 反ポアソン超代数の非自明な変形が存在し、ħ の形式的級数 c(ħ) によってパラメータ化される。変形された反括弧は [f,g]_* = [f,g] + (-1)^ε(f) {ħc/(1+ħcN_z/2) Δf} ℰ_z g + {ℰ_z f} ħc/(1+ħcN_z/2) Δg で与えられる。
• 第二ホモロジー空間 H²_ad は ℂ² に同型であり、2つの独立したサイクル m(z|f,g) と n(z|f,g) によって生成され、これらは2つの変形パラメータに対応する。
• n ≥ 2 の場合、トレースホモロジー H²_tr は消えるため、中心拡大は存在しない。
• n = 1 の場合、H²_tr ≅ ℂ² であり、2つの独立した中心拡大サイクル μ₁ と μ₂ が特定された。
• n=1 の中心拡大は剛性を示す：非自明な変形は存在せず、d²_tr m₂₂ = 0 および m₂₂ = d¹_tr ν₂ + a_ij μ_j かつ a_ij = 0 を示すことにより証明された。
• 類似変換の下で、反括弧の変形は完全に分類可能であり、その結果得られる形はこのような変換の下で一意的である。