[논문 리뷰] Injective and projective Hilbert C*-modules, and C*-algebras of compact operators

Michael Frank, Vern I. Paulsen|ArXiv.org|2006. 11. 12.

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

한 줄 요약

이 논문은 고정된 계수 C*-대수 위에서 유계 모듈러스 사상에 초점을 맞춰, 단사성과 상사성에 대해 조사한다. 모든 힐버트 C*-모듈러스가 컴팩트 연산자 공간 위의 C*-대수에서 단사적이고 상사적임을 입증하며, 이러한 C*-대수의 모듈러스 이론적 성질을 통해 등가 조건을 제시한다.

ABSTRACT

We consider projectivity and injectivity of Hilbert C*-modules in the categories of Hilbert C*-(bi-)modules over a fixed C*-algebra of coefficients (and another fixed C*-algebra represented as bounded module operators) and bounded (bi-)module morphisms, either necessarily adjointable or arbitrary ones. As a consequence of these investigations, we obtain a set of equivalent conditions characterizing C*-subalgebras of C*-algebras of compact operators on Hilbert spaces in terms of general properties of Hilbert C*-modules over them. Our results complement results recently obtained by B. Magajna, J. Schweizer and M. Kusuda. In particular, all Hilbert C*-(bi-)modules over C*-algebras of compact operators on Hilbert spaces are both injective and projective in the categories we consider. For more general C*-algebras we obtain classes of injective and projective Hilbert C*-(bi-)modules.

연구 동기 및 목표

• 모든 힐버트 C*-모듈러스가 고정된 A에 대한 유계 A-모듈러스 사상의 범주에서 단사적이거나 상사적일 수 있는 C*-대수를 특성화하는 것.
• 클래식한 단사성과 상사성의 개념을 바나흐 공간과 모듈러스에서 힐버트 C*-모듈러스로 확장하여, 수축적이지 않은 유계 사상에 대해 적용하는 것.
• 특히 정규직교분해와의 관계에서, 유계 사상과 수반 가능한 사상 간의 단사성의 차이를 명확히 하는 것.
• 이러한 C*-대수의 힐버트 C*-모듈러스의 단사성과 상사성 성질을 통해 컴팩트 연산자 대수를 특성화하는 등가 조건의 집합을 제공하는 것.
• 비상사적 모듈러스의 존재성과 비분할 정확수열과 같은 힐버트 C*-모듈러스 이론의 열린 문제를 다루는 것.

제안 방법

• 고정된 C*-대수 A 위에서 힐버트 C*-모듈러스의 범주에서 단사성과 상사성을 정의한다. 대상은 힐버트 C*-모듈러스, 부분대상은 닫힌 부분모듈러스, 사상은 유계 A-모듈러스 사상이다.
• 확장 성질을 사용한다: 객체 I가 단사적일 때, 부분모듈러스 M ⊆ N에서 I로의 모든 유계 A-모듈러스 사상이 N 위로의 유계 사상으로 확장된다는 것.
• 수반 가능성의 역할을 분석한다: 포함 사상이 수반 가능하다고 요구될 경우, 부분모듈러스는 정규직교분해되며, 모든 힐버트 C*-모듈러스는 단사적임을 보인다.
• 컴팩트 연산자 공간 위의 C*-대수에서 모든 힐버트 C*-모듈러스가 단사적이고 상사적임을 입증한다. 이는 힐버트 공간 위의 컴팩트 연산자의 구조를 활용한다.
• 유계 모듈러스 사상의 전사성과 짧은 정확수열의 분할 가능성 사이의 관계를 규명한다.
• 좌측 승수 이론과 일반화된 역행렬(예: SS⁺S = S를 만족하는 S⁺)을 사용하여, 노름 닫힌 이상이 유계 사상으로부터 유도되는 조건을 분석하고, 상사성과 연결한다.

실험 결과

연구 질문

• RQ1 어떤 C*-대수 A는 모든 힐버트 A-모듈러스가 고정된 A-모듈러스 사상의 유계 사상 범주에서 단사적일가?
• RQ2 유계 사상의 범주에서, 특히 사상이 반드시 수반 가능하지 않은 경우, 힐버트 C*-모듈러스가 언제 상사적일가?
• RQ3 모듈러스 사상이 수축적 사상으로 제한될 때와 일반적인 유계 사상일 때, 힐버트 C*-모듈러스의 단사성은 어떻게 다를가?
• RQ4 일부 C*-대수 위에서 비상사적 힐버트 C*-모듈러스가 존재할 수 있으며, 이러한 모듈러스는 무엇으로 특성화될 수 있는가?
• RQ5 유계 A-모듈러스 사상의 전사 사상 T가 유계 오른쪽 역행렬을 갖는 조건은 무엇이며, 이는 정확수열의 분할과 어떻게 관련되는가?

주요 결과

• 힐버트 공간 위의 컴팩트 연산자 대수 위의 모든 힐버트 C*-모듈러스는 유계 A-모듈러스 사상의 범주에서 단사적이고 상사적이다.
• 부분모듈러스가 더 큰 모듈러스에 포함될 때 포함 사상이 수반 가능하다고 요구될 경우, 부분모듈러스는 정규직교분해되며, 모든 힐버트 C*-모듈러스는 단사적이다.
• 유계 사상의 범주에서는 수축적 경우보다 더 복잡한 이론이 도출된다. 예를 들어, 힐버트 공간은 유계 사상 범주에서는 단사적이나, 수축적 사상 범주에서는 그렇지 않다.
• 전사 유계 A-모듈러스 사상 T에 대해, T의 이미지 이상 T·K_A(M⊕N)가 K_A(M⊕N)의 위상적 합성원소일 때, 그에 대한 유계 오른쪽 역행렬이 존재하는 것과 동치이며, 이는 이미지가 정규직교합성원소일 경우 성립한다.
• 수반 가능한 전사 사상의 경우, SS⁺S = S를 만족하는 일반화된 역행렬 S⁺의 존재는 범위가 노름 닫혀 있음을 보장하며, 이는 정확수열의 분할을 위한 핵심 조건이다.
• 비상사적 힐버트 C*-모듈러스 문제는 유계 오른쪽 역행렬이 없는 전사 유계 A-모듈러스 사상의 존재 문제와 동치이며, 이는 비수반 가능한 사상에 대해서는 여전히 열린 문제이다.