[論文レビュー] Lie algebras of smooth sections

Hasan Gündoğan|arXiv (Cornell University)|Mar 19, 2008

Advanced Algebra and Geometry参考文献 4被引用数 9

ひとこと要約

本稿では、ジャンクティル計算と冪零作用素を用いて、滑らかなベクトル bundle の断片上の μ 構造の局所的表現を確立し、特定の条件下で写像 μ₀ が全単射であることを証明する。主な貢献は、微分と構造定数を含む多重指数の和として μφ(Aφ) を表す局所的公式であり、μ₀ の全単射性により、断片上の関連する Lie 環構造の同型が保証される。

ABSTRACT

Lie algebras of smooth sections are Lie algebras obtained from bundles of Lie algebras, where the latter are vector bundles of which the fibers are Lie algebras. We also consider the $\operatorname{C}^k$-sections for $k \in \mathbb{N}$. This paper studies the derivations, the centroid and the isomorphisms of such Lie algebras and generalizes some facts from Pierre Lecomte's publications in 1979 and 1980 to the case where the fiber is perfect or centerfree and it gives some more explicit proofs.

研究の動機と目的

• 多様体上でのベクトル bundle の滑らかな断片がなす Lie 環の構造を特定すること。
• ジャンクティル展開と冪零作用素を用いて、μ 構造が滑らかな断片に作用する様子を局所的に公式化すること。
• 各点で誘導される写像 μ₀ が全単射であることを証明し、μ 構造が断片上に適切に定義された Lie 環同型を誘導することを保証すること。

提案手法

• ジャンクティル計算を用いて、μφ が断片 Aφ に作用する様子を、Aφ の e−1 階微分までで展開する。
• 構造定数 Nᵢ^αᵢ と基本写像 μ₀ の積として μ 行動を表現し、局所的作用素 N^α·(μ₀·∂ξ^αAφ) を形成する。
• ジャンクティル代数の冪零性（|α| ≥ e のとき N^α = 0）を適用して級数を切断し、収束を保証する。
• 一般化されたライブニッツ則を用いて、多重指数を含む符号付き和 ∑|α|<e (-1)^|α|/α! ∂ξ^α による形式的逆写像を導出する。
• P(A) = Q(B) の恒等式を用いて、仮定された冪零性に依拠して μ 行動とその逆写像の整合性を検証する。
• μ 行動とその逆写像の合成が断片上で恒等写像を与えることから、μ₀ の全単射性を証明する。

実験結果

リサーチクエスチョン

• RQ1 μ 構造が滑らかな断片に作用する様子を、ジャンクティル展開と冪零作用素を用いてどのように局所的に表現できるか？
• RQ2 誘導された写像 μ₀ が多様体の各点で全単射であるための条件は何か？
• RQ3 ジャンクティル代数の冪零性（N^α = 0 for |α| ≥ e）が、断片上の μ 行動の形にどのように制限を加えるか？
• RQ4 多重指数の微分と構造定数を用いて、μ 行動の形式的逆写像を構成できるか？
• RQ5 μ₀ とジャンクティル微分を用いて、滑らかな断片上の μ 行動の明確な代数的形は何か？

主な発見

• 断片 Aφ における μ 行動は、局所的に ∑|α|<e (1/α!) N^α · (μ₀ · ∂ξ^α Aφ) で与えられ、有限次元の展開である。
• 構造定数 Nᵢ^αᵢ は、μφ がジャンクティル座標における単項式に作用する様子から生じ、局所的な代数的構造を符号化する。
• 冪零性条件 N^α = 0 for |α| ≥ e により級数が終了し、公式が適切に定義されかつ有限となる。
• 逆写像は符号付き和 ∑|α|<e (-1)^|α|/α! ∂ξ^α (N^α · Bφ) として構成され、元の断片が回復される。
• 各点 x ∈ U における μ₀ の全単射性は、μ とその逆写像の合成が断片上で恒等写像を与えることから証明される。
• P(A) = Q(B) の恒等式を用いて、冪零性とライブニッツ則に依拠して μ 行動とその逆写像の整合性が検証された。