[论文解读] Residual d-bar-cohomology and the complex Radon transform on subvarieties of CPn

Gennadi M. Henkin, Peter L. Polyakov|arXiv (Cornell University)|Dec 20, 2010

Advanced Numerical Analysis Techniques参考文献 11被引用 6

一句话总结

本文通过复Radon变换，在ℂPⁿ中线性拟凸域的局部完全交子簇的残余∂̄-上同调与对偶域中常系数微分方程的全纯解空间之间建立了同构关系。关键贡献在于将早期关于复Radon变换的结果推广至奇异子簇情形，证明该变换在上同调上诱导同构，并明确给出了核与像的条件。

ABSTRACT

We show that the complex Radon transform realizes an isomorphism between the space of residual $\bar\partial$-cohomologies of a locally complete intersection subvariety in a linearly concave domain of ${\C}P^n$ and the space of holomorphic solutions of the associated homogeneous system of differential equations withconstant coefficients in the dual domain in $({\C}P^n)^*$.

研究动机与目标

• 将复Radon变换同构关系从光滑子流形推广至ℂPⁿ中线性拟凸域内的局部完全交子簇。
• 以对偶域中常系数微分方程的全holomorphic解形式描述此类子簇的残余∂̄-上同调。
• 刻画Radon变换在上同调上的核与像，将光滑情形的结果推广至奇异情形。
• 通过Radon变换在子簇上同调类与对偶域中全纯1-形式之间建立显式对应关系。
• 证明Radon变换在残余上同调模去来自全纯簇的上同调类的商空间上诱导同构。

提出的方法

• 通过超平面条件⟨ξ·z⟩ = 0，定义ℂPⁿ中的线性拟凸域D ⊂ ℂPⁿ及其对偶域D* ⊂ (ℂPⁿ)*。
• 使用通过在超平面ℂPⁿ⁻¹_ξ上积分并加权z_j dξ_j定义的复Radon变换R_V。
• 研究V_D = V ∩ D上( n−m, n−m−1 )型∂̄-闭形式及其在H^{(n−m,n−m−1)}(V_D)中的上同调类。
• 通过子簇V的管状邻域T^ε_{F^{(α)}}(t)上的极限过程，构造残余电流，利用H(Ḡ_δ)上的解析泛函。
• 对这些电流应用Radon变换，并利用对偶性与上同调论证，将像关系关联至dg，其中g满足P_k(∂/∂ξ)g = 0。
• 利用逆Abel定理与上同调消去性，将核刻画为来自V的全局∂̄-上同调类的像。

实验结果

研究问题

• RQ1 复Radon变换如何将线性拟凸域中局部完全交子簇的残余∂̄-上同调与对偶域中的全纯解联系起来？
• RQ2 对于奇异子簇，Radon变换在∂̄-上同调类上的核具有何种结构？
• RQ3 在何种条件下，Radon变换在上同调上的像与满足常系数PDE组的全纯函数的全纯1-形式全纯微分完全一致？
• RQ4 该同构关系如何从光滑完全交推广至任意局部完全交子簇？
• RQ5 电流的支集与H(Ḡ_δ)上泛函的对偶性在构造逆对应关系中起到何种作用？

主要发现

• Radon变换R_V诱导从H^{(n−m,n−m−1)}(V_D)到H^{(1,0)}(D*)的连续线性映射，其核为有限维，且由全纯簇V上∂̄-上同调类的限制构成。
• R_V的像恰好为D*上全纯1-形式的集合，这些1-形式可表示为dg，其中g为D*上的全纯函数且满足对所有k = 1,…,r有P_k(∂/∂ξ)g = 0。
• 当m = n−1时，核条件由逆Abel定理推出；当m < n−1时，由[HP1]中的结果推出。
• 当dim H⁰(ℂPⁿ, 𝒪/ℑ) = 1时，泛函μ^g在H⁰(ℂPⁿ, 𝒪/ℑ)上为零，意味着在上同调中ψ^(δ) = 0，从而简化了核的结构。
• 通过管状邻域上的极限积分构造残余电流，确保该电流的Radon变换等于dg，从而在商空间上建立同构。
• 证明中采用D_δ递增趋于D的极限过程，表明在D_δ上残余电流θ^(δ)的Radon变换为dg，且θ^(δ)与θ^(δ′)在V ∩ D_δ上的差为∂̄-恰当形式。