[论文解读] The enumeration of simultaneous higher-order contacts between plane curves

Susan Jane Colley, Gary J. Kennedy|ArXiv.org|Dec 8, 1992

Advanced Differential Equations and Dynamical Systems参考文献 13被引用 5

一句话总结

本文利用Semele丛构造，发展了一种交集理论公式，用于枚举在一般次数为 $d$ 的平面曲线族与固定曲线之间，指定阶数的多重高阶接触点（仅计数非奇异接触点）。关键贡献在于为代数几何中的此类接触枚举提供了精确且可计算的公式。

ABSTRACT

Using the Semple bundle construction, we derive an intersection-theoretic formula for the number of simultaneous contacts of specified orders between members of a generic family of degree $d$ plane curves and finitely many fixed curves. The contacts counted by the formula occur at nonsingular points of both the members of the family and the fixed curves.

研究动机与目标

• 开发一种系统化方法，用于计数平面曲线族与固定曲线之间的多重高阶接触点。
• 解决在曲线族成员与固定曲线上的非奇异点处发生接触的枚举挑战。
• 提供一个适用于任意接触阶数与曲线次数的一般交集理论公式。
• 将经典枚举几何技术扩展至处理多重、同时的高阶相切条件。
• 通过高级代数几何时具（尤其是Semele丛构造）的形式化与严格证明，确立该公式的理论基础。

提出的方法

• 利用Semele丛构造来建模曲线之间的高阶接触条件。
• 在适当的参数空间上应用交集理论，以计算多重接触的数量。
• 构造一个通用接触概形，用于参数化在非奇异点处指定阶数的喷射（jets）。
• 运用特征类与向量丛的陈类，推导出枚举公式。
• 实施一种精炼的关联对应关系，以追踪曲线族与固定曲线之间的接触点。
• 通过仔细分析局部贡献，并在修订版本中修正早期引理，验证公式的正确性。

实验结果

研究问题

• RQ1 如何系统性地计数一般次数为 $d$ 的平面曲线族与固定曲线之间的多重高阶接触？
• RQ2 控制此类接触点数量的精确交集理论公式是什么？
• RQ3 高阶喷射条件如何影响平面曲线族的枚举几何？
• RQ4 Semele丛在组织与计算这些接触不变量中起到何种作用？
• RQ5 如何确保在一般性假设与非奇异性约束下，公式依然保持有效？

主要发现

• 本文推导出一般次数为 $d$ 的平面曲线族与固定曲线之间，多重高阶接触点数量的完整交集理论公式。
• 该公式仅适用于在曲线族成员与固定曲线上的点均为非奇异的接触点。
• 该方法可有效处理任意阶数的接触以及任意数量的固定曲线。
• 修订版本修正了原始证明中的一个引理，进一步强化了公式的理论基础。
• 该结果推广了经典相切枚举结果，并为高阶接触问题提供了统一框架。
• 该公式以特征类表达，可使用代数几何中的标准工具明确计算。