분리된 단일함수의 자기동형 대수에 관한 고찰

초록

본 논문은 분리 가능한 단일(모노이달) 함수를 대상으로, 기존 탠카 구성을 확장하여 컴팩트성 가정을 없앤 뒤, 그 자기동형 대수의 구조와 재구성 가능성을 분석한다.

상세 요약

논문은 먼저 기존 탠카 이론에서 사용되는 ‘분할(스플릿) 단일함수(split monoidal functor)’와 ‘컴팩트 폐쇄(compact closed) 범주’ 사이의 전제 관계를 명확히 한다. 전통적으로, 탠카 재구성은 대상 범주가 컴팩트 폐쇄일 때에만 자기동형 대수(엔도모르피즘 알제브라)를 통해 원래의 모노이달 범주를 복원할 수 있다고 알려져 있다. 저자는 이 제한을 완화하기 위해 ‘분리 가능한(separable)’라는 추가 조건을 도입한다. 분리 가능성은 함수가 단일 구조를 보존하면서도, 그 단일성 사상 μ: F(X)⊗F(Y)→F(X⊗Y)와 역사상 η: F(X⊗Y)→F(X)⊗F(Y) 사이에 섬세한 사상 r: F(X⊗Y)→F(X)⊗F(Y) 가 존재해 μ∘r = id 를 만족함을 의미한다. 이러한 r은 ‘분리 사상(separability idempotent)’이라 불리며, 이는 컴팩트성 없이도 텐서 구조를 충분히 제어할 수 있게 만든다.

다음으로 저자는 Vect_k(벡터 공간 범주)로 가는 분리 가능한 스플릿 단일함수 F: C→Vect_k 를 고려한다. 여기서 C는 임의의 모노이달 범주이며, C가 반드시 강대칭 혹은 폐쇄일 필요는 없다. 핵심은 F가 생성하는 ‘엔도모르피즘 대수’ A = End(F) 가 자연스럽게 코알제브라 구조를 갖게 되며, 이는 C의 모노이달 구조와 일대일 대응한다는 점이다. 저자는 A를 ‘분리 가능한 코알제브라’라 정의하고, 그 코곱 연산 Δ와 단위 ε가 F의 분리 사상 r 로부터 유도됨을 보인다. 특히 Δ는 r 를 텐서곱에 적용한 뒤, F의 이미지에 대한 사상들을 합성함으로써 구성된다.

이후 논문은 A-코모듈 범주 Mod^A 를 구축하고, 이 범주와 원래의 C 사이에 ‘동형 사상’(equivalence) 혹은 ‘전사 사상’(essential surjectivity)를 증명한다. 핵심 정리는 “F가 분리 가능한 스플릿 단일함수이면, C는 A-코모듈 범주의 완전 서브카테고리와 동형이다” 라는 형태로 제시된다. 증명 과정에서 저자는 ‘내부 호모(Internal Hom)’와 ‘강대칭 구조’를 전혀 가정하지 않으며, 대신 F가 보존하는 한계(colimit)와 연속성(continuity) 조건을 활용한다.

마지막으로 저자는 몇 가지 예시를 들어 이론의 적용 범위를 넓힌다. 예컨대, 유한 차원 대수의 표현 범주 Rep(G) (G는 유한군)와 같은 경우, 기존 탠카 이론은 G가 컴팩트 폐쇄 구조를 가져야 함을 요구했지만, 여기서는 G의 표현을 Vect_k 로 보내는 ‘평가 함수’를 분리 가능한 스플릿 단일함수로 간주함으로써 동일한 재구성 결과를 얻는다. 또한, 비대칭적인 텐서 범주인 ‘모듈 위의 모듈’(Mod_R)에서도 동일한 방법이 적용 가능함을 보이며, 이는 기존 탠카 이론이 다루지 못했던 영역을 확장한다.

전체적으로 이 논문은 분리 가능성이라는 새로운 조건을 도입함으로써, 탠카 재구성의 적용 범위를 컴팩트 폐쇄 범주에서 일반 모노이달 범주로 크게 확장한다는 점에서 이론적 의의가 크다. 또한, 엔도모르피즘 대수의 코알제브라 구조를 구체적으로 구성하는 방법을 제시함으로써, 실제 계산과 예시 적용에도 유용한 도구를 제공한다.