[论文解读] The d-bar-equation on homogeneous varieties with an isolated singularity

Jean Ruppenthal|ArXiv.org|Mar 9, 2008

Algebraic Geometry and Number Theory参考文献 22被引用 3

一句话总结

该论文通过奇点的解析与法丛纤维上的积分，解决了在具有孤立奇点的齐性代数簇上 $ L^p $-空间中的 $\overline{\partial}$-方程，其中 $1 \leq p \leq \infty$。关键结果通过上同调群 $H^q(X, \mathcal{O}(N^{-\mu}))$ 明确识别了解的存在性障碍，并在 $X$ 为 $\mathbb{C}\mathbb{P}^1$ 或椭圆曲线时显式计算了这些群。

ABSTRACT

Let X be a regular irreducible variety in CP^{n-1}, Y the associated homogeneous variety in C^n, and N the restriction of the universal bundle of CP^{n-1} to X. In the present paper, we compute the obstructions to solving the d-bar-equation in the L^p-sense on Y for 1<=p<=\infty in terms of cohomology groups H^q(X,O(N^m)). That allows to identify obstructions explicitly if X is specified more precisely, for example if it is equivalent to CP^1 or an elliptic curve.

研究动机与目标

• 计算在具有孤立奇点的齐性代数簇上，$ L^p $-空间中 $\overline{\partial}$-方程解的存在性障碍。
• 将 $ L^2 $-上同调结果推广至 $1 \leq p \leq \infty$ 的更广 $ L^p $-框架。
• 通过加权 Dolbeault 复形，精确建立奇异代数簇上的 $ L^p $-Dolbeault 上同调与解析上基空间上的上同调群之间的联系。
• 利用纤维上的积分与加权复形，将 $ L^2 $ 与 $ L^\infty $ 的结果推广至中间的 $ L^p $-空间。
• 当 $\dim Y \geq 3$ 时，提供低度上 $ L^p $-上同调的显式消失结果。

提出的方法

• 使用 Hironaka 的奇点解析方法，通过一次爆破将 $\overline{\partial}$-方程拉回到光滑情形。
• 在解析上构造一个对应于法丛正常相交的加权 Dolbeault 复形，确保其正合性（定理 3.3）。
• 通过法丛例外除子的纤维上积分，构造 $\overline{\partial}$-方程的解。
• 应用 $\overline{\partial}$-延拓定理，当 $p$ 为次临界时，将穿孔区域上的 $ L^p $-闭形式提升至整个区域。
• 将奇异代数簇的 $ L^p $-Dolbeault 上同调与光滑基空间 $X \subset \mathbb{C}\mathbb{P}^{n-1}$ 上线丛 $\mathcal{O}(N^{-\mu})$ 的上同调联系起来。
• 利用 Grauert 的凸起方法与 Stein 域的性质，确保上同调中限制映射的满射性。

实验结果

研究问题

• RQ1 在具有孤立奇点的齐性代数簇上，$ L^p $-空间中 $\overline{\partial}$-方程的解存在性障碍是什么？
• RQ2 如何通过解析上的上同调来计算此类奇异代数簇上的 $ L^p $-Dolbeault 上同调？
• RQ3 对于哪些 $p$ 与 $q$ 值，$H^q_{(p)}(Y^*, \mathcal{O})$ 消失？其消失的决定因素是什么？
• RQ4 Ohsawa 与 Pardon-Stern 的 $ L^2 $-上同调结果能否推广至 $p \neq 2$ 的 $ L^p $-框架？
• RQ5 加权 Dolbeault 复形与纤维上积分在奇异空间上求解 $\overline{\partial}$-方程中起什么作用？

主要发现

• 当 $D$ 是 $Y$ 中包含原点 $0$ 的强伪凸区域，且 $1 \leq q \leq \dim Y - 2$ 时，对所有 $1 \leq p \leq \infty$，有 $H^q_{(p)}(D^*, \mathcal{O}) = 0$。
• 当 $d = \dim Y \geq 3$ 时，若 $p = 1$ 且 $1 \leq q \leq d-2$，则 $H^q_{(p)}(D^*, \mathcal{O})$ 消失。
• 当 $1 \leq q \leq d-2$ 时，显式证明了 $H^q(X, \mathcal{O}(N^{-\mu}))$ 在 $\mu \geq 1 + q - 2d$ 时消失。
• 当 $X = \mathbb{C}\mathbb{P}^k$ 时，若 $\mu \geq q - 2k$ 且 $1 \leq q \leq k$，则 $H^q(\mathbb{C}\mathbb{P}^k, \mathcal{O}(N^{-\mu}))$ 消失。
• 当 $p = 2n/(2n-1)$ 时，穿孔球体 $D^*$ 的 $L^p$-上同调在 $1 \leq q \leq k+1$ 时消失，即 $H^q_{(p)}(D^*, \mathcal{O}) = 0$。
• 该方法可计算 $2d/p \notin \mathbb{Z}$ 且 $p=1$ 时的 $ L^p $-Dolbeault 上同调，避免使用希尔伯特空间方法。