[論文レビュー] Homogeneous holomorphic hermitian principal bundles over hermitian symmetric spaces

Indranil Biswas, Harald Upmeier|arXiv (Cornell University)|Jan 12, 2016

Geometry and complex manifolds参考文献 7被引用数 4

ひとこと要約

本稿は、ジョルダン代数的アプローチを用いて、非可約ヒルベルト対称空間上の同次的ホロモルフィックヘルミート主バンドルにおける不変かつ積分可能な複素構造の完全分類を提示する。コンパクト型、非コンパクト型、平坦型の間の双対性対応を確立し、このようなバンドルが、内自己同型を除いて、同型写像 f: K → L と f-共変な実反線形写像 b からなるペア (f, b) によって分類されることを示している。

ABSTRACT

We give a complete characterization of invariant integrable complex structures on principal bundles defined over hermitian symmetric spaces, using the Jordan algebraic approach for the curvature computations. In view of possible generalizations, the general setup of invariant holomorphic principal fibre bundles is described in a systematic way.

研究の動機と目的

• 同次的ホロモルフィックヘルミート主バンドルにおける不変かつ積分可能な複素構造の分類を、ヒルベルト対称空間上でする。
• このようなバンドルの文脈において、コンパクト型、非コンパクト型、平坦型のヒルベルト対称空間の間の双対性を確立する。
• ジョルダン理論的アプローチを用いて、不変ホロモルフィック主バンドルの一般枠組みを構築する。
• 対称空間を超えてより一般的なフラッグ多様体 G/C へと分類を拡張し、今後の研究の土台を築く。
• 非対称な同次的空間 G/C 上の不変複素構造のモジュライ空間を探索し、その幾何的意義を検討する。

提案手法

• ヒルベルト対称空間の幾何を記述するためにジョルダン三重系アプローチを用い、透明性を高めるために伝統的なリー三重系アプローチを置き換える。
• バンドル上の複素構造の積分可能性を分析するために、ジョルダン代数的構造を用いた曲率計算を適用する。
• 主バンドル構造を定義するために、f: K → H が実解析的同型写像であるときの同次バンドル構成 Q = G ×_{K,f} H を用いる。
• G作用を保存する最大コンパクト部分群 L ⊂ H に対する主 L-バンドルとしてのヘルミート構造 P ⊂ Q の概念を導入する。
• G不変複素構造 J の積分可能性条件をニエンイズステンソルを介して導出し、それが恒等的に [b ∧ b] = 0 であるときにかつそのときに限り消えることを示す。
• 内自己同型による同値類を関係 (f, b) ∼ (I_H^l ∘ f, Ad_l^H b) を用いて確立し、ゲージ同値性の意味で一意性を保証する。

実験結果

リサーチクエスチョン

• RQ1 同次的ホロモルフィックヘルミート主バンドルにおける不変かつ積分可能な複素構造の完全分類は何か？
• RQ2 コンパクト型、非コンパクト型、平坦型の間の双対性は、このようなバンドルの分類においてどのように現れるか？
• RQ3 ジョルダン代数的アプローチは、曲率および積分可能性計算において、リー三重系アプローチよりも透明性が高く、より素朴な枠組みを提供できるか？
• RQ4 非対称な同次的空間 G/C 上の不変複素構造のモジュライ空間の構造は何か？また、その空間に射影的に平坦な接続が存在するか？
• RQ5 ドルベオールコホモロジー作用素は、基本的な複素構造およびバンドルデータの観点からどのように明示的に実現できるか？

主な発見

• ヒルベルト対称空間上での同次的 H-バンドルにおける積分可能な不変複素構造の分類は、写像 f: K → L ⊂ H と f-共変な実反線形写像 b: T_oM → h からなるペア (f, b) と一対一対応する。ただし、[b ∧ b] = 0 を満たすものとする。
• コンパクト型、非コンパクト型、平坦型のヒルベルト対称空間の間の双対性は、このようなバンドルの分類へと拡張され、三つのタイプの間で自然な1対1対応が存在する。
• 積分可能性条件はニエンイズステンソルの消滅と同値であり、これは恒等元における [b ∧ b] = 0 に帰着され、G × H 不変性により全域的にも成立する。
• 条件 [b ∧ b] = 0 は、実線形写像 a: T_oM → l に対して、[a u, a v] = [a j_o u, a j_o v] を満たすことと同値である。ここで j_o は T_oM 上の複素構造である。
• 分類は H の内自己同型に関して不変であり、同値関係 (f, b) ∼ (I_H^l ∘ f, Ad_l^H b) （l ∈ L）により与えられる。
• この枠組みは、K の適切な部分群 C に対するフラッグ多様体 G/C へ自然に一般化され、今後の研究において、双対性がより一般的な設定へと拡張されると予想される。