[논문 리뷰] About the d-bar-equation at isolated singularities with regular exceptional set

Jean Ruppenthal|ArXiv.org|2008. 03. 03.

Differential Equations and Boundary Problems참고 문헌 13인용 수 9

한 줄 요약

이 논문은 고립된 특이점을 가진 특이 복소 공간에서 $\bar\partial$-방정식의 코homological 장벽 이론을 개발한다. 특이점의 해소와 예외적 부분의 기하학을 활용하여, $L^2$ 및 $L^\infty$ 해법 가능성에 대한 충분조건을 제시한다. 이는 정칙 예외적 경로 $X$에서 코homology 군 $H^1(X, \mathcal{O}(N^{-\mu}))$의 영성에 의해 기술되며, 기약 원뿔의 경우 최적의 호일더 추정치를 제공한다.

ABSTRACT

Let Y be a pure dimensional analytic variety in C^n with an isolated singularity at the origin such that the exceptional set X of a desingularization of Y is regular. The main objective of this paper is to present a technique which allows to determine obstructions to the solvability of the d-bar-equation in the $L^2$ respectively $L^\infty$ sense on Y^*=Y-{0} in terms of certain cohomology classes on X. More precisely, let D be a Stein domain, relatively compact in Y, containing the origin, D^*=D-{0}. We give a sufficient condition for the solvability of the d-bar-equation in the $L^2$-sense on D^*; and in the $L^\infty$ sense, if D is in addition strongly pseudoconvex. If Y is an irreducible cone, we also give some necessary conditions and obtain optimal Hoelder estimates for solutions of the d-bar-equation.

연구 동기 및 목표

• 고립된 특이점을 가진 특이 복소 공간에서 $\bar\partial$-방정식을 풀기 위한 장벽을 결정하는 체계적인 방법을 개발한다.
• 특이 슈타인 공간에서 완전한 $\bar\partial$-이론의 부족, 특히 $L^2$ 및 호일더 연속성 설정에서의 문제를 다룬다.
• 특이 다양체 $Y^*$의 정칙 부분에서 $L^2$ 및 $L^\infty$ 해법 가능성에 대한 필요 및 충분조건을 설정한다.
• 만일 $Y$가 기약 원뿔이라면, 해법에 대한 최적의 호일더 추정치를 제공한다.
• 해소화를 통해 $Y^*$에서의 $\bar\partial$-방정식 해법 가능성과 예외적 부분 $X$에서의 코homology 군 간의 관계를 설정한다.

제안 방법

• Hironaka의 해소를 사용하여 $Y$의 고립된 특이점을 해결함으로써, 정칙 다변량 $M$과 예외적 경로 $X = \pi^{-1}(0)$를 얻는다.
• 정칙 부분에서의 내재적 설정을 활용하여, $M \setminus X$로의 당김을 통해 $Y^* = Y \setminus \{0\}$에서의 $\bar\partial$-방정식을 연구한다.
• 가중 동차 다양체에서의 $\bar\partial$-적분 공식을 활용하여 해를 구성하고 그 정규성의 정도를 추정한다.
• 예외적 부분 $X$에서의 선다발 $\mathcal{O}(N^{-\mu})$의 코homology를 분석하여 장벽을 도출한다. 여기서 $N$은 $M$ 내의 $X$의 정규다발이다.
• 리만-로흐 정리와 세르 쌍대성을 적용하여, $\mathbb{C}\mathbb{P}^1$ 및 타원곡선과 같은 특정 예시에서 $H^1(X, \mathcal{O}(N^{-\mu}))$를 계산한다.
• 등장관계 $H^q(M, \mathcal{O}_M) \cong \bigoplus_{\mu \geq 0} H^q(X, \mathcal{O}(N^{-\mu}))$를 사용하여 $M$에서의 전역 코homology를 $X$에서의 코homology와 연결한다.

실험 결과

연구 질문

• RQ1 예외적 부분 $X$에서 어떤 코homological 조건이 $Y^*$에서의 $L^2$ 해법 가능성에 보장하는가?
• RQ2 만일 $Y$가 강한 허위볼록인 경우, $\bar\partial$-방정식이 $Y^*$에서 $L^\infty$ 해를 가지기 위한 조건은 무엇인가?
• RQ3 기약 원뿔에서의 $\bar\partial$-방정식 해법에 대해 최적의 호일더 추정치를 확보할 수 있는가?
• RQ4 코homology 군 $H^1(X, \mathcal{O}(N^{-\mu}))$는 특이 공간 $Y$에서의 $\bar\partial$-방정식 해법 가능성과 어떻게 관련되는가?
• RQ5 예외적 부분 $X$의 정규다발 $N$이 해법 장벽을 결정하는 데 정확히 어떤 역할을 하는가?

주요 결과

• $H^1(X, \mathcal{O}(N^{-\mu}))$가 모든 $\mu \geq 1 - d$에서 영이면, 여기서 $d = \dim Y$이며, 원점이 포함된 슈타인 도메인 $\Omega$에서의 $\Omega^*$에서의 $\bar\partial$-방정식의 $L^2$ 해법 가능성에 대한 충분조건이 된다.
• 강한 허위볼록 도메인 $\Omega$에 대해, 모든 $\mu \geq 1$에서 $H^1(X, \mathcal{O}(N^{-\mu}))$가 영이면, $\Omega^*$에서의 $\bar\partial$-방정식의 $L^\infty$ 해법 가능성에 충분하다.
• 기약 원뿔의 경우, 이 논문은 $\bar\partial$-방정식의 해법에 대해 최적의 호일더 추정치를 도출하였으며, 이는 이전의 유리 이중점 및 몫 다양체에 대한 결과를 확장한다.
• 만일 $Y = \{(x,y,z) \in \mathbb{C}^3 : xy = z^2\}$이면, 예외적 부분 $X \cong \mathbb{C}\mathbb{P}^1$이며, 모든 $\mu \leq 1$에서 $H^1(X, \mathcal{O}(N^{-\mu})) = 0$이므로, $L^2$ 및 $L^\infty$ 해법 가능성이 보장된다.
• 타원곡선 예외적 부분을 가진 경우, 예를 들어 $Y = \{(x,y,z) \in \mathbb{C}^3 : y^2 z = x^3 + a x z^2 + b z^3\}$이면, 모든 $\mu \leq -1$에서 $H^1(X, \mathcal{O}(N^{-\mu})) = 0$이므로 $L^\infty$ 해법 가능성이 보장된다.
• $M$의 전역 코homology는 $q \geq 1$일 때 $H^q(M, \mathcal{O}_M) \cong \bigoplus_{\mu \geq 0} H^q(X, \mathcal{O}(N^{-\mu}))$를 만족하며, 이는 예외적 부분을 기반으로 한 완전한 코homological 분해를 제공한다.