[논문 리뷰] Arens Regularity and Module Arens Regularity of Module Actions

Kazem Haghnejad Azar|arXiv (Cornell University)|2010. 12. 12.

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

한 줄 요약

이 논문은 바나흐 대수의 오른쪽 및 왼쪽 모듈러스 작용에 대해 Arens 정칙성과 모듈러스 Arens 정칙성을 확장하며, 모듈러스 작용에 대한 위상 중심을 도입하고, 관련 매핑의 약한 컴팩트성과 상보 조건을 통해 모듈러스 Arens 정칙성을 특성화한다. 주요 기여는 모듈러스 Arens 정칙성의 필요 및 충분 조건을 제시하는 것으로, 모듈러스 작용의 세 번째 확장과 그 전치된 세 번째 확장 간의 차이가 특정 이상 J의 이중 상보에 속해 있음을 보여주며, 정칙성과 모듈러스 및 대수의 구조 간의 연관성을 맺는다.

ABSTRACT

In this paper, we extend some problems from Arens regularity and module Arens regularity of Banach algebras to module actions.

연구 동기 및 목표

• 바나흐 대수에서의 Arens 정칙성을 오른쪽 및 왼쪽 바나흐 모듈러스 구조에 대해 일반화한다.
• 왼쪽 및 오른쪽 모듈러스 작용에 대해 각각 $ Z_{A^{**}}(B^{**}) $ 및 $ Z_{B^{**}}(A^{**}) $를 포함한 모듈러스 작용의 위상 중심을 정의하고 분석한다.
• 오른쪽 바나흐 $ A $-모듈러스 $ B $의 모듈러스 Arens 정칙성에 대해 필요 및 충분 조건을 수립하며, 이를 약한 컴팩트성과 상보 이상과 연결한다.
• 모듈러스 $ B = A $일 때 기존의 정리들(예: [5] 및 [10]에서의 정리들)을 특수한 경우로 포함하는 통합 및 확장된 결과를 도출한다.

제안 방법

• 이중 확장의 세 번째 확장의 약한*-에서 약한*으로의 연속성에 기반해 이중 작용 $ \rho: B \times A \to B $에 대해 위상 중심 $ Z_1(\rho) $ 및 $ Z_2(\rho) $를 정의한다.
• 모듈러스 작용 $ \rho $의 세 번째 이중 확장 $ \rho^{***} $ 및 $ \rho^{t***t} $를 구성하고, 이를 비교하여 Arens 정칙성을 정의한다.
• 요소 $ a_1 b a_2 - b a_1 a_2 $에 의해 생성되는 이상 $ J \triangleleft A $를 도입하고, 그의 상보 $ J^\bot $를 정의하며, 이는 매핑 $ T_{b'}: b \to b'b $에 대한 $ A $-모듈러스 준동형 조건을 특성화한다.
• Goldstine의 정리를 사용하여 $ A^{**} $ 및 $ B^{**} $의 원소를 $ A $ 및 $ B $의 넷의 약한*-극한으로 표현함으로써 반복 극한의 분석을 가능하게 한다.
• 모듈러스 Arens 정칙성과 조건 $ \rho^{***}(b^{**}, a^{**}) - \rho^{t***t}(b^{**}, a^{**}) \notin J^{\bot\bot} $ 간의 동치성을 확립하며, 정칙성과 이상 $ J $의 이중 상보와의 연관성을 맺는다.
• 모듈러스 Arens 정칙성이 $ b' \notin J^\bot $에 대해 매핑 $ T_{b'}: b \to b'b $의 약한 컴팩트성과 동치임을 증명하고, 반복 극한의 교환 조건을 만족시키는 $ B^* $의 밀도 있는 선형 생성계의 존재를 보인다.

실험 결과

연구 질문

• RQ1 오른쪽 모듈러스 작용 $ \rho_r: B \times A \to B $가 언제 모듈러스 Arens 정칙성을 갖는가?
• RQ2 위상 중심 $ Z_{A^{**}}(B^{**}) $ 및 $ Z_{B^{**}}(A^{**}) $는 모듈러스 작용의 세 번째 이중 확장의 약한*-에서 약한*으로의 연속성과 어떻게 관련되어 있는가?
• RQ3 요소 $ a_1 b a_2 - b a_1 a_2 $에 의해 생성되는 이상 $ J \triangleleft A $는 모듈러스 Arens 정칙성을 특성화하는 데 어떤 역할을 하는가?
• RQ4 매핑 $ T_{b'}: b \to b'b $의 약한 컴팩트성은 $ b' \notin J^\bot $에 대해 반복 극한 $ \nolimits_{m}\nolimits_{n} \to \nolimits_{n}\nolimits_{m} $ 조건과 어떻게 관련되어 있는가?
• RQ5 모듈러스 $ B = A $일 때 결과들이 [5] 및 [10]의 기존 정리들을 어떻게 복원하거나 일반화하는가?

주요 결과

• 이중 매핑 $ \rho_r: B \times A \to B $는 모든 $ a^{**} \notin A^{**} $, $ b^{**} \notin B^{**} $에 대해 $ \rho_r^{***}(b^{**}, a^{**}) - \rho_r^{t***t}(b^{**}, a^{**}) \notin J^{\bot\bot} $이면 모듈러스 Arens 정칙성을 갖는다. 여기서 $ J $는 $ a_1 b a_2 - b a_1 a_2 $에 의해 생성된 닫힌 오른쪽 이상이다.
• 모듈러스 Arens 정칙성은 모든 $ b' \notin J^\bot $에 대해 매핑 $ T_{b'}: b \to b'b $가 $ B $에서 $ A^* $로의 약한 컴팩트성과 동치이며, $ T_{b'} $가 약한 컴팩트일 때마다 $ T_{b'a} $가 $ A $-모듈러스 준동형이 되는 조건을 만족한다.
• 위상 중심 $ Z_{A^{**}}(B^{**}) $는 매핑 $ b \to \rho_r^*(b', b) $가 각각의 $ b' \notin J^\bot $에 대해 $ B $에서 $ A^* $로의 약한 컴팩트성일 때에만 $ B^{**} $와 같다.
• 조건 $ \rho_r^{***}(b^{**}, a^{**}) - \rho_r^{t***t}(b^{**}, a^{**}) \notin J^{\bot\bot} $는 모든 $ b' \notin J^\bot $에 대해 반복 극한 $ \nolimits_{m}\nolimits_{n} \to \nolimits_{n}\nolimits_{m} $가 동일한 경우와 동치이며, 이 경우 두 극한이 모두 존재할 때 성립한다.
• 매핑 $ b^{\bar{}} \to \rho_r^{***}(b^{\bar{}}, a^{**}) $는 모든 $ a^{**} \notin A^{**} $에 대해 $ \sigma(B^{**}, J^\bot) $-연속일 때에만 $ \rho_r $가 모듈러스 Arens 정칙성을 갖는다.
• 모듈러스 $ B = A $일 때, 결과들은 [10]의 보조정리 3.1(i)와 [5]의 정리 2.6.17을 복원하며, 기존 문헌과의 일致성을 보여준다.