[论文解读] L2-Properties of the dbar and the dbar-Neumann operator on spaces with isolated singularities

Nils Øvrelid, Jean Ruppenthal|arXiv (Cornell University)|Dec 8, 2012

Geometry and complex manifolds参考文献 23被引用 3

一句话总结

本文建立了具有孤立奇点的复空间及其解析解消上 $L^2$-性质与 $\bar\partial$-Neumann 算子和 $\bar\partial$-方程之间的精确对应关系。通过将奇异域 $Ω^*$ 上的 $L^2$-强制性、闭值域和紧致性与光滑解析解 $Ω'$ 上的相应性质相关联，作者证明：在中间度数之外，$Ω^*$ 上存在紧致解算子和紧致 $\bar\partial$-Neumann 算子当且仅当在 $Ω'$ 上也存在。

ABSTRACT

Let X be a Hermitian complex space of pure dimension with only isolated singularities and p: M -> X a resolution of singularities. Let D be a relatively compact domain in X with no singularities in the boundary, D^*=D-Sing(X) the regular part of D and D'=p^{-1}(D) the preimage of D under p. We relate L2-properties of the dbar and the dbar-Neumann operator on D^* to properties of the corresponding operators on D' (where the situation is classically well understood). Outside some middle degrees, there are compact solution operators for the dbar-equation on D^* exactly if there are such operators on the resolution D', and the dbar-Neumann operator is compact on D^* exactly if it is compact on D'.

研究动机与目标

• 理解具有孤立奇点的复空间上 $\bar\partial$-算子和 $\bar\partial$-Neumann 算子的 $L^2$-理论。
• 弥合复流形上已充分理解的 $L^2$-理论与奇异复空间上尚不完善的理论之间的差距。
• 确定在何种几何与分析条件下，奇异域上存在紧致解算子和紧致 $\bar\partial$-Neumann 算子。
• 在奇异域 $Ω^*$ 与其解析解 $Ω'$ 上的 $L^2$-性质之间建立精确对应关系。

提出的方法

• 使用奇点的解析解 $π: M \to X$ 将奇异域 $Ω^* = \Omega \setminus \operatorname{Sing}X$ 提升至复流形中的光滑域 $Ω' = \pi^{-1}(\Omega)$。
• 通过微分形式的拉回与前推，比较 $Ω^*$ 与 $Ω'$ 上 $\bar\partial$-算子的 $L^2$-上同调与值域性质。
• 应用典范解算子 ${\bf S}_{p,q}$ 与 ${\bf S}_{p,q+1}$，将 $Ω^*$ 上的 $\bar\partial$-Neumann 算子 $N_{p,q}$ 与 $Ω'$ 上的 $N_{p,q}^M$ 相关联。
• 利用恒等式 $N_{p,q} = {\bf S}_{p,q}^*{\bf S}_{p,q} + {\bf S}_{p,q+1}{\bf S}_{p,q+1}^*$，以解算子的紧致性来刻画 $N_{p,q}$ 的紧致性。
• 利用定理 6.2 中已确立的事实：$N_{p,q}$ 紧致当且仅当 ${\bf S}_{p,q}$ 与 ${\bf S}_{p,q+1}$ 均紧致。
• 证明 $Ω^*$ 上 $δ$-算子像的闭值域与有限余维数性质，通过解析解映射与 $Ω'$ 上的相应性质等价，尤其在非中间度数下成立。

实验结果

研究问题

• RQ1 在具有孤立奇点的域上，$δ$-方程的紧致解算子在何种条件下存在？
• RQ2 奇异复空间上 $δ$-Neumann 算子的紧致性与其在解析解上的行为有何关系？
• RQ3 在哪些度数（以形式类型 $p,q$ 表示）上，奇异空间与解析解之间 $L^2$-性质的对应关系会失效？
• RQ4 能否从解析解完全恢复奇异域上 $δ$-算子的 $L^2$-上同调与值域性质？
• RQ5 奇异域与其中的光滑解析解之间，紧致解算子的存在性是否存在精确等价？

主要发现

• 在中间度数之外，$Ω^*$ 上的 $δ$-Neumann 算子 $N_{p,q}$ 紧致当且仅当其在解析解 $Ω'$ 上的对应算子 $N_{p,q}^M$ 紧致。
• 在中间度数之外，$δ$-方程的紧致解算子在 $Ω^*$ 上存在当且仅当在 $Ω'$ 上存在。
• $δ_{p,q}$ 与 $δ_{p,q+1}$ 在 $Ω^*$ 上的闭值域性质，与在 $Ω'$ 上的相应性质等价，这是由于解析解映射保持了 $δ$-复形的结构。
• $Ω^*$ 的 $L^2$-上同调与 $Ω'$ 的 $L^2$-上同调在所有度数上同构，且两种情况下均存在调和代表元。
• 在 $Ω^*$ 上的典范解算子 ${\bf S}_{p,q}$ 与 ${\bf S}_{p,q+1}$ 紧致当且仅当其在 $Ω'$ 上的对应算子紧致，此结论通过恒等式 $N_{p,q} = {\bf S}_{p,q}^*{\bf S}_{p,q} + {\bf S}_{p,q+1}{\bf S}_{p,q+1}^*$ 得到证明。
• 紧致性与闭值域性质的等价性在整个解析解中一致成立，唯一例外是中间度数，其对应关系可能因拓扑或上同调障碍而失效。