[논문 리뷰] The $P^\prime$-operator, the $Q^\prime$-curvature, and the CR tractor calculus

Jeffrey S. Case, A. Rod Gover|arXiv (Cornell University)|2017. 09. 23.

Holomorphic and Operator Theory참고 문헌 35인용 수 5

한 줄 요약

이 논문은 허위-아인슈타인 다양체에서 $P^\prime$-연산자, $Q^\prime$-곡률, 그리고 CR GJMS 연산자를 계산하기 위한 CR 트랙터 미적분 알고리즘을 개발한다. 이는 이러한 다양체에서 $Q^\prime$-곡률이 일정하다는 것을 증명하고, 다섯 차원에서 명시적인 국소 공식을 유도하여 Burns–Epstein 불변량의 불변성 성질과 CR 기하학에서의 보조 불변량의 구조에 대한 새로운 통찰을 제공한다.

ABSTRACT

We establish an algorithm which computes formulae for the CR GJMS operators, the $P^\prime$-operator, and the $Q^\prime$-curvature in terms of CR tractors. When applied to torsion-free pseudo-Einstein contact forms, this algorithm both gives an explicit factorisation of the CR GJMS operators and the $P^\prime$-operator, and shows that the $Q^\prime$-curvature is constant, with the constant explicitly given in terms of the Webster scalar curvature. We also use our algorithm to derive local formulae for the $P^\prime$-operator and $Q^\prime$-curvature of a five-dimensional pseudo-Einstein manifold. Comparison with Marugame's formulation of the Burns--Epstein invariant as the integral of a pseudohermitian invariant yields new insights into the class of local pseudohermitian invariants for which the total integral is independent of the choice of pseudo-Einstein contact form.

연구 동기 및 목표

• CR 트랙터 미적분을 사용하여 CR GJMS 연산자, $P^\prime$-연산자, $Q^\prime$-곡률을 체계적으로 계산하는 알고리즘을 개발하는 것.
• 접촉 형식의 토픽이 없는 허위-아인슈타인 접촉 형식에서 CR GJMS 및 $P^\prime$-연산자의 명시적 인수분해를 확립하는 것.
• 허위-아인슈타인 다양체에서 $Q^\prime$-곡률가 일정하다는 것을 증명하고, 웹스터 스칼라 곡률을 통해 그 상수를 표현하는 것.
• 다섯 차원에서 $P^\prime$-연산자와 $Q^\prime$-곡률에 대한 국소 공식을 도출하는 것.
• 전체 $Q^\prime$-곡률의 불변성 성질과 그가 고차원에서 Burns–Epstein 불변량과 어떻게 관련되어 있는지 명확히 하는 것.

제안 방법

• 저자들은 미분 연산자와 곡률 불변량을 CR 불변적이며 기하학적으로 자연스러운 방식으로 표현하기 위해 CR 트랙터 미적분 프레임워크를 구축한다.
• 그들은 CR 트랙터 번들의 접속을 사용하여, 접촉 형식의 변화에 따른 $P^\prime$-연산자와 $Q^\prime$-곡률의 변환 법칙을 유도한다.
• 이 알고리즘은 웨일 텐서, 쇼우텐 텐서, 곡률 수축을 포함하는 트랙터 표현식을 통해 $P^\prime$-연산자와 $Q^\prime$-곡률을 계산한다.
• 이 방법은 $P^\prime$-연산자와 $Q^\prime$-곡률가 $P_{2n+2}$와 $P^\prime(\Upsilon)$를 포함하는 특정 변환 법칙을 만족함을 보여주는 허위-아인슈타인 접촉 형식에 적용된다.
• 다섯 차원 다양체의 경우, 일반적인 트랙터 표현식을 허위-아인슈타인 조건을 사용하여 스칼라 불변량으로 줄여서 명시적인 국소 공식을 도출한다.
• 저자들은 $Q^\prime$-곡률이 등각 스케일링에 따라 어떻게 변하는지 분석하고, $P_{2n+2}$와 $P^\prime$의 자기수반성과 함께 전체 적분의 불변성을 확립한다.

실험 결과

연구 질문

• RQ1 허위-아인슈타인 다양체에서 CR 트랙터를 사용하여 $P^\prime$-연산자와 $Q^\prime$-곡률를 체계적으로 어떻게 계산할 수 있는가?
• RQ2 허위-아인슈타인 접촉 형식의 변화에 따른 $Q^\prime$-곡률의 정확한 변환 법칙은 무엇이며, 이는 $P^\prime$-연산자와 어떻게 관련되어 있는가?
• RQ3 허위-아인슈타인 다양체에서 $Q^\prime$-곡률가 일정한가? 만약 그렇다면, 그 상수는 어떻게 결정되는가?
• RQ4 다섯 차원에서 $P^\prime$-연산자와 $Q^\prime$-곡률는 어떻게 행동하며, Burns–Epstein 불변량과의 관계는 어떠한가?
• RQ5 히라치의 추측에 따르면, $Q^\prime$-곡률가 상수 배수의 $Q^\prime$, 국소적인 CR 불변량, 그리고 발산의 합으로 분해될 수 있는가?

주요 결과

• 모든 허위-아인슈타인 다양체에서 $Q^\prime$-곡률는 일정하며, 그 상수는 웹스터 스칼라 곡률를 통해 명시적으로 주어진다.
• $P^\prime$-연산자와 CR GJMS 연산자는 접촉 형식이 토픽이 없고 허위-아인슈타인일 경우, CR 트랙터를 사용하여 명시적인 인수분해를 갖는다.
• 다섯 차원에서는 $P^\prime$-연산자와 $Q^\prime$-곡률가 웨일 텐서, 쇼우텐 텐서, 곡률 수축을 포함하는 국소 공식으로 표현된다.
• 전체 $Q^\prime$-곡률는 보조 불변량이다: 특정한 허위-아인슈타인 접촉 형식의 선택에 무관하지만, CR 불변은 아니다.
• 다섯 차원에서는 일반적으로 $Q^\prime$-곡률가 Burns–Epstein 불변량과 일치하지 않으며, 이는 삼차원 경우와의 근본적인 차이를 나타낸다.
• $\mathcal{I}^\prime$는 CR 불변 1형식 $X_\gamma$와 관련되어 있으며, 그 변환 법칙은 CR 펄리해모닉 함수 위에서 형식적 자기수반성 성질을 시사한다.