[論文レビュー] Higher weight Gel'fand-Kalinin-Fuks classes of formal Hamiltonian vector fields of symplectic R^2

Kentaro Mikami, Hiroki Kodama+1 more|arXiv (Cornell University)|Oct 5, 2012

Geometric and Algebraic Topology参考文献 5被引用数 9

ひとこと要約

この論文は、Sp(2,ℝ)-表現論とコンピュータ支援線形代数を用いて、シンプレクティック ℝ² 上の形式的ハミルトニアンベクトル場に対する高重量相対ゲルファンド＝カリニン＝フクスコhomology群を計算する。重み 50 までにおけるコチェーン複体の次元を特定し、重み 18 までに明示的にコホモロジーを計算。重み 12, 14, 16, 18 に非自明なベッチ数が存在し、重み 20 は 0 次を除き自明なコホモロジーであることが確認された。

ABSTRACT

In "The Gel'fand-Kalinin-Fuks class and characteristic classes of transversely symplectic foliations", arXiv:0910.3414, (October 2009) by D.Kotschick and S.Morita, the relative Gel'fand-Kalinin-Fuks cohomology groups of the formal Hamiltonian vector fields without constant vector fields on 2n-plane were characterized by two parameters, one is degree and the other is weight. And they obtained those cohomology groups of the 2-plane while their weight <= 10. In this paper, for those cohomology groups of the 2-plane, we succeeded in determining the dimension of cochain complexes by Sp(2,R)-representation theory for their weight even less than 50, thus, we manipulate the Euler characteristic numbers. We also decide our relative Gel'fand-Kalinin-Fuks cohomology groups until whose weight < 20 by getting a concrete matrix representation of the coboundary operator.

研究の動機と目的

• これまでに知られていた重み ≤ 10 を超えて、ℝ² 上の形式的ハミルトニアンベクトル場に対する相対ゲルファンド＝カリニン＝フクスコホモロジー群の計算を拡張すること。
• Sp(2,ℝ)-表現論とヤング図形パラメータ化を用いて、重み 50 までのコチェーン複体の次元を特定すること。
• coboundary作用素の行列表現を用いて、重み 18 までに相対コホモロジー群を明示的に計算すること。
• 重み 20 のベッチ数をグレブナー基底技法を用いて検証し、0 次を除きすべての次元で自明なコホモロジーであることを確認すること。

提案手法

• 重み付き構造の解析に Sp(2,ℝ)-表現論を用い、ヤング図形による既約表現のパラメータ化を実施する。
• 同次多項式の対称冪表現 S^ℓ を用いて重みの生成関数を構築する。
• 大規模なコチェーン複体を扱うためにコンピュータ代数（Maple およびカスタム Perl スクリプト）を用い、de Rham 型の coboundary 計算を実行する。
• メモリオーバーフローを回避するため、大規模なコチェーンを小さな成分に分割し、それぞれに対して d を別々に計算する分解戦略を適用する。
• Maple スクリプト action_new.mpl を用いて、Sp(2,ℝ) の作用下での各直和成分におけるコサイクルおよび d-像の基底を計算する。
• 重み 20 の線形系に対してグレブナー基底理論を適用し、ベッチ数を検証。0 次を除きすべての次元で自明なコホモロジーであることを確認する。

実験結果

リサーチクエスチョン

• RQ1 形式的ハミルトニアンベクトル場の ℝ² 上におけるコチェーン複体の重み 50 までの次元は何か？
• RQ2 重み 12 から 18 の間で非自明なコホモロジー群はどれであり、それぞれのベッチ数は何か？
• RQ3 重み 20 における相対コホモロジー群に非自明なクラスが存在するか？また、そのオイラー乗数は何か？
• RQ4 どのようにして表現論と計算代数を統合することで、高重量ゲルファンド＝カリニン＝フクスクラスを計算できるか？

主な発見

• 重み 12, 14, 16, 18 におけるコホモロジー群は非自明であり、それぞれの次数 4, 5, 6, 7 にベッチ数 1 を有する。
• 重み 12 のオイラー乗数は 2 であり、重み 14, 16, 18 では 0 である。これはベッチ数のバランスの取れた分布を示している。
• 重み 20 では、0 次を除きすべての次元でベッチ数が自明であり、非自明なコホモロジークラスが存在しないことが確認された。
• 重み 20 におけるコチェーン複体の次元は、次数 1 から 11 の間で合計 1,154 であり、交互和（オイラー乗数）は 1 に等しい。
• 重み 20 の計算はグレブナー基底理論を用いて線形系の検証がなされ、メモリ制限の影響を受けても正しさが保証された。
• 本手法は、重み 10 を超える既存の結果を効果的に拡張し、計算代数と表現論を統合することで、重み 20 までの一貫したコホモロジー計算を可能にした。