[論文レビュー] Courant Algebroids in Parabolic Geometry

Stuart Armstrong, Rongmin Lu|arXiv (Cornell University)|Dec 29, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用数 4

ひとこと要約

本稿は、半単純リー群 $G$ のパラボリック部分群 $P$ である場合に限り、パラボリック幾何学における随伴トレイクター bundle —— 主 $P$-束のアティヤアレブロイドとして特定される—— が自然に前コウランテアレブロイド構造を持つことを確立する。主な貢献は、括弧がコウランテ括弧であるための障害として、閉じた4形式として表される第一ポントリャーギン類を同定することであり、これによりパラボリック幾何学が非正確なトランジティブなコウランテアレブロイドと結びつき、一般化幾何学およびT双対性への応用が可能になる。

ABSTRACT

Let $p$ be a Lie subalgebra of a semisimple Lie algebra $g$ and $(G,P)$ be the corresponding pair of connected Lie groups. A Cartan geometry of type $(G,P)$ associates to a smooth manifold $M$ a principal $P$-bundle and a Cartan connection, and a parabolic geometry is a Cartan geometry where $P$ is parabolic. We show that if $P$ is parabolic, the adjoint tractor bundle of a Cartan geometry, which is isomorphic to the Atiyah algebroid of the principal $P$-bundle, admits the structure of a (pre-)Courant algebroid, and we identify the topological obstruction to the bracket being a Courant bracket. For semisimple $G$, the Atiyah algebroid of the principal $P$-bundle associated to the Cartan geometry of $(G,P)$ admits a pre-Courant algebroid structure if and only if $P$ is parabolic.

研究の動機と目的

• パラボリック幾何学における非正確なトランジティブなコウランテアレブロイドの自然な出現を特定すること。
• 主 $P$-束のアティヤアレブロイドが前コウランテアレブロイド構造をもつための必要十分条件を同定すること。
• 括弧がコウランテ括弧でない理由となるトップولوجカル障害を特定し、それが閉じた4形式として表されることを示すこと。
• 従来の研究で仮定されていた技術的条件を除去して、正規および通常のパラボリック幾何学を超えた一般化を達成すること。
• パラボリック幾何学の構造を、一般化複素幾何学およびT双対性の広範な枠組みと結びつけること。

提案手法

• カーテン幾何学型 $(G,P)$ における主 $P$-束のアティヤアレブロイドとして、随伴トレイクター bundle $\mathcal{A}M$ を構成する。
• カーテン接続を用いて $\mathcal{A}M$ をアティヤ系列に同定し、$T\mathcal{P}/P$ に同型であることを確立する。
• シェーヴェラ、ブレスラー、チエンらの枠組みを適用して $\mathcal{A}M$ 上の括弧を導出し、その性質を分析する。
• $\mathcal{A^}M$ 上の計量およびアンカー写像構造を特定し、それが前コウランテアレブロイドの公理を満たす条件を同定する。
• 括弧がコウランテ括弧の公理を満たすのは、部分代数 $\mathfrak{p} \subset \mathfrak{g}$ がパラボリックである場合に限り、障害が第一ポントリャーギン類に符号化されることを示す。
• 表現論およびキリング形式を用いて、$\mathfrak{p}$ が $\mathfrak{g}$ においてコイソトロピックであることと、$\mathfrak{p}$ がパラボリック部分代数であることの同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 カーテン幾何学型 $(G,P)$ における主 $P$-束のアティヤアレブロイドが前コウランテアレブロイド構造をもつための条件は何か？
• RQ2 随伴トレイクター bundle 上の括弧がコウランテ括弧でない理由となるトップロジカル障害は何か？
• RQ3 アティヤアレブロイドの第一ポントリャーギン類は、パラボリック幾何学の文脈でどのように現れるか？
• RQ4 正規性や通常性を仮定せずに、パラボリック幾何学から非正確なトランジティブなコウランテアレブロイドを体系的に構成できるか？
• RQ5 $\mathfrak{p}$ が $\mathfrak{g}$ においてコイソトロピックであるという性質と、$P$ がパラボリックであるという性質の関係は何か？

主な発見

• カーテン幾何学型 $(G,P)$ における主 $P$-束のアティヤアレブロイドは、$P$ が $G$ のパラボリック部分群である場合に限り、前コウランテアレブロイド構造を持つ。
• 括弧がコウランテ括弧でない障害は、基底多様体 $M$ 上の閉じた4形式として表される第一ポントリャーギン類である。
• 随伴トレイクター bundle $\mathcal{A}M$ はアティヤアレブロイド $T\mathcal{P}/P$ に同型であり、自然なリー代数束構造を引き継ぐ。
• $\mathcal{A}M$ の構造は、$0 \to T^*M \to \mathcal{A}M \to T\mathcal{G}_0/G_0 \to 0$ のようなコウランテ拡張系列に含まれており、部分群 $G_0 \leq P$ のアティヤ系列と関連づけられる。
• $\mathfrak{g}$ 内のリー部分代数 $\mathfrak{p}$ がキリング形式に関してコイソトロピックであることは、$\mathfrak{p}$ がパラボリック部分代数であることと同値である。
• 結果は、パラボリック幾何学の正規性や通常性を仮定しないでも成り立つ。これは、アームストロングによる以前の未発表の研究を一般化する。