[논문 리뷰] Module Biprojective and Module Biflat Banach Algebras

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

Advanced Operator Algebra Research참고 문헌 16인용 수 11

한 줄 요약

이 논문은 다른 바나흐 대수 위의 모듈러로 작용하는 바나흐 대수를 위한 고전적 이중프로젝티브성과 이중평탄성의 일반화인 모듈러 이중프로젝티브성과 모듈러 이중평탄성 바나흐 대수를 도입한다. $S$가 상향으로 유도된 아이디포텐트를 가진 역반군일 때, 반군 대수 $\ell^1(S)$가 $\ell^1(E)$-모듈러로 이중프로젝티브일 조건은 $S/\approx$가 유한할 때이고, 이중평탄할 조건은 $S$가 아메니타블일 때이다.

ABSTRACT

In this paper we define module biprojctivity and module biflatness for a Banach algebra which is a Banach module over another Banach algebra with compatible actions, and find their relation to classical biprojectivity and biflatness. As a typical example, We show that for an inverse semigroup $S$ with an upward directed set of idempotents $E$, the semigroup algebra $ \ell ^{1}(S)$, as an $\ell ^{1}(E)$-module, is module biprojective if and only if an appropriate group homomorphic image of $S$ is finite. Also we show that $\ell ^{1}(S)$ is module biflat if and only if $S$ is amenable.

연구 동기 및 목표

• 다른 바나흐 대수 위의 작용이 일치하는 바나흐 대수에 대해 고전적 이중프로젝티브성과 이중평탄성의 개념을 일반화하여, 바나흐 대수의 모듈러 이론으로 확장한다.
• 역반군 대수의 맥락에서 모듈러 이중프로젝티브성, 모듈러 이중평탄성, 모듈러 아메니타블성/초아메니타블성 간의 관계를 조사한다.
• 상향으로 유도된 아이디포텐트를 가진 역반군 $S$에 대해 $\ell^1(S)$의 모듈러 이중프로젝티브성과 모듈러 이중평탄성의 특성화를 수행한다.
• 모듈러 성질과 반군의 구조적 특성(예: $S/\approx$의 유한성 및 $S$의 아메니타블성) 간의 연결 고리를 명확히 한다.
• 기존의 반군 대수의 이중평탄성과 이중프로젝티브성 결과를 모듈러 이론의 맥락으로 일반화한다.

제안 방법

• 다른 바나흐 대수 $\mathfrak{A}$ 위의 모듈러로 작용하는 바나흐 대수 $\mathcal{A}$에 대해, 모듈러 이중프로젝티브성과 모듈러 이중평탄성을 정의한다.
• 닫힌 아이디얼 $J$가 $\alpha \cdot (ab) - (ab) \cdot \alpha$ ($a \in \mathcal{A}, \alpha \in \mathfrak{A}$)의 생성으로 생성된 몫대수 $\mathcal{A}/J$를 사용하여, 모듈러 성질과 고전적 성질 간의 관계를 규명한다.
• 이전 연구에서 얻어진 모듈러 아메니타블성 및 모듈러 초아메니타블성 결과를 활용하여, $\ell^1(S)$가 $\ell^1(E)$-모듈러로 동치 조건을 도출한다.
• $\ell^1(S)/J \cong \ell^1(S/\approx)$의 동형사상(여기서 $S/\approx$는 $S$의 군 이미지)을 이용하여 문제를 군 대수의 성질로 환원한다.
• 역반군과 그 군 이미지에서 아메니타블성과 유한성의 알려진 특성화를 활용하여 모듈러 조건을 유도한다.
• $\ell^1(S) \widehat{\otimes}_{\ell^1(E)} \ell^1(S)$가 $\ell^1(E)$-모듈러로 교환법칙을 만족함을 이용하여, 모듈러 텐서곱의 분석을 수행한다.

실험 결과

연구 질문

• RQ1 다른 바나흐 대수 $\mathfrak{A}$ 위의 모듈러로 작용하는 바나흐 대수 $\mathcal{A}$가 언제 모듈러 이중프로젝티브일까?
• RQ2 이러한 대수는 언제 모듈러 이중평탄해지며, 이는 고전적 이중프로젝티브성과 이중평탄성과 어떻게 관련이 있는가?
• RQ3 역반군 $S$가 상향으로 유도된 아이디포텐트 $E$를 가지는 반군 대수 $\ell^1(S)$에 대해, $\ell^1(S)$가 $\ell^1(E)$-모듈러로 모듈러 이중프로젝티브일 조건은 무엇인가?
• RQ4 $\ell^1(S)$가 $\ell^1(E)$-모듈러로 모듈러 이중평탄일 조건은 무엇인가?
• RQ5 $\ell^1(S)$의 모듈러 성질은 $S/\approx$의 유한성과 $S$의 아메니타블성과 어떻게 관련이 있는가?

주요 결과

• 상향으로 유도된 아이디포텐트를 가진 역반군 $S$에 대해, $\ell^1(S)$는 $\ell^1(E)$-모듈러로 이중프로젝티브일 조건이 $S/\approx$가 유한할 때이다.
• 동일한 대수 $\ell^1(S)$는 $\ell^1(E)$-모듈러로 이중평탄일 조건이 $S$가 아메니타블일 때이다.
• $S/\approx$가 무한할 경우, $\ell^1(S)$는 이중프로젝티브가 아니며, 이는 모듈러 이중프로젝티브일 수는 있지만 고전적 이중프로젝티브성은 갖지 못함을 의미한다.
• $\ell^1(S)$가 이중평탄하다면 $S$는 반드시 아메니타블이어야 하므로, 고전적 이중평탄성은 아메니타블 조건을 함의함을 보여준다.
• 이중군 반군 $\mathcal{C}$에 대해 $\ell^1(\mathcal{C})$는 모듈러 이중평탄하지만 모듈러 이중프로젝티브가 아니며, 이는 $\mathcal{C}/\approx \cong \mathbb{Z}$가 무한하기 때문이다.
• 최대 연산에 대한 반군 $\mathbb{N}$에 대해 $\ell^1(\mathbb{N})$는 모듈러 이중프로젝티브이자 모듈러 이중평탄하다(왜냐하면 $\mathbb{N}/\approx$가 자명하기 때문이다), 그러나 비균일 국소 유한성으로 인해 콘볼루션에 대해 이중프로젝티브나 이중평탄이 아니며.