[论文解读] Maslov index formulas for Whitney n-gons

Sucharit Sarkar|arXiv (Cornell University)|Sep 25, 2006

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

一句话总结

本文利用从Heegaard图中获得的组合数据，推导出在曲面对称积中Whitney $n$-边形的Maslov指标的显式公式。该方法还计算了此类 $n$-边形与胖对角线的交点数，为计算Heegaard Floer同调及其相关4-流形理论中的不变量提供了关键工具。

ABSTRACT

In this short article, we find an explicit formula for Maslov index of Whitney n-gons joining intersections points of n half-dimensional tori in the symmetric product of a surface. The method also yields a formula for the intersection number of such an n-gon with the fat diagonal in the symmetric product.

研究动机与目标

• 推导出在曲面的对称积中，连接 $n$ 个半维环面交点的Whitney $n$-边形的Maslov指标的组合公式。
• 将现有关于三角形（$n=3$）和圆盘（$n=2$）的Maslov指标公式推广至一般 $n$-边形。
• 同时计算此类 $n$-边形与对称积中胖对角线的交点数。
• 支持Heegaard Floer同调及Ozsváth-Szabó 4-流形不变量的组合不变量的发展。
• 通过统一框架将Rasmussen与Lipshitz早期关于Maslov指标的研究推广至更高阶的 $n$-边形全纯圆盘。

提出的方法

• 定义一个Heegaard图 $(\Sigma, \eta^1, \ldots, \eta^n, w)$，其中包含 $n$ 组曲线 $\eta^i$ 和基点 $w_l$，每组 $\eta^i$ 生成 $H_1(\Sigma)$ 的一个半维子空间。
• 在对称积 $\mathrm{Sym}^k\Sigma$ 中构造 $n$ 个全实环面 $T_i = \prod_j \eta^i_j$，并考虑其两两交点 $P^{i,j} = T_i \cap T_j$。
• 将Whitney $n$-边形表示为Heegaard图中的一个2-链 $D$，其边界分量映射到 $\eta^i$ 曲线。
• 采用Lipshitz风格的柱面重构，将 $n$-边形建模为全纯映射 $u: F \to D^2 \times \Sigma$，其中 $F$ 是具有 $n$ 个边界分量的曲面。
• 将Maslov指标 $\mu(D)$ 定义为该类映射模空间上线性化 $\overline{\partial}$-算子的行列线丛的欧拉示性数。
• 利用 bordered Riemann 曲面的 $\overline{\partial}$-算子的指标定理，推导出 $\mu(D)$ 的组合公式，其形式为 $D$ 与 $\eta^i$ 曲线的交点数以及 $D$ 所包含的基点 $w_l$ 的数量的函数。

实验结果

研究问题

• RQ1 在曲面的对称积中，Whitney $n$-边形的Maslov指标是否存在通用的组合公式？
• RQ2 如何从Heegaard图的数据中计算Whitney $n$-边形与 $\mathrm{Sym}^k\Sigma$ 中胖对角线的交点数？
• RQ3 能否将 $n=2$（圆盘）和 $n=3$（三角形）的Maslov指标公式推广至任意 $n$？
• RQ4 何种条件可确保Heegaard图中的给定2-链 $D$ 由唯一的全纯 $n$-边形实现？
• RQ5 Maslov指标如何与所包含的基点数量以及区域与 $\eta^i$ 曲线的交点模式相关联？

主要发现

• Whitney $n$-边形的Maslov指标 $\mu(D)$ 由区域的欧拉示性数及来自基点和曲线交点的校正项共同决定。
• Maslov指标的公式为 $\mu(D) = \chi(D) + 2\sum_{i=1}^n \#(D \cap \eta^i) - 2\sum_{l=1}^{k-g+1} \#(D \cap w_l)$，其中 $\chi(D)$ 为区域的欧拉示性数。
• 在 $\mathrm{Sym}^k\Sigma$ 中，$n$-边形与胖对角线的交点数等于区域 $D$ 所包含的基点 $w_l$ 的数量（按重数计数）。
• 对于满足 $\iota(D) = 0$ 的区域 $D$，存在唯一的Lipshitz映射 $(F,u)$ 表示 $D$，这意味着模空间 $\mathcal{M}(\phi)$ 恰好由一个点构成。
• 通过证明：若曲面 $F$ 中存在重叠点，则投影 $p_1 \circ u$ 的分支点数量将增加，从而与假设 $\iota(D) = 0$ 矛盾，从而确立了全纯代表的唯一性。
• 该方法验证了Maslov指标公式与 bordered Riemann 曲面的 $\overline{\partial}$-算子指标定理一致，从而支持了组合方法的有效性。