[논문 리뷰] Representations of the inverse hull of a 0-left cancellative semigroup

R. Exel, Benjamin Steinberg|arXiv (Cornell University)|2018. 02. 17.

Advanced Operator Algebra Research참고 문헌 19인용 수 7

한 줄 요약

이 논문은 0-좌로 취소 가능한 반군의 역구조를 도입하고, 그의 아이디포텐트 반군의 스펙트럼에 대해 철저히 분석한다. 특히 초특성과 조밀 특성에 중점을 두며, 문자열 개념을 도입하고 최소공배수를 가정함으로써 개방 초특성을 개방적이고 준최대인 문자열을 통해 특성화하고, 나머지 초특성은 이중 작용의 상으로 식별함으로써 이러한 반군과 관련된 C*-대수를 연구하기 위한 기초 프레임워크를 제공한다.

ABSTRACT

A semigroup S containing a zero element is said to be 0-left cancellative if st = sr eq 0 implies that t = r. Given such an S we build an inverse semigroup H(S), called the inverse hull of S. Motivated by the study of certain C*-algebras associated to H(S) (a task that we will address in a subsequent article) we carry out a detailed analysis of the spectrum of the idempotent semilattice E(S) of H(S) with a special interest in identifying the ultra-characters. In order to produce examples of characters on E(S), we introduce the notion of "strings" in a semigroup, attempting to make sense of the "infinite paths" which are fundamental in the study of graph C*-algebras. Our strongest results are obtained under the assumption that S admits "least common multiples", but we also touch upon the notion of "finite alignment", motivated by the corresponding notion from the theory of higher rank graphs, and which has also appeared in recent papers by Spielberg and collaborators.

연구 동기 및 목표

• 0-좌로 취소 가능한 반군의 역구조에 대한 체계적인 이해를 개발하는 것, 특히 그의 아이디포텐트 반군과 스펙트럼에 중점을 두는 것.
• 역구조의 반군의 아이디포텐트 반군에서 초특성과 조밀 특성을 식별하고 특성화하는 것.
• 그래프 C*-대수에서의 무한 경로 개념을 일반화하기 위해 추상 반군에서 '문자열'을 도입하는 것.
• 최소공배수 가정 하에 초특성의 구조적 기술을 수립하는 것.
• 0-좌로 취소 가능한 반군의 역구조에서 타이트 군화와 C*-대수를 구성하기 위한 기초를 마련하는 것.

제안 방법

• 0-좌로 취소 가능한 반군 S의 역구조 H(S)를 역반군으로서 구성함으로써 고전적 역구조 구성의 일반화를 수행한다.
• S\{0}의 멱집합의 부분반군으로서 아이디포텐트 반군 E(S)를 표현하고, '구성 가능한 집합'을 핵심 대상으로 식별한다.
• 무한 경로를 모델링하기 위해 S에서 '문자열'의 개념을 도입하며, 그래프 C*-대수에서의 무한 경로의 역할를 일반화한다.
• 개방적이고 준최대인 문자열을 정의하고, φσ를 통해 개방 초특성을 매개변수화하는 것을 보여준다.
• 특성에 대한 이중 작용 θ̂u를 사용하여 비개방 초특성을 기초 초특성의 상으로 묘사한다.
• 특성과 아이디얼 사이의 이중성에 기반하여, 알려진 타이트 스펙트럼 및 역반군 표현 결과를 활용한다.

실험 결과

연구 질문

• RQ1 0-좌로 취소 가능한 반군 S에 대해, 그의 역구조 H(S)의 아이디포텐트 반군 E(S)의 스펙트럼은 어떻게 묘사할 수 있는가?
• RQ2 E(S)에서의 초특성과 S의 무한 경로 또는 문자열 사이의 정확한 관계는 무엇인가?
• RQ3 역구조 H(S)가 잘 정의된 특성 스펙트럼을 갖기 위한 조건는 무엇인가, 특히 타이트 특성과 초특성 측면에서 말이다?
• RQ4 S에서의 최소공배수와 유한 정렬성 개념은 E(S)와 그 스펙트럼의 구조에 어떻게 영향을 미치는가?
• RQ5 특성에 대한 이중 작용 θ̂u는 E(S)의 모든 초특성을 완전히 분류하는 데 사용될 수 있는가?

주요 결과

• 모든 개방 초특성은 S의 개방적이고 준최대인 문자열에 의해 매개변수화되며, φσ는 그러한 문자열 σ에 대응하는 특성이다.
• 개방 초특성의 집합은 정확히 {φσ : σ는 S에서 개방적이고 준최대인 문자열}이다.
• E(S)의 모든 초특성들은 또는 개방 초특성(개방적이고 준최대인 문자열에 의해 매개변수화됨) 또는 기초 초특성의 이중 작용 θ̂u의 상으로 이루어진다.
• 나머지 초특성들은 {θ̂u(φ) : u ∈ S̃, φ는 F̂_u에서의 기초 초특성}으로 주어진다.
• H(S)의 이중 표현은 초특성의 집합을 유지하므로, φ가 초특성임과 θ̂u(φ)가 초특성임은 동치이다.
• E(S)의 타이트 스펙트럼은 초특성의 집합의 폐포이므로, 초특성을 이해하는 것이 전체 타이트 스펙트럼을 묘사하는 데 필수적이다.