[논문 리뷰] Strong Morita Equivalence of Inverse Semigroups

Benjamin Steinberg|ArXiv.org|2009. 01. 18.

Advanced Operator Algebra Research참고 문헌 30인용 수 12

한 줄 요약

이 논문은 반대칭 반군에 대한 강한 모리타 동치를 도입하며, 로우슨의 확장 개념을 일반화하고, 강한 모리타 동치인 반군은 보편 군oids와 강한 모리타 동치인 C*-대수를 가진다는 것을 증명한다. 주요 기여는 F-반군에 관한 코슈카프와 스칸달리스의 결과에 대한 새로운 증명으로, 그들의 C*-대수들이 아벨 C*-대수의 군에 의한 교차곱과 강한 모리타 동치임을 보여준다.

ABSTRACT

We introduce strong Morita equivalence for inverse semigroups. This notion encompasses Mark Lawson's concept of enlargement. Strongly Morita equivalent inverse semigroups have Morita equivalent universal groupoids in the sense of Paterson and hence strongly Morita equivalent universal and reduced $C^*$-algebras. As a consequence we obtain a new proof of a result of Khoshkam and Skandalis showing that the $C^*$-algebra of an $F$-inverse semigroup is strongly Morita equivalent to a cross product of a commutative $C^*$-algebra by a group.

연구 동기 및 목표

• 반대칭 반군에 대한 강한 모리타 동치의 개념을 개발하여 로우슨의 확장 개념을 일반화한다.
• 강한 모리타 동치가 보편 군oids와 C*-대수의 모리타 동치를 유도한다는 것을 증명한다.
• F-반군의 C*-대수의 코슈카프와 스칸달리스의 결과에 대한 새로운 증명을 제공한다. 즉, 그 C*-대수가 아벨 C*-대수의 군에 의한 교차곱과 강한 모리타 동치임을 보여준다.
• 강한 모리타 동치가 코homology 군과 분류 토포스와 같은 구조적 불변량을 유지한다는 것을 보여준다.
• 반대칭 반군의 최대 군 상(image)이 강한 모리타 동치 클래스에서 불변량이라는 것을 보여준다.

제안 방법

• 행동과 내적의 일관성 조건을 만족하는 등가 이중모듈러 X를 포함한 오성조합 (S, T, X, ⟨·,·⟩, [·,·])을 통해 모리타 맥락을 정의한다.
• 기저의 군oids 구성법을 사용하여 등가 이중모듈러를 반군의 보편 군oids와 연결한다.
• 리에플의 불변 이중모듈러 프레임워크와 탈워의 반군에 대한 강한 모리타 동치를 활용하여, 반군 수준에서의 동치를 정의한다.
• 반군의 보편 군oids가 에탈 군oids임을 이용하고, 군oids의 모리타 동치가 그들의 C*-대수의 강한 모리타 동치를 유도한다는 사실을 활용한다.
• 기저의 극한 구성법 (Y = lim→ X)을 사용하여 최대 군 이미지 G(S)와 G(T)가 Y 위에서 자유롭고 추이적으로 작용함을 보이고, 이로부터 군의 동형을 도출한다.
• 자기 반사 동형 결과를 적용하여, G(S) ≅ G(T)임을 증명한다.

실험 결과

연구 질문

• RQ1 반대칭 반군에 대해 로우슨의 확장 개념을 일반화하는 강한 모리타 동치의 개념을 정의할 수 있는가?
• RQ2 반대칭 반군의 강한 모리타 동치가 그들의 보편 군oids와 C*-대수의 모리타 동치를 유도하는가?
• RQ3 F-반군의 C*-대수가 아벨 C*-대수의 군에 의한 교차곱과 강한 모리타 동치인가? 그리고 이는 새로운 동치 이론을 통해 재유도될 수 있는가?
• RQ4 코homology 군과 분류 토포스와 같은 구조적 불변량이 강한 모리타 동치 하에서 유지되는가?
• RQ5 반대칭 반군의 최대 군 상은 강한 모리타 동치 클래스에서 불변량인가?

주요 결과

• 반대칭 반군의 강한 모리타 동치는 패터슨의 의미에서 그들의 보편 군oids의 모리타 동치를 유도한다.
• 강한 모리타 동치인 반대칭 반군은 보편 및 축소 C*-대수 모두에서 강한 모리타 동치를 가진다.
• 코슈카프와 스칸달리스의 F-반군에 관한 결과가 새로운 프레임워크를 통해 재증명된다. 즉, F-반군의 C*-대수가 아벨 C*-대수의 군에 의한 교차곱과 강한 모리타 동치임을 보여준다.
• 강한 모리타 동치는 최대 군 상의 동형 타입을 유지하며, 강한 모리타 동치인 S와 T에 대해 G(S) ≅ G(T)임을 보여준다.
• 강한 모리타 동치인 반대칭 반군의 분류 토포스는 서로 동치이며, 따라서 그들의 코homology 군은 서로 동형이다.
• F-반군임은 강한 모리타 동치 하에서 유지되며, 특히 아이디포텐트의 반군이 순서가 지정되어 있을 경우 E-단위성 성질도 유지된다.