[论文解读] Recent results on cohomology jump loci

Nero Budur, Botong Wang|arXiv (Cornell University)|Jul 24, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用 6

一句话总结

这篇综述论文介绍了上同调跳跃点集的最新进展，重点关注其与具有上同调约束的形变、秩一局部系统、基本群以及Bernstein-Sato理想的联系。研究结果表明，Bernstein-Sato理想的零点集的指数包含小球补集上局部系统的统一上同调支撑点集，且存在一个猜想等式，该等式统一了单值性定理与奇点理论。

ABSTRACT

This is a survey of recent results related to cohomology jump loci. It emphasizes connections with deformations with cohomology constraints, global structural results for rank one local systems and line bundles, some connections with restrictions on fundamental groups and homotopy types, and connections with classical singularity theory and Bernstein-Sato ideals.

研究动机与目标

• 综述上同调跳跃点集的最新发展，强调其与形变理论、局部系统及奇点理论的联系。
• 阐明复代数簇上秩一局部系统与线丛的结构性结果。
• 探讨上同调跳跃点集对基本群与同伦类型的约束。
• 通过统一上同调支撑点集，将经典的米尔诺单值性结果与Bernstein-Sato理想统一起来。
• 提出猜想：多变量Bernstein-Sato理想的零点集的指数等于小球补集上局部系统的统一上同调支撑点集。

提出的方法

• 通过自由解析的行列式理想，将Fitting理想推广至复形，为诺特环上有上界的复形定义上同调跳跃理想。
• 利用拟同构的自由解析，将上同调跳跃点集定义为模空间中的闭子概形。
• 应用形变理论研究具有上同调约束的全纯向量丛与表示的模空间。
• 通过单值性与米尔诺纤维，分析孤立超曲面奇点的穿孔邻域上秩一局部系统的性质。
• 通过在环面 $(\mathbb{C}^*)^r$ 上固定坐标，引入统一上同调支撑点集，以比较邻近点处的局部系统。
• 将多变量Bernstein-Sato理想 $B_{F,x}$ 定义为满足 $b\prod f_i^{s_i} = P\prod f_i^{s_i+1}$ 的多项式 $b(s_1,\dots,s_r)$ 的理想，其中 $P$ 为某微分算子。

实验结果

研究问题

• RQ1 上同调跳跃点集如何与全纯向量丛及表示的形变理论相关联？
• RQ2 上同调跳跃点集对空间的基本群与同伦类型施加了何种结构性约束？
• RQ3 小球补集上秩一局部系统的上同调支撑点集与单值性本征值之间有何关系？
• RQ4 能否通过统一支撑点集将经典的Malgrange-Kashiwara定理（关于Bernstein-Sato多项式）推广至多变量情形？
• RQ5 多变量Bernstein-Sato理想的零点集的指数是否等于局部系统的统一上同调支撑点集？

主要发现

• 通过自由解析的行列式理想，将Fitting理想推广至复形，定义了诺特环上上界复形的上同调跳跃点集。
• 对于具有 $r$ 个不同且无重根分支的超曲面奇点，其秩一局部系统在穿孔邻域上的Betti模空间同构于 $(\mathbb{C}^*)^r$，单值性由 $\lambda \in (\mathbb{C}^*)^r$ 参数化。
• 上同调支撑点集 $\bigcup_i \Sigma^i_1(U_{f,x})$ 与对角嵌入 $\mathbb{C}^* \to (\mathbb{C}^*)^r$ 的交集，给出了米尔诺纤维上同调的米尔诺单值性的本征值。
• Bernstein-Sato理想 $B_{F,x} \subset \mathbb{C}[s_1,\dots,s_r]$ 由条件 $b(s)\prod f_i^{s_i} = P\prod f_i^{s_i+1}$ 定义，其中 $P$ 为某微分算子，推广了经典的一变量情形。
• Bernstein-Sato理想 $B_{F,x}$ 的零点集的指数包含 $y$ 接近 $x$ 时的统一上同调支撑点集 $\Sigma^i_1(U_{f,y})^{\text{unif}}$，并提出猜想等式：$\text{Exp}(Z(B_{F,x})) = \bigcup_{i,y} \Sigma^i_1(U_{f,y})^{\text{unif}}$。
• 该结果推广了Malgrange-Kashiwara定理，表明多变量Bernstein-Sato多项式的根通过指数化编码了单值性本征值。