[论文解读] 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) 的实多项式之普遍形变，证明了遍历通用向量场在遍历向量场空间中为开集且稠密，从而确保其典型性，并可通过有限代数模型实现切点类型的统一分类。

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

研究动机与目标

• 开发一个通用的半代数框架，用于建模非奇异向量场流轨迹与紧致光滑流形边界之间的相互作用。
• 定义并研究遍历通用向量场的空间，该类场推广了梯度型流，并确保轨迹空间具有良好的行为。
• 建立遍历通用向量场在所有遍历场空间中为通用（开集且稠密）的结论，从而为其作为标准模型的使用提供依据。
• 基于有界次数的实多项式，为流调整坐标系下的边界与流提供局部代数模型。
• 将 Morin 与 Bordman 的奇点理论方法与带边流形上流的边界相互作用几何统一起来。

提出的方法

• 引入边界通用向量场空间 V†(X)，要求向量场 v 与边界及各级子流形 ∂jX 均横截。
• 将遍历通用向量场 V‡(X) 定义为 V†(X) 的改进，确保流-边界相互作用具有有限且通用的代数模型。
• 在流调整坐标系 (u, x̲) 中构造局部模型，其中边界由实多项式 P(u, x̲) = 0 定义，其次数不超过 2·dim(X)。
• 利用实多项式之普遍形变，仅依赖于轨迹上切点重数序列，建模边界与流附近的半代数结构。
• 通过在边界有限覆盖上使用流调整邻域进行归纳，将给定的边界通用场扰动为遍历通用场。
• 利用常微分方程解对初值与系数的光滑依赖性，确保遍历通用条件的开性与稠密性。

实验结果

研究问题

• RQ1 非奇异向量场流轨迹与紧致流形边界之间的相互作用，其通用代数结构是什么？
• RQ2 如何利用有限且通用的模型对轨迹与边界之间的切点类型进行分类？
• RQ3 遍历通用向量场在所有遍历（梯度型）向量场空间中是否为通用的？若是，其在何种拓扑意义下成立？
• RQ4 能否通过一个有界次数的实多项式导出的单一半代数方程来描述轨迹附近的边界与流？
• RQ5 在交点 a ∈ γ ∩ ∂X 处的重数 j(a) 在确定流的局部代数模型中起什么作用？

主要发现

• 遍历通用向量场空间 V‡(X) 在所有遍历向量场空间 Vtrav(X) 中为开集且稠密，从而确保其典型性。
• 对于遍历通用场，任意轨迹附近的边界由实多项式方程 P(u, x̲) = 0 描述，其次数不超过 2·dim(X)，且多项式仅依赖于轨迹上切点重数的序列。
• 轨迹在边界附近的局部结构仅有有限多个半代数模型，且这些模型对所有同维流形均具有普遍性。
• 轨迹 γ 的总重数 m(γ) 满足 m(γ) ≤ 2·dim(X) + 2，且偶数重数点的数量受 dim(X) 限制。
• 边界通用向量场空间 V†(X) 在所有光滑向量场空间 V(X) 中为开集且稠密，确立了其普遍性。
• 对于固定的光滑函数 f: X → R，f-梯度型遍历通用向量场的集合在所有 f-梯度型向量场中构成开集且稠密。