[论文解读] About the d-bar-equation at isolated singularities with regular exceptional set

Jean Ruppenthal|ArXiv.org|Mar 3, 2008

Differential Equations and Boundary Problems参考文献 13被引用 9

一句话总结

本文针对具有孤立奇点的奇异复空间上的 $\bar\partial$-方程，发展了一套上同调障碍理论，利用消去 singularities 和例外集的几何结构。研究建立了 $L^2$ 与 $L^\infty$ 可解性的充分条件，这些条件以正则例外除子 $X$ 上的上同调群 $H^1(X, \mathcal{O}(N^{-\mu}))$ 的消失性来刻画，且对不可约锥面情形给出了最优 Hölder 估计。

ABSTRACT

Let Y be a pure dimensional analytic variety in C^n with an isolated singularity at the origin such that the exceptional set X of a desingularization of Y is regular. The main objective of this paper is to present a technique which allows to determine obstructions to the solvability of the d-bar-equation in the $L^2$ respectively $L^\infty$ sense on Y^*=Y-{0} in terms of certain cohomology classes on X. More precisely, let D be a Stein domain, relatively compact in Y, containing the origin, D^*=D-{0}. We give a sufficient condition for the solvability of the d-bar-equation in the $L^2$-sense on D^*; and in the $L^\infty$ sense, if D is in addition strongly pseudoconvex. If Y is an irreducible cone, we also give some necessary conditions and obtain optimal Hoelder estimates for solutions of the d-bar-equation.

研究动机与目标

• 为确定在具有孤立奇点的奇异复空间上求解 $\bar\partial$-方程的障碍，发展系统化的方法。
• 解决在奇异 Stein 空间上 $\bar\partial$-理论不完整的问题，特别是在 $L^2$ 与 Hölder 正则性设定下。
• 建立在奇异代数曲线 $Y^*$ 的正则部分上，$L^2$ 与 $L^\infty$ 可解性的充分必要条件。
• 为不可约锥面情形提供最优 Hölder 估计。
• 通过消去 singularities，将 $Y^*$ 上 $\bar\partial$-方程的可解性与例外集 $X$ 上的上同调群联系起来。

提出的方法

• 使用 Hironaka 的消去 singularities 方法，将 $Y$ 的孤立奇点解析化，得到一个具有例外除子 $X = \pi^{-1}(0)$ 的光滑流形 $M$。
• 通过将问题拉回到 $M \setminus X$，在正则部分的内在设定下研究 $Y^* = Y \setminus \{0\}$ 上的 $\bar\partial$-方程。
• 在加权齐次流形上应用 $\bar\partial$-积分公式，以构造解并估计其正则性。
• 分析例外集 $X$ 上线丛 $\mathcal{O}(N^{-\mu})$ 的上同调，以推导障碍。
• 应用 Riemann-Roch 定理与 Serre 对偶性，计算特定例子（如 $\mathbb{C}\mathbb{P}^1$ 与椭圆曲线）的 $H^1(X, \mathcal{O}(N^{-\mu}))$。
• 利用同构关系 $H^q(M, \mathcal{O}_M) \cong \bigoplus_{\mu \geq 0} H^q(X, \mathcal{O}(N^{-\mu}))$，将 $M$ 上的全局上同调与 $X$ 上的上同调联系起来。

实验结果

研究问题

• RQ1 例外集 $X$ 上的哪些上同调条件可保证 $Y^*$ 上 $\bar\partial$-方程的 $L^2$ 可解性？
• RQ2 当 $Y$ 为强拟凸时，$\bar\partial$-方程在什么条件下允许 $L^\infty$ 解？
• RQ3 是否可为不可约锥面上的 $\bar\partial$-方程解获得最优 Hölder 估计？
• RQ4 $H^1(X, \mathcal{O}(N^{-\mu}))$ 上同调群与奇异空间 $Y$ 上 $\bar\partial$-方程可解性之间有何关系？
• RQ5 例外集 $X$ 的法丛 $N$ 在决定可解性障碍中起何精确作用？

主要发现

• 当 $H^1(X, \mathcal{O}(N^{-\mu})) = 0$ 对所有 $\mu \geq 1 - d$ 成立时，其中 $d = \dim Y$，这是 $\Omega^*$ 上 $\bar\partial$-方程 $L^2$ 可解性的充分条件，$\Omega$ 是包含原点的 $Y$ 中的 Stein 域。
• 对于强拟凸域 $\Omega$，若对所有 $\mu \geq 1$ 有 $H^1(X, \mathcal{O}(N^{-\mu})) = 0$，则 $\Omega^*$ 上 $\bar\partial$-方程的 $L^\infty$ 可解性成立。
• 对于不可约锥面，本文推导出 $\bar\partial$-方程解的最优 Hölder 估计，扩展了早期关于有理双面点与商簇的研究结果。
• 当 $Y = \{(x,y,z) \in \mathbb{C}^3 : xy = z^2\}$ 时，例外集 $X \cong \mathbb{C}\mathbb{P}^1$ 满足对所有 $\mu \leq 1$ 有 $H^1(X, \mathcal{O}(N^{-\mu})) = 0$，从而保证了 $L^2$ 与 $L^\infty$ 可解性。
• 对于椭圆曲线例外集（如 $Y = \{(x,y,z) \in \mathbb{C}^3 : y^2 z = x^3 + a x z^2 + b z^3\}$），当所有 $\mu \leq -1$ 时有 $H^1(X, \mathcal{O}(N^{-\mu})) = 0$，从而确保了 $L^\infty$ 可解性。
• 全局上同调满足 $H^q(M, \mathcal{O}_M) \cong \bigoplus_{\mu \geq 0} H^q(X, \mathcal{O}(N^{-\mu}))$ 对所有 $q \geq 1$ 成立，从而以例外集为基准，提供了完整的上同调分解。