[논문 리뷰] Graham-Witten's conformal invariant for closed four dimensional submanifolds

Yongbing Zhang|arXiv (Cornell University)|2017. 03. 24.

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

한 줄 요약

이 논문은 등각적으로 비틀린 아인슈타인 다양체 내의 최소 표면의 체적 재정규화를 통해 4차원 폐포된 부분다양체에서 그레엄-위튼의 등각 불변량에 대한 명시적 표현을 유도한다. 최소 표면 그래프의 점근 전개에서 계수 $ u^{(4)} $ 를 계산하고, 유클리드 환경 공간에서 이 불변량의 임계점을 규명하여 $ \mathbb{S}^3(1)\times\mathbb{S}^1(r_2) $ 및 $ \mathbb{S}^2(1)\times\mathbb{S}^2(1) $ 와 같은 명시적 임계 부분다양체를 도출하며, 이들의 불변량 값도 계산한다.

ABSTRACT

It was proved by Graham and Witten in 1999 that conformal invariants of submanifolds can be obtained via volume renormalization of minimal surfaces in conformally compact Einstein manifolds. The conformal invariant of a submanifold $Σ$ is contained in the volume expansion of the minimal surface which is asymptotic to $Σ$ when the minimal surface approaches the conformaly infinity. In the paper we give the explicit expression of Graham-Witten's conformal invariant for closed four dimensional submanifolds and find critical points of the conformal invariant in the case of Euclidean ambient spaces.

연구 동기 및 목표

• 등각적으로 비틀린 아인슈타인 다양체 내의 폐포된 4차원 부분다양체에 대해 그레엄-위튼의 등각 불변량에 대한 명시적 공식을 유도하는 것.
• 최소 표면 그래프의 점근 전개에서 계수 $ u^{(4)} $ 를 계산하여 등각 불변량을 결정하는 것.
• 임계점 방정식을 풀어 유클리드 환경 공간에서 등각 불변량의 임계점을 규명하는 것.
• 반지름이 다른 구의 곱으로 이루어진 특정 임계 부분다양체들, 예를 들어 $ \mathbb{S}^m(r_1) \times\cdots \times \mathbb{S}^1(r_k) $ 에서 등각 불변량의 명시적 값을 계산하는 것.

제안 방법

• 정의 함수 $ r $ 의 거듭제곱 전개를 사용하여 부분다양체 $ \Sigma \times [0,\epsilon) $ 위에서 최소 표면 $ Y $ 의 그래픽 표현 $ y^\alpha = u^\alpha(x,r) $ 를 사용하는 것.
• 최소 표면 방정식을 적용하여 $ n \geq 3 $ 인 경우 제2 기본형식, 법선 접속, 그리고 환경 공간의 곡률 텐서를 포함하는 계수 $ u^{(4)} $ 를 유도하는 것.
• 등각 불변량의 변분을 0으로 설정하여 임계점 방정식 $ \mathcal{E} = 0 $ 을 도출하고, 이는 곱된 구의 반지름에 대한 대수 방정식으로 이어지는 것.
• 유도된 공식과 대칭성 가정을 사용하여 다양한 곱 부분다양체 $ \mathbb{S}^m(r_1) \times \cdots \times \mathbb{S}^1(r_k) $ 에 대해 등각 불변량 $ \mathcal{L}_4 $ 를 명시적으로 계산하는 것.
• Schouten 텐서 $ \overline{P} $, Weyl 텐서 $ \overline{W} $, Christoffel 기호를 사용하여 $ u^{(4)} $ 를 $ \Sigma $ 상의 기하 데이터로 표현하는 것.
• 반지름이 0 또는 무한대로 갈수록 $ \mathcal{L}_4 $ 의 점근적 행동을 분석하여 상한과 하한이 둘 다 무한히 커짐을 보이는 것.

실험 결과

연구 질문

• RQ1 폐포된 4차원 부분다양체의 내재적 및 외재적 기하학에 대해 그레엄-위튼의 등각 불변량에 대한 명시적 표현은 무엇인가?
• RQ2 최소 표면 전개의 계수 $ u^{(4)} $ 는 곡률 및 제2 기본형식 데이터로 어떻게 계산할 수 있는가?
• RQ3 유클리드 환경 공간에서 등각 불변량의 임계 부분다양체는 무엇이며, 그 기하학적 및 위상수학적 성질은 무엇인가?
• RQ4 예를 들어 $ \mathbb{S}^3(1)\times\mathbb{S}^1(r_2) $ 와 $ \mathbb{S}^2(1)\times\mathbb{S}^2(1) $ 와 같은 곱 부분다양체에 대해 등각 불변량의 명시적 값은 무엇인가?
• RQ5 반지름이 0 또는 무한대로 갈 때 부분다양체 기하학이 붕괴함에 따라 등각 불변량은 어떻게 행동하는가?

주요 결과

• 계수 $ u^{(4)} $ 는 곡률 및 제2 기본형식 항의 조합으로 명시적으로 계산되며, $ 8n(n-2)u^{(4)} = \Delta^\perp H^\alpha + \cdots $ 와 같이 표현되며, 이는 법선 라플라스 연산자, Schouten 텐서, Weyl 텐서를 포함한다.
• $ n=2 $ 인 경우 로그 계수 $ w_2 $ 는 $ w_2 = -\frac{1}{16}W $ 로 구해지며, 여기서 $ W^\alpha $ 는 $ H^\alpha $, $ A_{ij} $, 및 $ \overline{W}_{i\beta j\gamma} $ 를 포함하는 곡률 표현이다.
• $ \mathbb{S}^3(1)\times\mathbb{S}^1(r_2) $ 에서의 등각 불변량 $ \mathcal{L}_4 $ 는 $ 2\pi^3 r_2 \left[ \frac{7}{16}(9 + \frac{1}{r_2^2})^2 - 27 - \frac{1}{r_2^4} \right] $ 로 주어지며, $ r_2 = \frac{1}{\sqrt{3}} $ 에서 $ \mathcal{L}_4 = 18\sqrt{3}\pi^3 $ 이다.
• $ \mathbb{S}^2(1)\times\mathbb{S}^2(1) $ 에서는 불변량이 $ \mathcal{L}_4 = 96\pi^2 $ 로 평가되며, $ r_2 \to 0 $ 또는 $ r_2 \to \infty $ 일 때 $ -\infty $ 로 수렴한다.
• $ \mathbb{S}^2(1)\times\mathbb{S}^1(\frac{1}{\sqrt{2}})\times\mathbb{S}^1(\frac{1}{\sqrt{2}}) $ 에서는 불변량이 $ \mathcal{L}_4 = 48\pi^3 $ 이며, $ \mathbb{S}^2(1)\times\mathbb{S}^1(\frac{1}{\sqrt{2}})\times\mathbb{S}^1(\frac{3}{\sqrt{10}}) $ 에서는 $ \frac{64\sqrt{5}}{3}\pi^3 $ 이다.
• $ \mathbb{S}^1(1)^4 $ 에서는 불변량이 $ \mathcal{L}_4 = 24\pi^4 $ 이며, $ \mathbb{S}^1(1)^3 \times \mathbb{S}^1(\frac{3}{\sqrt{5}}) $ 에서는 $ \frac{32\sqrt{5}}{3}\pi^4 $ 이다. 반지름이 변할 때 불변량은 무한히 커진다.