[论文解读] Arboreal singularities from Lefschetz fibrations

Vivek Shende|arXiv (Cornell University)|Sep 27, 2018

Algebraic structures and combinatorial models参考文献 12被引用 5

一句话总结

本文建立了具有树状奇异点的Lefschetz纤维丛与球面的树状管状余切丛之间的几何等价性，表明在ℝ²ⁿ上以树状管状丛为纤维的Lefschetz纤维丛的相对骨架与相应的树状奇异点微分同胚。关键结果是：Liouville对(ℝ²ⁿ, Πₜ)与一个相对骨架为根树T所对应的树状奇异点的对之间存在辛形变等价性。

ABSTRACT

Nadler introduced certain Lagrangian singularities indexed by trees, and determined their microlocal sheaves to be the category of modules over the corresponding tree quiver. Another family of spaces indexed by trees: the tree plumbings of spheres. The Fukaya-Seidel category of the Lefschetz fibration with this plumbing as fiber and all spheres as vanishing cycles is well known to also be modules over the tree quiver. Here we upgrade this matching of categories to a matching of geometry.

研究动机与目标

• 阐明树状奇异点与具有树状管状纤维的Lefschetz纤维丛之间的几何关系。
• 证明以Πₜ为纤维的Lefschetz纤维丛的相对骨架与根树T所对应的树状奇异点微分同胚。
• 为树状奇异点提供辛几何实现，即作为来自Lefschetz纤维丛的Liouville对的相对骨架。
• 展示该形变等价性通过微分同胚与ribbotopy实现，特别是在嵌套Legendrian扭结与前视图的背景下。

提出的方法

• 构造一个Lefschetz纤维丛X → ℂ，其一般纤维为F = Πₜ，即沿根树T的球面余切丛的管状连接。
• 利用Liouville对的形变等价性，将(ℝ²ⁿ, Πₜ)与一个相对骨架为T的树状奇异点的对联系起来。
• 对Legendrian链的前视图应用ribbotopy与微分同胚，将骨架从管状模型形变为树状奇异点。
• 利用Liouville对的骨架在形变下不变的性质，以及相对骨架由Liouville流行为决定的事实。
• 利用重新排序消失循环会诱导微分同胚纤维丛的事实，从而可一致选择与树根结构兼容的全序。
• 对嵌套Legendrian扭结采用归纳形变过程，从最低层开始，以避免ribbotopy移动过程中的拓扑障碍。

实验结果

研究问题

• RQ1 树T所对应的树状奇异点能否作为具有球面树状管状纤维的Lefschetz纤维丛的相对骨架实现？
• RQ2 Legendrian链的前视图中的ribbotopy与微分同胚如何促进从管状模型到树状奇异点的形变？
• RQ3 根树结构在确保Liouville对(ℝ²ⁿ, Πₜ)与树状奇异点之间形变等价性方面起什么作用？
• RQ4 嵌套Legendrian扭结如何干扰形变过程？有何策略可解决此问题？
• RQ5 若对消失循环的顺序进行重排或改变与树的偏序兼容的全序，该形变等价性是否仍保持稳定？

主要发现

• Liouville对(ℝ²ⁿ, Πₜ)的相对骨架与根树T所对应的树状奇异点微分同胚。
• 形变通过前视图中一系列ribbotopy与微分同胚进行，关键操作为“VI”型Reidemeister式ribbotopy。
• 该过程为归纳性：在形变高层扭结前，先将低层嵌套扭结移开，从而避免拓扑障碍。
• 只要不交换相邻节点（相交球面），该形变在不同节点排序下保持一致。
• 相对骨架在形变下保持不变，且该构造在任意维数下成立，推广了A₁、A₂、A₃的情形。
• 结果确认树状奇异点自然地作为具有树状管状纤维的Lefschetz纤维丛的相对骨架出现，支持其在辛拓扑中作为形变通用模型的角色。