호흐르 연속 분포에 대한 서브리만지안 거리 하한: 제곱근 법칙의 일반화

본 논문은 서브리만지안 기하학에서 전통적으로 가정해 온 “수평 분포 H가 C^∞(또는 최소 C¹)이며 브라켓 생성(bracket‑generating)이다”는 전제를 완화한다. 부분 고정점(Partially hyperbolic) 변환의 불변 분포는 일반적으로 호흐르 연속(C^θ, 0<θ<1) 수준에 머물며, 이러한 비부드러운 분포에 대해 서브리만지안 거리 d_H와 기본 리만 거리 dist 사이의 정량적 관계가 거의 알려지지 않았다. 저자는 코차원 1, 전역적으로 적분불가능(nowhere integrable)인 C^θ 분포 H에 대해, 수직 방향(즉, H와 직교인 경로)에서 d_H가 dist에 대해 최소한 dist^{1/(1+θ)} 정도로 커야 함을 증명한다. 이는 기존의 C¹ 경우에 알려진 d_H ≥ c·√dist 를 θ→1 로 복원한다. **배경 및 동기** 부분 고정점 변환 f:M→M 은 안정, 중심, 불안정 세 부분으로 접공간을 연속적으로 분해한다(T M = E^s ⊕ E^c ⊕ E^u). 이때 E^s⊕E^u 은 일반적으로 비적분가능하고, 그 자체가 수평 분포 H가 된다. 접근성(accessibility) 성질은 두 점을 E^s와 E^u의 잎을 따라 번갈아 이동시켜 연결할 수 있음을 의미한다. 이러한 동역학적 상황에서 H는 보통 C^θ (θ<1) 수준이며, 서브리만지안 거리 d_H는 동역학적 혼합성, 에르고딕성 등을 연구하는 데 중요한 도구가 된다. 따라서 H가 부드럽지 않을 때 d_H와 dist 사이의 관계를 이해하는 것이 필요하다. **주요 정의와 선행 결과** - **Nowhere integrable**: 임의의 점 p와 ε>0에 대해 p의 근방 U에서 p와 임의의 q∈U를 길이 <ε인 수평 경로로 연결할 수 있음. - **Bracket‑generating**: H와 그 반복 Lie bracket이 전체 접공간을 생성한다(호르만 조건). - **Ball‑Box 정리**: C^∞ 경우, 수직 방향에서 d_H ≍ √dist, 수평 방향에서는 d_H ≍ dist. **보조 정리** 1. **호흐르 1‑형식에 대한 면적‑부피 불균형 (Theorem 2.1)**: C^θ k‑형식 α에 대해 작은 (k+1)‑디스크 D에 대해 |∫_{∂D}α| ≤ K·‖α‖_{C^θ}·|∂D|^{1−θ}·|D|^{θ}. 2. **작은 등적성 (Lemma 2.2, Corollary 2.3)**: 충분히 짧은 폐곡선 Γ는 면적이 O(|Γ|²)인 2‑디스크 D에 의해 채워진다. **주요 정리** *Theorem*: H가 코차원 1, C^θ (0<θ<1)이며 전역적으로 적분불가능한 경우, 임의의 C¹ 수직 경로 γ와 그 위의 두 점 p,q (dist(p,q) sufficiently small) 에 대해 d_H(p,q) ≥ C·dist(p,q)^{1/(1+θ)} 여기서 C>0는 H와 γ에만 의존한다. **증명 개요** - 수직 경로 γ를 단위 속도 리만 지오데시스로 잡고, H와 직교인 단위 벡터 X를 선택한다. - 1‑형식 α를 “Ker(α)=H, α(X)=1” 로 정의하고, γ에 대해 α_γ를 “Ker(α_γ)=H, α_γ(γ̇)=1” 로 만든다. 두 형식은 α = λ·α_γ이며 λ = sin φ (φ는 γ̇와 H 사이 각도). 최소 각 φ₀>0 를 확보한다. - p,q 사이의 수직 리만 구간 γ₀와, 최소 길이 수평 경로 γ₁ (길이 ≈ d_H) 를 고려한다. 두 경로 차이 Γ = γ₀ − γ₁ 은 작은 폐곡선이다. - 코롤러리 2.3을 이용해 Γ를 경계로 하는 2‑디스크 D를 만든다. D의 면적은 |D| ≤ c·|Γ|², 경계 길이는 |∂D| = |Γ| < σ (σ는 정리 2.1의 전제). - 정리 2.1을 α에 적용하면 |∫_{∂D}α| ≤ K·‖α‖_{C^θ}·|∂D|^{1−θ}·|D|^{θ}. 하지만 ∫_{∂D}α = ∫_{γ₀}α_γ (왜냐하면 γ₁ 위에서는 α와 α_γ 모두 0) 이므로 |γ₀| ≤ K·(sin φ₀)^{−1}·‖α‖_{C^θ}·|Γ|^{1−θ}·(c·|Γ|²)^{θ}. - 정리를 정리하면 |γ₀|^{1/(1+θ)} ≤ C·(|γ₀|+d_H) 가 되고, ε→0, |γ₀|=dist(p,q) 를 대입하면 최종 하한이 도출된다. **결과의 해석** - θ가 1에 가까워질수록 지수 1/(1+θ) 가 1/2 로 수렴해 기존 제곱근 하한을 복원한다. - φ₀가 작아질수록(경로가 수평에 가까워질수록) 상수 C가 작아져 하한이 약해진다. 이는 수평 방향에서는 d_H와 dist가 동등함을 반영한다. - 상수 C는 H의 호흐르 노름, 최소 각 φ₀, 그리고 보조 정리들의 상수에만 의존한다. **논문의 의의와 향후 과제** 이 논문은 비부드러운 분포에 대한 서브리만지안 거리의 하한을 최초로 정량화함으로써, 부분 고정점 동역학계에서 접근성, 에르고딕성, 혼합성 등을 거리 기반으로 분석할 수 있는 새로운 도구를 제공한다. 아직 해결되지 않은 문제는: (1) 동일한 조건에서 상한(upper bound) 존재 여부, (2) 코차원 >1인 경우의 일반화, (3) 거리의 정확한 비등가성(예: d_H ≍ dist^{1/(1+θ)} 가 성립하는지) 등이다. 이러한 질문들은 호흐르 형태와 비부드러운 분포의 미분기하학적 특성을 더 깊이 탐구해야 함을 시사한다.