[논문 리뷰] Conformal de Rham Hodge theory and operators generalising the Q-curvature

A. Rod Gover|arXiv (Cornell University)|2004. 04. 01.

Geometric Analysis and Curvature Flows참고 문헌 21인용 수 10

한 줄 요약

이 논문은 브란슨의 Q-curvature와 임계 GJMS 연산자들을 일반화하는 미분형식 위에서의 등각적으로 불변인 미분 연산자들의 가족을 소개한다. 앰비언트 메트릭과 트랙터 미적분을 사용하여, de Rham 복합체를 등각적으로 불변이면서 탄성 강성 조건을 만족하는 시스템으로 확장하는 연산자를 구성하며, 이들이 강한 불변성이 아니라는 것을 증명하고 다항식 연속을 통해 Q-curvature를 복원한다.

ABSTRACT

We look at several problems in even dimensional conformal geometry based around the de Rham complex. A leading and motivating problem is to find a conformally invariant replacement for the usual de Rham harmonics. An obviously related problem is to find, for each order of differential form bundle, a ``gauge'' operator which completes the exterior derivative to a system which is both elliptically coercive and conformally invariant. Treating these issues involves constructing a family of new operators which, on the one hand, generalise Branson's celebrated Q-curvature and, on the other hand, compose with the exterior derivative and its formal adjoint to give operators on differential forms which generalise the critical conformal power of the Laplacian of Graham-Jenne-Mason-Sparling. We prove here that, like the critical conformal Laplacians, these conformally invariant operators are not strongly invariant. The construction draws heavily on the ambient metric of Fefferman-Graham and its relationship to the conformal tractor connection and exploring this relationship will be a central theme of the lectures.

연구 동기 및 목표

• 등각적으로 불변인 미분형식 위의 연산자들을 구성하여 임계 등각 라플라스 연산자와 브란슨의 Q-curvature를 일반화한다.
• 짝수 차원 등각 기하학에서 de Rham 조화형식의 등각적으로 불변인 대체물이 존재하는지 해결한다.
• 각 형식 번들의 경우 탄성 강성 조건과 등각적으로 불변인 두 가지 성질을 만족하는 게이지 연산자 체계를 개발한다.
• 구성된 등각적으로 불변인 연산자가 강한 불변성이 아니라는 점을 보여준다. 이는 핵심적인 구조적 성질이다.

제안 방법

• 페퍼만-그라함의 앰비언트 메트릭을 사용하여 트랙터 미적분을 통해 가중형식 위에 작용하는 연산자들의 가족을 정의한다.
• 임계 등각 라플라스 연산자의 고위상 일반화인 가중 트랙터 번들의 연산자 $\mathbb{K}_\ell$를 구성한다.
• 형식의 공액과 외부 미분을 적용하여 $L^k_\ell = q^k \mathbb{K}_\ell q_k$를 정의함으로써, 무게 $w = \ell - n/2 + k$를 가진 $k$-형식 위에서의 등각적으로 불변인 연산자를 유도한다.
• 차원에 대한 다항식 연속을 적용하여 $L^k_\ell$ 연산자로부터 Q-curvature를 복원하며, 이는 브란슨의 원래 구성의 일반화이다.
• 분할 연산자와 트랙터 접속을 사용하여 앰비언트 구성과 기저 다양체 위의 표준 de Rham 복합체 사이의 관계를 규명한다.
• 접속에 대한 등각 변환 법칙을 적용하여 최종적으로 유도된 연산자의 등각 불변성을 검증한다.

실험 결과

연구 질문

• RQ1 짝수 차원 등각 기하학에서 de Rham 조화형식의 등각적으로 불변인 대체물이 구성될 수 있는가?
• RQ2 각 형식 번들의 경우 탄성 강성 조건과 등각적으로 불변인 두 가지 성질을 동시에 만족하는 게이지 연산자가 존재하는가?
• RQ3 균일한 구성 방법을 사용하여 브란슨의 Q-curvature를 미분형식으로 일반화할 수 있는가?
• RQ4 최근에 구성된 등각적으로 불변인 연산자가 강한 불변성을 가지는가, 아니면 더 미묘한 불변성 구조를 보이는가?
• RQ5 다항식 연속을 통해 형식 위의 일반화된 GJMS 유형 연산자로부터 Q-curvature를 복원할 수 있는가?

주요 결과

• 형식 간에 구성된 등각적으로 불변인 미분 연산자는 제1.1조에서 증명된 바와 같이 강한 불변성이 아니다.
• $Q$-curvature는 일반화된 $L^k_\ell$ 연산자에 대한 다항식 연속을 통해 복원되며, 이는 브란슨의 원래 구성 방식을 미분형식으로 확장한 것이다.
• $k=0$인 경우, 무게를 가진 밀도 위에서의 연산자 $L^0_\ell$는 GJMS 연산자와 일치하며, $\ell = n/2$로 설정하면 표준 Q-curvature가 $Q_0 1$로 얻어진다.
• $L^k_\ell$ 연산자는 등각적으로 불변이며, 차수 $2\ell$를 가지며, 무게 $w = \ell - n/2 + k$를 가진 $k$-형식 위에서 작용한다. 이는 임계 등각 라플라스 연산자를 일반화한다.
• 이 구성은 de Rham 복합체를 등각적으로 불변이면서 탄성 강성 조건을 만족하는 시스템으로 확장하는 일관된 등각적으로 불변인 연산자들의 가족을 확립한다.
• 앰비언트 메트릭과 트랙터 미적분은 이 연산자들을 차원과 리만 기하학적 불변량에 대한 다항식 공식으로 표현하는 보편적 프레임워크를 제공한다.