그룹오이드와 이중벡터 공간의 관계

본 논문은 본질적으로 유한한 그룹오이드와 2‑벡터 공간 사이의 관계를 체계적으로 구축한다. 서론에서는 Baez‑Dolan이 제시한 ‘그룹오이드화(groupoidification)’ 프로그램을 소개하며, 집합에 대한 스팬이 선형 변환을 제공하는 방식을 그룹오이드로 일반화하고자 하는 동기를 제시한다. 특히, 유한 집합 S에 대해 복소수 선형 결합으로 이루어진 벡터 공간 L(S)를 정의하고, 스팬 X←Y→Z가 행렬 T로 나타나는 과정을 통해 ‘역사들의 합’이라는 물리적 직관을 설명한다. 그 다음 섹션 2에서는 스팬을 구성하는 bicategory Span(FinGpd)를 정의한다. 객체는 본질적으로 유한한 그룹오이드이며, 1‑셀은 그룹오이드 사이의 스팬, 2‑셀은 스팬 맵의 스팬(‘스팬 오브 스팬 맵’)이다. 스팬의 합성은 약한 풀백(weak pullback)을 이용해 정의되며, 이는 그룹오이드의 동형류와 자동동형군을 고려한 ‘약한’ 구조이다. 저자는 이러한 합성이 동형동형(up to isomorphism)임을 보이며, 이는 이후 2‑functor의 약한 보존성을 입증하는 기반이 된다. 섹션 3에서는 목표 범주인 2‑벡터 공간(2Vect)을 소개한다. 여기서는 Kapranov‑Voevodsky식 2‑벡터 공간을 ‘세미심플한 C‑선형 가법 범주’로 정의하고, 모든 이러한 범주는 Vect^k와 동형임을 언급한다(‘k’는 자연수). 이 배경을 바탕으로, 각 그룹오이드 X에 대해 자유 2‑벡터 공간 Λ(X)=Fun(X, Vect)를 구성한다. 이때 Fun은 X의 객체에 복소수 벡터 공간을 할당하고, X의 사상에 대해 선형 사상을 대응시키는 함자이다. 섹션 4에서는 Λ의 객체 수준 정의를 상세히 다룬다. 그룹오이드 X가 주어지면, Λ(X)는 X‑값 Vect‑프리쉐이브들의 범주이며, 이는 X의 동형류마다 하나의 ‘2‑선형 조합’을 제공한다. 특히, 자동동형군의 크기에 따라 가중된 카디널리티를 사용해 각 객체의 차원을 정한다(식 (5) 참조). 섹션 5는 핵심적인 2‑선형 사상의 정의에 초점을 맞춘다. 그룹오이드 사이의 함자 f : X→Y에 대해, 두 가지 사상이 정의된다. (1) pull‑back f* : Fun(Y, Vect)→Fun(X, Vect) 은 전치함자로, (2) push‑forward f₊ : Fun(X, Vect)→Fun(Y, Vect) 은 좌 Kan 확장으로 구현된다. 저자는 f₊와 f*가 서로 양쪽 어드조인트 관계에 있음을 증명한다. 이때, 자동동형군의 크기를 고려한 ‘그룹오이드 카디널리티’가 가중치로 작용한다. 스팬 S : A←X→B에 대해서는, Λ(S) = t₊ ∘ s* 로 정의된다. 이는 ‘pull‑push’ 과정으로, 물리적 의미는 A의 상태를 X로 끌어올린 뒤, X에서 B로 전파하는 ‘역사들의 합’이다. 저자는 이 정의가 스팬 합성에 대해 약하게 보존됨을 보이며, 즉 Λ(S₂ ∘ S₁) ≅ Λ(S₂) ∘ Λ(S₁) (동형동형)임을 증명한다(증명은 부록 A). 섹션 6에서는 2‑셀(스팬 맵)의 이미지인 2‑선형 변환을 다룬다. 스팬 맵은 두 스팬 사이의 자연 변환이며, 이를 ‘pull‑push’의 이중 적용으로 승격한다. 구체적으로, 스팬 맵 α : S₁⇒S₂에 대해, Λ(α)는 Functorial한 자연 변환 t₊ ∘ s* ⇒ t'₊ ∘ s'* 로 정의된다. 저자는 이 변환이 수직·수평 합성 모두에 대해 보존됨을 확인하고, 전체 bicategory 구조가 2‑functor Λ에 의해 2Vect으로 전달된다는 결론을 내린다. 섹션 7에서는 프루니우스 상호환성(Frobenius reciprocity)을 이용해, 각 스팬에 대응하는 2‑선형 사상을 행렬 형태로 구체화한다. 행렬 원소는 (y, z) 쌍에 대한 ‘역사’ X_{y,z}의 동형류 수와 자동동형군의 크기로 가중된 값이다. 이 행렬 표현은 전통적인 선형대수와 직접 연결되며, 스팬 합성은 행렬 곱과 일치한다. 마지막으로, 저자는 이 구조가 확장된 토포로지컬 양자장 이론(ETQFT)에서 어떻게 활용될 수 있는지를 간략히 언급한다. 다양체의 위상불변량을 그룹오이드로 모델링하고, 그 스팬을 통해 양자 상태 공간을 구성함으로써, ‘확장된 토포로지컬 양자장 이론’의 수학적 기반을 제공한다는 점을 강조한다. 또한, 무한 차원 혹은 Lie 그룹오이드에 대한 일반화 가능성을 제시하며, 향후 연구 방향을 제시한다.