[논문 리뷰] Module super-amenability for semigroup algebras

Abasalt Bodaghi, Massoud Amini|ArXiv.org|2009. 12. 23.

Advanced Operator Algebra Research참고 문헌 9인용 수 3

한 줄 요약

이 논문은 바나흐 대수 $\mathcal{A}$가 다른 바나흐 대수 $\mathfrak{A}$ 위의 모듈러 구조를 지닐 때의 모듈러 초완전성(super-amenability)을 도입하고, 상향으로 유도된 아이디포텐트 집합 $E$를 가진 역반군 $S$에 대해, $\ell^1(S)$가 $\ell^1(E)$-모듈러 초완전성을 갖는 것은 $S/\approx$의 군 준동형 상이 유한할 때이고 오직 그 때에만 성립함을 증명한다. 이 결과는 세리바노프의 군 대수의 초완전성에 관한 정리가 역반군에 대해 모듈러 구조를 통해 어떻게 일반화되는지를 보여준다.

ABSTRACT

Let $S$ be an inverse semigroup with the set of idempotents $E$. In this paper we define the module super-amenability of a Banach algebra which is a Banach module over another Banach algebra with compatible actions, and show that when $E$ is upward directed and acts on $S$ trivially from left and by multiplication from right, the semigroup algebra $ \ell ^{1}(S)$ is $\ell^{1}(E)$-module super-amenable if and only if an appropriate group homomorphic image of $S$ is finite.

연구 동기 및 목표

• 바나흐 대수에서의 초완전성 개념을 모듈러 구조로 확장한다.
• 상향으로 유도된 아이디포텐트 집합을 가진 역반군의 반군 대수에 대한 모듈러 초완전성을 특성화한다.
• 세리바노프의 군 대수의 초완전성에 관한 정리의 반군 버전을 수립한다.
• $\ell^1(S)$가 $\ell^1(E)$-모듈러 초완전성임은 정확히 $S/\approx$의 군 이미지가 유한할 때이므로 증명한다.
• 모듈러 초완전성이 표준 초완전성을 함의하지는 않음을 보이며, 대수에 항등원이 있더라도 마찬가지임을 보여준다.

제안 방법

• 바나흐 대수 $\mathcal{A}$가 다른 바나흐 대수 $\mathfrak{A}$ 위의 바나흐 모듈러를 지닐 때, 상호 작용이 일치하는 조건을 만족할 경우, 모듈러 초완전성을 정의한다.
• 모듈러 대각선의 개념을 도입하여, 모듈러 초완전성이 $\mathcal{A} \widehat{\otimes} \mathcal{A}$ 내에서 이러한 대각선의 존재와 동치임을 보인다.
• 몫대수 $\ell^1(S)/J \cong \ell^1(S/\approx)$를 사용하여 문제를 군 대수로 환원한다.
• 세리바노프의 정리(즉, $L^1(G)$는 $G$가 유한할 때이고 오직 그 때에만 초완전성임)를 활용하여 $S/\approx$의 군 이미지를 분석한다.
• $E$가 조건 $D_1$을 만족할 경우 $\ell^1(E)$가 $\ell^1(S)$ 위에 유계 근사 항등원을 가지는 결과를 적용하여, 몫을 거치면서도 모듈러 초완전성이 유지됨을 보장한다.
• 행렬 대수 $M_n(\mathfrak{G})$에서 명시적인 모듈러 대각선을 구성하여, 초완전성은 아니지만 모듈러 초완전성인 예를 제시한다.

실험 결과

연구 질문

• RQ1 역반군 $S$의 반군 대수 $\ell^1(S)$가 $\ell^1(E)$-모듈러 초완전성이 되는 조건은 무엇인가, 여기서 $E$는 $S$의 아이디포텐트 집합이다?
• RQ2 어떤 구조적 조건이 $\ell^1(S)$가 $\ell^1(E)$-모듈러 초완전성이 되도록 보장하는가?
• RQ3 $S/\approx$의 유한성과 $\ell^1(S)$의 모듈러 초완전성 간의 관계는 무엇인가?
• RQ4 항등원이 있더라도, 바나흐 대수가 초완전성은 아니지만 모듈러 초완전성일 수 있는가?
• RQ5 $E$의 상향으로 유도된 성질이 $\ell^1(S)$의 모듈러 초완전성에 어떤 역할을 하는가?

주요 결과

• $\ell^1(S)$는 $\ell^1(E)$-모듈러 초완전성이 되는 것과 $S/\approx$의 군 준동형 상이 유한할 때가 정확히 일치한다.
• 몫대수 $\ell^1(S)/J$는 $\ell^1(S/\approx)$와 동형이며, 이 동형은 모듈러 구조를 유지한다.
• $\ell^1(S)$의 모듈러 초완전성은 $\ell^1(S)/J$가 초완전성이 되게 하며, 이는 세리바노프의 정리에 의해 $S/\approx$가 유한함을 강제한다.
• $\ell^1(S)$가 초완전성은 아니지만 $\ell^1(E)$-모듈러 초완전성인 예가 존재한다. 예를 들어, 최댓값 연산을 가진 $\ell^1(\mathbb{N})$의 경우이다.
• $\mathfrak{G} = \ell^1(S)$가 약한 아민성(weakly amenable)이 아니더라도, 행렬 대수 $M_n(\mathfrak{G})$는 $\mathfrak{G}$-모듈러 초완전성이므로, 모듈러 초완전성이 초완전성보다 엄밀히 더 약한 성질임을 보여준다.
• $\ell^1(\mathbb{N})$의 항등원은 대각선을 생성하지 않으며, 이는 $\ell^1(\mathbb{N})$이 모듈러 초완전성임에도 불구하고 초완전성이 아님을 증명한다.