[論文レビュー] Overdetermined systems, conformal geometry, and the BGG complex

Andreas Čap|arXiv (Cornell University)|Oct 6, 2006

Nonlinear Waves and Solitons参考文献 6被引用数 5

ひとこと要約

本稿では、 Bernstein–Gelfand–Gelfand (BGG) 複体構成の簡略化に基づいて、過決定系のリーマン幾何的版の延長手続きを提示する。O(n) を O(n+1,1) に埋め込むことで、R^{n+2} 上の特定の不定内積を持つ階数付きベクトル空間構造を介してリーマン構造と円周幾何を関連させ、トランスレーター計算と表現論を用いて、円周幾何および放物幾何へ一般化する。これにより、局所的に円周的に平坦な多様体上の層の分解と、共形不変微分作用素が得られる。

ABSTRACT

This is an expanded version of a series of two lectures given at the IMA summer program "Symmetries and Overdetermined Systems of Partial Differential Equations". The main part of the article describes the Riemannian version of the prolongation procedure for certain overdetermined system obtained recently in joint work with T.P. Branson, M.G. Eastwood, and A.R. Gover. First a simple special case is discussed, then the (Riemannian) procedure is described in general. The prolongation procedure was derived from a simplification of the construction of Bernstein-Gelfand-Gelfand (BGG) sequences of invariant differential operators for certain geometric structures. The version of this construction for conformal structures is described next. Finally, we discuss generalizations of both the prolongation procedure and the construction of invariant operators to other geometric structures.

研究の動機と目的

• 共形不変性の要件を弱め、リーマン幾何的設定で作業することで、共形不変微分作用素の系列の構成を簡略化すること。
• 過決定系を1階閉じた系に再定式化する体系的な延長手続きを確立し、低次の項の加算に対しても同値性を保つこと。
• 共形カルタン接続とねじれた de Rham 系列を用いて、リーマン幾何的延長法を円周幾何へ拡張すること。
• 可換でないべき零部分代数のフィルトレーションと重み付き微分作用素に適応した BGG 機械を用いて、放物幾何へ枠組みを一般化すること。
• 延長手続きの幾何学的および表現論的起源を明確にし、リーマンの場合の選択が共形不変性によって自然に規定されることを示すこと。

提案手法

• R^{n+2} に特定の不定内積を持つ階数付きベクトル空間構造を導入し、O(n) を O(n+1,1) に埋め込むことで、リーマン構造と円周幾何の関係を確立する。
• O(n+1,1) の表現論を用いて、リーマン多様体上に自然なベクトル束と不変微分作用素を誘導し、等変性によりグローバルに定義されたものを保証する。
• 主 bundle 上のカルタン接続を介して1階系を構成し、接続束を Lie 代数 g/p の商として特定し、関連束上に正規トランスレーター接続を定義する。
• リー括弧の補正を用いて、nilpotent Lie 代数 g_+ に対して微分 ∂ 及びその随伴 ∂* を適応させ、P-等変性を保ち、微分形式の複体を定義する。
• コスタントの定理を適用して複体のコホモロジーを計算し、g_0 の表現として核と像を特定し、局所定数層の分解を得る。
• 可換でないべき零部分代数 g_+ に置き換えることで、放物幾何へ一般化し、リー括弧を用いて ∂ および ∂* を修正し、微分作用素に重み順序を導入する。

実験結果

リサーチクエスチョン

• RQ1 共形不変性の要件を緩和し、リーマン幾何的設定で作業することで、共形不変微分作用素の BGG 複体構成をどのように簡略化できるか？
• RQ2 過決定系が1階閉じた系に同値に再定式化できる幾何学的および表現論的メカニズムは何か？
• RQ3 O(n)↪O(n+1,1) の包含関係が、リーマン幾何、円周幾何、放物幾何を統一的に関連付ける枠組みをどのように提供するか？
• RQ4 円周多様体上のねじれた de Rham 系列が、一般化された BGG 分解と同型な局所定数層の分解をどのように導くか？
• RQ5 可換でないべき零フィルトレーションを有する一般放物幾何へ延長手続きを拡張するには、どのような修正が必要か？

主な発見

• リーマン幾何的延長手続きにより、過決定系が1階閉じた系に再定式化され、低次の項が加えられても同値性が保たれる。
• 共形不変性を課す前にリーマンの場合に焦点を当てることで、BGG 複体による不変微分作用素の構成が簡略化される。
• 局所的に円周的に平坦な多様体上では、ねじれた de Rham 複体が、表現論からの一般化された BGG 分解と同型な特定の局所定数層の分解をもたらす。
• 共形カルタン接続により、BGG 機械から共形不変微分作用素を導出可能であり、複体全体は g_+ が既約表現に作用するものから生じる。
• 一般放物幾何では、修正された微分 ∂ 及び随伴 ∂* を用いて延長手続きが一般化され、べき零部分代数 g_+ 上のリー括弧を組み込み、微分作用素に重み順序が必要となる。
• この方法により、リーマン設定における選択が共形不変性によって自然に説明され、構成の幾何的起源が明確になる。