[論文レビュー] Lie algebras of infinitesimal CR-automorphisms of finite type, holomorphically nondegenerate, weighted homogeneous CR-generic submanifolds of C^N

Masoud Sabzevari, Amir Hashemi+2 more|arXiv (Cornell University)|Apr 10, 2013

Holomorphic and Operator Theory参考文献 31被引用数 3

ひとこと要約

本稿では、ℂ^N における有限型、全然的非退化性、重み付き同次なCR一般型部分多様体の無限小CR自己微分同型のリー代数を計算する高速でアルゴリズム的な手法を提示する。リー代数の自然な次数構造を活用し、パrametricな場合に包括的なグレブナー系を用いることで、問題を線形代数に還元し、分割統治戦略により効率的な計算を可能にする。この手法はMapleで実装され、長さ6までのベロシャプカの剛性モデルで検証された。

ABSTRACT

We consider the significant class of holomorphically nondegenerate CR manifolds of finite type that are represented by some weighted homogeneous polynomials and we derive some useful features which enable us to set up a fast effective algorithm to compute their Lie algebras of infinitesimal CR-automorphisms. This algorithm mainly relies upon a natural gradation of the sought Lie algebras, and it also consists in treating separately the related graded components. While some other methods are based on constructing and solving an associated pde systems which become time consuming as soon as the number of variables increases, the new method presented here is based on plain techniques of linear algebra. Furthermore, it benefits from a divide-and-conquer strategy to break down the computations into some simpler sub-computations. Moreover, we consider the new and effective concept of comprehensive Gröbner systems which provides us some powerful tools to treat the computations in the parametric cases. The designed algorithm is also implemented in the Maple software.

研究の動機と目的

• ℂ^N における有限型、全然的非退化性、重み付き同次なCR一般型部分多様体の無限小CR自己微分同型のリー代数を、効率的に計算するアルゴリズムを開発すること。
• 従来のPDEに基づく手法の計算非効率性を克服し、それらを線形代数的手法に置き換えること。
• 包括的グレブナー系を用いて、パrametricな場合を効果的に取り扱うこと。
• アルゴリズムをMapleに実装し、既知の剛性モデル、特に長さ6までのベロシャプカの予想についてその性能を検証すること。

提案手法

• 求められるリー代数の自然な次数構造を活用し、計算を扱いやすい次数付き成分に分解する。
• 分割統治戦略を用いて、各次数付き成分ごとに単純化された部分計算に分割する。
• 複雑なPDE系を解くのではなく、通常の線形代数技術に依存することで、著しく計算効率が向上する。
• パrametricな定義方程式を処理するために包括的グレブナー系を用い、モデルの族全体での堅牢な計算を可能にする。
• アルゴリズムはMapleに実装されており、結果の自動計算と検証を可能にする。
• 手法はベロシャプカの剛性モデルに対して検証され、複雑度が増すモデルについての実行時間を報告している。

実験結果

リサーチクエスチョン

• RQ1 重み付き同次で、有限型、全然的非退化性を満たすℂ^N 内のCR部分多様体に対して、無限小CR自己微分同型のリー代数を効率的に計算できるか？
• RQ2 このようなリー代数の計算において、パrametricな定義方程式の族を効果的に取り扱うにはどうすればよいか？
• RQ3 変数の数や定義方程式の数が増加する際、これらの代数の計算複雑度はどのように変化するか？
• RQ4 長さ6（例：長さ6）のような高次のモデルについて、アルゴリズムがベロシャプカの剛性予想を効率的に検証できるか？
• RQ5 包括的グレブナー系の使用は、パrametricな場合の計算の堅牢性と一般性をどの程度向上させるか？

主な発見

• アルゴリズムは、時間のかかるPDEの解法を避けて、線形代数のみを用いて無限小CR自己微分同型のリー代数を計算する。
• 長さ5のベロシャプカのモデルでは、Mapleを用いてわずか13分で予想の検証が完了した。
• モデルの複雑度が高くなると計算時間は著しく増加する：M₁₃では83.5秒、M₁₇（長さ6）では1157秒に達した。
• 本手法は、パrametric係数を含む12体の剛性モデルについて、完全なリー代数を効果的に計算できた。
• 非パrametricな場合（例：M₁₂）では、19次元のリー代数が2つの基底要素（𝔤₀内）を含むことから、剛性が確認された。
• 得られた結果は、12体すべてのモデルについて剛性が成立しており、ベロシャプカの予想と整合的である。