역반군집의 강한 모리타 동등성

초록

역반군집에 대한 강한 모리타 동등성을 정의하고, 이는 마크 로손의 확대 개념을 포함한다. 강하게 모리타 동등한 역반군집은 파터슨이 제시한 보편 군주체가 모리타 동등함을 보이며, 따라서 그들의 보편 및 축소 C*‑대수도 강하게 모리타 동등함을 얻는다. 특히 F‑inverse 군집의 C*‑대수가 가환 C*‑대수와 군의 교차곱과 강하게 모리타 동등함임을 새로운 증명으로 제시한다.

상세 분석

본 논문은 역반군집(inverse semigroup) 사이에 새로운 동등성 개념인 ‘강한 모리타 동등성(strong Morita equivalence)’을 도입한다. 기존의 모리타 이론은 주로 C*‑대수와 군주체(groupoid) 사이에서 전개되었으나, 역반군집 자체에 적용하기 위해서는 두 군집이 공유하는 구조적 데이터를 명시적으로 연결해야 한다. 저자들은 이를 위해 ‘확대(enlargement)’라는 마크 로손의 개념을 일반화한다. 구체적으로, 두 역반군집 S와 T가 강하게 모리타 동등하다는 것은 (S,T)-바이모듈 M이 존재하여, M이 양쪽에서 각각 S와 T의 왼·오른 작용을 통해 완전한 사상(즉, 사상군이 전사이며, 내적 구조가 보존되는)으로 작동하고, 또한 M이 ‘정규화된’ 아이디얼을 생성함을 의미한다. 이러한 M은 전통적인 링 모리타 이론에서의 이중 사상자(bimodule)와 유사하지만, 역반군집의 부분순서와 역원 구조를 동시에 반영하도록 설계되었다.

핵심 정리는 다음과 같다. S와 T가 강하게 모리타 동등하면, Paterson이 정의한 보편 군주체 G(S)와 G(T)가 모리타 동등한 군주체가 된다. 이는 군주체 수준에서의 동등성이 역반군집 수준의 모리타 동등성으로부터 자연스럽게 유도된다는 것을 보여준다. 군주체의 모리타 동등성은 Renault의 군주체 C*‑대수 이론에 의해 보편 및 축소 C*‑대수 C*(G(S))와 C*(G(T))가 강하게 모리타 동등함을 즉시 의미한다. 따라서 역반군집 자체의 대수적 구조가 아닌, 그에 대응하는 군주체와 C*‑대수를 통해 모리타 이론을 확장할 수 있다.

특히 F‑inverse 군집에 대한 응용이 눈에 띈다. F‑inverse 군집은 각 원소가 고유한 최대 원시 아이디얼을 갖는 특수한 역반군집으로, 기존 연구에서는 그 C*‑대수가 어떤 교차곱 형태와 동등함이 알려져 있었다. 저자들은 강한 모리타 동등성을 이용해, F‑inverse 군집 S의 보편 C*‑대수 C*(S)가 가환 C*‑대수 C0(X)와 그룹 G의 교차곱 C0(X)⋊G와 강하게 모리타 동등함을 새롭게 증명한다. 여기서 X는 S의 스펙트럼(또는 필터 공간)이며, G는 S의 최대 군화(maximal group image)이다. 이 결과는 Khoshkam‑Skandalis가 제시한 정리를 다른 경로로 도출함으로써, 모리타 이론이 역반군집과 그 C*‑대수 사이의 깊은 연결 고리를 제공함을 강조한다.

논문은 또한 강한 모리타 동등성이 전이성, 대칭성, 반사성을 만족함을 보이며, 이는 전통적인 모리타 동등성의 공리와 일치한다. 마지막으로, 강한 모리타 동등성의 예시로서 확장(enlargement) 관계, 부분군주체(covering) 관계, 그리고 특정 재구성(reconstruction) 과정을 제시하여, 이론의 적용 범위가 넓고 실용적임을 입증한다.