[논문 리뷰] $L^2$-theory for the $\bar{\partial}$-operator on complex spaces with isolated singularities

Jean Ruppenthal|arXiv (Cornell University)|2011. 10. 11.

Advanced Mathematical Physics Problems참고 문헌 11인용 수 3

한 줄 요약

이 논문은 고립된 특이점을 가진 복소 공간 위에서 $\bar{\partial}$-연산자의 $L^2$-이론을 정교화하기 위해 특이점의 해소를 사용하여 $L^2$-코homology에 대한 매끄러운 모델을 구축한다. $(0,q)$-형식과 $(n,q)$-형식의 $L^2$-코homology 사이에 명시적인 동형사상과 특이점의 해소 위의 정칙 선다발의 코homology 사이에 동형사상을 확립함으로써, $L^2$-코homology를 당김과 쌍대성에 의해 정규화된 형태로 실현한다.

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.

연구 동기 및 목표

• 고립된 특이점을 가진 헤르미트 복소 공간에서 $\bar{\partial}$-연산자에 대한 정교화된 $L^2$-코homology 이론을 개발하기 위해.
• 특이점의 해소와 정규층을 활용하여 $L^2$-코homology에 대한 매끄럽고 명시적인 모델을 구축하기 위해.
• 미분형식의 당김과 전개를 통해 $L^2$-코homology 동형사상을 명시적으로 실현하기 위해.
• $(0,q)$-형식의 $L^2$-코homology와 해소 위의 정칙 선다발의 코homology 사이에 정규 동형사상을 확립하기 위해.
• 가정 $D = Z - |Z|$ 하에 $\overline{\partial}_{s}$-복합체가 $\mathcal{K}_X^s$의 미세층 해석을 이룬다는 것을 증명하기 위해.

제안 방법

• 정규 교차만을 가지며 예외적 인자 $Z = \pi^{-1}(\operatorname{Sing}X)$를 가진 특이점의 해소 $\pi: M \to X$를 사용하며, $D = Z - |Z|$ 라는 조건을 가정한다.
• $\overline{\partial}_s$-연산자가 $L^2$-$(n,0)$-형식 위에서 작용하며 $\operatorname{Sing}X$에서 딜리클레 경계 조건을 만족시키는 경우, 균일층 $\mathcal{K}_X^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$-코homology 군들 사이의 가환도형을 구성한다.
• 조화 대표형식과 컷오프 함수를 사용하여 컴팩트 지지를 유지하면서 형식 수준에서 코homology 동형사상을 명시적으로 실현한다.

실험 결과

연구 질문

• RQ1 특이 복소 공간 위에서 $\bar{\partial}$-연산자의 $L^2$-코homology는 특이점의 해소를 통해 어떻게 명시적인 모델로 표현될 수 있는가?
• RQ2 정규층 $\mathcal{K}_X^s$는 어떤 조건에서 $\pi_*(\mathcal{K}_M \otimes \mathcal{O}(-Z + |Z|))$로 표현될 수 있는가?
• RQ3 $(L^2$-코homology와 정칙 선다발의 코homology 사이의 동형사상은 당김과 쌍대성에 의해 명시적으로 실현될 수 있는가?
• RQ4 $\overline{\partial}_s$-복합체는 $\mathcal{K}_X^s$를 미세층으로서 해소하는 데 어떤 역할을 하는가?
• RQ5 $D = Z - |Z|$ 라는 가정은 해소 $\pi: M \to X$를 통해 $L^2$-코homology를 어떻게 정규화된 형태로 실현하는가?

주요 결과

• 정규층 $\mathcal{K}_X^s$는 $D = Z - |Z|$ 라는 조건 하에 $\pi_*(\mathcal{K}_M \otimes \mathcal{O}(-D))$와 동형이며, 이는 $L^2$-코homology에 대한 매끄럽고 국소 자유인 모델을 제공한다.
• $\overline{\partial}_s$-복합체는 $\mathcal{K}_X^s$의 미세층 해석을 이룬다. 이는 $L^2$-코homology가 잘 정의되고 계산 가능하다는 것을 보장한다.
• $X$ 위의 $(0,q)$-형식의 $L^2$-코homology는 해소 $M$ 위에서 $\mathcal{O}(Z - |Z|)$의 코homology와 맵 $i_q$를 통해 정규 동형이다.
• 형식 수준에서 명시적으로 실현된 동형사상 $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$의 단사성을 증명하기 위해, 만약 $i_q[a] = 0$ 이면 $[a] = 0$ 이다. 이를 위해 컷오프 함수와 컴팩트 지지를 가지는 $\overline{\partial}$-해를 사용한다.