[論文レビュー] Conformal great circle flows on the three-sphere

Adam Harris, Gabriel P. Paternain|arXiv (Cornell University)|Aug 29, 2013

Advanced Differential Geometry Research参考文献 4被引用数 4

ひとこと要約

本稿では、3次元球面における大円フローの共形性を、単位測地ベクトル場に関連する2次元平面束が2つの自然なほぼ複素構造、すなわちリーマン接続構造 $J$ と次元に依存する構造 $\mathbb{J}$ に対して不変となる条件を分析することによって研究する。主な結果は、$\mathbb{S}^3$ 上の大円フローが共形的（すなわち、$\mathcal{L}_X j = 0$）であるための必要十分条件が、ホイットニーのファイブレーションに一致することであり、体積保存フローに関する既知の結果を再確認・拡張する。

ABSTRACT

We consider a closed orientable Riemannian 3-manifold $(M,g)$ and a vector field $X$ with unit norm whose integral curves are geodesics of $g$. Any such vector field determines naturally a 2-plane bundle contained in the kernel of the contact form of the geodesic flow of $g$. We study when this 2-plane bundle remains invariant under two natural almost complex structures. We also provide a geometric condition that ensures that $X$ is the Reeb vector field of the 1-form $λ$ obtained by contracting $g$ with $X$. We apply these results to the case of great circle flows on the 3-sphere with two objectives in mind: one is to recover the result in \cite{GG} that a volume preserving great circle flow must be Hopf and the other is to characterize in a similar fashion great circle flows that are conformal relative to the almost complex structure in the kernel of $λ$ given by rotation by $π/2$ according to the orientation of $M$.

研究の動機と目的

• 3次元多様体上の単位測地ベクトル場が接触形式 $\lambda = \iota_X g$ を介してリーブフローを誘導する条件を特徴づけること。これは幾何学的・力学的応用を念頭に置いたものである。
• 2次元平面束 $X_*(X^\perp)$ がリーマン接続のほぼ複素構造 $J$ および次元に依存する構造 $\mathbb{J}$ に対して不変となる条件を特定し、不変性が発散やリッチ曲率などの幾何的性質とどのように関係するかを明らかにすること。
• 共形的フローの内在的特徴づけを Lie 擬似微分 $\mathcal{L}_X j = 0$ を用いて与え、既知の体積保存フローに関する結果を一般化すること。
• これらの結果を $\mathbb{S}^3$ 上の大円フローに適用し、一意に体積保存的な場合がホイットニーのファイブレーションに一致することを回復し、共形的フローがホイットニーのファイブレーションと同値であることを特定すること。
• 共形的大円フローと $\mathbb{S}^2_\pm$ への反正則的かつ距離を縮小する写像との間の対応関係を確立し、力学的性質を複素幾何と結びつける。

提案手法

• 接触形式 $\lambda = \iota_X g$ を用いて、測地的可積分性（$\nabla_X X = 0$）とリーブベクトル場の性質を関連させ、$\operatorname{Ric}(X) > 0$ のとき $d\lambda|_{X^\perp}$ が非退化であることを示す。
• 測地的フローの接触形式の核上に2つのほぼ複素構造を定義する：$J$（リーマン接続構造）と $\mathbb{J}$（$X$ の直交補空間上で $\pi/2$ 回転を表すもの）。
• 2次元平面束 $X_*(X^\perp)$ が $J$-不変であるための必要十分条件（$\operatorname{div} X = 0$ および $\operatorname{Ric}(X) = 1$）と、$\mathbb{J}$-不変であるための必要十分条件（$\mathcal{L}_X j = 0$）を導出する。
• $\mathbb{S}^3$ に理論を適用する際、大円のパラメータ空間としてグラスマン多様体 $\mathbb{G}_2(\mathbb{R}^4)$ を特定し、測地線に沿ったヤコビ場を用いてフローの幾何を記述する。
• フローを、$\mathbb{S}^2_-$ の開集合から $\mathbb{S}^2_+$ への写像 $F: \mathcal{U} \to \mathbb{S}^2_\pm$ として表現し、共形性が $F$ が反正則的かつ $|F_*| < 1$ であることと同値であることを示す。
• リウヴィルの定理を用いて、大域的共形的フローは定数でなければならないことを示し、したがってホイットニーのファイブレーションであることを導き、[4]で得られた体積保存フローがホイットニーのファイブレーションであるという結果を再確認する。また、開集合上でのキリングベクトル場が、大域的ホイットニーのファイブレーションの制限であるための必要十分条件を示す。

実験結果

リサーチクエスチョン

• RQ1 1-form $\lambda = \iota_X g$ が接触形式であるための幾何的条件は何か？ また、$X$ がそのリーブベクトル場であるための条件は？
• RQ2 2次元平面束 $X_*(X^\perp)$ がリーマン接続のほぼ複素構造 $J$ に対して不変であるための条件は？
• RQ3 $X_*(X^\perp)$ が次元に依存するほぼ複素構造 $\mathbb{J}$ に対して不変であるための条件は何か？ そして、これはフローの共形性にどのような意味を持つのか？
• RQ4 $\mathbb{S}^3$ 上の大円フローの共形的性質を、$\mathbb{S}^2$ の成分間の写像の観点から幾何的・解析的にどのように特徴づけられるか？
• RQ5 共形的フローと体積保存フローの関係は何か？ また、正則性・反正則性の性質はどのように生じるのか？

主な発見

• リッチ曲率 $\operatorname{Ric}(X) > 0$ を満たす3次元多様体上の単位測地ベクトル場 $X$ に対して、$\lambda = \iota_X g$ は接触形式であり、$X$ はそのリーブベクトル場である。
• $X_*(X^\perp)$ が $J$-不変であるための必要十分条件は $\operatorname{div} X = 0$ および $\operatorname{Ric}(X) = 1$ であり、不変性が発散と曲率にどのように関係するかを示す。
• $X_*(X^\perp)$ が $\mathbb{J}$-不変であるための必要十分条件は $\mathcal{L}_X j = 0$ であり、これはほぼ複素構造の Lie 擬似微分を用いた共形的フローの定義を提供する。
• $\mathbb{S}^3$ 上では、大円フローが共形的であるための必要十分条件は、測地線のパラメータ空間が反正則的かつ距離を縮小する写像 $F: \mathcal{U} \to \mathbb{S}^2_\pm$ のグラフであることである。これにより、幾何的・解析的特徴づけが確立される。
• 大域的共形的大円フローはリウヴィルの定理により定数でなければならないため、ホイットニーのファイブレーションである。これは [4] の結果（体積保存フローはホイットニーのファイブレーションである）を再確認する。
• 開集合上の大円ファイブレーションが局所キリング場に接するための必要十分条件は、それが大域的ホイットニーのファイブレーションの制限であることである。これは強い剛性を示している。