[论文解读] The combinatorics of Morse theory with boundary

Jonathan M. Bloom|arXiv (Cornell University)|Dec 28, 2012

Geometric and Algebraic Topology参考文献 11被引用 7

一句话总结

本文提出了一种使用双图（bigraphs）——有向超图的扩展——的组合框架，用于建模带边流形上的Morse理论与Floer理论。通过在双图上定义一个权重分次路径微分代数（DGA），并证明微分的平方为零且满足结构方程，作者为构建边界莫泊莱弗洛尔同调及相关理论中的不变量提供了基础性的代数工具。

ABSTRACT

We prove several combinatorial results on path algebras over discrete structures related to directed graphs. These results are motivated by Morse theory on a manifold with boundary and, more generally, by Floer theory on a configuration space with boundary. Their purpose is to organize cobordism relationships among moduli spaces in order to define new algebraic invariants. We discuss applications to the Morse and Fukaya categories, and to work with John Baldwin on a bordered monopole Floer theory.

研究动机与目标

• 形式化Morse理论与Floer理论中轨迹模空间之间的cobordism关系，适用于带边流形。
• 将路径DGA形式化从有向图推广至超图（higraphs）及其双图覆盖，整合边界结构。
• 在双图上定义一个权重分次微分，以建模轨迹空间及其边界相互作用。
• 证明微分的平方为零且满足结构方程，从而支持新代数不变量的构造。
• 为边界莫泊莱弗洛尔同调及其相关Floer理论不变量提供组合基础。

提出的方法

• 引入higraphs作为有向超图，其中路径构成在𝔽₂上的微分分次代数（DGA）。
• 将双图定义为higraph的三层覆盖（内部、稳定、不稳定顶点），包含内部边与边界边。
• 为边分配权重：内部边权重为1，边界边权重根据源/目标顶点类型为可变值。
• 通过求和所有权重高1且源与目标相同的路径，定义路径上的微分δ̃。
• 通过双图中路径对的消去，证明δ̃² = 0，反映Morse理论中cobordism关系。
• 在树状与耙状双图中，为特定元素D̃（权重为1的路径之和）建立结构方程δ̃D̃ = D̃∘D̃。

实验结果

研究问题

• RQ1 如何将有向图上路径代数的组合学扩展，以建模带边流形上的Morse理论？
• RQ2 在存在边界的情况下，断裂轨迹模空间会自然产生何种代数结构？
• RQ3 如何定义路径DGA中的微分，以同时反映内部与边界轨迹流？
• RQ4 在双图设定下，结构方程δ̃D̃ = D̃∘D̃在何种条件下成立？
• RQ5 该框架能否用于定义边界莫泊莱弗洛尔同调中的新不变量？

主要发现

• 双图路径DGA上的微分δ̃满足δ̃² = 0，确保复形定义良好。
• 在树状双图中，当D̃定义为从内部顶点到不稳定顶点的所有权重为1的路径之和时，有δ̃D̃ = D̃∘D̃。
• 在耙状双图中，当D̃为从内部顶点到稳定顶点的所有权重为1的路径之和时，类似的结构方程成立。
• 在δ̃D̃中出现的三对路径消去，未出现在D̃∘D̃中，反映了边界上断裂轨迹作为一维族的两端以两种方式出现的事实。
• 该框架为带边流形上的Morse同调提供了组合模型，通过不稳定细胞的代数消去与胞腔链复形一致。
• 双图DGA中的结构方程为在Floer理论构造中（如莫泊莱弗洛尔同调中的手术正合三角形）在higraph层面工作提供了理论依据。