[论文解读] $L^2$-theory for the $\bar{\partial}$-operator on complex spaces with isolated singularities

Jean Ruppenthal|arXiv (Cornell University)|Oct 11, 2011

Advanced Mathematical Physics Problems参考文献 11被引用 3

一句话总结

本文通过使用奇点的解析解法，对具有孤立奇点的复空间上的 $\bar{\partial}$-算子的 $L^2$-理论进行了精细化，构造了 $L^2$-上同调的光滑模型。它建立了 $(0,q)$-形式与 $(n,q)$-形式的 $L^2$-上同调之间以及解析解上全纯线丛上同调之间的显式同构，通过拉回与对偶性实现了 $L^2$-上同调的典范实现。

ABSTRACT

We present a refined, improved $L^2$-theory for the $\bar{\partial}$-operator for $(0,q)$ and $(n,q)$-forms on Hermitian complex spaces of pure dimension $n$ with isolated singularities. The general philosophy is to use a resolution of singularities to obtain a regular model of the $L^2$-cohomology.

研究动机与目标

• 为具有孤立奇点的 Hermitian 复空间上的 $\bar{\partial}$-算子发展一种精细化的 $L^2$-上同调理论。
• 通过奇点解析与典范层，构造 $L^2$-上同调的光滑显式模型。
• 通过微分形式的拉回与前推，显式实现 $L^2$-上同调同构。
• 建立 $(0,q)$-形式的 $L^2$-上同调与解析解上全纯线丛上同调之间的典范同构。
• 在假设 $D = Z - |Z|$ 的条件下，证明 $\overline{\partial}_{s}$-复形是典范层 $\mathcal{K}_X^s$ 的细解析解。

提出的方法

• 使用仅具有法向相交的奇点解析解 $\pi: M \to X$，并设例外除子 $Z = \pi^{-1}(\operatorname{Sing}X)$，假设 $D = Z - |Z|$。
• 将典范层 $\mathcal{K}_X^s$ 定义为在 $L^2$-$(n,0)$-形式上满足 $\operatorname{Sing}X$ 处 Dirichlet 边界条件的 $\overline{\partial}_s$-算子的核。
• 在假设 $D = Z - |Z|$ 下，建立同构 $\mathcal{K}_X^s \cong \pi_*(\mathcal{K}_M \otimes \mathcal{O}(-D))$。
• 应用 Takegoshi 的消去定理，证明当 $q \geq 1$ 时有 $R^q\pi_*(\mathcal{K}_M \otimes \mathcal{O}(|Z| - Z)) = 0$，从而可使用 Leray 谱序列。
• 构造一个交换图，通过自然配对与由对偶性和拉回诱导的同构，关联 $L^2$-上同调群。
• 通过调和代表元与截断函数，显式在形式层面上实现上同调同构，以保持紧支集性质。

实验结果

研究问题

• RQ1 如何通过奇点解析法显式建模奇异复空间上 $\bar{\partial}$-算子的 $L^2$-上同调？
• RQ2 在何种条件下，典范层 $\mathcal{K}_X^s$ 可表示为 $\pi_*(\mathcal{K}_M \otimes \mathcal{O}(-Z + |Z|))$？
• RQ3 $(0,q)$-形式的 $L^2$-上同调与全纯线丛上同调之间的同构能否通过拉回与对偶性显式实现？
• RQ4 $\overline{\partial}_s$-复形在将 $\mathcal{K}_X^s$ 作为细层解析解中起什么作用？
• RQ5 假设 $D = Z - |Z|$ 如何通过解析解 $\pi: M \to X$ 实现 $L^2$-上同调的典范实现？

主要发现

• 典范层 $\mathcal{K}_X^s$ 同构于 $\pi_*(\mathcal{K}_M \otimes \mathcal{O}(-D))$，其中 $D = Z - |Z|$，为 $L^2$-上同调提供了相干且局部自由的模型。
• $\overline{\partial}_s$-复形构成 $\mathcal{K}_X^s$ 的细解析解，确保 $L^2$-上同调具有良好的性质且可计算。
• 在 $X$ 上 $(0,q)$-形式的 $L^2$-上同调通过映射 $i_q$ 与解析解 $M$ 上 $\mathcal{O}(Z - |Z|)$ 的上同调之间存在典范同构。
• 同构 $i_q: H^q_E(\widetilde{\Omega}, \mathcal{O}(Z - |Z|)) \to H^{0,q}_{\max}(\widetilde{\Omega}, L_{Z - |Z|})$ 通过具有紧支集的微分形式拉回显式实现。
• 自然配对诱导出 $H^{n,p}_{\min}(\widetilde{\Omega}, L_{|Z| - Z})^*$ 与 $H^{0,q}_{\max}(\Omega^*)$ 之间的同构，建立了 $L^2$-设定下的对偶性。
• 通过证明若 $i_q[a] = 0$，则 $[a] = 0$ 在 $H^q_E(\widetilde{\Omega}, \mathcal{O}(Z - |Z|))$ 中，利用截断函数与紧支集 $\overline{\partial}$-解，证明了 $i_q$ 的单射性。