[논문 리뷰] Absolutely Summing Operators on non commutative $C^*$-algebras and applications

Narcisse Randrianantoanina|arXiv (Cornell University)|1995. 11. 02.

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

한 줄 요약

이 논문은 비가환 C*-대수에서 ℓ¹의 사본을 가지지 않는 바나흐 공간의 쌍대공간으로의 절대 합성 가능한 연산자가 항상 컴팩트함을 증명함으로써 펠츠킨스키가 제기한 문제를 해결한다. 응용으로서, 컴팩트 아벨 군의 이중에서 리에스 부분집합 위에 푸리에 지지가 있는 일부 C*-값을 가진 측도는 상대적으로 컴팩트 범위를 가짐을 증명하며, 이는 가환 측도 이론으로의 확장이다.

ABSTRACT

Let $E$ be a Banach space that does not contain any copy of $\ell^1$ and $\A$ be a non commutative $C^*$-algebra. We prove that every absolutely summing operator from $\A$ into $E^*$ is compact, thus answering a question of Pełczynski. As application, we show that if $G$ is a compact metrizable abelian group and $Λ$ is a Riesz subset of its dual then every countably additive $\A^*$-valued measure with bounded variation and whose Fourier transform is supported by $Λ$ has relatively compact range. Extensions of the same result to symmetric spaces of measurable operators are also presented.

연구 동기 및 목표

• 비가환 C*-대수에서 ℓ¹ 부분공간을 가지지 않는 바나흐 공간의 쌍대공간으로의 절대 합성 가능한 연산자의 컴팩트성에 관해 오랫동안 남아있던 펠츠킨스키의 질문을 해결하기 위해.
• 특히 ℓ¹-수열의 부재와 관련하여 비가환 연산자 대수에서 절대 합성 가능한 연산자의 구조적 성질을 규명하기 위해.
• 유계 변동을 가진 벡터 측도와 컴팩트 아벨 군의 이중에서 리에스 부분집합 위에 푸리에 지지가 있는 측도의 연구에 주요 결과를 적용하기 위해.
• 절대 합성 가능한 연산자에 대한 컴팩트성 결과를 비가환 측도 연산자에 대한 대칭 공간으로 확장하여 비가환 해석학에서의 적용 범위를 넓히기 위해.
• 비가환 환경에서 연산자 아이디얼, 측도 이론, 조화 분석을 연결하는 기능적 해석학적 프레임워크를 제공하기 위해.

제안 방법

• 절대 합성 가능한 연산자의 p-합성 노름을 통한 특성화와 힐버트 공간을 통한 인수분해를 바탕으로 한 증명.
• ℓ¹-수열이 없는 바나흐 공간은 라돈-니코디움 성질을 가지며, 이는 컴팩트성 결론에 있어 핵심적이다.
• C*-대수의 쌍대성과 표현 정리, 특히 비가환 구조를 활용하여 연산자 노름을 제어하기 위해 적용.
• 콤팩트 아벨 군 위에서의 푸리에 분석을 활용하며, 특히 푸리에 변환이 리에스 부분집합 위에 지지가 있는 측도에 집중.
• 가환 측도 이론으로의 확장을 위해 대칭 노름 아이디얼 이론과 비가환 Lp-공간 이론을 사용.
• 핵심 기술 도구로는 비가환 설정에서 절대 합성 가능한 연산자에 대한 그로텐디크 정리를 사용.

실험 결과

연구 질문

• RQ1 비가환 C*-대수에서 ℓ¹ 부분공간을 가지지 않는 바나흐 공간의 쌍대공간으로의 절대 합성 가능한 연산자가 컴팩트가 되는 조건은 무엇인가?
• RQ2 어떤 바나흐 공간에서 ℓ¹-수열이 존재하지 않으면, 그 쌍대공간으로의 절대 합성 가능한 연산자가 항상 컴팩트가 되는가?
• RQ3 유계 변동과 리에스 부분집합 위에 푸리에 지지가 있는 C*-값 측도는 어떤 구조적 성질을 갖는가?
• RQ4 절대 합성 가능한 연산자에 대한 컴팩트성 결과는 어떻게 비가환 측도 연산자에 대한 대칭 공간으로 확장할 수 있는가?
• RQ5 비가환 C*-대수의 구조는 절대 합성 가능한 연산자의 행동에 어느 정도 영향을 미치는가?

주요 결과

• 비가환 C*-대수에서 ℓ¹의 사본을 가지지 않는 바나흐 공간의 쌍대공간으로의 모든 절대 합성 가능한 연산자는 컴팩트하며, 이는 이 설정에서 펠츠킨스키의 추측을 확인한다.
• 유계 변동과 컴팩트 메트라이저블 아벨 군의 이중에서 리에스 부분집합 위에 푸리에 지지가 있는 측도는 상대적으로 컴팩트 범위를 가진다.
• 컴팩트성 결과는 비가환 측도 연산자에 대한 대칭 공간으로까지 확장되며, 이는 비가환 Lp-이론 전반에 걸쳐 강건함을 보여준다.
• 증명은 연산자 아이디얼, 비가환 Lp-공간, 국소 컴팩트 아벨 군 위에서의 조화 분석 간의 상호작용에 기반한다.
• 이 맥락에서 이러한 연산자의 컴팩트성을 보장하기 위해 타깃 공간에서 ℓ¹-수열의 부재는 필수적이고 충분한 조건이다.
• 결과는 바나흐 공간의 기하학과 비가환 C*-대수의 구조 사이에 깊은 연결고리를 보여주며, 이는 연산자 아이디얼을 통해 이루어진다.