[论文解读] Lefschetz Hyperplane Theorem for Stacks

Daniel Halpern-Leistner|arXiv (Cornell University)|Aug 4, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用 3

一句话总结

本文利用Morse理论和Łojasiewicz不等式，建立了复流形上紧致光滑Deligne-Mumford堆栈的Lefschetz超平面定理，证明堆栈可通过高维有限圆盘商的附着方式形变收缩到其超平面截痕上。关键贡献在于无需对超平面截痕施加非退化性或一般性假设，将经典结果推广至具有整系数和同伦群的堆栈。

ABSTRACT

We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of deformation retracts and attachments of high-dimensional finite disc quotients. We use this to derive more familiar statements about the relative homotopy, homology, and cohomology groups of the pair $(X,Z)$. We also prove some preliminary results suggesting that the Lefschetz Hyperplane Theorem holds for Artin stacks as well. One technical innovation is to reintroduce an inequality of Łojasiewicz which allows us to prove the theorem without any genericity or nondegeneracy hypotheses on $Z$.

研究动机与目标

• 将经典的Lefschetz超平面定理推广至复流形上的紧致光滑Deligne-Mumford堆栈。
• 在整系数及同伦群的框架下建立该定理，而不仅限于有理同调。
• 通过Łojasiewicz不等式，消除对超平面截痕的非退化性或一般性条件的依赖。
• 在2-范畴框架下发展堆栈的Morse理论，通过2-余极限证明胞覆分解。
• 探讨该结果是否可推广至光滑Artin堆栈。

提出的方法

• 将Bott的Morse理论证明Lefschetz超平面定理的方法适配至Deligne-Mumford堆栈的设定。
• 应用Łojasiewicz不等式，确保在截痕非非退化时梯度流仍稳定。
• 利用Łojasiewicz不等式(L)，证明实解析函数的负梯度流可延拓为到零点集的形变收缩。
• 将胞覆附着构造为沿嵌入子堆栈的2-范畴余极限，确保分解在堆栈层面有效。
• 应用该理论表明堆栈X同伦等价于附着了高维圆盘商的Z。
• 借助Hepworth对DM堆栈底层空间Morse理论的奠基性工作，将其扩展至堆栈层面。

实验结果

研究问题

• RQ1 Lefschetz超平面定理能否推广至具有整系数和同伦群的光滑Deligne-Mumford堆栈，而不仅限于有理上同调？
• RQ2 Lefschetz超平面定理是否在不需假设超平面截痕非退化或一般性时依然成立？
• RQ3 堆栈的Morse理论能否以2-范畴方式表述，且胞覆附着为2-余极限？
• RQ4 该结果是否可推广至光滑Artin堆栈，特别是具有紧致表示的堆栈？
• RQ5 Łojasiewicz不等式在此背景下对奇异或退化函数的梯度流稳定性起到何种作用？

主要发现

• Lefschetz超平面定理对具有整系数的紧致光滑Deligne-Mumford堆栈成立，而不仅限于有理系数。
• 堆栈X通过一系列形变收缩及高维有限圆盘商的附着，形变收缩到其超平面截痕Z。
• 由于Łojasiewicz不等式的应用，该定理无需对截痕s施加任何非退化性或一般性假设。
• 若Łojasiewicz不等式(L)成立，则实解析函数f在X上的负梯度流可延拓为到零点集Z的连续形变收缩。
• 满足Łojasiewicz不等式的函数包括那些在非零光滑因子下为实解析的函数，这涵盖了众多自然的几何函数。
• 初步证据表明，同调Lefschetz定理可能可推广至一大类光滑Artin堆栈，特别是具有紧致表示的堆栈。