비양의 곡률 구의 국소 등적 부등식

초록

본 논문은 유클리드 n차원 구의 메트릭을 비양의 곡률을 갖는 메트릭으로 작은 변형했을 때, 등적비(Iso‑perimetric ratio)가 감소하지 않음을 증명한다. 등적비가 동일하게 유지되는 경우는 오직 동등비(동일 비례) 변환, 즉 동형변환에 해당한다. 이를 통해 카르탕-하다마르 추측의 국소 버전을 완전하게 확립한다.

상세 분석

논문은 먼저 비양의 곡률을 갖는 C∞ 메트릭들의 공간 M₀(Bⁿ)를 정의하고, C²‑노름으로 충분히 작은 변동 ε 안에서만 고려한다. 주요 정리 1.1은 |g−δ|_{C²}≤ε이면 등적비 I(Bⁿ_g)≥I(Bⁿ_δ)이며, 등적비가 동일할 경우 g는 유클리드 메트릭 δ와 동형임을 보인다. 이를 위해 저자는 Bⁿ_g를 정상좌표(normal coordinates)에서 별형(star‑shaped) 영역 Ω⊂ℝⁿ으로 표현한다. 경계 ∂Ω는 구면 S^{n−1} 위의 방사형 함수 f(θ)의 그래프로 나타나며, f는 C¹‑연속이다. 라우흐(Rauch) 비교정리를 이용해 각 방사선 길이 r에 대한 야코비안 J_g(rθ)와 표준 곡률 k≤0인 모델 공간의 야코비안 J_k(r) 사이의 부등식 J_g(rθ)≥J_k(r) (동등성은 g=δ_k) 를 얻는다. 또한 행렬 비교(Lemma 3.2)를 통해 det(g)와 det(δ_k) 사이의 관계를 정밀히 다룬다.

주요 아이디어는 등적비 I(Ω_g)=|∂Ω_g|·|Ω_g|^{−(n−1)/n} 를 J_g와 ∇_g f를 포함한 적분식으로 변형하고, 이를 J_k와 ∇k f에 대한 하한식으로 견고히 잡는 것이다. 함수 λ(t)을 정의해 λ′(t)≥0임을 보이면 λ(1)≥λ(0) 즉 I(Ω_g)≥I(Ω{δ_k}) 가 성립한다. ε를 충분히 작게 잡으면 ρ(θ)=J_g(f(θ)θ)/J_k(f(θ))≈1이 되고, λ′(t)의 부호가 양수가 됨을 확인한다. 등적비가 동일한 경우 ρ≡1, J_g≡J_k, ∇_g f≡∇_k f 가 되므로 g=δ_k임을 역으로 증명한다.

또한, 비양의 곡률이지만 부정적인 상한이 없는 경우(예: 하이퍼볼릭 공간)에는 동일한 논리가 깨짐을 Note 1.3에서 명시한다. 이는 등적비가 반경에 따라 증가하는 하이퍼볼릭 구의 특성에서 비롯된다. 전체적으로 저자는 미분기하학, 비교정리, 변분법을 조합해 국소적인 등적 부등식을 정밀히 구축하고, 카르탕‑하다마르 추측의 국소 형태를 완전하게 증명한다.