[논문 리뷰] Residual d-bar-cohomology and the complex Radon transform on subvarieties of CPn

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

Advanced Numerical Analysis Techniques참고 문헌 11인용 수 6

한 줄 요약

이 논문은 ℂPⁿ의 선형으로 오목한 도메인 내 국소적으로 완전교차 부분다양체의 잔여 ∂̄-코homology와 쌍대 도메인 내 일정계수 미분방정식의 정칙해의 공간 사이에 복소 Radon 변환을 통해 등장하는 등장사상(이sovorphism)을 수립한다. 주요 기여는 이전의 복소 Radon 변환 결과를 특이 부분다양체로 일반화하여, 변환이 코homology에 대해 등장사상임을 보이며, 명시적인 핵과 상의 조건을 제공한다는 것이다.

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ⁿ의 선형으로 오목한 도메인 내 국소적으로 완전교차 부분다양체로 부드러운 부분다양체에서의 복소 Radon 변환 등장사상의 확장.
• 이러한 부분다양체의 잔여 ∂̄-코homology를 쌍대 도메인 내 일정계수 미분방정식의 정칙해로 기술하는 것.
• Radon 변환의 코hom로에서의 핵과 상을 기존의 부드러운 경우에서 특이한 경우로 일반화하여 특성화하는 것.
• Radon 변환을 통해 부분다양체 위의 코homology 클래스와 쌍대 도메인 내 정칙 1-형식 사이의 명시적 대응을 설정하는 것.
• Radon 변환이 잔여 코homology의 약분수공간에서 전체 다양체로부터 온 코homology 클래스를 제거한 부분에서 등장사상임을 증명하는 것.

제안 방법

• 선형으로 오목한 도메인 D ⊂ ℂPⁿ과 그 쌍대 도메인 D* ⊂ (ℂPⁿ)*를 초평면 조건 ⟨ξ·z⟩ = 0 로 정의한다.
• V와 초평면 ℂPⁿ⁻¹_ξ의 교차를 적분하고 z_j dξ_j 로 가중치를 주어 정의된 복소 Radon 변환 R_V 를 사용한다.
• V_D = V ∩ D 상에서 (n−m, n−m−1) 형식의 ∂̄-폐쇄 형식과 그 코homology 클래스 H^{(n−m,n−m−1)}(V_D) 를 다룬다.
• 부분다양체 V 의 튜브근방 T^ε_{F^{(α)}}(t) 에 대한 극한 과정을 통해 잔여 미세측정을 구성하고, H(Ḡ_δ) 상의 해석적 함수형을 사용한다.
• 이러한 미세측정에 Radon 변환을 적용하고, 쌍대성과 코homological 추론을 사용하여 이미지가 dg 와 관련이 있음을 보이며, g 는 P_k(∂/∂ξ)g = 0 을 만족한다.
• 역 Abel 정리와 코homological 소멸을 사용하여 핵이 V 에서의 전역 ∂̄-코homology 의 이미지임을 특성화한다.

실험 결과

연구 질문

• RQ1 복소 Radon 변환은 선형으로 오목한 도메인 내 국소적으로 완전교차 부분다양체의 잔여 ∂̄-코homology 를 쌍대 도메인 내 정칙해와 어떻게 연결하는가?
• RQ2 특이 부분다양체에 대해 Radon 변환의 ∂̄-코homology 클래스에 대한 핵의 구조는 무엇인가?
• RQ3 Radon 변환의 코homology 상의 이미지가 일정계수 PDE 시스템을 만족하는 정칙함수의 정확미분형식인 정칙 1-형식과 일치하는 조건은 무엇인가?
• RQ4 부드러운 완전교차에서 임의의 국소적으로 완전교차 부분다양체로의 등장사상 일반화는 어떻게 이루어지는가?
• RQ5 측정의 지지집합과 H(Ḡ_δ) 상의 함수형 간의 쌍대성은 역대응을 구성하는 데 어떤 역할을 하는가?

주요 결과

• Radon 변환 R_V 는 H^{(n−m,n−m−1)}(V_D) 에서 H^{(1,0)}(D*) 로의 연속 선형 사상이며, 유한차원 핵을 가지며, 이는 전체 다양체 V 에서의 ∂̄-코homology 클래스의 제한으로 이루어진다.
• R_V 의 이미지는 D* 상의 정칙 1-형식의 공간이며, 이는 g 가 P_k(∂/∂ξ)g = 0 을 만족하는 정칙함수인 dg 의 정확미분형식과 정확히 일치한다.
• m = n−1 인 경우 핵 조건은 역 Abel 정리로부터 유도되며, m < n−1 인 경우 [HP1]의 결과로부터 유도된다.
• dim H⁰(ℂPⁿ, 𝒪/ℐ) = 1 이면 기능 μ^g 가 H⁰(ℂPⁿ, 𝒪/ℐ) 상에서 0이 되며, 이는 코homology 상에서 ψ^(δ) = 0 임을 의미하여 핵의 구조를 단순화한다.
• 튜브근방을 따라 극한 적분을 통해 잔여 미세측정을 구성함으로써 Radon 변환의 결과가 dg 와 일치함을 보장하여, 약분수공간에서의 등장사상이 성립함을 입증한다.
• D_δ 가 D 로 증가하는 극한 과정을 사용하며, D_δ 상에서 잔여 미세측정 θ^(δ) 의 Radon 변환은 dg 를 유도하며, θ^(δ) 와 θ^(δ′) 의 차이는 V ∩ D_δ 상에서 ∂̄-정확임을 보여준다.