작은 특이 영역과 그 지역화 가능성

초록

본 논문은 b‑불완전 반곡선을 포함하는 임의의 연결 열린 시공간 영역에서, 정규 거리 함수를 이용해 유계이며 Cauchy‑불완전한 프레임 번들 부분집합으로 사상되는 ‘작은’ 특이 영역을 항상 찾을 수 있음을 증명한다. 또한 이러한 작은 영역들의 직경을 임의의 자연 거리 함수에 대해 0으로 수렴하도록 구성할 수 있음을 보이며, 고전 일반 상대성 이론에서 특이 구조가 지역화될 수 있음을 논의한다.

상세 분석

논문은 먼저 b‑불완전성(b‑incompleteness)의 정의를 재정리한다. 일반화된 아핀 매개변수 λ를 이용해 곡선 γ의 아핀 길이가 유한하고 끝점이 존재하지 않을 때 γ를 b‑불완전이라고 정의한다. 이때 ‘끝점이 존재하지 않는다’는 의미는 γ가 어떤 점 p에 수렴하지 않으며, 임의의 열린 이웃 U⊂M에 대해 충분히 큰 매개변수 t에 대해 γ(t)∈U가 되지 않는다는 것이다. 이러한 정의는 기존의 타임‑라이크 혹은 인과적 지오데시스의 불완전성보다 약한 조건이며, Schmidt이 제시한 b‑경계(b‑boundary) 이론의 핵심이다.

다음으로 저자는 정규 거리 함수(natural distance function)를 갖는 정규화된 정규 프레임 번들 O⁺M을 도입한다. O⁺M은 양의 연결 성분을 갖는 정규 직교 프레임 번들이며, Levi‑Civita 연결을 통해 정의된 연결 1‑형식 ω와 전형적 1‑형식 θ를 이용해 Riemannian metric h를 만든다. h는 ω와 θ의 내적을 합한 형태이며, 이로부터 거리 함수 d가 유도된다. 중요한 점은 서로 다른 내적 선택에 의해 정의된 거리 함수들이 상수 a, b>0에 대해 a·d₁≤d₂≤b·d₁ 를 만족하므로, ‘자연 거리 함수’라는 용어가 위계적 동등성을 의미한다는 것이다.

핵심 정리는 다음과 같다. 임의의 열린 집합 U⊂M에 대해, U 안에 일반화된 아핀 길이가 유한하고 끝점이 없는 곡선 γ가 존재하면, O⁺M 안에 유계(open bounded)이며 그 폐쇄가 Cauchy‑불완전한(open ˜V) 집합을 찾을 수 있다. 이때 ˜V의 사상 π