[논문 리뷰] L2-Properties of the dbar and the dbar-Neumann operator on spaces with isolated singularities

Nils Øvrelid, Jean Ruppenthal|arXiv (Cornell University)|2012. 12. 08.

Geometry and complex manifolds참고 문헌 23인용 수 3

한 줄 요약

이 논문은 고립 특이점을 가진 복소 공간과 그 해소에서 $L^2$-성질과 $\bar\partial$-Neumann 연산자 및 $\bar\partial$-방정식 사이의 정확한 대응을 확립한다. 특이 도메인 $Ω^*$에서의 $L^2$-강한성, 닫힌 범위, 컴팩트성과 그 매끄러운 해소 $Ω'$에서의 동일한 성질 간의 관계를 통해, 저자들은 $Ω^*$에서 컴팩트한 해 연산자와 컴팩트한 $\bar\partial$-Neumann 연산자가 존재하는 것과 $Ω'$에서 존재하는 것이 동치임을 보이며, 유일한 예외는 중간 차수일 수 있다.

ABSTRACT

Let X be a Hermitian complex space of pure dimension with only isolated singularities and p: M -> X a resolution of singularities. Let D be a relatively compact domain in X with no singularities in the boundary, D^*=D-Sing(X) the regular part of D and D'=p^{-1}(D) the preimage of D under p. We relate L2-properties of the dbar and the dbar-Neumann operator on D^* to properties of the corresponding operators on D' (where the situation is classically well understood). Outside some middle degrees, there are compact solution operators for the dbar-equation on D^* exactly if there are such operators on the resolution D', and the dbar-Neumann operator is compact on D^* exactly if it is compact on D'.

연구 동기 및 목표

• 고립 특이점을 가진 복소 공간에서 $\bar\partial$-연산자 및 $\bar\partial$-Neumann 연산자의 $L^2$-이론을 이해하는 것.
• 이미 잘 이해된 복소다양체에서의 $L^2$-이론과 특이 복소 공간에서의 덜 발달된 이론 사이의 격차를 메우는 것.
• 특이 도메인에서 컴팩트한 해 연산자와 컴팩트한 $\bar\partial$-Neumann 연산자가 존재하는 기하학적 및 분석적 조건을 규명하는 것.
• 특이 도메인 $Ω^*$에서의 $\bar\partial$-연산자의 $L^2$-성질과 그 해소 $Ω'$에서의 성질 간 정확한 대응을 수립하는 것.

제안 방법

• 특이 도메인 $Ω^* = \Omega \setminus \operatorname{Sing}X$ 를 복소다양체 안의 매끄러운 도메인 $Ω' = \pi^{-1}(\Omega)$ 로 올리는 특이점의 해소 $π: M \to X$ 를 사용하는 것.
• 형식의 당김과 밀림을 통해 $Ω^*$와 $Ω'$에서의 $\bar\partial$-연산자의 $L^2$-코homology와 범위 성질을 비교하는 것.
• canonical 해 연산자 ${\bf S}_{p,q}$ 및 ${\bf S}_{p,q+1}$ 을 적용하여 $Ω^*$에서의 $\bar\partial$-Neumann 연산자 $N_{p,q}$ 와 $Ω'$에서의 $N_{p,q}^M$ 을 연결하는 것.
• 항등식 $N_{p,q} = {\bf S}_{p,q}^*{\bf S}_{p,q} + {\bf S}_{p,q+1}{\bf S}_{p,q+1}^*$ 를 사용하여 $N_{p,q}$ 의 컴팩트성과 해 연산자들의 컴팩트성 간의 관계를 특성화하는 것.
• Theorem 6.2 에 의해 $N_{p,q}$ 가 컴팩트한 것은 ${\bf S}_{p,q}$ 와 ${\bf S}_{p,q+1}$ 이 모두 컴팩트한 것과 동치임을 이용하는 것.
• 특이 도메인 $Ω^*$에서의 $δ$-연산자의 닫힌 범위성과 유한 차원 여부가 해소를 통해 유지되며, 특히 중간 차수 이외의 영역에서 성립함을 보이는 것.

실험 결과

연구 질문

• RQ1 고립 특이점을 가진 도메인에서 $δ$-방정식에 대한 컴팩트한 해 연산자가 존재하는 조건은 무엇인가?
• RQ2 특이 복소 공간에서의 $δ$-Neumann 연산자의 컴팩트성은 그 해소에서의 행동과 어떻게 관련되는가?
• RQ3 형식 유형 $p,q$ 에 따른 차수에서 특이 공간과 그 해소 사이의 $L^2$-성질 간 대응이 깨지는가?
• RQ4 특이 도메인에서의 $δ$-연산자의 $L^2$-코homology와 범위 성질은 해소로부터 완전히 복원될 수 있는가?
• RQ5 특이 도메인과 그 매끄러운 해소에서 컴팩트한 해 연산자의 존재성 간 정확한 등가성이 존재하는가?

주요 결과

• $Ω^*$에서의 $δ$-Neumann 연산자 $N_{p,q}$ 가 컴팩트한 것은 그 해소 $Ω'$에서의 대응 연산자 $N_{p,q}^M$ 이 컴팩트한 것과 동치이며, 유일한 예외는 중간 차수일 수 있다.
• $Ω^*$에서의 $δ$-방정식에 대한 컴팩트한 해 연산자가 존재하는 것은 $Ω'$에서 존재하는 것과 동치이며, 중간 차수를 제외한 영역에서 성립한다.
• $Ω^*$에서의 $δ_{p,q}$ 와 $δ_{p,q+1}$ 의 닫힌 범위 성질은 해소를 통한 구조 유지로 인해 $Ω'$에서의 동일한 성질과 동치이다.
• $Ω^*$의 $L^2$-코homology 는 모든 차수에서 $Ω'$와 동형이며, 두 경우 모두 조화형 대표자가 존재한다.
• $Ω^*$에서의 canonical 해 연산자 ${\bf S}_{p,q}$ 와 ${\bf S}_{p,q+1}$ 이 컴팩트한 것은 그 해소에서의 대응 연산자가 컴팩트한 것과 동치이며, 항등식 $N_{p,q} = {\bf S}_{p,q}^*{\bf S}_{p,q} + {\bf S}_{p,q+1}{\bf S}_{p,q+1}^*$ 를 통해 이를 보였다.
• 콤팩트성과 닫힌 범위 성질 간의 등가성은 해소 전역에서 균일하게 유지되며, 오직 중간 차수에서만 위상적 또는 코homological 장애로 인해 대응이 실패할 수 있다.