평행 수송의 범주론적 해석: 함자를 통한 새로운 접근

이 논문은 매끄러운 다양체 위의 다발에서의 평행 수송 현상을 범주론의 관점에서 체계적으로 재구성합니다. **서론(1장)**에서는 고차원 평행 수송(예: 곡면을 따른 수송)에 대한 동기가 설명되며, 기존 접근법(홀로노미 사상, 델리뉴 코호몰로지 등)의 한계(연결성, 단일 연결성, 아벨성 제약)를 지적합니다. 이를 극복하기 위해 경로 군 P₁(M)에서 대상이 섬유를 나타내는 범주 T로 가는 함자 F를 평행 수송의 일반화된 표현으로 제안합니다. 그러나 모든 함자가 기하학적 구조에서 비롯된 것은 아니므로, 이를 구별할 수 있는 특징화가 필요함을 강조합니다. **2장: 함자와 국소 자명화**에서는 기본 도구를 정의합니다. 먼저 매끄러운 다양체 M의 '경로 군' P₁(M)을 정의하는데, 이는 객체가 M의 점들이고, 사상이 점 사이의 '얇은 호모토피' 동치류인 경로들로 구성된 군입니다. 이 군 위의 함자 F: P₁(M) → T를 고려합니다. 이 함자의 '국소 자명화' 개념을 도입하는데, 이는 전사적인 몰입 π: Y → M(열린 덮개의 일반화)과 구조를 지정하는 함자 i: Gr → T(여기서 Gr은 Lie 군oid)에 상대적으로 정의됩니다. 함자 F가 π-국소적으로 i-자명화 가능하다는 것은, F를 Y로 당겼을 때(F∘π*), 그것이 i를 통해 Gr에서 온 어떤 함자 triv: P₁(Y) → Gr와 자연 동형(t: F∘π* → i∘triv)임을 의미합니다. 이러한 자명화를 가진 함자들의 범주 Triv¹_π(i)를 정의합니다. 또한, 자명화로부터 '하강 데이터'를 추출하는 방법을 설명하고, 반대로 하강 데이터(triv, g)로부터 원래 함자를 재구성할 수 있음을 보여주는 '하강 성질'(Theorem 2.9)을 증명하여 범주 Triv¹_π(i)와 Des¹_π(i)(하강 데이터의 범주)가 동치임을 보입니다. **3장: 수송 함자**에서는 논문의 핵심 정의를 제시합니다. 2장의 하강 데이터 (triv, g)에 '매끄러움' 조건(Definition 3.1)을 부여합니다. 이 조건은 미분위상수학의 '미분다양체' 개념을 일반화한 '미분다양체적 공간' 이론을 통해 정밀하게 기술됩니다. 국소 자명화가 존재하고 그에 연관된 하강 데이터가 매끄러운 함자 F를 '수송 함자'라고 정의하며, 이들의 범주를 Trans¹_Gr(M, T)로 표기합니다. **4장: 미분형식과 매끄러운 함자**에서는 구체적인 예를 위해 대상 범주를 T = G-Tor(G-작용을 가진 매끄러운 공간의 범주)로, 구조 군oid를 Gr = BG(한 원소를 가지며 G가 자기동형인 군)로 특수화합니다. 이 경우, 함자 triv: P₁(Y) → BG의 매끄러움과 Y 위의 Lie(G)-값 1-형식 A 사이에 밀접한 관계가 있음을 보입니다(Proposition 4.7). 구체적으로, 이러한 매끄러운 함자 triv는 경로 γ에 대해 triv(γ) = P exp(∫_γ A)로 주어지는 '경로-순서 지수'와 본질적으로 같음을 설명합니다. **5장: 예시**에서는 이론을 적용하여 주요 결과를 얻습니다. 먼저, 임의의 주 G-다발 P와 연결 A로부터 구성된 함자 tra_P: P₁(M) → G-Tor가 실제로 Trans¹_BG(M, G-Tor)의 객체가 됨을 보입니다. 그 반대 방향, 즉 수송 함자로부터 주다발과 연결을 구성할 수 있음을 보여, **Theorem 5.4**로서 범주 Bun∇_G(M)와 Trans¹_BG(M, G-Tor) 사이의 동치를 완성합니다. 이 장에서는 또한 벡터 다발과 연결, 일반화된 연결, 홀로노미 사상 등에 대한 적용도 간략히 논의합니다. **6장: 군oid 다발과 연결**에서는 구조 군이 Lie 군이 아닌 Lie 군oid인 경우로 이론을 확장하여, 군oid 다발에 대한 연결 개념을 수송 함자의 관점에서 유도하는 방법을 제시합니다. **7장: 일반화 및 추가 주제**에서는 이 프레임워크의 확장 가능성을 제시합니다. 가장 중요한 것은 '수송 n-함자' tra: P_n(M) → T로의 일반화로, 여기서 P_n(M)은 고차원 경로(예: n=2인 경우 곡면)를 포함하는 고차 경로 군입니다. 이는 2차원 이상의 평행 수송을 공식화하는 자연스러운 틀이 됩니다. 또한, 수송 함자의 '곡률' 개념, 매끄러운 함자에 대한 대안, '아나함자'를 이용한 표현 등에 대한 논의도 포함됩니다. 결론적으로, 이 논문은 평행 수송을 함자로 표현하는 체계적인 이론을 구축하고, 이를 통해 고전적 미분기하학적 구조를 범주론적으로 이해하며, 비가환 고차원 기하학으로의 확장을 위한 토대를 마련했습니다.