갈루아 함자와 얽힘 구조

초록

본 논문은 코링 위의 갈루아 코모듈을 상대적 주입(투사) 객체의 성질로 특징짓고, 이를 일반적인 범주에서 코모나드(또는 모나드) 위의 갈루아 함자 개념으로 확장한다. 이어서 대수와 코알제브라의 얽힘에서 영감을 얻어 모나드와 코모나드의 얽힘을 정의하고, 군형 자연 변환(grouplike natural transformation)을 도입한다. 이 이론을 호프 모나드와 모노이달 범주의 코모날리함자에 적용하고, 마지막으로 유한곱을 가진 임의의 범주에서 갈루아 객체를 구성한다.

상세 분석

논문의 첫 번째 부분은 기존의 코링 이론에서 ‘갈루아 코모듈’이라는 개념이 어떻게 상대적 주입(comodule) 객체, 즉 코링 위의 인젝티브 객체들의 특수한 행동을 통해 정의되는지를 상세히 검토한다. 저자는 코링 C 위의 코모듈 M이 ‘갈루아’라 함은 M이 C‑코모듈 범주에서 충분히 많은 상대적 주입 객체를 생성하거나, 반대로 모든 상대적 주입 객체가 M‑코모듈에 대해 완전하게 반사된다는 조건과 동치임을 보인다. 이때 사용되는 핵심 도구는 코링의 코유니터와 코모듈의 코액션이 만든 ‘정규화 사상’이며, 이는 전통적인 갈루아 확장의 정규성 조건과 직접적인 범주론적 대응을 이룬다.

그 다음 저자는 이 아이디어를 일반 범주 C에 존재하는 임의의 코모나드 G(또는 모나드 T) 위로 옮긴다. 여기서 ‘갈루아 함자’는 어떤 함자 F:C→D가 G‑코알지브라(또는 T‑알지브라) 구조를 보존하면서, 상대적 주입(또는 상대적 투사) 객체들의 보존·반사 성질을 만족하는 경우로 정의된다. 특히, F가 G‑코알지브라의 자유-제한 쌍을 형성하고, 그 자유 함자가 ‘정규화 사상’ g:I→G와 결합해 동등화 사상을 만들 때, F는 갈루아 함자가 된다. 이때 g는 전통적인 코링의 군형 원소(grouplike element)를 범주론적으로 일반화한 ‘군형 자연 변환’이며, g가 존재함으로써 코모나드 G는 ‘코링 형태’를 띠게 된다.

논문의 핵심적인 기술적 진전은 모나드와 코모나드 사이의 얽힘 구조(entwining)이다. 기존의 얽힘은 알지브라 A와 코알지브라 C 사이의 선형 사상 ψ:C⊗A→A⊗C 로 정의되었지만, 여기서는 두 개의 엔도펑터 T와 G 사이에 자연 변환 λ:TG⇒GT 를 도입한다. λ는 ‘얽힘 법칙’이라 불리며, 이는 T와 G가 각각 모나드와 코모나드의 구조 사상을 만족하도록 강제한다. 특히, λ와 군형 자연 변환 g가 동시에 존재할 때, (T,G,λ,g) 삼중항은 ‘코링’의 범주론적 일반화인 ‘엔탱글링 코모나드’를 형성한다. 이 구조는 기존의 코링이 갖는 ‘코유니터·코액션’ 관계를 그대로 재현하면서도, 모나드와 코모나드가 서로 다른 범주에 존재할 수 있게 해준다.

이러한 일반화는 호프 모나드(Hopf monad) 이론에 직접적인 응용을 가능하게 한다. 호프 모나드는 모나드와 코모나드가 동시에 존재하고, 서로에 대한 역원(antipode) 구조를 갖는 경우인데, 저자는 λ와 g를 이용해 호프 모나드의 ‘정규화 사상’과 ‘역원 사상’이 어떻게 얽힘을 통해 정의되는지를 보여준다. 특히, 임의의 범주 C에 대해 곱함자 G×- 가 호프 모나드가 되려면 G가 군 구조를 가져야 한다는 잘 알려진 사실을 범주론적으로 재해석한다. 이때 G를 객체들의 집합이 아니라, 유한곱을 가진 임의의 범주 내의 객체로 일반화하면, G×- 가 호프 모나드가 되는 조건은 G가 ‘군 객체’(group object)여야 함을 증명한다.

마지막으로 저자는 이러한 이론을 이용해 ‘갈루아 객체(Galois object)’를 정의한다. 전통적인 갈루아 객체는 체 확장의 경우와 같이, 코링 위의 코모듈이 동시에 자유와 정규성을 만족하는 경우를 말한다. 여기서는 유한곱을 가진 범주 D에서 객체 X와 그에 대한 자기곱 함자 X×- 를 고려하고, X가 그룹 객체이면 X×- 가 호프 모나드가 된다. 따라서 X×- 가 갈루아 함자가 되면 X를 ‘갈루아 객체’라 부른다. 이는 Chase‑Sweedler 가 정의한 갈루아 객체 개념을 범주론적 관점에서 완전히 일반화한 결과이며, 특히 비선형 구조나 고차원 대수적 구조에서도 적용 가능함을 시사한다.

전체적으로 이 논문은 코링·갈루아 이론을 범주론적 언어로 추상화하고, 모나드·코모나드 얽힘을 통해 호프 구조와 갈루아 객체를 새로운 차원으로 확장한다는 점에서 이론적 깊이와 응용 가능성을 동시에 제공한다.