텐나카 이중성의 현대적 전개와 갈루아 이론과의 연계

초록

이 논문은 텐나카 이론과 갈루아 이론의 일반화 사이에 존재하는 구조적 유사성을 밝히고, Joyal‑Street의 접근법을 추상 텐서 범주로 확장한다. 벡터 공간 경우의 텐나카 동등성을 상세히 증명하고, Hopf 대수와 군 표현 사이의 이중성을 통해 두 이론을 연결한다.

상세 분석

본 연구는 크게 네 단계로 전개된다. 첫째, Grothendieck의 갈루아 이론을 범주론적 관점에서 재정리한다. 여기서는 유한 집합값 펑터 F:C→Ens<∞>에 대해 연속적인 유한 행동을 갖는 프로피니트 군 π=Aut(F)를 구성하고, ˜F:C→cEns_π<∞>가 범주 동등이 되기 위한 코필터 조건을 제시한다. 둘째, Saavedra Rivano와 Deligne‑Milne이 제시한 K‑선형 텐서(또는 모노이달) 범주에서의 텐나카 이론을 검토한다. 이들은 유한 차원 벡터 공간값 모노이달 펑터 F:C→Vect<∞>_K에 대해 “군 표현” 범주 Rep(G)으로의 상승(lifting)과, 그 상승이 동등성을 갖는 충분조건(abelian C, exact F 등)을 제시한다. 셋째, Joyal‑Street의 접근법을 추상 텐서 범주 𝓥와 그 내부 Hom을 갖는 폐쇄 모노이달 범주 𝓥₀⊂𝓥로 일반화한다. 핵심은 펑터 F:C→𝓥₀에 대해 자연 변환의 엔드(Nat∨(F,F))을 이용해 코알제브라 End∨(F)를 정의하고, 이를 𝓥‑코카테고리 구조를 통해 코알제브라 구조를 유도한다. 이후 End∨(F)가 바이알제브라·Hopf 대수가 되기 위한 조건(예: 𝓥가 대칭이고, F가 강대칭적, 오른쪽 이중성을 가짐)을 상세히 증명한다. 마지막으로, 𝓥=Vect_K인 경우에 한해 End∨(F)‑코모듈 범주와 C 사이의 상승 ˜F:C→Comod₀(End∨(F))가 정확히 동등함을 보인다. 이때 Hopf 대수 Spec(End∨(F))를 군 객체 G와 동형시켜, 텐나카 이론의 “Hopf‑군 이중성”을 갈루아 이론의 Aut(F)와 직접 대응시킨다. 논문 전반에 걸쳐 “elevator calculus”(Dubuc식 계산법)와 ends/coends 이론을 활용해 복잡한 변환을 명시적으로 다루며, 대칭·비대칭 경우 모두에 적용 가능한 일관된 프레임워크를 제공한다. 특히, 두 종류의 이중성(군 표현 ↔ Hopf 코모듈) 사이의 변환을 “스펙트럼화” 과정으로 해석함으로써, 텐나카‑갈루아 이론을 기하학적 Galois 언어로 재표현한다는 점이 혁신적이다.