베르발드 계량과 공통 측지를 위한 리만 계량 및 PDE 접근

1. 서론 및 정의 논문은 매끄러운 다양체 M 위의 Finsler 계량 F를 정의하고, 특히 ‘베르발드’라 불리는 특수한 경우를 다룬다. 베르발드 계량은 대칭 어파인 연결 Γ가 존재해 평행 이동이 F를 보존한다는 특성을 갖는다. 리만 계량은 언제나 베르발드이며, 연관 연결은 Levi‑Civita 연결이다. ‘본질적 베르발드’는 비리만이면서 베르발드인 경우이며, 대표적인 예가 Minkowski 계량이다. 2. 측지 동등성 개념 두 계량 F₁, F₂가 ‘측지 동등’이면 F₁‑측지선(방향만 고려)과 F₂‑측지선이 동일하고, ‘어파인 동등’이면 매개변수까지 동일하다. 비볼록 계량에서는 측지 동등이 대칭이 아니며, 예시로 특정 Minkowski 계량에서 직선 구간과 비직선 구간이 모두 측지선이 되는 경우를 제시한다. 3. 정리 1 – 어파인 동등 리만 계량의 존재 F가 베르발드이면, 각 접공간 T_xM에서 F|_{T_xM}를 매끄러운 노름 p로 보고, 단위 구 S¹ 위에 부피형식 ω를 정의한다. 이후 b(ξ)(η,ν)=D²_ξ p²(η,ν) 를 구하고, g(η,ν)=∫_{S¹} b(ξ)(η,ν) ω 로 평균화한다. 이 평균 계량 g_F는 전역적인 리만 계량이며, 연관 연결 Γ가 g_F의 Levi‑Civita 연결이 된다. 따라서 g_F와 F는 어파인 동등이다. 이 증명은 Szabó의 기존 결과를 비볼록성 가정 없이 일반화한다. 4. 정리 2 – 비자명한 측지 동등성의 필요충분조건 ‘본질적 베르발드’ F와 리만(또는 의사리만) 계량 g가 측지 동등하지만 어파인 동등이 아니라고 가정한다. 그러면 상수 μ, 대칭 텐서 a_{ij}, 비영벡터 λ_i가 존재해 다음 PDE를 만족한다: a_{ij,k}=λ_i δ_{jk}+λ_j δ_{ik} (1) λ_{i,j}=μ δ_{ij} (2) 여기서 ‘, ’는 연관 연결 Γ에 대한 공변 미분이다. 식 (1),(2)는 Cauchy‑Frobenius 형태이며, 미지 함수들의 도함수가 자체와 데이터만으로 명시적으로 주어진다. μ=0, λ_i≡0이면 trivial 해가 되며, 이는 g가 F와 어파인 동등함을 의미한다. 5. 호몰로지 군과 대칭성(보조정리 1) 베르발드 계량 F와 어파인 동등한 리만 계량 g를 고정하고, 점 q∈M에서 호몰로지 군 H_q를 고려한다. H_q는 Γ에 대한 평행 이동으로 이루어진 직교 변환군이다. H_q는 (i) 단위 구를 전이적으로 작용, (ii) g가 ‘대칭’(rank ≥ 2), (iii) g와 비비례하지만 어파인 동등한 다른 리만 계량 h가 존재하는 경우 중 하나에 해당한다. 경우 (i)는 F가 실제로 리만임을 의미한다. 6. 이동도와 식 (6)–(8) 연관 연결 Γ와 평균 계량 g에 대해, g와 또 다른 측지 동등한 계량 \bar g가 존재하면 텐서 a_{ij}= (det \bar g / det g)^{1/(n+1)} \bar g^{αβ} g_{αi} g_{βj} 와 λ_i=½ a^{αβ} g_{αβ} 가 정의된다. Sinjukov‑Mikes‑Levi‑Civita 이론에 의해 a_{ij,k}=λ_i g_{jk}+λ_j g_{ik} (식 6) 가 성립한다. 이동도 차수가 ≥3이면,