[논문 리뷰] Bounds for Laplace eigenvalues of Kaehler metrics

Gerasim Kokarev|arXiv (Cornell University)|2018. 01. 07.

Geometry and complex manifolds참고 문헌 17인용 수 5

한 줄 요약

이 논문은 고리만드는 다각형의 고유값에 대해 높은 라플라스 고유값의 날카로운 상계를 허용하는 헬로모르픽 차수를 통해 설정하며, 첫 번째 고유값에 대한 고전적인 Bourguignon-Li-Yau 부등식을 일반화한다. 푸비니-슈타디 기하학에서 끌어낸 시험 함수와 슈바르츠 추정을 적용한 변분 원리에 의해, 모든 $k \geq 1$에 대해 $\lambda_k \leq C(n,m) \cdot d([\phi],[\omega_g]) \cdot k$ 를 증명한다. 여기서 $d([\phi],[\omega_g])$ 는 헬로모르픽 차수이며, $C(n,m)$ 는 오직 차원 $n$ 과 $m$ 에만 의존한다. 이 결과는 고정된 켈러 클래스 내에서 높은 고유값에 대한 첫 번째 일반 고유값 상계를 제공한다.

ABSTRACT

We prove inequalities for Laplace eigenvalues of Kaehler manifolds generalising to higher eigenvalues the classical inequality for the first Laplace eigenvalue due to Bourguignon, Li, and Yau in 1994. We also obtain similar inequalities for analytic varieties in Kaehler manifolds.

연구 동기 및 목표

• 1994년 Bourguignon-Li-Yau의 첫 번째 라플라스 고유값에 대한 부등식을 켈러 다양체에서의 높은 고유값으로 일반화한다.
• 동일한 프레임워크 하에서 켈러 다양체 내 분석적 부분다양체에 대한 고유값 상계를 설정한다.
• 야우가 제기한 켈러 기하학 내 높은 고유값 상계에 관한 질문을 해결한다.
• 오직 헬로모르픽 차수와 차원에만 의존하는 척도 불변 고유값 추정을 제공한다.

제안 방법

• 비자명한 헬로모르픽 사상 $\phi: \Sigma^n \to \mathbb{C}P^m$ 를 통해 $\mathbb{C}P^m$ 상의 리프시츠 함수의 역상으로서 시험 함수를 구성한다.
• 라플라스 고유값 $\lambda_k$ 를 $L^2$-노름의 기울기와 시험 함수의 $L^2$-노름을 통해 변분 원리인 레일리 몫을 이용하여 상계한다.
• 분석적 부분다양체에 대해 마이클-시몬 슈바르츠 부등식을 적용하여, 역상 함수의 $W^{1,2}$-노름을 제어한다.
• 분석적 다양체에 대해 스토크스 공식을 사용하여 부분 적분과 기울기 노름 추정을 정당화한다.
• 핵심 기하학적 불변량으로서 헬로모르픽 차수 $d([\phi],[\omega_g]) = \left(\int \phi^*\omega_{FS} \wedge \omega_g^{n-1}\right)/\left(\int \omega_g^n\right)$ 을 사용한다.
• 슈바르츠 임베딩과 타원적 정칙성에 의해 정칙 부분다양체 위에서 라플라스 연산자의 해석적 컴팩트성과 컴팩트한 해석적 컴팩트성(resolvent)을 확립한다.

실험 결과

연구 질문

• RQ1 Bourguignon, Li, Yau의 고전적 첫 번째 고유값 상계는 켈러 다양체에서의 높은 라플라스 고유값으로 확장될 수 있는가?
• RQ2 고정된 켈러 클래스 내에서 높은 고유값의 성장률을 제어하는 기하학적 불변량은 무엇인가?
• RQ3 분석적 부분다양체에 대해서도 유사한 고유값 상계가 성립하는가?
• RQ4 모든 $k \geq 1$ 에 대해 $\lambda_k \leq C(n,m) \cdot d \cdot k$ 를 만족하는 일반 상수 $C(n,m)$ 가 존재하는가?
• RQ5 침습 가정 없이 헬로모르픽 차수 $d([\phi],[\omega_g])$ 는 고유값 성장률과 어떻게 관련이 있는가?

주요 결과

• 논문은 임의의 $k \geq 1$ 에 대해 $k$-번째 라플라스 고유값이 $\lambda_k(\Sigma^n,g) \leq C(n,m) \cdot d([\phi],[\omega_g]) \cdot k$ 를 만족함을 증명한다. 여기서 $C(n,m)$ 는 복소 차원 $n$ 과 배경 프로젝티브 공간 차원 $m$ 에만 의존한다.
• 이 상계는 $\phi$ 가 임베딩이거나 이미지가 비퇴화적이지 않아도 되는 조건 없이, 임의의 비자명한 헬로모르픽 사상 $\phi: \Sigma^n \to \mathbb{C}P^m$ 에 대해 성립한다.
• 복소 차원 1인 경우, 이 결과는 코레바르의 상계 $\lambda_k(\Sigma^1,g) \cdot \mathrm{Vol}_g(\Sigma^1) \leq C_* \cdot \deg(\phi) \cdot k$ 를 회복하며, 여기서 $C_*$ 는 일반 상수이다.
• 헬로모르픽 차수 $d([\phi],[\omega_g])$ 는 척도 불변인 양으로서 고정된 켈러 클래스 내에서 고유값 성장률을 제어한다.
• 증명은 슈바르츠 임베딩과 타원적 정칙성에 의해 분석적 부분다양체 위에서 라플라스 연산자의 이산 스펙트럼과 컴팩트한 해석적 컴팩트성을 확립한다.
• 메이어클-시몬 슈바르츠 부등식을 사용하여 특이 분석적 부분다양체에 대해서도 정칙 부분다양체로 제한하고, 유계 평균 곡률를 가진 코어턴트에 대해 적용함으로써 방법이 적용 가능하다.