[論文レビュー] A Note on Closed G_2-Structures and 3-Manifolds

Hyunjoo Cho, Sema Salur+1 more|arXiv (Cornell University)|Dec 5, 2011

Geometric Analysis and Curvature Flows参考文献 7被引用数 3

ひとこと要約

本稿では、任意の向き付け可能な3次元多様体 $X$ に対して、$T^*X \times \mathbb{R}$ 上に閉じた $G_2$-構造を、$T^*X$ 上の複素3形式 $\Omega$ と接触型形式 $\omega \wedge dt$ を用いて構成する。主な結果は、任意の2次元部分多様体 $S \subset X$ の余接バンドル $N^*S$ がこの構造において完全に特異的である、すなわち $\varphi|_{N^*S} \equiv 0$ が成り立つことである。これは、シンプレクティック幾何学におけるラグラングィアン性の一般化を、$G_2$-幾何学へと拡張するものである。

ABSTRACT

This article shows that given any orientable 3-manifold X, the 7-manifold T^*X x R admits a closed G_2-structure varphi=Re(Omega)+omega\wedge dt where Omega is a certain complex-valued 3-form on T^*X; next, given any 2-dimensional submanifold S of X, the conormal bundle N^*S of S is a 3-dimensional submanifold of T^*X x R such that varphi restricted to N^*S is equivalent to 0. A corollary of the proof of this result is that N^*S x R is a 4-dimensional submanifold of T^*X x R such that varphi restricted to N^*S x R is equivalent to 0.

研究の動機と目的

• 任意の向き付け可能な3次元多様体 $X$ に対して、$T^*X \times \mathbb{R}$ 上に閉じた $G_2$-構造を構成することにより、シンプレクティック幾何学と $G_2$-幾何学との類似性を拡張すること。
• コンパクトな余接バンドルがラグラングィアンであるというシンプレクティック性質を、$G_2$-設定へ一般化し、閉じた $G_2$-構造の下で特異的であることを示すこと。
• 座標に依存しない形で、$T^*X \times \mathbb{R}$ 上の $G_2$-構造 $\varphi = \operatorname{Re}\Omega + \omega \wedge dt$ の明示的な局所公式を提供すること。
• $G_2$-構造が閉じている（$d\varphi = 0$）かつ非退化であることを示し、計量および幾何的性質の研究を可能にすること。
• 接触幾何学、複素幾何学、$G_2$-構造の間の相互作用を、余接バンドルの構成を通じて探求すること。

提案手法

• 3次元多様体 $X$ によって誘導される $T^*X$ 上の複素構造を用いて、$T^*X$ 上の複素値3形式 $\Omega$ を構成する。
• $\omega$ を $T^*X$ 上の標準1形式とするとき、$T^*X \times \mathbb{R}$ 上に閉じた $G_2$-構造 $\varphi = \operatorname{Re}\Omega + \omega \wedge dt$ を定義する。
• $T^*X \times \mathbb{R}$ 上の局所座標 $(x_1,x_2,x_3,\xi_1,\xi_2,\xi_3,t)$ を用いて、$\varphi$ を1形式の外積の和として明示的に表現する。
• 余接ファイバー内の複素線形変換に関して $\Omega$ が正しく変換されることを示すことにより、$\varphi$ が座標の選び方に依存しないことを証明する。
• $S \subset X$ を2次元部分多様体とする。$S$ が $x_3 = 0$ で定義されるチャートに制限する。このとき $N^*S$ は $x_3 = \xi_1 = \xi_2 = 0$ で与えられる。
• $N^*S$ 上での $\varphi$ の引き戻し $i^*\varphi$ を計算し、$\varphi$ のすべての項が $N^*S$ 上で少なくとも一つの消える1形式を含むため、恒等的に0であることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の向き付け可能な3次元多様体 $X$ に対して、$T^*X \times \mathbb{R}$ 上に明示的に閉じた $G_2$-構造を構成できるか？
• RQ2 $S \subset X$ を2次元部分多様体とするとき、その余接バンドル $N^*S$ がこのような $G_2$-構造の下で特異的であるか？
• RQ3 $T^*X \times \mathbb{R}$ 上の $G_2$-構造は、$T^*X$ 上のシンプレクティック構造および $T^*X$ 上の複素構造とどのように関係しているか？
• RQ4 $G_2$-幾何学の文脈において、条件 $\varphi|_{N^*S} \equiv 0$ が持つ幾何的意味は何か？
• RQ5 なぜ、特異的条件がシンプレクティック幾何学とは異なり、$S$ の次元が2に制限されるのか？

主な発見

• $T^*X \times \mathbb{R}$ は、任意の向き付け可能な3次元多様体 $X$ に対して、$\varphi = \operatorname{Re}\Omega + \omega \wedge dt$ で与えられる閉じた $G_2$-構造をもつ。
• $S \subset X$ を2次元部分多様体とするとき、その余接バンドル $N^*S$ は $T^*X \times \mathbb{R}$ の3次元部分多様体であり、$\varphi|_{N^*S} \equiv 0$ を満たす。
• $\varphi$ の $N^*S$ 上への引き戻しは、局所表現におけるすべての項が $N^*S$ 上で消える1形式を含むため、恒等的に0に等しい。
• $G_2$-構造 $\varphi$ は、局所座標での明示的計算により、閉じている（$d\varphi = 0$）かつ非退化であることが示された。
• この構成は、シンプレクティック幾何学における余接バンドルがラグラングィアンであるという性質を一般化するが、$G_2$-設定では2次元部分多様体 $S$ のみが特異的余接バンドルを与える。
• 系として、$N^*S \times \mathbb{R}$ は $T^*X \times \mathbb{R}$ の4次元部分多様体であり、$\varphi|_{N^*S \times \mathbb{R}} \equiv 0$ が成り立つ。これは、特異的性が高次元でも保たれることを確認する。