U(1) 체인 심스와 레셰티히닌‑투라우에프 TQFT의 완전 동형성

본 논문은 짝수 레벨 k 에 대해 U(1) 체인‑심스 이론과 포인티드 유한 이차 모듈 (ℤₖ,qₖ) 으로 정의되는 레셰티히닌‑투라우에프(TQFT) 사이의 완전한 동형성을 증명한다. 논문의 구조는 크게 네 부분으로 나뉜다. 첫 번째 장에서는 문제의 배경을 제시한다. 비아벨리안 Chern‑Simons 이론이 주도해 왔던 반면, 아벨리안 경우는 양자화와 토션, 2‑차 정제 등에서 미묘한 구조를 지니며, 이를 명확히 비교할 필요가 있음을 강조한다. 두 주요 접근법—Manoliu의 기하학적 양자화와 MPR·MOO의 수술 기반 RT 불변량—을 소개하고, 기존 연구가 닫힌 3‑다양체의 파티션 함수 수준에서만 일치함을 지적한다. 두 번째 장에서는 Manoliu가 제시한 U(1) 체인‑심스의 기하학적 양자화 프레임워크를 상세히 재구성한다. 레벨 k (짝수) 에 대해 경계 표면 Σ의 평탄 연결 모듈러스 공간 M_Σ는 2g 차원의 심플렉틱 토러스이며, 전위선 번들 L_Σ는 커넥션 곡률 −2πi k ω_Σ 를 갖는다. 유리 라그랑지안 L⊂H¹(Σ;ℝ) 를 선택하면 실극화 P_L 이 정의되고, Bohr‑Sommerfeld 집합과 반밀도 |det(P*L)|^{1/2} 를 이용해 힐베르트 공간 H(Σ,L)=M_{Λ⊂BSP_L}Γ_{flat}(L_Σ⊗|det|^{1/2}) 가 얻어진다. 차원은 |k|^g 로, 이는 ℤₖ‑모듈러 카테고리의 간단 객체 수와 일치한다. 서로 다른 라그랑지안 사이의 전이는 BKS 연산자 F_{L₂L₁} 로 주어지며, 합성은 Maslov‑Kashiwara 지수에 의해 꼬인다. 이는 확장된 TQFT에서 요구되는 Maslov 보정과 정확히 일치한다. 세 번째 장에서는 ℤₖ에 대한 레셰티히닌‑투라우에프 수술 불변량을 정리한다. 포인티드 이차 형태 qₖ(x)=exp(πi k x²/k) 와 이중 문자 Ωₖ(x,y)=exp(2πi k xy/k) 로부터 포인티드 모듈러 카테고리 C(ℤₖ,qₖ) 가 구성된다. 색칠된 링크 J와 색 x∈ℤₖ^s 에 대해 RT 불변량은 Σ_{x∈ℤₖ^s} exp(πi k x^T L_J x)·(det L_J)^{-1/2}·exp(πi σ(L_J)/4) 로 표현된다. 여기서 L_J 는 연결 행렬, σ(L_J) 는 서명이다. Gauss‑reciprocity 공식을 이용해 이 식을 자유 코호몰로지에 대한 Gaussian 요인과 토션 부분에 대한 2‑차 형식의 정밀한 보정으로 분리한다. 네 번째 장에서는 두 이론을 직접 비교한다. 닫힌 3‑다양체 M에 대해, Manoliu의 파티션 함수 Z_CS(M) 은 Reidemeister‑Ray‑Singer 토션과 평탄 연결들의 Chern‑Simons 섹션을 결합한 형태이며, MPR·MOO의 RT 불변량과 정확히 일치함을 보인다. 경계가 있는 경우, 양쪽 모두 라그랑지안 L_X=Im(r_X) 로 정의된 경계 상태공간 H(∂X,L_X)를 갖고, BKS 연산자와 Gauss 합을 통해 동일한 선형 연산자를 만든다. 마지막으로 확장된 배드리즘 (X,L,n) 에 대해 Maslov 보정 n∈ℤ/8ℤ 를 도입해 글루잉 법칙이 완전히 일치함을 증명한다. 부록에서는 유한 이차 모듈이 U(1) 체인‑심스 이론을 완전히 규정한다는 점을 강조한다. 직접적인 G=U(1) 기반 RT 이론이 비자명한 이유는 연속군의 무한 차원 표현 때문에 수술 공식이 정의되지 않기 때문이다. 따라서 짝수 레벨 k 에 대해 ℤₖ 로 축소하는 것이 필수이며, (ℤₖ,qₖ) 가 정확히 이론의 모든 데이터(상태공간, 연산자, 글루잉 상수)를 담는다. 결과적으로, 논문은 “U(1) 체인‑심스 = 레셰티히닌‑투라우에프” 라는 강력한 동형성을 확장된 (2+1)‑차원 TQFT 수준에서 확립한다. 이는 양자장론, 저차원 위상수학, 그리고 모듈러 카테고리 이론 사이의 교차점을 명확히 밝히는 중요한 성과이다.