[논문 리뷰] Laplacian operators and Q-curvature on conformally Einstein manifolds

A. Rod Gover|ArXiv.org|2005. 06. 02.

Geometric Analysis and Curvature Flows인용 수 7

한 줄 요약

이 논문은 캐논칼 컨フォ멀 미분 연산자 $P_k$의 새로운 가족을 도입한다. 이는 컨포멀리 아이너스타인 다양체 위에서 정의되며, 라플라시안의 거듭제곱과 아이너스타인 메트릭을 통해 인수분해된다. 아이너스타인 다양체에서 GJMS 연산자가 두 번째 차수의 라플라시안 유형 연산자의 곱으로 분해됨을 증명하고, 브란슨 Q-곡률이 일정하며 스칼라 곡률에 대한 명시적 공식을 제공한다.

ABSTRACT

A new definition of canonical conformal differential operators $P_k$ ($k=1,2,...)$, with leading term a $k^{ m th}$ power of the Laplacian, is given for conformally Einstein manifolds of any signature. These act between density bundles and, more generally, between weighted tractor bundles of any rank. By construction these factor into a power of a fundamental Laplacian associated to Einstein metrics. There are natural conformal Laplacian operators on density bundles due to Graham-Jenne-Mason-Sparling (GJMS). It is shown that on conformally Einstein manifolds these agree with the $P_k$ operators and hence on Einstein manifolds the GJMS operators factor into a product of second order Laplacian type operators. In even dimension $n$ the GJMS operators are defined only for $1\leq k\leq n/2$ and so, on conformally Einstein manifolds, the $P_{k}$ give an extension of this family of operators to operators of all even orders. For $n$ even and $k>n/2$ the operators $P_k$ are given by a natural formula in terms of an Einstein metric but are not natural as conformally invariant operators. They are shown to be nevertheless canonical objects on conformally Einstein structures. There are generalisations of these results to operators between weighted tractor bundles. It is shown that on Einstein manifolds the Branson Q-curvature is constant and an explicit formula for the constant is given in terms of the scalar curvature. As part of development, conformally invariant tractor equations equivalent to the conformal Killing equation are presented.

연구 동기 및 목표

• 컨포멀리 아이너스타인 다양체에서 라플라시안의 $k$-번째 거듭제곱을 주항항으로 갖는 새로운 캐논칼 컨포멀 미분 연산자 $P_k$의 정의.
• 이전에 짝수 차원에서 $k \leq n/2$ 에서만 정의되었던 GJMS 연산자를 아이너스타인 메트릭의 구조를 이용해 이 범위를 초월하여 확장.
• 아이너스타인 다양체에서 브란슨 Q-곡률이 일정하고, 이 상수에 대한 명시적 공식을 도출.
• 가중 트랙터 번들의 사이에서 GJMS 연산자의 인수분해를 일반화.
• 고전적인 의미에서 자연스러운 컨포멀 불변 연산자가 아니지만, $k > n/2$ 에서도 $P_k$ 연산자가 캐논칼임을 입증.

제안 방법

• 아이너스타인 메트릭과 관련된 기본 라플라시안을 통해, 밀도 번들과 가중 트랙터 번들 사이의 연산자 $P_k$ 를 정의.
• 페퍼만-그라함의 앰비언트 메트릭 구축법과 트랙터 미적분을 사용하여, 컨포멀 불변 방정식과 연산자 인수분해를 유도.
• 아이너스타인 다양체에서 GJMS 연산자 $\Box_k$ 가 $\prod_{l=1}^k (\Delta^g - c_l \mathrm{Sc}^g)$ 로 분해됨을 증명하며, 여기서 $c_l = \frac{(n+2l-2)(n-2l)}{4n(n-1)}$.
• 트랙터 접속, 와이울 텐서, 아이너스타인 스케일을 이용해 $P_3$ 의 명시적 공식을 유도함으로써, 이 연산자가 아이너스타인 대표자 선택에 영향을 받지 않음을 보임.
• 항등식 $B_{cd} = (4-n)\sigma^{-1}A_{cde}\nabla^e\sigma$ 를 사용하여, $A^{cde}(\sigma^{-1}\nabla_e\sigma)$ 가 컨포멀 불변이면서도 아이너스타인 스케일에 독립적임을 보임.
• 고전적 의미에서 자연스러운 컨포멀 불변 연산자가 아니지만, $k > n/2$ 에서도 $P_k$ 가 컨포멀리 아이너스타인 구조 위에서 캐논칼임을 입증.

실험 결과

연구 질문

• RQ1 컨포멀리 아이너스타인 다양체에서 아이너스타인 메트릭의 구조를 사용해 GJMS 연산자를 $k \leq n/2$ 를 초월하여 캐논칼 구조로 확장할 수 있는가?
• RQ2 아이너스타인 다양체에서 GJMS 연산자 $\Box_k$ 가 라플라시안과 스칼라 곡률에 대해 어떻게 인수분해되는가?
• RQ3 아이너스타인 다양체에서 브란슨 Q-곡률이 일정한가? 만약 그렇다면 스칼라 곡률에 대한 명시적 공식은 무엇인가?
• RQ4 컨포멀리 아이너스타인 구조에서 가중 트랙터 번들 사이의 컨포멀 미분 연산자는 어떻게 정의할 수 있는가?
• RQ5 $k > n/2$ 에서도 고전적 의미에서 자연스러운 컨포멀 불변 연산자가 아니지만, $P_k$ 연산자가 캐논칼인가?

주요 결과

• 아이너스타인 다양체에서 GJMS 연산자 $\Box_k$ 는 $\prod_{l=1}^k (\Delta^g - c_l \mathrm{Sc}^g)$ 로 분해되며, 여기서 $c_l = \frac{(n+2l-2)(n-2l)}{4n(n-1)}$ 이다. 이는 완전한 스펙트럼 인수분해를 증명한다.
• 짝수 차원의 아이너스타인 다양체에서 브란슨 Q-곡률은 일정하며, $Q^g = (-1)^{n/2}(n-1)!\left(\frac{\mathrm{Sc}^g}{n(n-1)}\right)^{n/2}$ 로 주어진다.
• $k > n/2$ 에서 $P_k$ 연산자는 고전적 의미에서 자연스러운 컨포멀 불변 연산자가 아니지만, 여전히 컨포멀리 아이너스타인 구조 위에서 캐논칼이다.
• $P_3$ 는 $P_3f = Nf - 8A^{cde}(\sigma^{-1}\nabla_e\sigma)(2\nabla_c\nabla_d f - (n-6)P_{cd}f)$ 로 명시적으로 주어지며, 여기서 $Nf = Y^A Y^B \Box D_A D_B f$.
• $A^{cde}(\sigma^{-1}\nabla_e\sigma)$ 는 아이너스타인 스케일 $\sigma$ 의 선택에 영향을 받지 않으며, 이는 $P_k$ 연산자가 컨포멀 클래스 위에서 잘 정의되어 있음을 보장한다.
• 차원 $n \neq 4$ 에서는 $\Box^0_3$ 가 보편 다항식 공식으로 정의되지만, $n=4$ 의 경우 분모에 극이 존재하므로 극한 구축이 필요하다.