[논문 리뷰] On the Laplace-Beltrami operator on compact complex spaces

Francesco Bei|arXiv (Cornell University)|2017. 06. 16.

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

한 줄 요약

이 논문은 복소 차원 $v > 1$인 컴팩트하고 기약적인 허미션 복소 공간에서 라플라스-베르트라미 및 호지-코다이라 라플라스 연산자에 대해 이산 스펙트럼과 트레이스-클래스 열핵 성질을 확립한다. 소볼레프 포함과 스펙트럼 추정을 이용하여 고유값 성장 추정 $ olimits\lambda_k k^{-1/v} \to \infty$와 열 추적 감쇠 $ olimits\operatorname{Tr}(e^{-t\Delta^\mathcal{F}}) \leq C t^{-v}$를 증명하며, $L^2$-코호몰로지와 복소 표면에서의 $ olimits\overline{\partial}$-연산자로 결과를 확장한다.

ABSTRACT

Let $(X,h)$ be a compact and irreducible Hermitian complex space of complex dimension $v>1$. In this paper we show that the Friedrichs extension of both the Laplace-Beltrami operator and the Hodge-Kodaira Laplacian acting on functions has discrete spectrum. Moreover we provide some estimates for the growth of the corresponding eigenvalues and we use these estimates to deduce that the associated heat operators are trace-class. Finally we give various applications to the Hodge-Dolbeault operator and to the Hodge-Kodaira Laplacian in the setting of Hermitian complex spaces of complex dimension $2$.

연구 동기 및 목표

• 컴팩트하고 기약적인 허미션 복소 공간에서 복소 차원 $v > 1$인 라플라스-베르트라미 연산자에 대해 자기수반 프리드리히스 확장이 존재하고 이가 이산 스펙트럼을 가짐을 확립하는 것.
• 그러한 공간에서 라플라스-베르트라미 및 호지-코다이라 라플라스 연산자의 고유값 성장에 대한 渐近 추정을 도출하는 것.
• 관련된 열 연산자가 트레이스-클래스임을 증명하고, 체적과 차원에 따라 명시적인 감쇠 추정을 제공하는 것.
• 스펙트럼 결과를 특이점을 가진 복소 표면에서의 $\overline{\partial}$-라플라스 연산자와 $L^2$-코호몰로지로 확장하는 것.

제안 방법

• 소볼레프 포함 정리 증명: $v > 1$에 대해 $W^{1,2}(\operatorname{reg}(X),h) \hookrightarrow L^{2v/(v-1)}(\operatorname{reg}(X),h)$.
• 프리드리히스 확장을 이용하여 $L^2(\operatorname{reg}(X),h)$에서 라플라스-베르트라미 연산자의 자기수반 실현을 구성하는 것.
• 소볼레프 이론과 스펙트럼 이론을 활용하여 고유값 성장 추정 $\liminf \lambda_k k^{-1/v} > 0$을 확립하는 것.
• 열핵 추적 추정 $\operatorname{Tr}(e^{-t\Delta^\mathcal{F}}) \leq C \cdot \operatorname{vol}_h(\operatorname{reg}(X)) \cdot t^{-v}$를 $0 < t \leq 1$에 대해 적용하는 것.
• 쌍대성과 $\overline{\partial}$-복합체 이론을 활용하여 결과를 $(0,q)$-형식에서의 $\overline{\partial}$-라플라스 연산자로 확장하는 것.
• 복소 차원 2일 때, $L^2\Omega^{0,q}(\operatorname{reg}(X),h)$에서 열 연산자의 트레이스-클래스 추정을 도출하고 감쇠율이 $t^{-2}$임을 증명하는 것.

실험 결과

연구 질문

• RQ1 복소 차원 $v > 1$인 컴팩트하고 기약적인 허미션 복소 공간에서 라플라스-베르트라미 연산자는 이산 스펙트럼을 가진 자기수반 확장을 갖는가?
• RQ2 그러한 공간에서 라플라스-베르트라미 및 호지-코다이라 라플라스 연산자의 고유값 성장률은 어떻게 되는가?
• RQ3 관련된 열 연산자는 트레이스-클래스인가, 그리고 그들의 추적은 $t$와 체적으로 균일하게 유계일 수 있는가?
• RQ4 $(0,q)$-형식에서의 $\overline{\partial}$-라플라스 연산자의 스펙트럼 성질은 함수에 대한 것과 어떻게 관련되는가?
• RQ5 McKean-Singer 공식은 $L^2$-코호몰로지와 열핵 추적을 통해 특이 복소 표면로 확장될 수 있는가?

주요 결과

• 복소 차원 $v > 1$인 컴팩트하고 기약적인 허미션 복소 공간에서 $\operatorname{reg}(X)$에서의 라플라스-베르트라미 연산자의 프리드리히스 확장은 이산 스펙트럼을 가진다.
• 라플라스-베르트라미 연산자의 고유값 $\lambda_k$는 $k \to \infty$일 때 $\liminf \lambda_k k^{-1/v} > 0$을 만족한다.
• 열 연산자 $e^{-t\Delta^\mathcal{F}}$는 트레이스-클래스이며, 추적은 $0 < t \leq 1$에 대해 $\operatorname{Tr}(e^{-t\Delta^\mathcal{F}}) \leq C \cdot \operatorname{vol}_h(\operatorname{reg}(X)) \cdot t^{-v}$를 만족한다.
• 함수에 대한 호지-코다이라 라플라스 연산자에 대해서도 프리드리히스 확장은 이산 스펙트럼을 가지며, 동일한 고유값 성장 및 추적 추정을 만족한다.
• 복소 표면에서의 $(0,q)$-형식에 대한 $\overline{\partial}$-라플라스 연산자 $(q = 0,1,2)$는 이산 스펙트럼을 가지며, 트레이스-클래스 열핵을 가지며, $t \in (0,1]$에 대해 $\operatorname{Tr}(e^{-t\Delta_{\overline{\partial},0,q}^\mathcal{F}}) \leq C_q t^{-2}$를 만족한다.
• McKean-Singer 공식이 성립한다: $\chi(M,\mathcal{O}_M) = \sum_{q=0}^2 (-1)^q \operatorname{Tr}(e^{-t\Delta_{\overline{\partial},0,q,\operatorname{rel}}})$로, 오일러 특성수를 해소된 공간에서의 열 추적과 연결한다.