[논문 리뷰] The tight groupoid of an inverse semigroup

Ruy Exel, Enrique Pardo|arXiv (Cornell University)|2014. 08. 22.

Advanced Topology and Set Theory참고 문헌 8인용 수 5

한 줄 요약

이 논문은 영을 가진 역반군 S에 대한 대수적 조건을 설정하여, 그에 대응하는 타이트 군oids Gtight(S)가 하우스도르프이거나, 본질적으로 주기적이고, 최소적이거나, 수축 가능한지 여부를 특성화한다. 아이디포텐트의 준군에서의 타이트 표현과 필터 이론을 활용하여, 이러한 위상적 및 역학적 성질을 위한 필요 및 충분 조건을 도출하며, 이는 이러한 군oids에서 유래하는 C*-대수의 분류로 이어지며, 특히 Gtight(S)의 축소 C*-대수의 단순성 및 순수 무한성에 대한 기준을 제공한다.

ABSTRACT

In this work we present algebraic conditions on an inverse semigroup S (with zero) which imply that its associated tight groupoid G_{tight)(S) is: Hausdorff, essentially principal, minimal and contracting, respectively. In some cases these conditions are in fact necessary and sufficient.

연구 동기 및 목표

• 역반군 S의 타이트 군oids Gtight(S)가 하우스도르프인지, 본질적으로 주기적인지, 최소적이거나 수축 가능한지 여부를 특성화하기.
• 이 군oids 성질을 유도하는 S에 대한 대수적이고 검증 가능한 조건을 제공하기.
• 특히 부분 등장이소메트리가 포함된 생성자와 관계로 정의된 C*-대수의 구조 분석을 통합하기.
• Gtight(S)의 축소 C*-대수의 단순성 또는 순수 무한성에 대한 충분 조건을 설정하기.
• 타이트 표현 이론의 적용 범위를, 자기유사 그래프 및 네크라셰비치 대수를 포함한 광범위한 C*-대수의 클래스로 확장하기.

제안 방법

• 역반군 S에 관련된 타이트 군oids Gtight(S)를 구성하며, 이는 아이디포텐트 준군 E 내의 타이트 필터에 기반한다.
• 공간 ˆE0의 문자들의 곱 위상에 기반하여 Gtight(S)의 위상을 정의한다.
• 유한 커버와 아이디포텐트의 수직성과 같은 S에 대한 대수적 조건을 통해 군oids 성질을 특성화한다.
• s ↦ s∗s에 의한 단위 공간 위의 작용 θs를 활용하고, 닫힌 집합 Dθ_e를 통해 그 역학을 연구한다.
• E의 원소들에 대한 외부 커버의 개념을 도입하고, 이를 최소성 및 수축 행동 분석에 활용한다.
• 군oids C*-대수 이론의 결과(예: [4], [5], [1])를 적용하여, 군oids 성질로부터 C∗_red(Gtight(S))의 구조적 성질을 유도한다.

실험 결과

연구 질문

• RQ1 역반군 S에 대한 어떤 대수적 조건이 타이트 군oids Gtight(S)가 하우스도르프가 되게 하는가?
• RQ2 Gtight(S)가 본질적으로 주기적인 조건은 무엇이며, 이를 보장하는 S의 어떤 대수적 성질이 있는가?
• RQ3 S에 어떤 조건이 성립하면 Gtight(S)가 최소적이거나 수축 가능해지는가?
• RQ4 Gtight(S)의 성질은 그 축소 C*-대수의 구조와 어떻게 관련되어 있는가?
• RQ5 S에 어떤 조건이 성립하면 C∗_red(Gtight(S))가 단순하거나 순수 무한해지는가?

주요 결과

• Gtight(S)는 모든 타이트 필터가 초필터일 때이고, 그 때에만 하우스도르프이다.
• Gtight(S)는 모든 타이트 필터가 초필터일 때이고, 그 때에만 본질적으로 주기적이다.
• Gtight(S)는 모든 0이 아닌 e, f ∈ E에 대해, {sifs∗i}1≤i≤n 이 e에 대한 외부 커버가 되는 s1, ..., sn ∈ S 가 존재할 때 최소적이다.
• Gtight(S)는 모든 0이 아닌 e ∈ E에 대해, s ∈ S 와 아이디포텐트 f0, f1 가 존재하여 f0 ≤ f1 ≤ es∗s, sf1s∗≤ f1, 그리고 f0sf1 = 0 를 만족할 때 수축 가능하다.
• S가 가산적이고 조건 (a)–(d)를 만족하면, C∗_red(Gtight(S))는 순수 무한 단순 C*-대수이다.
• 조건 (a)–(d)는 축소 군oids C*-대수의 단순성 및 순수 무한성을 보장하는 데 충분하며, 네크라셰비치 및 카츠라 대수에 대한 결과를 일반화한다.