[论文解读] On the L^2-Stokes theorem and Hodge theory for singular algebraic varieties

Daniel Grieser, Matthias Lesch|ArXiv.org|Feb 9, 1999

Algebraic Geometry and Number Theory参考文献 7被引用 4

一句话总结

本文在具有孤立奇点的奇异代数簇上建立了 L^2-Stokes 定理与 Hodge 理论，方法是基于其正则部分上的 L^2 de Rham 与 Dolbeault 复形。证明了 L^2-Laplacian 在除复维数为 n 时的度数 n−1、n、n+1 外均为离散算子，且在这些度数之外验证了 Hodge 定理与 L^2-Stokes 定理，同时表明 L^2-Stokes 定理在实代数簇与非紧空间上可能不成立。

ABSTRACT

For a projective algebraic variety $V$ with isolated singularities, endowed with a metric induced from an embedding, we consider the analysis of the natural partial differential operators on the regular part of $V$. We show that, in the complex case, the Laplacians of the de Rham and Dolbeault complexes are discrete operators except possibly in degrees $n,n\pm 1$, where $n$ is the complex dimension of $V$. We also prove a Hodge theorem on the operator level and the $L^2$--Stokes theorem outside the degrees $n-1,n$. We show that the $L^2$-Stokes theorem may fail to hold in the case of real algebraic varieties, and also discuss the $L^2$-Stokes theorem on more general non-compact spaces.

研究动机与目标

• 将 Hodge 理论与 L^2-Stokes 定理推广至具有孤立奇点的奇异射影代数簇。
• 分析此类簇的正则部分上 de Rham 与 Dolbeault Laplacian 的谱性质。
• 确定由于奇点存在，L^2-Stokes 定理与 Hodge 同构性可能失效的度数。
• 对比复代数簇与实代数簇中 L^2-Stokes 定理的行为差异。
• 将 L^2-Stokes 定理推广至超越射影簇的非紧空间。

提出的方法

• 分析在嵌入诱导度量下具有孤立奇点的射影簇 V 的正则部分。
• 在 L^2 设置下研究 de Rham 与 Dolbeault 复形，重点关注其关联的 Laplacian 算子。
• 证明除可能在度数 n−1、n、n+1 外，所有度数的 Laplacian 均为离散算子，其中 n 为 V 的复维数。
• 在算子层面上证明 Hodge 定理，表明 L^2 调和形式在除 n−1、n 外的所有度数中实现上同调。
• 利用微分算子的闭性与稠密性性质，在度数 n−1、n 之外验证 L^2-Stokes 定理。
• 构造反例以表明 L^2-Stokes 定理在实代数簇及更一般的非紧空间上可能不成立。

实验结果

研究问题

• RQ1 对于具有孤立奇点的奇异复代数簇，L^2-Stokes 定理在哪些度数上失效？
• RQ2 de Rham 与 Dolbeault 复形的 Laplacian 在奇异射影簇的正则部分上是否为离散算子？
• RQ3 L^2 de Rham 与 Dolbeault 复形在奇异簇上是否满足 Hodge 定理？在哪些度数上成立？
• RQ4 L^2-Stokes 定理能否推广至非紧或实代数簇？其障碍是什么？
• RQ5 与其它度数相比，Laplacian 的谱性质在临界度数 n−1、n、n+1 上有何不同？

主要发现

• de Rham 与 Dolbeault 复形的 Laplacian 在奇异射影簇的正则部分上为离散算子，除可能在度数 n−1、n、n+1 外，其中 n 为簇的复维数。
• 在算子层面上，L^2 de Rham 与 Dolbeault 复形的 Hodge 定理成立，且调和形式在除可能 n−1、n 外的所有度数中实现上同调。
• L^2-Stokes 定理在 de Rham 复形中于度数 n−1 与 n 之外成立，确保 d 的像在 L^2 中闭。
• L^2-Stokes 定理在实代数簇上可能不成立，已通过显式反例证明。
• 实情形下 L^2-Stokes 定理的失效以及在非紧空间上的失效，凸显了复结构与紧致性在定理有效性中的关键作用。
• 结果被推广至更一般的非紧空间，其中 L^2-Stokes 定理可能因几何或拓扑障碍而失效。