[論文レビュー] Traversally Generic & Versal Vector Flows: Semi-Algebraic Models of Tangency to the Boundary

Gabriel Katz|arXiv (Cornell University)|Jul 4, 2014

Algebraic Geometry and Number Theory参考文献 2被引用数 11

ひとこと要約

本稿では、境界を有するコンパクトな滑らかな多様体上に、走査的普遍的で境界的普遍的なベクトル場を導入し、軌道が境界とどのように相互作用するかの普遍的半代数的モデルを確立する。次に、次数が高々 2·dim(X) の実多項式のversal変形を用いて、走査的普遍的ベクトル場が走査的ベクトル場の空間において開かつ稠密であることを証明し、それらの典型性を保証するとともに、有限な代数的モデルによる接点型の普遍的分類を可能にする。

ABSTRACT

Let $X$ be a compact smooth manifold with boundary. In this article, we study the spaces $\mathcal V^\dagger(X)$ and $\mathcal V^\ddagger(X)$ of so called boundary generic and traversally generic vector fields on $X$ and the place they occupy in the space $\mathcal V(X)$ of all fields (see Theorems ef{th3.4} and Theorem ef{th3.5}). The definitions of boundary generic and traversally generic vector fields $v$ are inspired by some classical notions from the singularity theory of smooth Bordman maps \cite{Bo}. Like in that theory (cf. \cite{Morin}), we establish local versal algebraic models for the way a sheaf of $v$-trajectories interacts with the boundary $\d X$. For fields from the space $\mathcal V^\ddagger(X)$, the finite list of such models depends only on $\dim(X)$; as a result, it is universal for all equidimensional manifolds. In specially adjusted coordinates, the boundary and the $v$-flow acquire descriptions in terms of universal deformations of real polynomials whose degrees do not exceed $2\cdot \dim(X)$.

研究の動機と目的

• コンパクトな滑らかな多様体の境界と非特異的ベクトル場の軌道がどのように相互作用するかをモデル化するための普遍的半代数的フレームワークを構築すること。
• 勾配類似流れを一般化し、軌道空間が良好に振る舞うことを保証する、走査的普遍的ベクトル場の空間を定義し、その性質を研究すること。
• 走査的普遍的ベクトル場が、すべての走査的ベクトル場の空間内で普遍的（開かつ稠密）であることを確立し、それらを標準的モデルとして用いる根拠を提供すること。
• 境界および流れの局所的代数的モデルを、次数が有界な実多項式に基づいて、流れに合わせた座標系で提供すること。
• モリンとボードマンの特異性理論的アプローチを、境界を有する多様体上の流れの幾何学と統合すること。

提案手法

• 境界と v が横断的であり、さらに ∂jX の各層に対しても横断的であることを要件とする境界的普遍的ベクトル場の空間 V†(X) を導入する。
• V†(X) の改良版として、流れ-境界相互作用の有限で普遍的な代数的モデルを保証する走査的普遍的ベクトル場の空間 V‡(X) を定義する。
• 流れに合わせた座標系 (u, x̲) において、境界が P(u, x̲) = 0 で定義され、次数が ≤ 2·dim(X) の実多項式であるような局所的モデルを構築する。
• 実多項式のversal変形を用いて、軌道の近傍における境界と流れの半代数的構造をモデル化し、その構造は軌道に沿った接点重複度の系列にのみ依存する。
• 流れに合わせた近傍による境界の有限被覆を用いた帰納法により、与えられた境界的普遍的場を走査的普遍的場に摂動する。
• 常微分方程式の解が初期条件および係数に滑らかに依存することを応用し、走査的普遍的条件の開性および稠密性を保証する。

実験結果

リサーチクエスチョン

• RQ1 非特異的ベクトル場の軌道とコンパクト多様体の境界との間の相互作用を支配する普遍的代数的構造は何か？
• RQ2 有限で普遍的なモデルを用いて、軌道と境界との接点の型をどのように分類できるか？
• RQ3 走査的普遍的ベクトル場は、すべての走査的（勾配類似）場の空間内で普遍的か？ もしそうなら、どのような位相的意味で？
• RQ4 軌道の近傍における境界と流れは、次数が有界な実多項式から導かれる単一の半代数的方程式で記述可能か？
• RQ5 交点 a ∈ γ ∩ ∂X における重複度 j(a) が、流れの局所的代数的モデルを決定する役割を果たすか？

主な発見

• 走査的普遍的ベクトル場の空間 V‡(X) は、すべての走査的ベクトル場の空間 Vtrav(X) において開かつ稠密であり、それらの典型性を保証する。
• 走査的普遍的場では、任意の軌道の近傍における境界は、次数が高々 2·dim(X) の実多項式方程式 P(u, x̲) = 0 で記述され、その多項式は軌道に沿った接点重複度の系列にのみ依存する。
• 境界近傍における軌道の局所的構造の半代数的モデルは有限個であり、それらはすべての同一次元多様体にわたって普遍的である。
• 軌道 γ の総重複度 m(γ) は m(γ) ≤ 2·dim(X) + 2 を満たし、偶数重複度点の数は dim(X) で抑えられる。
• 境界的普遍的ベクトル場の空間 V†(X) は、すべての滑らかなベクトル場の空間 V(X) において開かつ稠密であり、それらの広範な存在を示している。
• 固定された滑らかな関数 f: X → R に対して、f-勾配類似の走査的普遍的ベクトル場の集合は、すべての f-勾配類似ベクトル場の空間において開かつ稠密な部分集合をなす。