[论文解读] Automorphisms of Flag Systems

Antonio Kumpera|arXiv (Cornell University)|Nov 4, 2014

Geometry and complex manifolds参考文献 2被引用 7

一句话总结

本文引入了一个延拓函子，将达布旗的无穷小对称性同构地延拓至所有旗系统，证明仅凭对称代数无法区分旗系统。关键贡献在于从同调代数在传递系统间的行为中推导出一组完整的数值不变量，这些不变量完全分类了初等旗系统，并指定了其局部模型。

ABSTRACT

We first discuss the problems in the theory of ordinary differential equations that gave rise to the concept of a flag system and illustrate these with the Cartan criterion for Monge equations (1st order) as well as the Cartan statement concerning the local equivalence of Monge-Ampère type equations (2nd order). Next, we describe a prolongation functor operating on the infinitesimal symmetries (automorphisms) of the Darboux flag and extending these, isomorphically, to all the symmetries of any other flag. Hence, flag systems cannot be distinguished by their symmetry algebras and the local classification of these objects is approached by considering higher order isotropies of these algebras as well as the groupoids of $k-th$ order formal equivalences since the differential equations defining the latter provide precious information for the application of flag systems to differential equations ( extit{e.g.}, Cartan's criterion for non-linear Monge equations). In examining the behaviour of the isotropy algebras, that can either diminish or remain the same, when passing from a derived system $S_ν$ to the previous system $S_{ν-1}$, we obtain a full set of numerical invariants for the elementary flag systems that moreover specify the local models.

研究动机与目标

• 为解决具有最大导出长度的非可积Pfaff系统（即旗系统）的分类问题，通过分析其对称结构。
• 解决仅凭对称代数无法区分不同旗类型的问题，因为这些代数在不同旗类型中同构。
• 基于导出系统连续延拓过程中余切代数的行为，建立分类框架。
• 识别出能完全表征给定长度初等旗系统的数值不变量，特别是区分齐次（Cartan）与非齐次（例外）模型。
• 证明余切代数的结构——特别是其是否减小或保持不变——可作为旗系统的完整分类机制。

提出的方法

• 引入一个延拓函子，将无穷小自守从达布旗同构地提升至所有其他旗系统，保持其对称结构。
• 分析导出系统 $ S_\nu $ 及其余切代数，追踪从 $ S_\nu $ 到 $ S_{\nu-1} $ 时函数余秩的变化。
• 使用 $ k $ 阶形式等价群胚研究高阶不变量，其定义方程在除齐次Cartan情形外均为奇异（非恒定秩）。
• 应用 $ \chi(S_k) $（即 $ S_k $ 的特征系统）来研究交集，以获得额外的内在不变量。
• 利用原点处 $ S_k \neq \chi(S_{k+2}) $ 的条件作为判别长度为 $ \ell $ 的旗系统中传递Cartan模型的准则。
• 借助哈密顿形式语言解释余切计算中偏导数的索引结构，揭示其内在模式。

实验结果

研究问题

• RQ1 当旗系统的对称代数同构时，如何对旗系统进行分类，以使标准不变量失效？
• RQ2 导出系统余切代数的何种结构性质可区分Cartan齐次模型与其他旗系统？
• RQ3 交集 $ S_k \cap \chi(S_{k+1}) $ 以何种方式提供关于旗系统的内在几何信息？
• RQ4 为何Cartan对Monge方程的判别准则在存在codimension-one奇异流形（如例外旗）时依然成立？
• RQ5 余切代数的行为——特别是其是否减小或保持不变——能否作为初等旗系统的一组完整分类不变量？

主要发现

• 延拓函子将无穷小自守从达布旗同构地延拓至所有旗系统，证明仅凭对称代数无法区分旗系统。
• 导出系统余切代数在从 $ S_\nu $ 到 $ S_{\nu-1} $ 的传递过程中，要么减小（函数余秩严格增加），要么保持不变，且该行为可完全分类初等旗系统。
• 传递Cartan模型由原点处对所有 $ 0 \leq k \leq \ell-3 $ 满足 $ S_k \neq \chi(S_{k+2}) $ 的条件唯一刻画，其余项均满足等式。
• 对每个长度 $ \ell $，余切行为序列（减小 vs. 不变）构成一组完整的数值不变量，可完全指定旗系统的局部模型。
• 第 $ k $ 阶等价群胚的奇异流形 $ \Lambda $ 是闭的且在Zariski拓扑下闭合，且在源映射与目标映射下不变，意味着奇异性在群胚中传播。
• 非齐次旗系统的群胚定义方程为奇异（非恒定秩），除齐次Cartan情形外，其结构在Zariski闭奇异集的补集中重复。