拉格朗日子流形
拉格朗日子流形是辛形式限制为零的最大维子流形,由生成函数描述,是辛几何的基本对象。
所属主题:辛几何 ↗阅读路径
参考可汗学院 Get ready 机制:先修概念 → 当前概念 → 进阶概念,✓ 表示已读。
01定义
拉格朗日子流形 是辛流形中满足 的最大维(半维)子流形:其上面积消失,只余「位置」信息。零截面、图的生成函数给出基本例子,它是辛几何中最核心的研究对象。
02核心要点
01
为何是半维
迫使 (各向同性极大);达到半维 即拉格朗日——「面积完全消失」的子空间。
02
生成函数
任何局部拉格朗日都是某函数 的微分图 ——哈密顿-雅可比方程即在此图像下求解力学问题。
03
交与不变量
Arnold 猜想估计两拉格朗日流的交点数下界;Floer 同调用伪全纯条带严格证明之,开创辛拓扑。
03关键公式
04历史沿革
拉格朗日 18 世纪研究力学变分问题时发现这类子流形;Weinstein 1971 年的邻域定理确立了其核心地位;Floer 1988 年的同调理论使拉格朗日相交问题成为现代焦点。
05应用与延伸
光学波前、量子力学的半经典近似(WKB)以拉格朗日流为载体;镜像对称中 A-膜正是拉格朗日子流形;最优控制的特征线法依赖它。
06交互演示
辛形式:面积 = ω(u, v) = det[u, v]旋转 u、v:平行四边形的辛面积在辛变换(旋转)下不变