[논문 리뷰] A Generalised uniqueness theorem and the graded ideal structure of Steinberg algebras

Lisa Orloff Clark, Ruy Exel외 1명|arXiv (Cornell University)|2016. 09. 09.

Advanced Operator Algebra Research참고 문헌 14인용 수 4

한 줄 요약

이 논문은 암묵적이고 하우스도르프적인 군oids에 관련된 스틴버그 대수에 대한 일반화된 유일성 정리를 수립하고, 군oids가 이산 군으로의 코호몰로지 족을 지닐 경우 이러한 대수에서의 군화된 이상을 특성화한다. 주요 기여는 기저가 되는 불리안 동역계의 비어 있지 않은, 포화된 부분집합과 군화된 이상 사이의 격자 동형사상의 수립으로, 기존의 $C^*$-대수에 대한 결과를 대수적 설정으로 확장한다.

ABSTRACT

Given an ample, Hausdorff groupoid $\mathcal{G}$, and a unital commutative ring $R$, we consider the Steinberg algebra $A_R(\mathcal {G})$. First we prove a uniqueness theorem for this algebra and then, when $\mathcal{G}$ is graded by a cocycle, we study graded ideals in $A_R(\mathcal {G})$. Applications are given for two classes of ample groupoids, namely those coming from actions of groups on graphs, and also to groupoids defined in terms of Boolean dynamical systems.

연구 동기 및 목표

• 암묵적이고 하우스도르프적인 군oids에 대한 스틴버그 대수에 대한 일반화된 유일성 정리를 수립하기 위해.
• 군oids가 이산 군으로의 코호몰로지 족을 통해 군화될 경우 스틴버그 대수에서의 군화된 이상을 특성화하기 위해.
• 불리안 동역계의 $C^*$-대수에 대한 기존 결과를 스틴버그 대수의 대수적 설정으로 확장하기 위해.
• 카츠라의 대수 $\mathcal{O}_{A,B}$의 대수적 동치를 제공하고 레비트 패스 대수와 커미얀-패스크 대수의 이상 구조를 통합하기 위해.

제안 방법

• 스티븐버그 대수 준동형사상의 유일성 조건을 제시하기 위해 이소트로피 번들의 내부를 사용하기 위해.
• 준동형사상이 이소트로피 군 번들의 내부에서 단사일 경우, 유일성 정리를 적용하여 단사성을 증명하기 위해.
• 군화된 군oids에서의 열린 불변 부분집합을 통해 군화된 이상을 정의하기 위해.
• 스티븐버그 대수의 군화된 이상과 불리안 동역계의 비어 있지 않은, 포화된 부분집합 사이의 격자 동형사상을 구성하기 위해.
• 콤���트성과 외부 커버를 사용하여 이상 포함 관계를 불리안 시스템에서의 포화 및 비어 있지 않은 성질과 연결하기 위해.
• 특히 [7]과 [16]에서 유래한 $C^*$-대수 이론의 기법들을 스틴버그 대수의 대수적 설정으로 적응하기 위해.

실험 결과

연구 질문

• RQ1 스티븐버그 대수 간의 준동형사상이 언제 단사가 되며, 이를 어떻게 대수적으로 특성화할 수 있는가?
• RQ2 군화된 군oids에 대한 스틴버그 대수에서의 군화된 이상은 단위 공간의 불변 열린 부분집합과 어떻게 관련이 있는가?
• RQ3 그래프에 대한 군 작용으로부터 유도된 스틴버그 대수의 이상 구조는 어떠한가?
• RQ4 불리안 동역계로부터 유도된 스틴버그 대수의 이상 구조는 그 $C^*$-대수 동치와 어떻게 비교되는가?
• RQ5 자기유사 작용이나 불리안 시스템과 같은 더 일반적인 군oids 구성으로부터 유도된 대수를 포함하는 바탕이 되는 유일성 정리의 일반화가 가능한가?

주요 결과

• 스티븐버그 대수 준동형사상은 이소트로피 군 번들의 내부에서 단사일 때에만 단사임을 보이며, 이는 이전의 레비트 및 커미얀-패스크 대수에 대한 유일성 정리를 일반화한다.
• 군화된 군oids에 대한 스틴버그 대수에서 군화된 이상은 단지 단위 공간의 열린 불변 부분집합에 의해 생성되는 것들이다.
• 그래프에 대한 군 작용의 경우, 유도된 스틴버그 대수에는 레비트 패스 대수가 포함되며, 카츠라의 대수 $\mathcal{O}_{A,B}$의 대수적 동치를 제공한다.
• 불리안 동역계의 경우, 스틴버그 대수의 군화된 이상과 불리안 시스템의 비어 있지 않은, 포화된 부분집합 사이에 격자 동형사상이 존재한다.
• 기저가 되는 불리안 동역계의 비어 있지 않은, 포화된 부분집합에 의해 스틴버그 대수 $A_K(\mathcal{G}_{\text{tight}}(T))$의 이상 구조가 완전히 결정된다.
• 결과는 [7, 정리 10.12]를 $C^*$-대수에서 스틴버그 대수로 확장하여, 군화된 이상과 시스템의 불변량 사이에 완전한 대응 관계를 수립한다.