볼록 집합의 차원과 절단에 관한 새로운 비대칭 추정

이 논문은 고차원 하이퍼볼릭 공간 \(H^n\) 과 유클리드 공간 \(E^n\) 에서 부피가 유한하지만 영이 아닌 볼록 집합 \(C\) 의 기하학적 특성을 체계적으로 탐구한다. 연구는 크게 세 부분으로 나뉜다. 첫 번째 부분에서는 \(C\)의 이상 경계, 즉 이상점(ideal boundary)와의 교집합 \(C_\infty\) 의 차원을 조사한다. 저자는 Minkowski 차원의 정의와 그 상한‑하한 성질을 활용해, \(\dim_M(C_\infty)\le (n-1)/2\) 라는 일반적인 상한을 증명한다. 핵심 도구는 “Double Cone Lemma”이다. 이 보조정리는 원점 주변에 포함된 작은 구 \(B_{r_0}(0)\) 와 큰 구 \(B_{r_2}(0)\) 사이에 존재하는 볼록 집합 \(C\) 에 대해, 반경 \(r_2\) 에서의 시각 구 방향 집합 \(\Omega_{r_2}(C)\) 의 \(\varepsilon\)-이웃집합이 반경 \(r_1\) 의 방향 집합 \(\Omega_{r_1}(C)\) 에 포함된다는 사실을 보여준다. 이를 통해 \(\Omega_{r}(C)\) 의 측정값이 부피 \(V(C)\)와 반비례함을 정량화하고, \(\varepsilon\)가 작아질 때 측정값이 \(\varepsilon^{(n-1)/2}\) 정도 감소함을 보인다. 결과적으로 \(\dim_M(C_\infty)\)와 \(\dim_H(C_\infty)\)가 \((n-1)/2\) 이하임을 얻는다. 두 번째 부분에서는 \(C_\infty\)가 매끄러운 부분다양체일 때, 그 볼록 껍질 \(\operatorname{conv}(C_\infty)\) 의 부피 유한성 조건을 다룬다. 저자는 \(C_\infty\)의 위상 차원 \(d\)가 \(\lfloor n/2\rfloor-1\) 이하이면 부피가 유한하고, 그 역도 성립함을 보인다. 이는 차원 \((n-1)/2\) 이라는 상한이 실제로 예리함을 의미한다. 특히 \(n=3\)인 경우, 차원 \(1\) 미만의 집합에 대해 부피가 유한한 예시를 구성하고, 차원 \(1\) 정확히에서의 상황은 아직 미해결임을 언급한다. 세 번째 부분은 “중심 절단” 문제이다. 임의의 점 \(p\in C\) 와 차원 \(k\) ( \(k\le (n-1)/2\) ) 의 평면 \(\Pi\) 을 고려한다. \(\Pi\cap C\) 가 포함되는 최소 구의 반경을 \(d(\Pi)\)라 두고, 이 값에 대한 상한을 찾는다. 앞서 얻은 \(\Omega_r(C)\) 의 측정값 추정과 Grassmannian 위의 평균값 정리를 결합해, 부피 \(V(C)\)가 충분히 크고 \(k\)가 \((n-1)/2\) 이하일 때 \