헤들룽 메트릭으로 구현하는 안정 노름의 다면체 형태

본 논문은 안정 노름(stable norm)의 구조적 특성을 탐구하고, 차원 ≥ 3인 콤팩트 리만 다양체 M에 대해 다면체 형태의 안정 노름을 구현하는 새로운 매끄러운 리만 메트릭을 제시한다. 서론에서는 안정 노름이 원래 Federeer와 Gromov에 의해 도입된 개념이며, 정수 동형 클래스 v∈H₁(M;ℤ) 에 대해 최소 길이의 n배를 n으로 나눈 극한값으로 정의된다는 점을 강조한다. 이 정의는 아벨리안 커버 \(\bar M\) 에서 기본 영역을 임의로 작게 잡았을 때의 거리 구조와 동치이며, 따라서 안정 노름은 M의 전역 위상과 직접 연결된다. 이후 기존 연구(Babenko‑Balacheff)가 다면체 형태의 안정 노름을 구현하기 위해 특이 리만 메트릭을 만든 뒤 매끄럽게 근사하는 복잡한 절차를 사용했음을 언급하고, 본 논문은 전적으로 매끄러운 리만 메트릭만으로 동일한 결과를 얻는 방법을 제시한다. 핵심 아이디어는 다음과 같다. 먼저, 다면체 P (중심 대칭, 비어 있지 않은 내부, 정점 방향이 정수 격자와 정합된 유리 벡터) 를 선택한다. P의 정점들을 \(\tilde v_i\) 라 하고, 이를 정수 클래스 \(v_i = \varepsilon_i \tilde v_i\) (ε_i>0) 로 스케일링한다. 각 \(v_i\) 에 대해 서로소인 폐곡선 \(\gamma_i\) (‘admissible curve’) 를 잡고, 이들 곡선의 ε‑튜블러 이웃 \(U_\varepsilon(\Gamma_i)\) 을 만든다. 이때 ε는 충분히 작게 잡아 서로 겹치지 않게 한다. 다음 단계는 ‘좋은’ 1‑형식 \(\omega\) 의 구성이다. 다면체 P의 각 면 \(S_i\) 에 대해 지원 함수와 일치하는 코호몰로지 클래스 \(\lambda_i \in H^1_{dR}(M)\) 를 선택한다. \(\lambda_i\)는 면 \(S_i\) 위의 정점 \(\tilde v_j\) 에 대해 \(\lambda_i(\tilde v_j)=1\) (면에 속한 정점)이고, 다른 정점에 대해서는 절댓값이 1보다 작다. 그런 다음, 각 \(\gamma_j\) 에 대한 반지오데식 좌표 \(s_j\) 와 그 미분 \(ds_j\) 를 이용해, \(\omega\)가 \(U_\varepsilon(\Gamma_j)\) 내에서는 \(\lambda_i(v_j) ds_j\)와 일치하도록 만든다. 이는 \(\omega\)가 전역적으로 닫힌 1‑형식이며, 각 정점 방향에 대해 정확히 \(\lambda_i(v_j)\) 값을 갖게 함을 보인다. 이 과정에서 bump 함수 \(\zeta\) 와 평활화 기법을 사용해 \(\omega\)를 전역적으로 매끄럽게 만든다. 그 후 원래 메트릭 \(\rho\) 의 쌍대 메트릭 \(\rho^*\) 에 비례하는 스칼라 함수 \(F\) 를 정의한다. \(F\)는 두 부분으로 나뉜다. (1) 튜블러 이웃 \(U_\varepsilon(\Gamma_i)\) 내에서는 \