[논문 리뷰] Generic properties of module maps and characterizing inverse limits of C*-algebras of compact operators

Kamran Sharifi|arXiv (Cornell University)|2011. 08. 30.

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

한 줄 요약

이 논문은 국소 C*-대수에서 유한한 모듈러 맵이 모든 유계 모듈러 맵이 유계적이고, 닫힌 범위를 가지며, 일반화된 역행렬을 가지거나, 극좌표 분해를 갖는다. 이 등가성은 국소 C*-대수에서의 힐버트 모듈러의 모듈러 맵과 그 범위의 구조적 분석을 통해 증명된다.

ABSTRACT

We study closedness of the range, adjointability and generalized invertibility of modular operators between Hilbert modules over locally C*-algebras of coefficients. Our investigations and the recent results of M. Frank [Characterizing C*-algebras of compact operators by generic categorical properties of Hilbert C*-modules, {\it J. K-Theory} {\bf 2} (2008), 453-462] reveal a number of equivalence properties of the category of Hilbert modules over locally C*-algebras which characterize precisely the inverse limit of C*-algebras of the C*-algebra of compact operators.

연구 동기 및 목표

• 힐버트 C*-모듈의 일반적인 범주론적 성질을 사용하여 컴팩트 연산자 C*-대수의 역극한을 특성화하기.
• 국소 C*-대수에서 힐버트 모듈러 간의 모듈러 맵의 범위 닫힘, 유계성, 일반화된 역행렬 존재 여부를 조사하기.
• 모듈러 맵의 구조적 성질과 계수 대수의 역극한 구조 사이의 등가성을 수립하기.
• 모듈러 이론적 불변량을 통해 기존의 컴팩트 연산자 C*-대수의 특성화를 국소 C*-대수의 맥락으로 확장하기.

제안 방법

• 연속적인 C*-반규칙과 몫 C*-대수를 사용하여 국소 C*-대수에서의 유계 모듈러 맵을 분석한다.
• 몫 $\mathcal{A}_p = \mathcal{A}/N_p^\mathcal{A}$ 의 역계측 구조를 활용하여 국소 C*-대수의 성질을 전역적 모듈러 행동과 연결한다.
• 프랭크 및 다른 이들의 힐버트 C*-모듈에서의 수직 보완과 이중 수직 보완에 관한 결과를 적용한다.
• 모듈러 맵이 유계적임과 그 그래프가 수직 합성원임이 동치임을 증명하며, C*-대수에서 알려진 결과를 일반화한다.
• 일반화된 역행렬 존재성과 범위가 닫혀 있음이 동치임을 수직 직합 분해를 통해 증명한다.
• 몫 사상 $\pi_p^\mathcal{A}$ 에서의 모듈러 맵의 함자적 성질을 적용하여 $\mathcal{A}_p$ 에서의 성질을 $\mathcal{A}$ 로 옮긴다.

실험 결과

연구 질문

• RQ1 모듈러 맵 성질에 관해 국소 C*-대수가 컴팩트 연산자 C*-대수의 역극한임을 어떻게 특성화할 수 있는가?
• RQ2 국소 C*-대수에서 힐버트 모듈러 간의 유계 모듈러 맵이 유계적일 조건은 무엇인가?
• RQ3 국소 C*-대수에서 힐버트 모듈러 간의 유계 모듈러 맵이 일반화된 역행렬을 갖는 조건은 무엇인가?
• RQ4 모듈러 맵의 극좌표 분해와 닫힌 범위 성질이 계수 대수의 대수적 구조와 어떻게 관련되는가?
• RQ5 부분모듈러의 수직 보완이 컴팩트 연산자 C*-대수의 역극한을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 국소 C*-대수에서 힐버트 모듈러 간의 유계 모듈러 맵은 그 그래프가 수직 합성원이면 유계적이다.
• 국소 C*-대수에서 힐버트 모듈러 간의 유계 모듈러 맵은 범위가 닫혀 있으면서만 일반화된 역행렬을 가진다.
• 국소 C*-대수 $\mathcal{A}$ 는 컴팩트 연산자 C*-대수의 역극한임과 동시에 $\mathcal{A}$-모듈러 맵이 모든 힐버트 $\mathcal{A}$-모듈러 간에 일반화된 역행렬을 가지는 것과 동치이다.
• 동일한 조건은 모든 맵이 극좌표 분해를 가지는 것과도 동치이며, 닫힌 범위를 가진 모든 맵의 이미지가 수직 합성원임과도 동치이다.
• 모든 핵이 수직 합성원이거나, 모든 힐버트 부분모듈러가 위상적으로 보완 가능할 경우에도 동치성이 유지된다.
• 모듈러 맵 $T$ 의 일반화된 역행렬은 모든 $p \in S(\mathcal{A})$ 에 대해 $(\pi_p^\mathcal{A})_*(T^\dagger) = (\pi_p^\mathcal{A}(T))^\dagger$ 를 만족하며, 몫에 대해 구조를 유지한다.