[论文解读] Koppelman formulas and the $\dbar$-equation on an analytic space

Mats Andersson, Håkan Samuelsson Kalm|arXiv (Cornell University)|Jan 4, 2008

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

一句话总结

本文在解析空间上构建了内在加权Koppelman公式，以求解斯坦空间正则点集上光滑且$\bar{\partial}$-闭的$(0,q)$-形式的$\bar{\partial}$-方程。通过在奇点附近构造具有受控增长的积分算子，证明了此类形式在奇点集处至多具有多项式增长的光滑解，从而为斯坦空间上的$\bar{\partial}$-问题提供了普遍解，并导出了新的Hartogs型定理和上同调消去结果。

ABSTRACT

Let $X$ be an analytic space of pure dimension. We introduce a formalism to generate intrinsic weighted Koppelman formulas on $X$ that provide solutions to the $\dbar$-equation. We prove that if $ϕ$ is a smooth $(0,q+1)$-form on a Stein space $X$ with $\dbarϕ=0$, then there is a smooth $(0,q)$-form $ψ$ on $X_{reg}$ with at most polynomial growth at $X_{sing}$ such that $\dbarψ=ϕ$. The integral formulas also give other new existence results for the $\dbar$-equation and Hartogs theorems, as well as new proofs of various known results.

研究动机与目标

• 建立斯坦解析空间正则点集上$\bar{\partial}$-闭光滑$(0,q)$-形式的$\bar{\partial}$-方程的普遍解。
• 构造内在的、加权的Koppelman积分算子，以在奇点集附近提供受控增长的解。
• 证明关于具有至少2维余维奇点的斯坦空间上全纯函数的新Hartogs型定理。
• 通过积分公式，为斯坦空间上$H^q(X, \mathcal{O}_X)$的Dolbeault上同调群在$q \geq 1$时的消去性提供新的证明。
• 利用余项电流和积分核，推广已知的$\bar{\partial}$-方程和弱全纯函数的结果。

提出的方法

• 通过内在积分表示引入解析空间上加权Koppelman核的形式化方法。
• 通过在$Z \times Z_{\text{reg}}$上对内在核$K$和$P$进行主值积分，构造解算子$\mathcal{K}$和$\mathcal{P}$。
• 使用加权形式$g^\mu = (\sigma \cdot a + \bar{\partial}\sigma \cdot H^1)^\mu$控制增长，确保在奇点附近的收敛性。
• 在全空间应用$\bar{\partial}$-Poincaré引理，并通过余项电流和全纯单位分解将其提升至解析空间。
• 利用与该代数簇相关的余项电流$R$来定义和分析$\bar{\partial}$-闭性及全纯延拓条件。
• 将整体问题约化为奇点附近的局部可解性，并利用单位分解将局部解拼合成具有受控增长的全局解。

实验结果

研究问题

• RQ1 斯坦空间正则点集上任意$\bar{\partial}$-闭光滑$(0,q)$-形式是否都存在一个在奇点集处至多具有多项式增长的光滑解？
• RQ2 能否在解析空间上构造内在的Koppelman公式，以在不依赖于嵌入全空间的情况下求解$\bar{\partial}$-方程？
• RQ3 在奇点集满足何种条件下，$\bar{\partial}$-方程存在受控增长的解，这与上同调消去性有何关联？
• RQ4 余项电流和加权积分核如何刻画亚纯函数或弱全纯函数的全纯延拓？
• RQ5 斯坦空间上$H^q(X, \mathcal{O}_X)$在$q \geq 1$时的消去性是否等价于存在具有受控增长的$\bar{\partial}$-方程光滑解？

主要发现

• 对于斯坦空间$X$正则点集上任意光滑$\bar{\partial}$-闭$(0,q)$-形式$\phi$，存在一个在$X_{\text{reg}}$上光滑的$(0,q)$-形式$\psi$，使得$\bar{\partial}\psi = \phi$，且满足$\psi(z) = \mathcal{O}(\delta(z)^{-M})$，其中$M$为某常数，$\delta(z)$为$z$到奇点集的距离。
• 解算子$\mathcal{K}$被构造为主值积分，其核为内在核$K$和$P$，并满足Koppelman公式$\phi = \bar{\partial}\mathcal{K}\phi + \mathcal{K}(\bar{\partial}\phi)$。
• 若$\phi \in C^{k}_{0,q}(Z)$且$k \geq N+1$，同时$\bar{\partial}\phi = 0$，则$\mathcal{K}\phi$为在$X_{\text{sing}}$处具有至多多项式增长的光滑解。
• 在斯坦空间上$\bar{\partial}$-方程存在全局解，意味着Dolbeault上同调群$H^q(X, \mathcal{O}_X)$在$q \geq 1$时为零。
• 对于余维数$\nu \geq 2$的斯坦空间$X$，若对每个不可约分支$X^\ell$，集合$X_{\text{reg}}^\ell \setminus K$连通，则$X \setminus K$上的全纯函数可全纯延拓至$K$。
• 条件$R \wedge \bar{\partial}\phi = 0$刻画了$Z$上亚纯函数$\phi$为强全纯的充要条件，该结论通过带显式解析延拓的Koppelman公式得到证明。