[論文レビュー] 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

ひとこと要約

本稿は、複素射影空間 ℂPⁿ の線形的凹領域内の局所的完備交差部分多様体の残余 ∂̄-コホモロジーと、双対領域における定数係数微分方程式の正則解の空間との間に、複素ラドン変換を介して同型を確立する。主な貢献は、従来の正則部分多様体に関する複素ラドン変換の結果を特異的部分多様体へ一般化し、変換がコホモロジーに同型を誘導することを示したことである。明示的な核と像の条件が得られる。

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)^*$.

研究の動機と目的

• 線形的凹領域内の ℂPⁿ における局所的完備交差部分多様体へ、正則部分多様体における複素ラドン変換の同型を拡張すること。
• このような部分多様体の残余 ∂̄-コホモロジーを、双対領域における定数係数微分方程式の正則解の言語で記述すること。
• ラドン変換のコホモロジー上での核と像を特定し、滑らかから特異な場合へ一般化すること。
• ラドン変換を介して、部分多様体上のコホモロジー類と双対領域における正則1形式との明示的対応を確立すること。
• ラドン変換が、残余コホモロジーを、埋め込み多様体からのコホモロジー類の類別で割った商空間上で同型を誘導することを証明すること。

提案手法

• 超平面条件 ⟨ξ·z⟩ = 0 を用いて、ℂPⁿ に含まれる線形的凹領域 D ⊂ ℂPⁿ 及びその双対 D* ⊂ (ℂPⁿ)* を定義する。
• 各超平面 ℂPⁿ⁻¹_ξ との交わりにおける積分を用いて、z_j dξ_j を重みとする、V 上の複素ラドン変換 R_V を定義する。
• V_D = V ∩ D 上の (n−m, n−m−1) 型 ∂̄-閉形式と、それらのコホモロジー類 H^{(n−m,n−m−1)}(V_D) を扱う。
• 部分多様体 V の近傍 T^ε_{F^{(α)}}(t) を用いた極限過程を通じて、H(Ḡ_δ) 上の解析的汎関数を用いて、残余電流を構成する。
• これらの電流にラドン変換を適用し、双対性およびコホモロジー的議論を用いて、像を dg に帰着させ、g が P_k(∂/∂ξ)g = 0 を満たすことを示す。
• 逆アベル定理およびコホモロジー的消滅を用いて、核を V からのグローバル ∂̄-コホモロジー類の像として特徴づける。

実験結果

リサーチクエスチョン

• RQ1 複素ラドン変換は、線形的凹領域内の局所的完備交差部分多様体の残余 ∂̄-コホモロジーと、双対領域における正則解とどのように関係するか？
• RQ2 特異的部分多様体に対するラドン変換のコホモロジー類への核の構造はいかなるものか？
• RQ3 ラドン変換の像が、定数係数微分方程式系を満たす正則関数の全微分としての正則1形式と一致する条件は何か？
• RQ4 滑らかな完備交差から、任意の局所的完備交差部分多様体へ同型がどのように一般化されるか？
• RQ5 電流の台と H(Ḡ_δ) 上の汎関数の双対性が、逆対応を構成する際に果たす役割は何か？

主な発見

• ラドン変換 R_V は、H^{(n−m,n−m−1)}(V_D) から H^{(1,0)}(D*) への連続な線形写像を誘導し、核は有限次元であり、全多様体 V からの ∂̄-コホモロジー類の制限からなる。
• R_V の像は、D* 上の正則1形式の空間にちょうど一致し、その各1形式は dg と表され、g は D* 上で P_k(∂/∂ξ)g = 0 (k = 1,…,r) を満たす正則関数である。
• m = n−1 の場合、核条件は逆アベル定理により従う。m < n−1 の場合、[HP1] の結果により従う。
• dim H⁰(ℂPⁿ, 𝒪/ℐ) = 1 ならば、汎関数 μ^g は H⁰(ℂPⁿ, 𝒪/ℐ) 上で消えるため、コホモロジーにおいて ψ^(δ) = 0 となり、核構造が単純化される。
• 部分多様体のチューブ近傍を用いた極限積分による残余電流の構成により、電流のラドン変換が dg に一致することが保証され、商空間上での同型が確立される。
• D_δ を D に増大させる極限過程を用い、D_δ 上の残余電流 θ^(δ) のラドン変換が dg を与えることを示した。θ^(δ) と θ^(δ′) の差は、V ∩ D_δ 上で ∂̄-正確である。