[論文レビュー] Existence and structure of symmetric Beltrami flows on compact $3$-manifolds

Wadim Gerner|arXiv (Cornell University)|Jun 25, 2020

Geometric Analysis and Curvature Flows参考文献 38被引用数 2

ひとこと要約

本稿は、滑らかな等長的流れを伴うコンパクトで向き付け可能な3次元多様体の境界上に、対称的でベルトラミー型のベクトル場の存在と構造的性質を確立する。変分法と対称性を保つ近似を用いて、一般の対称性のもとで、境界に接する滑らかなベルトラミー場が流れに対して不変であることを証明する。実解析的である場合には、このような場はアーノルドの構造定理を満たし、その場線の力学的挙動の位相的分類が可能になる。

ABSTRACT

We show that for almost every given symmetry transformation of a Riemannian manifold there exists an eigenvector field of the curl operator, corresponding to a non-zero eigenvalue, which obeys the symmetry. More precisely, given a smooth, compact, oriented Riemannian $3$-manifold $(\bar{M},g)$ with (possibly empty) boundary and a smooth flow of isometries $\phi_t:\bar{M} ightarrow \bar{M}$ we show that, if $\bar{M}$ has non-empty boundary or if the infinitesimal generator is not purely harmonic, there is a smooth vector field $X$, tangent to the boundary, which is an eigenfield of curl and satisfies $(\phi_t)_{*}X=X$, i.e. is invariant under the pushforward of the symmetry transformation. We then proceed to show that if the quantities involved are real analytic and $(\bar{M},g)$ has non-empty boundary, then Arnold's structure theorem applies to all eigenfields of curl, which obey a symmetry and appropriate boundary conditions. More generally we show that the structure theorem applies to all real analytic vector fields of non-vanishing helicity which obey some nontrivial symmetry. A byproduct of our proof is a characterisation of the flows of real analytic Killing fields on compact, connected, orientable $3$-manifolds with and without boundary.

研究の動機と目的

• コンパクトな3次元多様体上に、与えられた等長的流れに対して不変な滑らかで境界に接するベルトラミー場の存在を確立すること。
• 境界あり・なしを問わず、コンパクトで連結で向き付け可能な3次元多様体上での実解析的キリングベクトル場の特徴づけ。
• 境界を持つ多様体上での対称的で実解析的なベルトラミー場が、場線の力学にアーノルドの構造定理を満たすことを示すこと。
• ケンタベラの回転対称ベルトラミー場に関する結果を、抽象的なリーマン的3次元多様体上の任意の等長的対称性へ一般化すること。

提案手法

• ベルトラミー場の候補を構成するために、ホリシティ制約の下でL2エネルギーを最小化するためのアーノルドの変分的アプローチを適用する。
• コンパクトなリーマン的3次元多様体上のホッジ分解を用いて、ベクトル場を分解し、回転固有場を分離する。
• 対称性条件の積分方程式への再定式化を用いて、等長的流れによる押し出し写像における不変性を証明する。
• 正則性理論と近似論法を用いて、対称的最小化子が実際に流れに対して不変であることを示す。
• 回転作用素がキリング場と可換であることに着目し、構造定理の解析を対称的状況に還元する。
• 実解析的性とフェデラーの可算1次元可縮性理論を用いて、多様体を不変トーラスと特異集合へ分解する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな3次元多様体に境界を伴い、与えられた等長的流れに対して不変な滑らかで境界に接するベルトラミー場が存在するか？
• RQ2 対称的ベルトラミー場がコンパクトな多様体上でアーノルドの構造定理を適用できる条件は何か？
• RQ3 特に、その流れ線や境界挙動に関して、コンパクトな3次元多様体上での実解析的キリングベクトル場はどのように特徴づけられるか？
• RQ4 ユークリッド的領域（例えば、固体トーラスや球体）を超えて、抽象的なリーマン多様体上でもベルトラミー場の存在と対称性を確立できるか？
• RQ5 境界が空でないコンパクトな3次元多様体上における、対称的で実解析的なベルトラミー場の場線の位相的構造は何か？

主な発見

• 任意の滑らかな等長的流れを伴う、境界付きまたは非調和的無限小生成子を持つコンパクトで向き付け可能な3次元多様体上には、境界に接する滑らかなベルトラミー場が存在し、その流れに対して不変である。
• 多様体とベクトル場が実解析的で境界が空でない場合、対称的ベルトラミー場はアーノルドの構造定理を満たし、その場線が不変トーラスと特異集合に分解されることを示唆する。
• コンパクトな3次元多様体上での実解析的キリングベクトル場は、恒等的にゼロであるか、またはその流れ線が単位速さの測地線であるか、あるいは不変な円周を伴うファイブレーションをなし、特異集合が可縮性を持つ。
• 実解析的キリング場のノルムが一定でない点の集合は、コンパクトでH1-可算1次元可縮な部分集合に含まれており、その補集合は不変トーラスからなる。
• 対称的ベルトラミー場の構造は、回転作用素とキリング場との可換性によって支配され、対称的楕円型問題への還元が可能になる。
• 証明により、1次元および2次元多様体上での実解析的キリングフローの一般的特徴づけが得られ、閉じた1次元多様体上では非ゼロのキリング場は測地線フローでなければならないし、2次元多様体上では、円周を生成するか、または内部を不変な円周でファイブレーションする。