[논문 리뷰] Continuity of volumes -- on a generalization of a conjecture of J. W. Milnor

Igor Rivin|ArXiv.org|2005. 02. 25.

Mathematics and Applications참고 문헌 1인용 수 8

한 줄 요약

이 논문은 이면각에 대한 쌍곡 및 구면 단체 부피의 연속성에 관한 밀너의 추측에 대한 간단하고 통합된 증명을 제공하며, 3차원 이상의 일반적인 볼록 다면체와 다양한 종류의 3차원 쌍곡 다면체로 결과를 확장한다. 부피 함수가 이면각 매개변수 공간의 폐포에서 $C^{0,1}$ (립시츠 연속)임을 입증하며, 슈뢰드리의 미분 공식과 다면체의 지름과 폴라 메트릭에서의 시스톨 길이 사이의 새로운 기하학적 추정치를 사용한다.

ABSTRACT

In his paper "On the Schlafli differential equality", J. Milnor conjectured that the volume of n-dimensional hyperbolic and spherical simplices, as a function of the dihedral angles, extends continuously to the closure of the space of allowable angles. A proof of this has recently been given by F. Luo (see math.GT/0412208). In this paper we give a simple proof of this conjecture, prove much sharper regularity results, and then extend the method to apply to a large class of convex polytopes. The simplex argument works without change in dimensions greater than 3 (and for spherical simplices in all dimensions), so the bulk of this paper is concerned with the three-dimensional argument. The estimates relating the diameter of a polyhedron to the length of the systole of the polar polyhedron are of independent interest.

연구 동기 및 목표

• 이면각 매개변수 공간의 폐포로까지 연속적으로 연장된다는 밀너의 추측을 증명하는 것.
• 이론을 이면각이 부피를 결정하는 고차원 볼록 다면체로 일반화하는 것.
• 3차원 쌍곡 다면체에서 둔각이 아닌 이면각과 이형 또는 이상점이 있는 다면체에 대해 연속성 결과를 확장하는 것.
• 허용 가능한 이면각 공간의 경계에서 부피 함수의 날카운 정규성 추정치(특히 $C^{0,1}$)를 확립하는 것.

제안 방법

• 부피 도함수와 고차원 면의 면적 간의 관계를 나타내는 슈뢰드리 미분 공식을 사용하여 고차원에서 부분 도함수가 유계임을 보임.
• 소볼레프 포함 정리에 의해 도함수의 $L^p$ 유계성에서 허더 연속성을 도출함으로써 $C^{0,1}$ 정규성을 확립함.
• 쌍곡 다면체의 지름과 허용 가능한 메트릭 공간의 경계로부터의 폴라 메트릭 거리 사이의 기하학적 추정치를 적용함.
• 쌍곡余弦 법칙과 구면 삼각법을 사용하여 기울어진 구성으로부터의 거리에 따라 이면각의 변동을 추정함.
• 공집합 원리(피졸 원리)를 적용하여 중심 평면과 교차하는 순환적인 면의 순서를 구성함으로써 가우스 상의 곡률 추정치를 도출함.
• 다면체의 지름 $\rho$에 대해 폴라 메트릭이 경계로부터의 거리에 대한 지수 감소 추정치 $c_1(N)\exp(-c_2(N)\rho)$를 유도함. 여기서 $\rho$는 다면체의 지름이다.

실험 결과

연구 질문

• RQ1 쌍곡 또는 구면 단체의 부피는 그 이면각 매개변수 공간의 폐포로까지 연속적으로 연장되는가?
• RQ2 단체에 대한 연속성 결과를 3차원 이상의 일반적인 볼록 다면체로 확장할 수 있는가?
• RQ3 3차원 쌍곡 다면체의 이면각 공간 경계에서 부피 함수의 정규성 클래스는 무엇인가?
• RQ4 쌍곡 다면체의 기하학적 기울어짐은 허용 가능한 메트릭 공간의 경계로부터의 폴라 메트릭 거리와 어떻게 관련되는가?
• RQ5 이 방법은 이상점 또는 이형 점을 가진 다면체에 적용될 수 있는가?

주요 결과

• 쌍곡 또는 구면 단체의 이면각 공간에서의 부피 함수는 폐포로까지 연속적으로 연장되며, $C^{0,1}$ 정규성을 갖는다.
• $n > 3$일 경우, 이면각이 부피를 결정하는 고정된 조합론적 유형의 모든 볼록 다면체에 대해 연속성 결과가 그대로 적용된다.
• $\mathbb{H}^3$에서, 고정된 조합론적 유형의 비둔각 이면각 공간에서 부피 함수는 $C^{0,1}$ 연속성이다.
• 이형 또는 이상점이 있는 $\mathbb{H}^3$의 다면체에 대해서도, 이면각 공간의 폐포에서 부피 함수는 $C^{0,1}$ 연속성이다.
• 지름 $\rho \gg 1$인 쌍곡 다면체의 폴라 메트릭은 허용 가능한 메트릭 공간의 경계로부터 $c_1(N)\exp(-c_2(N)\rho)$ 이내에 있으며, 이는 정점 수 $N$에 따라 결정되는 명시적 상수를 포함한다.
• 큰 지름을 가진 쌍곡 다면체에서 순환적인 면의 순서를 따라 외부 이면각의 합은 $2\pi + 12N\exp(-\rho/2N)$ 이하로 유계이며, 이는 가우스 상에서 거의 지오데식적 행동을 나타낸다.