[논문 리뷰] Notes on the Schwarzian tensor and measured foliations at infinity of quasifuchsian manifolds

Jean‐Marc Schlenker|arXiv (Cornell University)|2017. 08. 06.

Geometric Analysis and Curvature Flows참고 문헌 22인용 수 8

한 줄 요약

이 논문은 쿼지푸크시안 다양체의 재규격화된 부피에 대한 변분 공식을 무한원에서의 측도가 부여된 분할의 극값 길이에 대해 수립하며, 이는 이중 보나혼-슐래플리 공식과 유사성을 갖는다. 무한원에서의 해석적 2차 미분형식을 도입하고, 포incare-아인슈타인 계량과 수평구조의 기하학을 통해 고차원으로 확장하며, 무한원에서의 제2 기본형식을 통해 선형 위잉거텐 표면과 몽주-암페르 방정식을 연결한다.

ABSTRACT

The boundary at infinity of a quasifuchsian hyperbolic manifold is equiped with a holomorphic quadratic differential. Its horizontal measured foliation $f$ can be interpreted as the natural analog of the measured bending lamination on the boundary of the convex core. This analogy leads to a number of questions. We provide a variation formula for the renormalized volume in terms of the extremal length $\ext(f)$ of $f$, and an upper bound on $\ext(f)$. We then describe two extensions of the holomorphic quadratic differential at infinity, both valid in higher dimensions. One is in terms of Poincaré-Einstein metrics, the other (specifically for conformally flat structures) of the second fundamental form of a hypersurface in a "constant curvature" space with a degenerate metric, interpreted as the space of horospheres in hyperbolic space. This clarifies a relation between linear Weingarten surfaces in hyperbolic manifolds and Monge-Ampère equations.

연구 동기 및 목표

• 무한원에서의 측도가 부여된 분할의 극값 길이를 사용하여 쿼지푸크시안 다양체의 재규격화된 부피에 대한 변분 공식을 수립하기.
• 무한원에서의 측도가 부여된 분할과 볼록핵 경계의 측도가 부여된 굽힘 라미네이션 사이의 구조적 유사성을 도출하기.
• 포incare-아인슈타인 계량과 무한원에서의 수평구조 기하학을 통해 무한원에서의 해석적 2차 미분형식을 고차원으로 확장하기.
• 무한원에서의 제2 기본형식을 통한 하이퍼볼릭 다양체 내 선형 위잉거텐 표면과 몽주-암페르 방정식 해 사이의 관계를 명확히 하기.

제안 방법

• 측도가 부여된 분할의 극값 길이의 미분을 포함하는 재규격화된 부피의 1차 변분 공식을 유도한다.
• 피셔-트롬바 계량과 가르디너의 공식을 적용하여 조화 사상 에너지와 측도가 부여된 분할의 극값 길이를 연결한다.
• 쇼와르츠 미분을 사용하여 무한원 경계에서 해석적 2차 미분형식을 정의하며, 그 수평 분할이 측도가 부여된 분할 f를 정의한다.
• 하이퍼볼릭 공간 내 수평구조의 공간을 통해 무한원에서의 제2 기본형식을 도입하며, 열린 계량공간으로서의 해석을 제공한다.
• 무한원에서의 제2 기본형식과 선형 위잉거텐 표면의 자료 사이의 대응관계를 형태 연산자에 대한 대수적 관계를 통해 수립한다.
• h-tame 초표면의 몽주-암페르 방정식 조건을 무한원에서의 계량과 제2 기본형식을 변환함으로써 분석한다.

실험 결과

연구 질문

• RQ1 측도가 부여된 분할의 무한원에서의 극값 길이는 쿼지푸크시안 다양체에서 재규격화된 부피의 변화와 어떻게 관련이 있는가?
• RQ2 무한원에서의 해석적 2차 미분형식의 고차원 일반화는 무엇이며, 포incare-아인슈타인 계량과 어떻게 관련이 있는가?
• RQ3 하이퍼볼릭 공간 내 수평구조의 기하학은 어떻게 무한원에서의 제2 기본형식을 정의하고 선형 위잉거텐 표면과 연결할 수 있는가?
• RQ4 무한원에서의 제2 기본형식에 대한 대수적 조건은 선형 위잉거텐 표면의 위잉거텐 방정식과 어떻게 대응하는가?
• RQ5 h-tame 초표면의 맥락에서, 무한원에서의 제1 및 제2 기본형식의 변환은 몽주-암페르 방정식을 어떻게 유도하는가?

주요 결과

• 재규격화된 부피의 변동은 $ \dot{V}_R = -\frac{1}{2}(d\mathrm{ext}(f))( olimits\dot{c}) $ 로 주어지며, 여기서 $ \mathrm{ext}(f) $ 는 무한원에서의 측도가 부여된 분할의 극값 길이다.
• 재규격화된 부피의 변분 공식은 이중 보나혼-슐래플리 공식과 유사하게 나타나며, 볼록핵의 경계와 무한원 경계 사이의 깊은 유사성을 시사한다.
• 무한원에서의 해석적 2차 미분형식은 포incare-아인슈타인 계량을 통해 고차원으로 확장되며, 기하학적 해석을 유지한다.
• 무한원에서의 제2 기본형식은 수평구조의 공간을 통해 특징지어지며, 형태 연산자 $ B $ 와 그 무한원 대응체 $ B^* $ 를 연결하는 변환 법칙을 가진다.
• 선형 위잉거텐 표면는 $ aK_e + bH + c = 0 $ 이라는 위잉거텐 방정식을 만족하는 것과 동치이며, 이는 $ (a-b+c)\det(B^*) + (c-a)\mathrm{tr}(B^*) + (a+b+c) = 0 $ 를 만족함을 의미한다. 이는 곡률 조건을 무한원의 자료와 연결한다.
• h-tame 초표면의 경우, 몽주-암페르 조건은 $ \det((a-b+c)B^* + (c-a)E) = b^2 - 4ac $ 와 동치이며, 이는 무한원에서의 형태 연산자에 대한 해법 기준을 제공한다.