[논문 리뷰] Polyhedral approximations of Riemannian manifolds

Anton Petrunin|arXiv (Cornell University)|2022. 07. 15.

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

한 줄 요약

이 논문은 리만다이닉 다양체가 아래 또는 위로 둔감한 다면체 계량에 국소적 또는 전역적 리프시츠 근사가 가능하기 위한 필수 및 필요조건을 설정한다. 이는 코세크션 군속도(curvilinear sectional curvature)의 개념을 도입하여, 이러한 근사가 존재하는 것은 다각형의 곡률 텐서가 특정 볼록 O(m)-불변 콘에 속해 있을 때에만 가능하다는 것을 보여준다. 이 콘은 $\mathbb{S}^2 \times \mathbb{R}^{m-2}$의 곡률 텐서에 의해 생성되며, 전역 근사의 경우 위상 조건 하에 양의 여유 $\varepsilon$가 필요하다.

ABSTRACT

We give a condition on the curvature tensors of Riemannian manifolds that admit Lipschitz approximation by polyhedral metrics with curvature bounded below or above. We show that this condition is also sufficient for the existence of local approximations. We conjecture that it is also sufficient for the global approximations and prove it in some special cases.

연구 동기 및 목표

• 다음과 같은 다면체 계량에 의해 곡률이 아래 또는 위로 둔감한 리만다이닉 다양체를 특성화하는 것: 곡률이 아래 또는 위로 둔감한 다면체 계량에 의한 근사가 가능하다.
• 다음과 같은 새로운 곡률 조건인 코세크션 군속도를 정의하고 분석하는 것: 다면체 곡률 텐서의 극한 행동을 포괄한다.
• 다음과 같은 조건이 국소 리프시츠 근사에 필수적임을 증명하는 것: 다면체 공간에 의한 곡률 $\geqslant \kappa$ 근사에 대해 코세크션 군속도 조건이 필수적이다.
• 다음과 같은 조건이 전역 근사에 충분함을 증명하는 것: 위상적 가정(예: 안정적으로 자명한 접선(bundle)을 가진다) 하에.
• 다음과 같은 추측을 제기하고 특수한 경우에 대해 증명하는 것: 접선(bundle) 조건이 본질적이지 않으며, 구형 다양체를 포함한 특수한 경우에 전역 결과를 증명한다.

제안 방법

• 공간 $\mathrm{A}^4(\mathbb{E}^m)$의 곡률 텐서 공간에서 $\mathbb{S}^2 \times \mathbb{R}^{m-2}$의 곡률 텐서에 의해 생성되는 최소 볼록 O(m)-불변 콘 $\mathcal{S}^*$ 를 정의한다.
• 조건 $\mathrm{Rm}_p - \kappa \cdot Q_{\mathbb{S}^m} \in \mathcal{S}^*$ 를 통해 코세크션 군속도 $\mathop{\rm cosec}\nolimits_p(\mathrm{Rm}_p) \geqslant \kappa$ 를 정의한다.
• 리만다이닉 다양체 $M$을 $\mathbb{R}^q$ 안에 등장시키는 등거리 임bedding을 구성한다. 이는 $q-m$ 개의 국소적으로 볼록한 초곡면의 교차로 이루어지며, 외부 법선 간의 각이 둔각을 이룬다.
• 각 볼록 초곡면을 각 조건을 유지하면서 볼록 다면체 초곡면으로 근사하고, 그 교차를 취하여 곡률 $\geqslant \kappa$ 를 가진 다면체 계량을 얻는다.
• 특이 곡률 측도(코디멘션-2 스켈레톤에 지지됨)의 약한 수렴을 사용하여 근사 수열의 극한 곡률 텐서가 다양체 $M$의 리만다이닉 곡률 텐서와 일치함을 보인다.
• 퍼렐만의 미발표 결과를 적용하고, GH 수렴과 비-리프시츠 매개변수화를 사용하여 곡률 측도의 수렴을 제어한다.

실험 결과

연구 질문

• RQ1 어떤 곡률 조건 하에서 리만다이닉 다양체가 곡률이 아래로 둔감한 다면체 계량에 국소적으로 근사될 수 있는가?
• RQ2 코세크션 군속도 조건 $\mathop{\rm cosec}\nolimits M \geqslant \kappa + \varepsilon$ 는 $\kappa$-다면체 계량에 의한 전역 리프시츠 근사에 충분한가?
• RQ3 안정적으로 자명한 접선(bundle) 조건이 전역 근사에 있어 얼마나 필수적인가?
• RQ4 접선(bundle) 조건을 만족하지 않는 다양체들, 예를 들어 $\mathbb{C}\mathrm{P}^2$ 와 같은 다양체들에 대해 전역 근사 결과를 확장할 수 있는가?
• RQ5 다면체 공간의 곡률이 코디멘션-2 스켈레톤에 어떻게 집중되는가? 그리고 이는 극한 곡률 텐서에 어떤 영향을 미치는가?

주요 결과

• 국소적 결과는 리만다이닉 다양체 $M$이 $\kappa$-다면체 공간의 리프시츠 극한이면, $\mathop{\rm cosec}\nolimits M \geqslant \kappa$ 라는 것을 보여준다.
• 반대로, 만약 $\mathop{\rm cosec}\nolimits M \geqslant \kappa + \varepsilon$ 를 만족하는 어떤 $\varepsilon > 0$ 가 존재하면, $M$의 각 점은 $\kappa$-다면체 공간의 리프시츠 극한이면서 곡률 $\geqslant \kappa$ 를 만족하는 이웃을 가진다.
• 전역 경우에, $M$이 단순연결되어 있고 $\mathop{\rm cosec}\nolimits M \geqslant \kappa + \varepsilon$, 그리고 $M$이 안정적으로 자명한 접선(bundle)을 가진다면, $M$은 곡률 $\geqslant \kappa$ 를 만족하는 전역 리프시츠 근사 다면체 계량을 가진다.
• $\mathop{\rm cosec}\nolimits M \geqslant 1$ 조건은 완전한 리만다이닉 $m$-다양체가 곡률 $\geqslant 1$ 를 만족하는 구형 다면체 계량에 리프시츠 근사를 허용하기 위해 필수적이고 충분한 조건이다.
• 다면체 공간의 특이 곡률 텐서는 그 코디멘션-2 스켈레톤에 지지되며, 하우스도르프 측도와 총 각도 결손을 통해 정의된다. 이는 노름이 1인 표준 2-텐서장 $\alpha = dx \wedge dy$ 를 가진다.
• 근사하는 다면체 공간의 특이 곡률 측도가 극한 다양체의 리만다이닉 곡률 텐서로 약한 수렴을 보임을 증명하여, 곡률 극한의 일관성을 확인한다.