[논문 리뷰] On Conformal Qc Geometry, Spherical Qc Manifolds and Convex Cocompact Subgroups of ${ m Sp}{(n+1,1)}$

Yun Shi, Wei Wang|arXiv (Cornell University)|2015. 09. 20.

Geometric Analysis and Curvature Flows참고 문헌 1인용 수 7

한 줄 요약

이 논문은 허수적 접속(quaternionic contact, qc) 다양체 위에서 qc 양라베 연산자를 도입하며, 그의 등각 불변성과 스칼라 곡률의 부호가 qc 양라베 불변량과 연결됨을 밝힌다. 스칼라 곡률이 양인 구면적 qc 다양체 위에서 등각 불변 텐서를 구성하고, Sp(n+1,1)의 볼록 코모팩트 부분군이 생성하는 구면적 qc 다양체의 스칼라 곡률 부호가 푸앵카레 임계 지수에 의해 결정됨을 증명한다: 지수 값이 2n+2보다 작으면 양, 크면 음, 같으면 0이 된다.

ABSTRACT

Conformal qc geometry of spherical qc manifolds are investigated. We construct the qc Yamabe operators on qc manifolds, which are covariant under the conformal qc transformations. A qc manifold is scalar positive, negative or vanishing if and only if its qc Yamabe invariant is positive, negative or zero, respectively. On a scalar positive spherical qc manifold, we can construct the Green function of the qc Yamabe operator, which can be applied to construct a conformally invariant tensor. It becomes a spherical qc metric if the qc positive mass conjecture is true. Conformal qc geometry of spherical qc manifolds can be applied to study convex cocompact subgroups of ${ m Sp}(n+1,1).$ On a spherical qc manifold constructed from such a discrete subgroup, we construct a spherical qc metric of Nayatani type. As a corollary, we prove that such a spherical qc manifold is scalar positive, negative or vanishing if and only if the Poincaré critical exponent of the discrete subgroup is less than, greater than or equal to $2n+2$, respectively.

연구 동기 및 목표

• 구면적 qc 다양체를 위한 등각 qc 기하학을 발전시켜, 국소적으로 등각 평탄하고 구면적 CR 기하학의 아이디어를 확장한다.
• qc 양라베 연산자와 그 그린 함수를 qc 다양체 위에서 정의하고, 등각 공변성 보장.
• 그린 함수를 이용해 스칼라 곡률이 양인 구면적 qc 다양체 위에서 등각 불변 텐서를 구성한다.
• Sp(n+1,1)의 볼록 코모팩트 부분군으로부터 유도된 구면적 qc 다양체의 스칼라 곡률 부호와 그 군의 푸앵카레 임계 지수 간의 관계를 규명한다.
• 해당 다양체가 스칼라 곡률이 양, 음, 또는 0임과 동시에 푸앵카레 지수 δ(Γ)가 2n+2보다 작거나, 크거나, 같을 조건을 증명한다.

제안 방법

• Biquard 접속과 카르노-카라테오도리 거리계를 사용하여 qc 다양체 위에서 등각 공변 미분연산자로 qc 양라베 연산자를 구성한다.
• 스칼라 곡률이 양인 구면적 qc 다양체 위에서 qc 양라베 연산자의 그린 함수를 정의하며, 허수 헤이젠베르크 군을 모델 공간으로 활용한다.
• 그린 함수를 이용해 시험 함수에 대해 적분함으로써 등각 불변 텐서를 구성하며, 양의 질량 추측이 성립할 경우 이 텐서는 구면적 qc 메트릭이 된다.
• Patterson-Sullivan 측도와 극한 집합의 동역학을 적용하여 Sp(n+1,1)의 볼록 코모팩트 부분군의 점근적 행동을 분석한다.
• Poincaré 지수 δ(Γ)와 관련된 비음수 정의 행렬 A(ξ)의 추적을 통해 유도된 qc 메트릭의 스칼라 곡률을 유도한다.
• 핵심 관계 설정: 스칼라 곡률의 부호는 δ(Γ) < 2n+2, δ(Γ) > 2n+2, 또는 δ(Γ) = 2n+2에 따라 결정되며, 이는 행렬 A(ξ)의 스펙트럼 분석과 그 추적을 통해 증명된다.

실험 결과

연구 질문

• RQ1 qc 다양체 위에서 등각 불변 qc 양라베 연산자를 어떻게 정의할 수 있으며, 등각 qc 변화에 대해 어떤 변환 성질을 갖는가?
• RQ2 스칼라 곡률이 양인 구면적 qc 다양체에서 qc 양라베 연산자의 그린 함수가 존재하는 조건은 무엇이며, 이를 어떻게 등각 불변 텐서를 구성하는 데 활용할 수 있는가?
• RQ3 Sp(n+1,1)의 볼록 코모팩트 부분군으로부터 유도된 구면적 qc 다양체의 스칼라 곡률 부호와 그 군의 푸앵카레 임계 지수 간의 관계는 무엇인가?
• RQ4 qc 양의 질량 추측을 사용하여 이 불변 텐서를 구면적 qc 메트릭으로 승격시킬 수 있는가?
• RQ5 스칼라 곡률이 양, 음, 또는 0이 되는지 결정하는 푸앵카레 지수 δ(Γ)의 정확한 조건은 무엇인가?

주요 결과

• qc 양라베 연산자는 등각 공변성을 가지며, 그 스칼라 곡률 부호는 qc 양라베 불변량에 의해 결정된다: 불변량이 양, 음, 0이면 각각 스칼라 곡률도 양, 음, 0이다.
• 스칼라 곡률이 양인 구면적 qc 다양체에서는 qc 양라베 연산자의 그린 함수가 존재하며, 이는 등각 불변 텐서를 구성하는 데 기여한다.
• 만약 qc 양의 질량 추측이 성립한다면, 이 불변 텐서는 구면적 qc 메트릭이 된다.
• Sp(n+1,1)의 볼록 코모팩트 부분군 Γ로부터 유도된 구면적 qc 다양체에서 스칼라 곡률은 δ(Γ) < 2n+2, δ(Γ) > 2n+2, 또는 δ(Γ) = 2n+2일 때 각각 양, 음, 0이 된다.
• Patterson-Sullivan 측도와 관련된 행렬 A(ξ)의 추적은 δ(Γ) = 2n+2 이면서 극한 집합이 한 점일 경우를 제외하고는 불연속 집합 Ω(Γ)에서 어디서도 0이 되지 않는다.
• 이러한 다양체 위의 Nayatani 형 메트릭의 스칼라 곡률은 s_{g,ℚ} = 8(n+2)(n+1 - δ/2) e^{-2f} TrA(ξ)로 주어지며, 이는 δ(Γ)가 2n+2와 비교할 때 양, 음, 또는 0이 된다.