[논문 리뷰] A Groupoid Approach to Discrete Inverse Semigroup Algebras

Benjamin Steinberg|ArXiv.org|2009. 03. 20.

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

한 줄 요약

이 논문은 Gelfand 쌍대성을 대체하기 위해 Stone 쌍대성을 사용하여 이산 역반 세미군의 대수 $KS$와 에탈, 앰플리티 그룹로이드 $\mathscr{G}(S)$의 콘볼루션 대수 사이의 이somorphism을 수립한다. 주요 기여는 유한 차원의 기약 표현을 그룹로이드의 이소트로피 군에서 유도된 표현으로 완전히 매개변수화하는 것으로, Munn의 결과를 일반화하고 $KS$의 중심과 구조를 이해하기 위한 위상적 프레임워크를 제공한다.

ABSTRACT

Let $K$ be a commutative ring with unit and $S$ an inverse semigroup. We show that the semigroup algebra $KS$ can be described as a convolution algebra of functions on the universal étale groupoid associated to $S$ by Paterson. This result is a simultaneous generalization of the author's earlier work on finite inverse semigroups and Paterson's theorem for the universal $C^*$-algebra. It provides a convenient topological framework for understanding the structure of $KS$, including the center and when it has a unit. In this theory, the role of Gelfand duality is replaced by Stone duality. Using this approach we are able to construct the finite dimensional irreducible representations of an inverse semigroup over an arbitrary field as induced representations from associated groups, generalizing the well-studied case of an inverse semigroup with finitely many idempotents. More generally, we describe the irreducible representations of an inverse semigroup $S$ that can be induced from associated groups as precisely those satisfying a certain "finiteness condition". This "finiteness condition" is satisfied, for instance, by all representations of an inverse semigroup whose image contains a primitive idempotent.

연구 동기 및 목표

• C*-대수와 유한 세미군의 결과를 일반화하기 위해 군로이드를 사용하여 역반 세미군 대수에 대한 위상적 프레임워크를 동기화한다.
• 유한 임베드트 케이스를 초월한 $KS$-모듈의 일반적 묘사를 부족하게 하여, 보편 군로이드 구축을 도입한다.
• 임의의 체 위에서 역반 세미군의 기약 표현을 이소트로피 군에서의 유도를 통해 통합적으로 다루는 방법을 제공한다.
• 위상적 및 대수적 도구를 사용하여 $KS$의 중심을 특성화하고, $KS$가 단위를 갖는 조건을 규명한다.
• 대표 표현의 유한성 조건을 통해 Munn의 기약 표현 이론을 무한 역반 세미군으로 확장한다.

제안 방법

• 논문은 세미군 $S$에 관련된 보편 에탈 군로이드 $\mathscr{G}(S)$를 구성하며, 이는 임베드트의 스펙트럴 작용의 기저에 기반한 군로이드의 기저로 구성된다.
• Stone 쌍대성을 사용하여 저자들은 Gelfand 쌍대성을 대체하여 $KS$를 $K\mathscr{G}(S)$로 묘사한다. 여기서 함수는 $K$의 이산 위상에 대해 컴actsupport되고 연속적이다.
• 이소트로피 군 $G_x$에 대해 $K\mathscr{G}$-모듈과 $KG_x$-모듈 간의 유도 및 제한 함자를 정의하여 기약 모듈의 구성이 가능하게 한다.
• Möbius 역전환 기법을 통해 $KS \cong K\mathscr{G}(S)$의 이somorphism을 증명하며, Paterson의 $C^*$-대수 증명에서 사용된 보조 세미군을 피한다.
• 유한성 조건을 만족하는 단순 $K\mathscr{G}$-모듈은 이소트로피 군에서 유도된 표현으로서 나타나며, 이는 Munn의 결과를 일반화한다.
• 스펙트럴 벡터를 가진 단순 $KS$-모듈과, 궤도의 횡단선에 속하는 특성 $\varphi$ 및 단순 $KG_\varphi$-모듈 $W$의 쌍 $(\varphi, W)$ 사이의 명시적 전단사 사상이 수립된다.

실험 결과

연구 질문

• RQ1 이산 역반 세미군의 대수 $KS$는 어떤 위상 군로이드 위의 콘볼루션 대수로 묘사될 수 있는가?
• RQ2 Stone 쌍대성이 $KS$-모듈 묘사에서 Gelfand 쌍대성을 어떻게 대체하는가?
• RQ3 어떤 기약 표현들이 관련된 군에서 유도된 표현으로서 실현될 수 있는가?
• RQ4 단순 $KS$-모듈이 스펙트럴임을 보장하는 조건은 무엇인가, 즉 유일한 임베드트에 의해 고정되는 영이 아닌 벡터를 갖는가?
• RQ5 역반 군로이드 $\mathscr{G}(S)$의 위상과 $KS$의 중심의 구조는 어떤 관계가 있는가?

주요 결과

• 역반 세미군 $S$의 대수 $KS$는 그 보편 에탈 군로이드 $\mathscr{G}(S)$의 콘볼루션 대수 $K\mathscr{G}(S)$와 이somorphic하며, 이는 $KS$의 위상적 실현을 제공한다.
• 체 위에서의 유한 차원 기약 $KS$-모듈은 정확히 $\mathscr{G}(S)$의 이소트로피 군에서 유도된 표현으로서 나타나며, Munn의 이론을 일반화한다.
• 유한성 조건을 만족하는 단순 $KS$-모듈은 스펙트럴 작용의 궤도와 이소트로피 군 위의 단순 모듈로 매개변수화된다.
• 보편 군로이드 $\mathscr{G}(S)$는 $S$의 주요 내림세트의 교차가 내림세트로서 유한 생성일 때이고, 뿐만 아니라 Paterson의 결과의 역도 성립한다.
• 모든 단순 $KS$-모듈은 $S$가 중심 임베드트를 갖거나 $E(S)$가 $(\mathbb{N}, \geq)$와 동형일 때 스펙트럴이며, 이러한 모듈의 완전한 분류가 가능하다.
• 보조정리 6.37은 단순 $KS$-모듈과 쌍 $(e, V)$ 사이의 전단사 사상을 수립한다. 여기서 $e$는 $\mathscr{D}$-클래스의 대표원이며 $V$는 단순 $KG_e$-모듈이다. 유한 차원성은 $\mathscr{D}$-클래스와 $V$의 유한성에 의해 결정된다.