[논문 리뷰] Simplicity of skew inverse semigroup rings with an application to Steinberg algebras

Viviane Beuter, Daniel Gonçalves외 2명|arXiv (Cornell University)|2017. 08. 16.

Advanced Operator Algebra Research인용 수 1

한 줄 요약

이 논문은 $\mathcal{A}$ 가 가환일 때, 기울임 역반군환 $\pi A \times S$ 의 단순성 기준을 확립한다: 이 환은 $\mathcal{A}$ 가 $\mathcal{A} \times_\pi S$ 에서 최대 가환부분환이며 $\mathcal{A}$ 가 $S$-단순일 때이고 그 때에만 단순하다. 이 결과는 위상적 역반군 작용에 적용되어, 하우스도르프이자 앵글러스 군oids에 대한 스텐버그 대수의 단순성 기준에 대한 새로운 증명을 제공한다.

ABSTRACT

Given a partial action $\pi$ of an inverse semigroup $S$ on a ring $\mathcal{A}$ one may construct its associated skew inverse semigroup ring $\mathcal{A} times_\pi S$. Our main result asserts that, when $\mathcal{A}$ is commutative, the ring $\mathcal{A} times_\pi S$ is simple if, and only if, $\mathcal{A}$ is a maximal commutative subring of $\mathcal{A} times_\pi S$ and $\mathcal{A}$ is $S$-simple. We apply this result in the context of topological inverse semigroup actions to connect simplicity of the associated skew inverse semigroup ring with topological properties of the action. Furthermore, we use our result to present a new proof of the simplicity criterion for a Steinberg algebra $A_R(\mathcal{G})$ associated with a Hausdorff and ample groupoid $\mathcal{G}$.

연구 동기 및 목표

• 가환환 $\mathcal{A}$ 인 경우 기울임 역반군환 $\mathcal{A} \times_\pi S$ 의 단순성에 대한 필요충분조건을 확립하는 것.
• 역반군 $S$ 가 위상공간 위에 작용하는 부분작용 $\pi$ 의 위상적 성질과 링 $\mathcal{A} \times_\pi S$ 의 대수적 단순성 간의 연결 고리 설정.
• 주요 결과를 활용하여 하우스도르프이자 앵글러스 군oids $\mathcal{G}$ 와 관련된 스텐버그 대수 $A_R(\mathcal{G})$ 의 단순성 기준에 대한 새로운 증명을 도출하는 것.
• $\mathcal{A}$ 가 $\mathcal{A} \times_\pi S$ 에서 가환부분환으로서의 최대성의 구조적 역할을 명확히 하는 것.

제안 방법

• 역반군 $S$ 가 가환환 $\mathcal{A}$ 에 부분작용하는 $\pi$ 를 이용하여, 작용에 의해 정의된 왜곡된 곱셈을 사용해 기울임 역반군환 $\mathcal{A} \times_\pi S$ 를 구성하는 것.
• 두 조건을 통해 $\mathcal{A} \times_\pi S$ 의 단순성을 특성화하는 것: $\mathcal{A}$ 가 $\mathcal{A} \times_\pi S$ 에서 최대 가환부분환이며, $\mathcal{A}$ 가 $S$-단순(비자명한 $S$-불변 이상이 없는)일 것.
• 부분작용의 구조와 $\mathcal{A} \times_\pi S$ 의 이상 구조를 이용하여, 이 두 조건이 단순성에 필수적이고 충분함을 보이는 것.
• 위상적 역반군 작용에 적용하기 위해 $\mathcal{A}$ 의 $S$-단순성과 작용의 위상적 최소성 및 위상적 자유성 간의 연결 고리 설정.
• 스텐버그 대수와 기울임 역반군환 간의 연결 고리를 활용하여, $\mathcal{G}$ 가 하우스도르프이자 앵글러스일 때 $A_R(\mathcal{G})$ 의 알려진 단순성 기준을 재구성하는 것.
• $\mathcal{A}$ 가 $\mathcal{A} \times_\pi S$ 에서 최대 가환부분환임을 이용하여 링의 구조에서 비자명한 이상을 제거하는 것.

실험 결과

연구 질문

• RQ1 가환환일 때 기울임 역반군환 $\mathcal{A} \times_\pi S$ 가 언제 단순해지는가?
• RQ2 $\mathcal{A}$ 가 $\mathcal{A} \times_\pi S$ 에서 가환부분환으로서의 최대성은 링의 단순성과 어떻게 관련되는가?
• RQ3 역반군 $S$ 가 위상공간 위에 부분작용하는 $\pi$ 에 대해 어떤 위상적 조건이 $\mathcal{A} \times_\pi S$ 의 단순성을 보장하는가?
• RQ4 스텐버그 대수 $A_R(\mathcal{G})$ 의 단순성 기준을 기울임 역반군환의 단순성 이론을 통해 재구성할 수 있는가?
• RQ5 $\mathcal{A}$ 의 $S$-단순성은 링 이론적 구조 $\mathcal{A} \times_\pi S$ 와 어떻게 상호작용하는가?

주요 결과

• 기울임 역반군환 $\mathcal{A} \times_\pi S$ 는 $\mathcal{A}$ 가 $\mathcal{A} \times_\pi S$ 에서 최대 가환부분환이며 $\mathcal{A}$ 가 $S$-단순일 때이고 그 때에만 단순하다.
• $\mathcal{A}$ 가 가환부분환으로서의 최대성을 확보함으로써, $\mathcal{A}$ 의 비자명한 이상이 $\mathcal{A} \times_\pi S$ 에서 더 큰 이상을 생성할 수 없게 되며, 이는 단순성에 있어 필수적이다.
• $\mathcal{A}$ 가 $S$-단순이면서 최대 가환부분환일 때, 환 $\mathcal{A} \times_\pi S$ 는 비자명한 양측 이상을 갖지 않는다.
• 위상적 역반군 작용의 경우, $\mathcal{A} \times_\pi S$ 의 단순성은 작용이 최소적이며 본질적으로 자유로울 때에 해당하며, 대수적 단순성과 위상역학적 동역학을 연결한다.
• 스텐버그 대수 $A_R(\mathcal{G})$ 의 단순성 기준에 대한 새로운 구조적 증명을 제공하며, 이는 $A_R(\mathcal{G})$ 를 기울임 역반군환으로서 표현함으로써 가능해진다.
• $S$-단순성과 위상적 최소성 간의 연결 고리는 역학적 성질을 대수적 단순성 조건으로 이행할 수 있도록 한다.