[논문 리뷰] Koppelman formulas and the $\dbar$-equation on an analytic space

Mats Andersson, Håkan Samuelsson Kalm|arXiv (Cornell University)|2008. 01. 04.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 7

한 줄 요약

이 논문은 스텐 공간의 정칙 부분공간에서 미분형식이 $ olimits\bar{\partial}$-닫혀 있고 매끄러운 $(0,q)$-형식에 대해 $ olimits\bar{\partial}$-방정식을 해결하기 위해 분석적 공간 위에서의 내재된 가중치가 부여된 코플만 공식을 개발한다. 특이점 근처에서 성장 조건을 제어하는 적분 연산자를 구성함으로써, 이러한 형식이 항상 특이점 집합에서 다항식 성장 이내로 매끄러운 해를 가짐을 증명하며, 이는 스텐 공간 위에서 $ olimits\bar{\partial}$-문제에 대한 일반적인 해를 확립하고, 새로운 하르토그스 유형 정리와 코homology의 소멸 결과를 이끌어낸다.

ABSTRACT

Let $X$ be an analytic space of pure dimension. We introduce a formalism to generate intrinsic weighted Koppelman formulas on $X$ that provide solutions to the $\dbar$-equation. We prove that if $ϕ$ is a smooth $(0,q+1)$-form on a Stein space $X$ with $\dbarϕ=0$, then there is a smooth $(0,q)$-form $ψ$ on $X_{reg}$ with at most polynomial growth at $X_{sing}$ such that $\dbarψ=ϕ$. The integral formulas also give other new existence results for the $\dbar$-equation and Hartogs theorems, as well as new proofs of various known results.

연구 동기 및 목표

• 스텐 공간의 정칙 부분공간에서 $ olimits\bar{\partial}$-닫혀 있고 매끄러운 $(0,q)$-형식에 대해 $ olimits\bar{\partial}$-방정식의 일반적 해를 확립하기 위해.
• 특이점 집합 근처에서 성장 조건을 제어하는 내재된 가중치가 부여된 코플만 적분 연산자를 구성하기 위해.
• 특이점의 여부가 적어도 2 이상인 스텐 공간에서 헬름홀로픽 함수에 대한 새로운 하르토그스 유형 정리를 증명하기 위해.
• 적분 공식을 통한 스텐 공간에서 $q \geq 1$에 대해 도르베오-코homology $H^q(X, \mathcal{O}_X)$의 소멸을 새롭게 증명하기 위해.
• 잔여 전류와 적분 커널을 사용하여 알려진 $ olimits\bar{\partial}$-방정식 및 약한 헬름홀로픽 함수에 대한 결과를 일반화하기 위해.

제안 방법

• 내재된 적분 표현을 사용하여 분석적 공간 위에서 가중치가 부여된 코플만 커널의 형식을 도입하기 위해.
• 정칙 부분공간 $Z \times Z_{\text{reg}}$ 위에서 내재된 커널 $K$와 $P$의 주요값 적분을 통해 해 연산자 $\mathcal{K}$와 $\mathcal{P}$를 구성하기 위해.
• 특이점 근처에서 수렴을 보장하고 성장을 제어하기 위해 가중치 형식 $g^\mu = (\sigma \cdot a + \bar{\partial}\sigma \cdot H^1)^\mu$를 사용하기 위해.
• 환경 공간에서의 $ olimits\bar{\partial}$-파oincaré 보조정리를 잔여 전류와 해석적 분할 단위를 통해 분석적 공간으로 옮기기 위해.
• 다양체와 관련된 잔여 전류 $R$을 정의하고, $ olimits\bar{\partial}$-닫힘성과 헬름홀로픽 연장 조건을 분석하기 위해 사용하기 위해.
• 전반적인 문제를 특이점 근처의 국소 해법으로 환원하고, 국소 해를 조합하여 성장 조건이 제어된 전역 해를 만드는 분할 단위를 사용하기 위해.

실험 결과

연구 질문

• RQ1 스텐 공간의 정칙 부분공간에서 $ olimits\bar{\partial}$-닫혀 있고 매끄러운 $(0,q)$-형식이 특이점 집합에서 다항식 성장 이내로 $ olimits\bar{\partial}$-방정식의 매끄러운 해를 가질 수 있는가?
• RQ2 환경 공간의 통합에 의존하지 않고도 분석적 공간 위에서 내재된 코플만 공식을 구성할 수 있는가?
• RQ3 특이점 집합에 대한 어떤 조건에서 $ olimits\bar{\partial}$-방정식이 성장 조건이 제어된 해를 가지며, 이는 코homology의 소멸과 어떻게 관련되는가?
• RQ4 잔여 전류와 가중치가 부여된 적분 커널은 유리형 또는 약한 헬름홀로픽 함수의 헬름홀로픽 연장 특성을 어떻게 특징짓는가?
• RQ5 스텐 공간에서 $q \geq 1$에 대해 $H^q(X, \mathcal{O}_X)$의 소멸은 성장 조건이 제어된 $ olimits\bar{\partial}$-방정식의 매끄러운 해 존재성과 동치인가?

주요 결과

• 스텐 공간 $X$의 정칙 부분공간에서 매끄러운 $ olimits\bar{\partial}$-닫혀 있는 $(0,q)$-형식 $\phi$에 대해, $\bar{\partial}\psi = \phi$를 만족하는 $X_{\text{reg}}$ 위의 매끄러운 $(0,q)$-형식 $\psi$가 존재하며, 이때 $\delta(z)$를 특이점 집합까지의 거리로 두면 $\psi(z) = \mathcal{O}(\delta(z)^{-M})$를 만족하는 어떤 $M$이 존재한다.
• 해 연산자 $\mathcal{K}$는 내재된 커널 $K$와 $P$의 주요값 적분으로 구성되며, 코플만 공식 $\phi = \bar{\partial}\mathcal{K}\phi + \mathcal{K}(\bar{\partial}\phi)$를 만족한다.
• 만약 $\phi \in C^{k}_{0,q}(Z)$ 이고 $k \geq N+1$, $\bar{\partial}\phi = 0$ 이라면, $\mathcal{K}\phi$는 $X_{\text{sing}}$에서 다항식 성장 이내로 매끄러운 해이다.
• 스텐 공간 위에서 $ olimits\bar{\partial}$-방정식의 전역 해가 존재하면, $q \geq 1$에 대해 도르베오-코homology 군 $H^q(X, \mathcal{O}_X)$가 소멸한다.
• 스텐 공간 $X$가 $\nu \geq 2$를 만족하면, 각 기약 성분 $X^\ell$에 대해 $X_{\text{reg}}^\ell \setminus K$가 연결되어 있다면, $X \setminus K$에서 정의된 헬름홀로픽 함수는 $K$를 통해 해석적으로 연장된다.
• $\phi$가 $Z$ 위의 유리형 함수일 때, 조건 $R \wedge \bar{\partial}\phi = 0$은 $\phi$가 강력하게 헬름홀로픽임을 특징짓고, 이는 명시적인 해석적 연장과 함께 코플만 공식을 통해 증명된다.