모리타 동등 역반군의 특성

초록

본 논문은 역반군에 대한 네 가지 서로 다른 모리타 동등 개념을 제시하고, 이들 모두가 동등함을 증명한다. 또한 단위 작용군이 에테일 작용군 위에서 모나드적 구조를 이루며, 이는 역반군의 코시 완성에 대한 프레시베 군과 동등함을 의미한다. 더 나아가 오른쪽 국소 단위가 있는 임의의 반군에 대해서도 동일한 결과를 확장한다.

상세 분석

이 연구는 역반군(inverse semigroup)이라는 대수구조에 대해 네 가지 독립적으로 제안된 모리타 동등성 개념을 하나의 통합된 틀 안에서 비교·통합한다. 첫 번째는 C∗‑대수 이론에서 유도된 ‘강한 모리타 동등성’으로, 역반군이 생성하는 그룹oid C∗‑대수의 범주적 동등성을 의미한다. 두 번째는 토포스 이론에서 등장하는 ‘에테일 토포스 동등성’으로, 역반군이 작용하는 에테일 공간들의 토포스가 서로 동형인지를 살핀다. 세 번째는 전통적인 반군 이론에서 사용되는 ‘폐쇄 작용 동등성’이며, 이는 닫힌(폐쇄) 작용을 통해 정의된 모듈 범주가 동등한지를 검증한다. 네 번째는 순서 군주(ordered groupoid) 관점에서의 ‘정렬 군주 동등성’으로, 역반군을 순서 군주로 보는 시각에서 동등성을 정의한다. 논문은 이 네 정의가 모두 동등함을 정교한 범주론적, 대수적, 토포스적 논증을 통해 증명한다. 핵심 도구는 ‘단위 작용(unitary action)’과 ‘에테일 작용(étale action)’ 사이의 모나드(monad) 구조이다. 저자는 단위 작용 범주가 에테일 작용 범주 위에서 모나드적이며, 그 알제브라적 자유 대수(모나드의 알게브라)인 ‘닫힌 작용(closed action)’이 코시 완성(Cauchy completion)으로부터 얻어지는 프레시베 군(presheaf category)과 동등함을 보인다. 이는 역반군의 작용 이론을 프레시베 군이라는 잘 알려진 범주와 연결시켜, 기존에 복잡하게 다루어지던 모리타 이론을 보다 직관적인 프레시베 관점으로 전환한다. 또한 오른쪽 국소 단위(right local units)를 가진 일반 반군에 대해서도 동일한 모나드‑프레시베 대응을 확장함으로써, 역반군에 국한되지 않는 일반적인 반군 이론에도 적용 가능함을 보여준다. 이 과정에서 사용된 주요 개념으로는 ‘에테일 그룹오이드(étale groupoid)’, ‘코시 완성(Cauchy completion)’, ‘단위 작용의 자유 대수’, ‘폐쇄 작용의 모나드 알게브라’ 등이 있다. 논문의 결과는 모리타 이론이 서로 다른 수학적 전통(연산자 대수, 토포스, 반군, 군주) 사이에서 일관된 구조를 가지고 있음을 확인시켜 주며, 향후 역반군과 관련된 C∗‑대수, 비가환 기하학, 동형론적 분류 등에 폭넓은 응용 가능성을 제시한다.