[논문 리뷰] Distributive inverse semigroups and non-commutative Stone dualities

Mark V. Lawson, Daniel Lenz|arXiv (Cornell University)|2013. 02. 13.

Advanced Operator Algebra Research참고 문헌 21인용 수 9

한 줄 요약

이 논문은 분배적 역반군과 스펙트럴 공간을 가진 에탈레 군oids 사이의 비가환 스톤 대칭성을 확립한다. 이는 분배적 레이티스에 대한 고전적 스톤 대칭성을 일반화한 것으로, 분배적 역반군의 부울화(Booleanization)를 도입하고, 엑셀의 타이트 군oid가 타이트 완비화의 스펙트럼으로서 나타남을 보여, $C^*$-대수 이론에서 비가환 프레임 이론에 대한 개념적 기초를 제공한다.

ABSTRACT

We develop the theory of distributive inverse semigroups as the analogue of distributive lattices without top element and prove that they are in a duality with those etale groupoids having a spectral space of identities, where our spectral spaces are not necessarily compact. We prove that Boolean inverse semigroups can be characterized as those distributive inverse semigroups in which every prime filter is an ultrafilter; we also provide a topological characterization in terms of Hausdorffness. We extend the notion of the patch topology to distributive inverse semigroups and prove that every distributive inverse semigroup has a Booleanization. As applications of this result, we give a new interpretation of Paterson's universal groupoid of an inverse semigroup and by developing the theory of what we call tight coverages, we also provide a conceptual foundation for Exel's tight groupoid.

연구 동기 및 목표

• 역반군을 사용하여 분배적 레이티스에서 비가환 환경으로 고전적 스톤 대칭성을 확장하기.
• 모든 소 필터가 초필터인 분배적 역반군으로서의 부울 역반군을 특성화하기.
• 스펙트럴 공간과 패치 위상수학을 통해 비가환 프레임 이론의 위상적 프레임워크 개발하기.
• 엑셀의 타이트 군oid와 페터슨의 유니버설 군oid를 분배적 역반군을 통해 개념적 기초 제공하기.
• 역반군의 타이트 필터와 그 부울화에서의 소 필터 사이의 대칭성 수립하기.

제안 방법

• 위상 원소가 없는 분배적 레이티스의 비가환 동반체로 분배적 역반군을 도입하기.
• 역반군의 스펙트럼에 대한 패치 위상수학을 정의하고, 그 스펙트럴 성격을 증명하기.
• 역반군의 타이트 필터들에 대한 패치 위상수학에서의 완비화로서 분배적 역반군의 부울화를 구성하기.
• 역반군의 타이트 필터와 그 부울화에서의 소 필터 사이의 순서-동형을 수립하기.
• 이 동형을 이용해 원래 반군의 타이트 군oid와 그 부울화의 스펙트럼 군oid 사이의 위상동형을 유도하기.
• 이 대칭성을 적용하여 페터슨의 유니버설 군oid와 엑셀의 타이트 군oid를 완비화의 스펙트럼으로 재해석하기.

실험 결과

연구 질문

• RQ1 분배적 역반군은 어떻게 분배적 레이티스의 비가환 일반화로 기능할 수 있는가?
• RQ2 스펙트럴인 항등원 공간을 가진 에탈레 군oids와 분배적 역반군 사이의 위상적 대칭성은 무엇인가?
• RQ3 부울 역반군은 초필터 조건을 통해 분배적 역반군과 어떻게 관련되는가?
• RQ4 분배적 역반군의 부울화가 엑셀의 타이트 군oid에 대해 개념적 기초를 어떻게 제공하는가?
• RQ5 역반군의 스펙트럼에 대한 패치 위상수학은 그 타이트 필터의 구조와 어떻게 관련되는가?

주요 결과

• 모든 분배적 역반군은 타이트 필터들로부터 구성된 부울 역반군인 부울화(Booleanization)를 갖는다.
• 부울 역반군은 모든 소 필터가 초필터인 분배적 역반군으로 특성화된다.
• 역반군의 타이트 군oid는 그 부울화의 스펙트럼 군oid와 위상동형이며, 엑셀의 구성에 대한 새로운 해석을 제공한다.
• 역반군의 타이트 필터와 그 부울화에서의 소 필터 사이의 대칭성은 순서-동형이며, 이를 통해 군oid 사이의 위상동형이 유도된다.
• 분배적 역반군의 스펙트럼에 대한 패치 위상수학은 스펙트럴이며, 부울화는 타이트 완비화의 스펙트럼으로서 실현된다.
• 페터슨의 유니버설 군oid는 분배적 역반군의 타이트 완비화의 부울화의 스펙트럼으로 재해석된다.