[논문 리뷰] Conformally invariant operators, differential forms, cohomology and a generalisation of Q-curvature

Thomas Branson, A. Rod Gover|ArXiv.org|2003. 09. 05.

Geometric Analysis and Curvature Flows참고 문헌 35인용 수 4

한 줄 요약

이 논문은 고차원 등각 다양체 위에서 고차 등각 불변 미분 복합체를 구축하기 위해 미분 형식 위에 고차 등각 불변 연산자를 도입함으로써, Q-곡률을 일반화하고 임계 차수 등각 라플라스 연산자를 확장한다. 주요 기여는 앰비언트 메트릭을 통한 기하학적 구성으로, 형식적으로 자기수반이고 인수분해 가능한 연산자 $L_k$와 그에 수반되는 게이지 동반자 $G_k$를 도출하여, 유한 차원의 등각 안정 부분공간을 정의하는 탄성계를 형성한다.

ABSTRACT

On conformal manifolds of even dimension $n\geq 4$ we construct a family of new conformally invariant differential complexes. Each bundle in each of these complexes appears either in the de Rham complex or in its dual. Each of the new complexes is elliptic if the signature is Riemannian. We also construct gauge companion operators which complete the exterior derivative to a conformally invariant and (in the case of Riemannian signature) elliptically coercive system. These (operator,gauge) pairs are used to define finite dimensional conformally stable form subspaces which are are candidates for spaces of conformal harmonics. These constructions are based on a family of operators on closed forms which generalise in a natural way the Q-curvature. We give a universal construction of these new operators and show that they yield new conformally invariant global pairings between differential form bundles. Finally we give a geometric construction of a family of conformally invariant differential operators between density-valued differential form bundles and develop their properties (including their ellipticity type in the case of definite conformal signature). The construction is based on the ambient metric of Fefferman and Graham, and its relationship to tractor bundles. For each form order, our derivation yields an operator of every even order in odd dimensions, and even order operators up to order $n$ in even dimension $n$. In the case of unweighted forms as domain, these operators are the natural form analogues of the critical order conformal Laplacian of Graham et al., and are key ingredients in the new differential complexes mentioned above.

연구 동기 및 목표

• 짝수 차원 등각 다양체 위에 1보다 큰 차수의 공경계 연산자를 포함하는 새로운 등각 불변 미분 복합체를 구축하기.
• 암시적 메트릭을 기반으로 하는 일반적인 기하학적 구성에 의해 브라운의 Q-곡률을 미분 형식으로 일반화하기.
• 등각 불변이고 탄성계를 이루는 연산자-게이지 쌍을 통해 유한 차원의 등각 안정 부분공간—등각 조화형식 후보—를 정의하기.
• 임계 차수 등각 라플라스 연산자를 홀수 차원에서 모든 짝수 차수의 형식가치 연산자로, 짝수 차원 $n$에서는 차수 $n$까지 확장하기.
• 트랙터(bundle)와 암시적 메트릭, 등각 불변 전역 쌍대성 간의 기하학적 연결 고리 설정하기.

제안 방법

• 페퍼만과 그레고리의 암시적 메트릭을 사용하여 밀도를 갖는 미분 형식 간의 등각 불변 미분 연산자를 구성한다.
• 진동 부분이 $(\delta d)^{n/2-k}$인 진동 형식 $k$-형식 위의 연산자 $L_k$의 가중족을 유도하며, $\delta M d$로 분해 가능하게 하여 형식적으로 자기수반성과 등각 불변성을 확보한다.
• 차수 $n-2k+1$인 게이지 동반자 연산자 $G_k$를 도입하며, 주요 부분이 $\delta(d\delta)^{n/2-k}$인 것으로 하여, 리만 기하학적 서명에서 등각 불변이고 탄성계를 이루는 시스템 $(L_k, G_k)$를 형성한다.
• 트랙터 범주와 동차 암시적 형식 간의 대응을 설정하여, 연산자와 그 등각 변환 법칙의 기하학적 실현 가능성을 확보한다.
• 외부 미분의 항등식과 $\log\tilde{\sigma}$의 동차성에 기반하여, 일반화된 Q-곡률 연산자 $Q_k^\sigma$의 암시적 표현을 유도하며, 이를 암시적 라플라스 연산자와 수축 연산자와 연결한다.
• 암시적 표현이 스칼라 경우에서는 기존의 Q-곡률로 축소되며, $\tilde{\mathbb{Q}}^{\ell,\sigma}_k$를 통해 형식가치 연산자로 일반화됨을 보여준다.

실험 결과

연구 질문

• RQ1 짝수 차원 등각 다양체 위에서 고차 공경계 연산자를 포함하는 등각 불변 미분 복합체는 어떻게 구성할 수 있는가?
• RQ2 임계 차수 등각 라플라스 연산자와 Q-곡률을 일반화하는 등각 불변 연산자의 기하학적 구성은 무엇인가?
• RQ3 시스템 $(L_k, G_k)$가 등각 불변이고 탄성계를 이루도록 게이지 동반자 연산자를 어떻게 정의할 수 있는가?
• RQ4 암시적 메트릭, 트랙터 범주, 등각 불변 형식 연산자의 구성 간의 관계는 무엇인가?
• RQ5 일반화된 Q-곡률 연산자 $Q_k^\sigma$는 고전적 Q-곡률를 어떻게 일반화하며, 암시적 미분 연산자와 어떤 관계가 있는가?

주요 결과

• 논문은 차수 $n \geq 4$인 짝수 차원 등각 다양체 위에 새로운 등각 불변 미분 복합체의 가중족을 구성하였으며, 각 복합체는 1보다 큰 차수의 공경계 연산자를 포함한다.
• $k$-형식 위의 연산자 $L_k$는 형식적으로 자기수반이며, $\delta M d$로 분해 가능하며, 주요 부분이 $(\delta d)^{n/2-k}$이다. 이는 맥스웰 연산자의 자연스러운 일반화이다.
• 리만 기하학적 서명에서 복합체는 탄성적이며, 연산자 $L_k$는 탄성적이지 않지만 음이 아닌 준정부호이다. 이에 따라 탄성계를 확보하기 위해 게이지 동반자가 필요하다.
• 차수 $n-2k+1$인 게이지 동반자 연산자 $G_k$는 등각 불변이고 탄성계를 이루는 시스템 $(L_k, G_k)$를 구성하여, 형식 조화의 유한 차원 등각 안정 부분공간을 정의할 수 있도록 한다.
• 암시적 메트릭 구성은 밀도를 갖는 형식 위에 등각 불변 연산자의 일반 가중족을 제공하며, $L_k$는 임계 차수 등각 라플라스 연산자의 자연스러운 형식 대응이다.
• 일반화된 Q-곡률 연산자 $Q_k^\sigma$는 암시적 기하학을 통해 유도되었으며, 스칼라 경우에서는 고전적 Q-곡률로 축소되며, 그 암시적 표현은 $\mbox{\boldmath{$\Delta$}}/^{\ell}$와 $\log\tilde{\sigma}$를 포함한다.