정규 랜즈버그 계량은 베르반임을 주장한 증명에 숨겨진 구멍

본 논문은 Z. I. Szabó가 2008년 발표한 “정규 Landsberg 계량은 항상 Berwald이다”라는 정리(정리 3.1)의 증명에 존재하는 논리적 구멍을 상세히 분석한다. Szabó는 먼저 매끄러운 n차원 다양체 \(M\) 위에 정의된 Finsler 계량 \(F\)에 대해, 각 점 \(x\)와 접벡터 \(y\)에서 두 번째 미분으로 얻어지는 텐서 \(g(x,y)\)를 정의한다. 이 텐서는 \(T_xM\setminus\{0\}\) 위의 리만 계량 역할을 하며, Landsberg 조건이 만족되면 베르반 평행 수송 \(\phi\)가 단위 구와 부피형을 보존한다는 사실을 이용한다. Szabó는 \(g\)를 이용해 전역 리만 계량을 다음과 같이 평균화한다. \