피스널 형태의 완전 비라만 페인스톤 벡터장에 대한 정리

논문은 먼저 페인스톤 계량 F 의 정의와 기본 성질을 정리한다. 여기서는 전통적인 엄격 볼록성 가정을 포기하고, 단순히 비음이 아닌 연속적인 노름으로서의 조건만을 요구한다. 또한, F 가 반드시 가역적일 필요는 없으며, 즉 F(ξ)≠F(−ξ) 일 수 있음을 명시한다. 이러한 일반화는 이후 평균 리만 계량을 정의하는 데 핵심적인 역할을 한다. 평균 리만 계량 g(F) 은 각 접공간 TₓM 에 대해, 단위 구면 S¹={ξ∈TₓM | F(ξ)=1} 위에서 두 번째 미분 D²p²(ξ) (여기서 p=F|_{TₓM}) 를 구하고, 그 값을 구면 S¹ 위의 부피형 ω 에 대해 적분함으로써 얻는다. 이 과정은 F 가 매끄럽게 변하는 경우에 한해 전역적인 리만 계량을 만든다. 중요한 사실은, F 와 동형인 계량 λ·F 에 대해 평균 계량은 g(λ·F)=λ²·g(F) 가 되며, 따라서 F 에 대한 컨포멀 변환은 자동으로 g(F) 에 대해서도 컨포멀 변환이 된다. 다음으로, 완전하고 본질적인 컨포멀 벡터장 v 를 가정한다. “본질적”이라는 용어는 v 가 어떤 컨포멀 변환을 통해 전부가 등거리 변환군이 되는 경우가 아니라는 의미이다. 이때 v 는 g(F) 에 대해서도 컨포멀 벡터장이 되므로, 리만 기하학에서 알려진 리히너비츠‑오바타 정리를 직접 적용할 수 있다. 리만 버전에서는 두 가지 경우만이 가능하다. 첫 번째는 v 가 어떤 컨포멀 계량 \tilde g=λ²g(F) 에 대해 완전한 등거리 변환군을 만든 경우(트리비얼 케이스)이며, 두 번째는 (M,\tilde g) 가 구형 Sⁿ 또는 유클리드 ℝⁿ 와 동형인 경우이다. 트리비얼 케이스에서는 λ·F 를 새로운 페인스톤 계량으로 잡으면, v 는 그 계량에 대해 완전한 등거리 변환군을 만든다. 이는 정리의 첫 번째 결론에 해당한다. 두 번째 경우를 구체적으로 살펴보면, 먼저 (M,g(F))가 ℝⁿ 인 경우를 다룬다. 리우빌 정리에 의해 모든 컨포멀 변환은 동차 변환 φ(x)=μ·x·A (μ>0, A∈O(n)) 의 형태를 갖는다. 이때 F 에 대한 컨포멀성은 F(φ(x),dφₓξ)=μ·F(x,ξ) 를 만족한다. μ가 고정된 양수이므로, φ의 반복 작용을 통해 F(0,ξ)=F(x,ξ) 가 된다. 즉 F 는 전역적으로 평행 이동에 불변이며, 이는 정확히 미켈스키 노름에 해당한다. 따라서 F 는 미켈스키 계량과 동형이며, v 는 그 계량에 대해 동질 벡터장이 된다. 다음으로 (M,g(F))가 구형 Sⁿ 인 경우를 분석한다. 스테레오그래픽 투영 s₊, s₋ 을 이용해 Sⁿ 의 두 개의 점(또는 하나의 점)을 제거하고 ℝⁿ 으로 옮긴다. 벡터장 v 가 두 점에서만 영인 경우와 한 점에서만 영인 경우를 각각 고려한다. 두 점에서 영인 경우, 양쪽 투영을 통해 얻은 ℝⁿ 상의 컨포멀 벡터장들은 각각 하나의 영점을 갖는다. 앞서 ℝⁿ 케이스와 동일하게, 이들 벡터장은 동차 변환에 의해 정의되며, 결과적으로 원래의 F 는 두 개의 미켈스키 계량 F₊, F₋ 에 동형이다. 이 두 계량 사이의 전환은 반사와 역변환을 조합한 것이며, 이는 전체 구면의 직교군에 대한 불변성을 보장한다. 한 점에서만 영인 경우에도 동일한 절차를 적용한다. 스테레오그래픽 투영 후 얻은 ℝⁿ 상의 벡터장은 고정점이 없으므로, 리우빌 정리에 의해 변환은 순수한 동차 변환(이동 없이)이어야 한다. 이는 μ=1, b=0을 의미하고, 따라서 변환은 순수 회전만을 포함한다. 이때도 F 는 미켈스키 형태임을 확인한다. 결론적으로, 논문은 다음과 같은 정리를 증명한다. 1. 완전하고 본질적인 컨포멀 벡터장이 존재하면, 적절한 컨포멀 변환을 통해 F 를 미켈스키 계량으로 바꿀 수 있다. 2. 그 경우, 벡터장 v 는 해당 미켈스키 계량에 대해 동질(동등)벡터장이 된다. 이 결과는 기존 리만 기하학에서의 리히너비츠‑오바타 정리를 비라만 페인스톤 기하학으로 확장한 것으로, 비가역성, 비엄격 볼록성 등 일반적인 페인스톤 조건을 허용한다는 점에서 새로운 통찰을 제공한다.