[논문 리뷰] L2-theory for the dbar-operator on compact complex spaces

Jean Ruppenthal|arXiv (Cornell University)|2010. 04. 02.

Geometry and complex manifolds인용 수 1

한 줄 요약

이 논문은 특이 복소 공간 위에서 $\overline\partial$-연산자의 $L^2$-이론을 특이점의 해소와 $L^2$-해소를 이용하여 수립한다. $(n,q)$-형식과 $(0,q)$-형식에 대해 $L^2$-$\overline\partial$-코homology의 매끄러운 표현을 제공하고, 거의 양의 선다발에 값이 있는 $L^2$-코homology에 대해 그로에르트-라이멘슈트너 유형의 퇴화 정리를 증명하며, 특이점에서 딜리클레 경계 조건을 만족하는 $L^2$-해석적 $n$-형식의 새로운 근본층을 도입한다.

ABSTRACT

Let $X$ be a singular Hermitian complex space of pure dimension $n$. We use a resolution of singularities to give a smooth representation of the $L^2$-$\overline\partial$-cohomology of $(n,q)$-forms on $X$. The central tool is an $L^2$-resolution for the Grauert-Riemenschneider canonical sheaf $\mathcal{K}_X$. As an application, we obtain a Grauert-Riemenschneider-type vanishing theorem for forms with values in almost positive line bundles. If $X$ is a Gorenstein space with canonical singularities, then we get also an $L^2$-representation of the flabby cohomology of the structure sheaf $\mathcal{O}_X$. To understand also the $L^2$-$\overline\partial$-cohomology of $(0,q)$-forms on $X$, we introduce a new kind of canonical sheaf, namely the canonical sheaf of square-integrable holomorphic $n$-forms with some (Dirichlet) boundary condition at the singular set of $X$. If $X$ has only isolated singularities, then we use an $L^2$-resolution for that sheaf and a resolution of singularities to give a smooth representation of the $L^2$-$\overline\partial$-cohomology of $(0,q)$-forms.

연구 동기 및 목표

• 헤르미트 계량을 가진 컴act 특이 복소 공간에서 $\overline\partial$-연산자의 $L^2$-코homology 이론을 개발한다.
• 특이 공간에서 $(n,q)$-형식과 $(0,q)$-형식에 대해 $L^2$-$\overline\partial$-코homology의 매끄러운 표현이 부족한 문제를 다룬다.
• 그로에르트-라이멘슈트너 퇴화 정리를 $L^2$-코homology에 대해 거의 양의 선다발에 값이 있을 경우로 확장한다.
• 특이 집합에서 딜리클레 유형 경계 조건을 만족하는 $L^2$-해석적 $n$-형식의 새로운 근본층을 도입하고 분석한다.
• 특이점이 고립된 공간에서 $L^2$-해소와 특이점 해소를 이용하여 $(0,q)$-형식에 대한 $L^2$-$\overline\partial$-코homology의 매끄러운 표현을 제공한다.

제안 방법

• 특이점의 해소를 이용하여 $L^2$-$\overline\partial$-코homology 문제를 특이 공간 $X$에서 매끄러운 환경 공간으로 옮긴다.
• 그로에르트-라이멘슈트너 근본층 $\mathcal{K}_X$에 대한 $L^2$-해소를 구성하여 $(n,q)$-형식의 $L^2$-$\overline\partial$-코homology를 분석한다.
• 특이 집합에서 딜리클레 경계 조건을 만족하는 $L^2$-해석적 $n$-형식으로 구성된 새로운 근본층을 도입한다.
• 이 새로운 근본층에 대해 $L^2$-해소를 적용하여 $(0,q)$-형식의 $L^2$-$\overline\partial$-코homology를 연구한다.
• 특이점의 해소를 이용하여 코homological 자료를 이전하고 결과로 얻는 표현의 매끄러움을 보장한다.
• 골렌스타인 및 근본 특이점 가정을 활용하여 $\mathcal{O}_X$의 $L^2$-코homology를 구조층의 퍼지 코homology와 연결한다.

실험 결과

연구 질문

• RQ1 특이 허미트 복소 공간에서 $(n,q)$-형식의 $L^2$-$\overline\partial$-코homology는 특이점 해소와 $L^2$-해소를 통해 어떻게 매끄럽게 표현될 수 있는가?
• RQ2 그로에르트-라이멘슈트너 근본층은 $L^2$-$\overline\partial$-코homology의 $L^2$-표현을 구성하는 데 어떤 역할을 하는가?
• RQ3 특이점에서 딜리클레 경계 조건을 만족하는 $L^2$-해석적 $n$-형식의 새로운 근본층이 $(0,q)$-형식의 $L^2$-$\overline\partial$-코homology에 대해 매끄러운 표현을 제공할 수 있는가?
• RQ4 골렌스타인 공간에서 근본 특이점을 지닌 공간에서 $(0,q)$-형식의 $L^2$-코homology는 $L^2$-해소와 특이점 해소를 통해 매끄럽게 표현될 수 있는가?
• RQ5 그로에르트-라이멘슈트너 유형의 퇴화 정리는 거의 양의 선다발에 값이 있는 $L^2$-코homology로 어느 정도까지 확장될 수 있는가?

주요 결과

• 그로에르트-라이멘슈트너 근본층 $\mathcal{K}_X$에 대한 $L^2$-해소는 특이 복소 공간에서 $(n,q)$-형식의 $L^2$-$\overline\partial$-코homology에 대해 매끄러운 표현을 가능하게 한다.
• 논문은 거의 양의 선다발에 값이 있는 $L^2$-$\overline\partial$-코homology에 대해 그로에르트-라이멘슈트너 유형의 퇴화 정리를 수립한다.
• 골렌스타인 공간에서 근본 특이점을 지닌 공간에 대해, 구조층 $\mathcal{O}_X$의 $L^2$-코homology는 $\mathcal{O}_X$의 퍼지 코homology를 통해 매끄럽게 표현된다.
• 특이 집합에서 딜리클레 경계 조건을 만족하는 $L^2$-해석적 $n$-형식의 새로운 근본층이 도입되어 $(0,q)$-형식의 $L^2$-$\overline\partial$-코homology를 연구하는 데 사용된다.
• 고립된 특이점을 지닌 공간에서 이 새로운 근본층의 $L^2$-해소와 특이점 해소를 조합하면 $(0,q)$-형식의 $L^2$-$\overline\partial$-코homology에 대해 매끄러운 표현이 유도된다.
• 이 방법은 특이 복소 공간으로의 고전적 $L^2$-코homology 이론의 확장을 성공적으로 수행하며, 특이점 해소 기법과 $L^2$-해석적 도구를 융합한다.