베를린데 모듈과 양자화 이론

본 논문은 베를린데 대수와 그 모듈 구조를 고전적인 기하학적 데이터와 연결시키는 새로운 범주론적 틀을 제시한다. 시작점은 단순 콤팩트 리군 G와 원시 3차 꼬임 η∈H³(G,ℤ)이다. η는 G×G에 대해 m⁎η=p₁⁎η+p₂⁎η를 만족하는 원시 3형식으로 선택될 수 있으며, 이는 퓨전 연산이 꼬임을 보존함을 보장한다. 첫 번째로 정의된 범주 C(G,η)는 객체가 (X,f)인데, X는 콤팩트 G‑다양체, f:X→G는 G의 켤레 작용에 대해 G‑등변인 매끄러운 지도이다. 이 범주는 두 기본 연산, 즉 disjoint union `와 퓨전 ⊛에 대해 닫혀 있다. 퓨전은 (X₁,f₁)⊛(X₂,f₂)=(X₁×X₂, m∘(f₁×f₂))로 정의되며, m은 그룹 곱이다. 이러한 구조는 May 구조라 불리는 카테고리적 연산 규칙을 만족한다. C(G,η)는 엄격 단일 모노이달 범주이며, 단위 객체는 (e, I) (e는 항등원, I:e→G는 포함)이다. 각 객체 (X,f)는 η를 끌어올린 꼬임 f⁎η에 대한 G‑꼬임 K‑동질군 K⁽ᴳ⁾(X,f⁎η)를 갖는다. 이 군은 G‑작용에 의해 베를린데 대수 Rℓ(G)와 모듈 구조를 형성한다. 구체적으로, G가 X에 작용함에 따라 KK‑이론의 cup‑cap 곱을 이용해 Rℓ(G)와의 곱 연산이 정의된다. 따라서 함자 F:C(G,η)→Mod(Rℓ(G)), F(X,f)=K⁽ᴳ⁾(X,f⁎η) 는 lax monoidal이며, May 구조와 호환된다. 이는 C(G,η) 안의 두 연산이 모듈 구조에 각각 덧셈과 곱을 대응함을 의미한다. 양자화 가능한 객체를 더 풍부하게 다루기 위해 D(G,η)라는 범주를 도입한다. D(G,η)의 객체는 (X,E,f)이며, 여기서 E는 G‑등변 복소 벡터 번들, X는 G‑등변 twisted 스핀ᶜ 구조를 갖는다. twisted 스핀ᶜ 구조는 f⁎K_η≅Cliff(TX)⊗K와 같은 동형을 제공한다. 이 조건은 X가 η에 의해 정의된 고유한 스핀ᶜ 구조를 갖도록 보장한다. D(G,η) 역시 `와 ⊛에 대해 닫혀 있으며, ⊛는 (X₁,E₁,f₁)⊛(X₂,E₂,f₂)=(X₁×X₂, E₁⊠E₂, m∘(f₁×f₂))로 정의된다. 양자화 사상 Q는 D(G,η)→Rℓ(G)로 정의된다. 구체적으로, Q(X,E,f)=f⁎(