[論文レビュー] Post-Lie Algebra Structure of Manifolds with Constant Curvature and Torsion

Erlend Grong, Hans Munthe–Kaas+1 more|arXiv (Cornell University)|May 4, 2023

Advanced Topics in Algebra被引用数 5

ひとこと要約

本稿では、平行な曲率と torsion を持つ接続を持つ多様体に対して、ベクトル場とホロノミー・リ代数の自己準同型の直和に、post-Lie 代数構造を確立する。接続をフラット接続を持つフレーム bundle に上げることで、著者らは post-Lie 代数フレームワークを平坦でない設定へ一般化し、普遍包あらゆる代数の方法を用いて、曲がった多様体上でのODEの幾何的数値積分を可能にする。

ABSTRACT

For a general affine connection with parallel torsion and curvature, we show that a post-Lie algebra structure exists on its space of vector fields, generalizing previous results for flat connections. However, for non-flat connections, the vector fields alone are not enough, as the presence of curvature also necessitates that we include endomorphisms corresponding to infinitesimal actions of the holonomy group. We give details on the universal Lie algebra of this post-Lie algebra and give applications for solving differential equations on manifolds.

研究の動機と目的

• 平坦な接続からの post-Lie 代数構造を、平行な曲率と torsion を持つ非平坦多様体へ拡張すること。
• 非平坦な設定においてベクトル場だけでは不十分であるという制限を、ホロノミー・リ代数からの自己準同型を含めることで解決すること。
• ベクトル場とホロノミー自己準同型の空間に、普遍 post-Lie 代数構造を構成すること。
• 微分方程式を、幾何的数値積分法を用いて多様体上で解くためのフレームワークを提供すること。
• 既存の幾何的積分における post-Lie 代数法を、非自明な曲率を持つ局所的に一様な空間へ一般化すること。

提案手法

• アフィン接続を持つ多様体を、フラット接続を持つフレーム bundle に上げること。
• 共変微分とリ括弧を用いて、ベクトル場とホロノミー自己準同型の直和に post-Lie 代数構造を定義すること。
• 接続指数関数と平行移動を用いて、数値積分用の凍結ベクトル場を定義すること。
• post-Lie 代数の普遍包あらゆる代数を構成し、時系列指数をモデル化すること。
• 接続指数関数と時系列演算を用いて、post-Lie 代数構造をODEの解法に適用すること。
• フレーム bundle の群構造を活用し、post-Lie 代数をフレーム bundle 上でのリー群作用として実現すること。

実験結果

リサーチクエスチョン

• RQ1 非ゼロで平行な曲率と torsion を持つ多様体に対し、post-Lie 代数構造を拡張することは可能か？
• RQ2 なぜ非平坦な設定ではベクトル場だけでは post-Lie 代数を支えるのに不十分なのか？
• RQ3 ホロノミー群の無限小作用を、post-Lie 代数フレームワークにどのように組み込むことができるか？
• RQ4 フレーム bundle は、非平坦接続に対する post-Lie 代数構造の実現において、どのような役割を果たすか？
• RQ5 post-Lie 代数構造を用いて、曲がった多様体上でのODEを幾何的積分法でどのように解くことができるか？

主な発見

• 平行な曲率と torsion を持つ多様体に対して、ベクトル場とホロノミー自己準同型の直和に post-Lie 代数構造が存在する。
• 括弧演算は、ベクトル場のリ括弧を一般化し、リーマン曲率テンソルと torsion テンソルを介して曲率と torsion を組み込む。
• 接続指数関数と平行移動により、凍結ベクトル場を定義でき、曲がった多様体上での時系列積分が可能になる。
• post-Lie 代数の普遍包あらゆる代数は、時系列指数を捉え、幾何的数値積分に不可欠な役割を果たす。
• 平坦な接続の結果を、平行な曲率と torsion を持つ非平坦で局所的に一様な空間へ一般化する。
• 本手法により、接続指数関数とフレーム bundle の上げを介して、post-Lie 代数構造を用いて多様体上でのODEを解くことが可能になる。