[论文解读] 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

一句话总结

本文通过分析与单位测地线向量场相关的2平面丛在两种自然几乎复结构下是否不变：Levi-Civita结构 $J$ 和特定维数的结构 $\mathbb{J}$，研究了在3-球面 $\mathbb{S}^3$ 上的保角大圆流。关键结果是：$\mathbb{S}^3$ 上的大圆流是保角的（即 $\mathcal{L}_X j = 0$）当且仅当它是Hopf纤维丛，从而恢复并推广了关于体积保持流的结果。

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$.

研究动机与目标

• 通过接触形式 $\lambda = \iota_X g$，将测地性（$\nabla_X X = 0$）与Reeb向量场性质联系起来，当 $\operatorname{Ric}(X) > 0$ 时，$d\lambda|_{X^\perp}$ 非退化。
• 在测地流的接触形式的核上定义两种几乎复结构：$J$（Levi-Civita）和 $\mathbb{J}$，其中 $\mathbb{J}$ 在 $X$ 的正交补空间中通过旋转 $\pi/2$ 作用。
• 推导出 $X_*(X^\perp)$ 关于 $J$-不变的充要条件（$\operatorname{div} X = 0$ 且 $\operatorname{Ric}(X) = 1$），以及关于 $\mathbb{J}$-不变的充要条件（$\mathcal{L}_X j = 0$）。
• 通过将理论应用于 $\mathbb{S}^3$，将Grassmannian $\mathbb{G}_2(\mathbb{R}^4)$ 识别为大圆的参数空间，并通过研究测地线上的Jacobi场来描述流的几何结构。
• 通过从 $\mathbb{S}^2_-$ 的开子集到 $\mathbb{S}^2_+$ 的映射 $F: \mathcal{U} \to \mathbb{S}^2_\pm$ 表示流，其中保角性等价于 $F$ 是反全纯且满足 $|F_*| < 1$。
• 利用Liouville定理证明全局保角流必为常值，因此是Hopf纤维丛，并证明在开子集上，Killing向量场必为全局Hopf纤维丛的限制。

提出的方法

• 使用接触形式 $\lambda = \iota_X g$ 将测地性（$\nabla_X X = 0$）与Reeb向量场性质联系起来，当 $\operatorname{Ric}(X) > 0$ 时，$d\lambda|_{X^\perp}$ 非退化。
• 在测地流的接触形式的核上定义两种几乎复结构：$J$（Levi-Civita）和 $\mathbb{J}$，其中 $\mathbb{J}$ 在 $X$ 的正交补空间中通过旋转 $\pi/2$ 作用。
• 推导出 $X_*(X^\perp)$ 关于 $J$-不变的充要条件（$\operatorname{div} X = 0$ 且 $\operatorname{Ric}(X) = 1$），以及关于 $\mathbb{J}$-不变的充要条件（$\mathcal{L}_X j = 0$）。
• 通过将理论应用于 $\mathbb{S}^3$，将Grassmannian $\mathbb{G}_2(\mathbb{R}^4)$ 识别为大圆的参数空间，并通过研究测地线上的Jacobi场来描述流的几何结构。
• 通过从 $\mathbb{S}^2_-$ 的开子集到 $\mathbb{S}^2_+$ 的映射 $F: \mathcal{U} \to \mathbb{S}^2_\pm$ 表示流，其中保角性等价于 $F$ 是反全纯且满足 $|F_*| < 1$。
• 利用Liouville定理证明全局保角流必为常值，因此是Hopf纤维丛，并证明在开子集上，Killing向量场必为全局Hopf纤维丛的限制。

实验结果

研究问题

• RQ1 在何种几何条件下，1-形式 $\lambda = \iota_X g$ 是接触形式，且 $X$ 是其Reeb向量场？
• RQ2 在何种条件下，2平面丛 $X_*(X^\perp)$ 关于Levi-Civita几乎复结构 $J$ 不变？
• RQ3 在何种条件下，$X_*(X^\perp)$ 关于特定维数的几乎复结构 $\mathbb{J}$ 不变，这又对流的保角性意味着什么？
• RQ4 如何通过 $\mathbb{S}^2$ 分量之间的映射，从几何和分析角度刻画 $\mathbb{S}^3$ 上的保角大圆流？
• RQ5 保角流与 $\mathbb{S}^3$ 上的体积保持流之间存在何种关系，全纯性与反全纯性特征如何产生？

主要发现

• 在具有 $\operatorname{Ric}(X) > 0$ 的3-流形上，单位测地线向量场 $X$ 确保 $\lambda = \iota_X g$ 是接触形式，且 $X$ 是其Reeb向量场。
• 2平面丛 $X_*(X^\perp)$ 关于 $J$-不变当且仅当 $\operatorname{div} X = 0$ 且 $\operatorname{Ric}(X) = 1$，将不变性与散度和曲率联系起来。
• 2平面丛 $X_*(X^\perp)$ 关于 $\mathbb{J}$-不变当且仅当 $\mathcal{L}_X j = 0$，通过几乎复结构的李导数定义了保角流。
• 在 $\mathbb{S}^3$ 上，大圆流是保角的当且仅当测地线的参数空间是某个反全纯、距离递减的映射 $F: \mathcal{U} \to \mathbb{S}^2_\pm$ 的图像，且满足 $|F_*| < 1$，从而建立了几何-分析表征。
• 在 $\mathbb{S}^3$ 上，全局保角大圆流必为常值，因此是Hopf纤维丛，由Liouville定理得出，这与文献[4]的结果一致：体积保持流是Hopf。
• 在 $\mathbb{S}^3$ 的开子集上，大圆纤维丛是局部Killing场的切线当且仅当它是全局Hopf纤维丛的限制，表明了强烈的刚性。