[論文レビュー] Complex, symplectic and Kaehler structures on four dimensional Lie groups

Gabriela P. Ovando|ArXiv.org|Sep 8, 2003

Geometry and complex manifolds参考文献 18被引用数 6

ひとこと要約

この論文は、単連結な4次元可解Lie群上の左不変な複素構造、シンプレクティック構造、およびKähler構造を、そのLie代数の分析によって分類する。4次元可解Lie代数の分類に基づく明示的計算を通じて、これらの構造の存在条件を特定し、すべての複素構造やシンプレクティック構造がKähler構造を伴うわけではないことを示している。付録には明示的なコホロロジー計算が含まれる。

ABSTRACT

In this work we deal with left invariant complex and symplectic structures on simply connected four dimensional solvable real Lie groups. We search the general form of such structures, when they exist and we make use of this information to determine all left invariant Kaehler structures. Finally, as an appendix we compute explicitly the real cohomology of the corresponding Lie algebras.

研究の動機と目的

• 単連結な4次元可解な実Lie群上の左不変な複素構造およびシンプレクティック構造を分類すること。
• これらの構造のうち、互換性のあるKähler構造をもつものかどうかを特定すること。
• このような構造が存在する場合の一般形を明示的に記述すること。
• 付録として、対応するLie代数の実de Rhamコホロロジーを計算すること。

提案手法

• 4次元可解Lie代数の既知の分類（例：$\mathfrak{r}_{2}'$、$\mathfrak{d}_{4,1}$、$\mathfrak{r}_{4,-1,1}$ など）を基盤として用いる。
• 代数的技法を用いて、$J^2 = -\mathrm{Id}$ およびNijenhuis条件を満たす一般形の複素構造$J$を導出する。
• 非退化かつ閉じた2次形式としてのシンプレクティック構造$\omega$を、双対基底1形式$e^i$を用いて表現する。
• 複素構造とシンプレクティック構造が共存するためのKähler適合条件$\omega(JX,JY) = \omega(X,Y)$を課す。
• 構造定数および形式の係数に対して明示的な係数マッチングと代数的操作を施し、存在条件を導出する。
• 標準的なLie代数コホロロジー技法を用いて、Lie代数の実de Rhamコホロロジーを計算する。

実験結果

リサーチクエスチョン

• RQ1 どの4次元可解Lie代数が左不変な複素構造をもつか？
• RQ2 どのLie代数が左不変なシンプレクティック構造をもち、どのような条件下でか？
• RQ3 複素構造とシンプレクティック構造の両方が存在する場合、Kähler構造の存在を保証するLie代数はどれか？
• RQ4 このようなLie代数上での左不変な複素構造またはシンプレクティック構造の一般形は何か？
• RQ5 これらのLie代数の実コホロロジー群は、その幾何的構造とどのように関係するか？

主な発見

• すべての4次元可解Lie代数が複素構造やシンプレクティック構造をもつわけではない。存在はLie括弧の代数的構造に依存する。
• 複素構造とシンプレクティック構造の両方をもつがKähler構造をもたないLie代数が存在し、3つの構造が常に適合するわけではないことを示している。
• $\mathfrak{r}_{2}'$のLie代数では、Kähler構造が存在するのはシンプレクティック形式が$a_{12} = 0$を満たす場合に限られ、このような構造は明示的にパラメータ表示できる。
• $\mathfrak{r}_{2}'$上での複素構造$Je_1 = -e_2$、$Je_3 = e_4$は、すべてのシンプレクティック形式と適合するため、この場合すべてのシンプレクティック構造がKählerである。
• 付録でLie代数の実コホロロジーが明示的に計算され、分類のための位相的不変量が得られている。
• $\mathfrak{r}_{2}'$上でのシンプレクティック構造の一般形は、$\omega = a_{12}(e^1 \wedge e^2) + a_{13-24}(e^1 \wedge e^3 - e^2 \wedge e^4) + a_{14+23}(e^1 \wedge e^4 + e^2 \wedge e^3)$ であり、$a_{13-24}^2 + a_{14+23}^2 \neq 0$ を満たす。