[論文レビュー] Invariant Bilinear Differential Pairings on Parabolic Geometries

Jens Kroeske|ArXiv.org|Apr 21, 2009

Analytic and geometric function theory参考文献 38被引用数 3

ひとこと要約

この論文は、表現論とカルタン幾何学を用いて、放物幾何における不変な2次微分型対の体系的理論を構築する。極値根とリッチ補正導関数を用いて、Bernstein-Gelfand-Gelfand (BGG)分解の曲がった類似物を導入し、すべての標準的不変線形微分作用素が極値根から生じることを証明する。具体的な構成は、射影的、計量的、CR幾何において行われる。

ABSTRACT

This thesis is concerned with the theory of invariant bilinear differential pairings on parabolic geometries. It introduces the concept formally with the help of the jet bundle formalism and provides a detailed analysis. More precisely, after introducing the most important notations and definitions, we first of all give an algebraic description for pairings on homogeneous spaces and obtain a first existence theorem. Next, a classification of first order invariant bilinear differential pairings is given under exclusion of certain degenerate cases that are related to the existence of invariant linear differential operators. Furthermore, a concrete formula for a large class of invariant bilinear differential pairings of arbitrary order is given and many examples are computed. The general theory of higher order invariant bilinear differential pairings turns out to be much more intricate and a general construction is only possible under exclusion of finitely many degenerate cases whose significance in general remains elusive (although a result for projective geometry is included). The construction relies on so-called splitting operators examples of which are described for projective geometry, conformal geometry and CR geometry in the last chapter.

研究の動機と目的

• 表現論とカルタン接続を用いて、放物幾何における不変な2次微分型対を分類すること。
• 線形の場合を超えて、不変微分作用素の理論を2次型対へ拡張すること。
• 極値根とリッチ補正を用いて、放物幾何におけるBGG分解の曲がった類似物を構築すること。
• 主要な幾何的設定（射影的、計量的、CR幾何）におけるこれらの対の明示的公式を提供すること。
• 幾何的重みと除外された表現が、これらの対の構造における役割を特定すること。

提案手法

• 放物幾何の無限小的構造をモデル化するために、|k0|-符号付きリー代数と放物部分代数を用いる。
• 一般化された双ヴェルマ加群と特異的ベクトルを用いて、対の代数的構造を記述する。
• 高次の微分作用素を幾何的にモデル化するために、重み付きジャンプバンドルと準正則ジャンプバンドルを導入する。
• フィルター付き多様体上の不変微分作用素を定義するために、ウェイ法接続とウェイ構造を用いる。
• 高次の対における曲率障害を解消するために、リッチ補正導関数を構築する。
• トラクター計算と特別なスプリッティングを用いて、射影的、計量的、CR幾何における明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 どの不変な2次微分型対が放物幾何に存在し、どのように体系的に分類できるか？
• RQ2 放物幾何のルート系における極値根は、不変微分作用素をどのように生成するか？
• RQ3 曲がったカシミール作用素とリッチ補正は、高次の不変対の構成において果たす役割は何か？
• RQ4 BGG分解と一般化されたヴェルマ加群は、これらの2次型対の構造とどのように関係するか？
• RQ5 すべての標準的不変線形微分作用素は、極値根による特別な場合として、これらの2次型対から回復可能か？

主な発見

• BGG分解におけるすべての標準的不変線形微分作用素は、極値根を介して得られ、射影的、計量的、CRの場合に示された。
• 偶数次元計量的ケースでは、g−1のすべてのルートが極値的であり、BGG系列は対称的作用素パターンによってこの一様性を反映する。
• CR幾何においては、g−2部の作用素は極値根から生じないため、分解における構造的差異が示される。
• リッチ補正導関数の構築は、高次の対における障害項を効果的に解消し、BGG系列の一貫した曲がった類似物を可能にする。
• トランスレーター計算を用いて、射影的、計量的、CR幾何における対の明示的公式が得られ、特定の重み条件とスプリッティングが適用される。
• 除外された幾何的重みが意味のある表現に対応するとの予想を同定し、不変対のより深い分類を示唆する。