[論文レビュー] A characterization of 3D steady Euler flows using commuting zero-flux homologies

Daniel Peralta‐Salas, Ana Rechtman+1 more|arXiv (Cornell University)|Apr 1, 2019

Geometric and Algebraic Topology参考文献 22被引用数 14

ひとこと要約

本稿は、可換なフラックスゼロホモロジーを用いて、閉じた3次元多様体上の3次元定常Euler流れのホモロジー的特徴付けを提供する。これは、Sullivanの測地的流れに関する研究を拡張したものである。主な結果は、非自明な体積保存ベクトル場がEuler可解（あるRiemann計量に関して定常Euler解となる）であるための必要十分条件が、その場所で可換なフラックスゼロ2チェーンのペアが存在し、その境界が葉層化サイクルの錐と非自明に交わることにある。

ABSTRACT

We characterize, using commuting zero-flux homologies, those volume-preserving vector fields on a $3$-manifold that are steady solutions of the Euler equations for some Riemannian metric. This result extends Sullivan's homological characterization of geodesible flows in the volume-preserving case. As an application, we show that the steady Euler flows cannot be constructed using plugs (as in Wilson's or Kuperberg's constructions). Analogous results in higher dimensions are also proved.

研究の動機と目的

• Sullivanの測地的流れのホモロジー的特徴付けを、3次元の体積保存型定常Euler流れのより広いクラスへと拡張すること。
• 閉じた3次元多様体上での体積保存型ベクトル場が、あるRiemann計量に関して定常Euler方程式の解となるための必要十分条件を特定すること。
• 定常Euler流れが、Wilson や Kuperberg の例に見られるような標準的なプラグ構成によっては構成できないことを示すこと。
• 特徴付けを高次元多様体へ一般化すること。
• ベクトル場の幾何学的性質とその関連する電流およびホモロジーの位相的性質との間の関係を確立すること。

提案手法

• Euler可解なベクトル場を、あるRiemann計量に関して定常Euler方程式を満たす体積保存型場として定義する。
• 集合 $\mathcal{F}_X$ をフラックスゼロ2チェーンの境界として定義する。すなわち、$\int_c i_X\mu = 0$ を満たす $c$ に対して $\partial c$ を意味する。
• 葉層化サイクルの錐 $\mathcal{C}_X$ および葉層化電流 $\mathcal{Z}_X$ を用いて、ベクトル場に課せられる位相的制約を分析する。
• 弱位相、フラットノルム、質量といった電流の理論を用い、電流空間における収束性と双対性を研究する。
• 1-電流と1-形式の双対性、特に $\delta^p_X(\alpha) = \alpha_p(X)$ の作用を用いて、ベクトル場の挙動を分析する。
• もし $X$ がEuler可解であれば $\overline{\mathcal{F}_X} \cap \mathcal{C}_X = \{0\}$ であり、逆にこの交差が自明であれば $X$ はEuler可解であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 閉じた3次元多様体上での体積保存型ベクトル場が、あるRiemann計量に関して定常Euler流れとなるための位相的およびホモロジー的条件は何か？
• RQ2 Wilson や Kuperberg の古典的プラグ構成は、定常Euler流れを生成できるか？
• RQ3 可換なフラックスゼロホモロジーは、定常Euler解の可積分性および幾何的構造とどのように関係するか？
• RQ4 Bernoulli関数および双対1形式 $\alpha = i_X g$ は、ホモロジー的特徴付けにおいて果たす役割は何か？
• RQ5 3次元から高次元多様体へと特徴付けをどのように一般化できるか？

主な発見

• 閉じた3次元多様体上での非自明な体積保存型ベクトル場 $X$ がEuler可解であるための必要十分条件は、$\overline{\mathcal{F}_X} \cap \mathcal{C}_X = \{0\}$ が成り立つこと、すなわち、$\overline{\mathcal{F}_X}$ と葉層化サイクルの錐 $\mathcal{C}_X$ の交差が自明であることである。
• この結果は、Sullivanの測地的流れの特徴付けを体積保存型設定へ一般化し、Euler可解性を完全なホモロジー的基準として与える。
• 定常Euler流れはプラグによっては構成できない。なぜなら、このようなベクトル場は常に $\overline{\mathcal{F}_X} \cap \mathcal{C}_X \neq \{0\}$ を満たし、Euler可解性の必要条件を満たさないからである。
• この特徴付けは高次元でも成り立つ。$n$-次元多様体上での非自明な体積保存型ベクトル場についても、同様の条件 $\overline{\mathcal{F}_X} \cap \mathcal{C}_X = \{0\}$ がEuler可解性を特徴付ける。
• 証明により、$X$ がEuler可解であれば、関連する1形式 $\alpha = i_X g$ は $i_X d\alpha = -dB$ を満たすことが示され、幾何的構造とBernoulli関数が結びつく。
• この結果は、電流の弱位相および電流空間のHeine-Borel性質に依拠しており、弱位相における有界集合のコンパクト性を保証する。