[論文レビュー] On canonical Cartan connections associated to filtered G-structures

Andreas Čap|arXiv (Cornell University)|Jul 18, 2017

Advanced Algebra and Geometry参考文献 11被引用数 6

ひとこと要約

この論文は、固定された記号代数を備えた任意のフィルタードG構造に対して、一般化された枠組みを確立し、正規化に基づく構成的手法を用いて、正規化条件と関手的自然性を備えた明示的な曲率条件を伴う、一般化されたカルタン接続の構成を可能にする。この枠組みは、リー代数値形式に完全に還元され、明示的な特徴付けと有限次元代数的検証を可能にする。主な貢献は、モリモトの存在結果を明示的な曲率条件と関手的自然性を含めて拡張する、構成的で正規化に基づく手法であり、すべてのパラボリック幾何学およびそれ以上の分野に適用可能である。

ABSTRACT

A filtered manifold is a smooth manifold $M$ together with a filtration of the tangent bundle by smooth subbundles which is compatible with the Lie bracket of vector fields in a certain sense. The Lie bracket of vector fields then induces a bilinear operation on the associated graded of each tangent space of $M$ making it into a nilpotent graded Lie algebra. Assuming that these symbol algebras are the same for all points, one obtains a natural frame bundle for the associated graded to the tangent bundle, and filtered G--structures are defined as reductions of structure group of this bundle. Generalizing the case of parabolic geometries, this article is devoted to the question of whether a filtered G-structure of given type determines a canonical Cartan connection on an extended bundle. As for existence, the result are roughly as general as Morimoto's theorem from 1993, but it has several specific features. First, we allow for general candidates for a homogeneous model and a general version of normalization conditions. Second, the construction is entirely phrased in terms of Lie algebra valued forms and leads to an explicit characterization of the canonical Cartan connection. To verify that the procedure can be applied to a given type of filtered G-structures, only finite dimensional algebraic verifications have to be carried out.

研究の動機と目的

• 古典的パラボリック幾何学を超えて、固定された記号代数を備えた任意のフィルタードG構造へと、標準カルタン接続の構成を一般化すること。
• カルタンの等価法の複雑さを回避するため、リー代数値形式に基づく一様で代数的な枠組みを提供すること。
• 有限次元の計算による、標準カルタン接続の存在を検証する構成的手順を確立すること。
• 正規化条件と曲率の同次性による特徴付けを通じて、一意性と関手的自然性を保証すること。
• 一般化された同次モデルとより広い正規化条件のクラスを組み込むことで、モリモトの存在定理を拡張すること。

提案手法

• フィルタードG構造に関連する主bundle上でのリー代数値微分形式を用いて、問題を定式化する。
• スピン指数型構造を用いて、$G_0$-bundleから全$P$-bundleへのバンドル準同型の上昇を用いた、カルタン接続の普遍的構成を導入する。
• 正規性と一意性を保証するため、曲率に正規化条件を適用し、記号代数でのみ代数的検証を要する。
• 関連する階数付きバンドルの普遍性を用いて、同次モデル間の準同型を誘導し、所定の切断と構造群の分割を介してバンドル準同型に上昇させる。
• 局所的上昇と分区関数を用いた議論により、$G_0$-バンドル準同型の全$P$-等長上昇を構成し、全空間への存在を保証する。
• 得られた接続が要請された曲率の同次性と正規化条件を満たすことを検証し、正規かつ正規化されたものであることを保証する。

実験結果

リサーチクエスチョン

• RQ1 固定された記号代数を備えた任意のフィルタードG構造に対して、古典的パラボリックの場合を超えて、標準カルタン接続を体系的に構成できるか？
• RQ2 この広範な設定において、標準カルタン接続の一意性と正規性を保証するため、正規化条件をどのように一般化できるか？
• RQ3 記号代数と構造群にどのような代数的条件を課すと、リー代数値形式を用いた標準カルタン接続の存在が保証されるか？
• RQ4 この構成をどのように関手的かつ局所的選択に依存しない形にし、全空間の一貫性を保証できるか？
• RQ5 この方法を、広範な微分幾何的計算を避けるために、どの程度有限次元代数的計算に還元できるか？

主な発見

• 正規化条件が満たされる限り、固定された記号代数を備えた任意のフィルタードG構造に対して、標準カルタン接続が存在する。これは、モリモトの結果を一般化する。
• 構成は完全に明示的であり、リー代数値形式の言語で記述されており、直接的な計算と検証が可能である。
• 標準接続の曲率は、次数≥1の同次的であり、ニルラジカル$\mathcal{N}$に属する。これにより正規性と正規化が保証される。
• この手続きは関手的である：任意のフィルタード$G_0$-構造の準同型は、一意にカルタン幾何の準同型に上昇する。
• 存在と一意性の検証は、記号代数と構造群における有限次元代数的チェックに還元され、計算的に容易にアクセス可能である。
• 存在と一意性は、分区関数と$P_+$-値遷移関数を用いた全空間上昇の議論により確立される。