[논문 리뷰] Tensor products of C(X)-algebras over C(X)

Étienne Blanchard|2000. 12. 15.

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

한 줄 요약

이 논문은 C(X)-대수의 텐서곱 위에서 C*-노름이 존재하는지 조사하며, 그러한 노름이 존재하기 위한 조건을 기술하기 위해 이상 I(A,B)와 J(A,B)를 도입한다. 이 논문은 몫 (A⊗ₐₗgB)/J(A,B) 위에 최소 및 최대 C*-노름이 존재함을 증명하고, I(A,B) = J(A,B)가 성립하는 조건을 규명하여 Elliott의 질문을 해결한다. 주요 기여는 컴팩트 하우스도르프 공간 위에서 연속적인 C*-대수의 필드에 대한 텐서곱을 다룰 수 있는 프레임워크를 제공하는 것이다.

ABSTRACT

Given a Hausdorff compact space X, we study the C^*-(semi)-norms on the algebraic tensor product $A\otimes_{alg,C(X)} B$ of two C(X)-algebras A and B over C(X). In particular, if one of the two C(X)-algebras defines a continuous field of C^*-algebras over X, there exist minimal and maximal C^*-norms on $A\otimes_{alg,C(X)} B$ but there does not exist any C^*-norm on $A\otimes_{alg,C(X)} B$ in general.

연구 동기 및 목표

• 두 C(X)-대수의 대수적 텐서곱 위에서 C*-노름을 연구하며, 특히 연속적인 C*-대수의 필드의 맥락에서 고려한다.
• A⊗ₐₗgB 위에 일반적인 C*-노름이 존재하지 않는 문제를 다스르며, 이는 두 대수가 모두 연속적인 필드일지라도 마찬가지로 성립한다.
• I(A,B)와 J(A,B)를 정의하고 분석하며, 여기서 I(A,B)는 C(X)-모듈 구조를 반영하고, J(A,B)는 모든 C*-준노름이 I(A,B) 위에서 0이 되는 이상에서 0이 되는 가장 큰 이상이다.
• G.A. Elliott가 제기한 I(A,B) = J(A,B)일 조건에 대한 질문을 해결하며, 이는 텐서곱이 C*-노름을 가질 수 있는지를 결정한다.
• C(X)-대수 위에서 최소 및 최대 텐서곱의 결합법칙을 조사하며, 최대 텐서곱은 결합법칙을 만족하지만, 최소 텐서곱은 일반적으로 그렇지 않음을 보인다.

제안 방법

• I(A,B)를 A⊗ₐₗgB 내의 복소수적 이상으로 정의하며, f ∈ C(X), a ∈ A, b ∈ B에 대해 (fa)⊗b − a⊗(fb) 형태의 원소들로 생성된 것으로, C(X)-모듈의 구조를 반영한다.
• J(A,B)를 A⊗ₐₗgB의 원소 α 중에서 모든 x ∈ X에 대해 αₓ = 0이 되는 원소들로 구성된 이상으로 정의하며, 이는 I(A,B)를 포함한다.
• 모든 C*-준노름이 I(A,B) 위에서 0이 되면 J(A,B) 위에서도 0이 되며, 이는 J(A,B)가 C*-노름 이론을 다룰 때 자연스러운 몫임을 보여준다.
• 표현 이론적 및 함수해석적 기법을 사용하여 몫 (A⊗ₐₗgB)/J(A,B) 위에 최소 C*-노름 ‖·‖ₘ과 최대 C*-노름 ‖·‖ₘ의 존재를 증명한다.
• 충실한 표현의 필드를 이용하여 Hilbert C(X)-모듈 위에서 A⊗ₘₗₐₗgB의 C(X)-선형 표현을 구성함으로써, 연속적인 필드의 경우 최소 텐서곱의 결합법칙을 증명할 수 있다.
• 콤���트 공간 위에서 Cramer의 법칙과 연속성 추론을 적용하여, 어떤 행렬이 한 점에서 가역적이라면 그 이웃에서도 여전히 가역적임을 보이고, 이를 통해 함수의 연장과 섬세한 항등식에서 상수의 0이 되는 것을 증명한다.

실험 결과

연구 질문

• RQ1 이상 I(A,B)가 J(A,B)와 일치할 조건은 무엇이며, 이는 몫 (A⊗ₐₗgB)/J(A,B)가 C*-노름을 가질 수 있음을 보장하는가?
• RQ2 몫 (A⊗ₐₗgB)/J(A,B) 위에 존재하는 최소 및 최대 C*-노름은 무엇이며, 이는 X 위에서 연속적인 C*-대수의 필드의 구조와 어떻게 관련되어 있는가?
• RQ3 C(X)-대수 위에서 최소 텐서곱이 일반적으로 결합법칙을 만족하는가? 그리고 어떤 조건에서 결합법칙이 성립하는가?
• RQ4 섬세한 노름 ‖aₓ‖은 A⊗ₐₗgB 위의 전역 노름과 어떻게 관련되어 있으며, 상한/하한 준연속성은 구조 형성에 어떤 역할을 하는가?
• RQ5 X 위에서 두 개의 연속적인 C*-대수의 필드의 텐서곱은 최소 또는 최대 C*-노름을 통해 연속적인 필드로 표현될 수 있는가?

주요 결과

• 항상 몰입 (A⊗ₐₗgB)/J(A,B) 위에 최소 C*-노름 ‖·‖ₘ과 최대 C*-노름 ‖·‖ₘ이 존재하며, 이는 일반적인 경우에서의 노름 존재 문제를 해결한다.
• 이상 J(A,B)는 모든 C*-준노름이 I(A,B) 위에서 0이 되는 이상에서 0이 되는 가장 큰 이상이며, 이는 C(X) 위에서 C*-노름 이론의 자연스러운 몫이다.
• I(A,B) = J(A,B)이 성립하는 것은 필수적으로 텐서곱 (A⊗ₐₗgB)/J(A,B)가 C*-노름을 가질 수 있음을 보장하며, 이는 텐서곱 위에 연속적인 필드의 구조가 존재할 수 있음을 의미한다.
• C(X)-대수 위에서 최대 텐서곱 ⊗ₘ^{C(X)}는 결합법칙을 만족한다. 이는 C*-대수의 최대 텐서곱이 섬세한 맥락에서 결합법칙을 만족하기 때문이다.
• 최소 텐서곱 ⊗ₘ^{C(X)}는 일반적으로 결합법칙을 만족하지 않는다. 이는 ℕ의 Alexandroff 컴acts이션을 이용한 반례가 존재하기 때문이다.
• 충실한 표현의 필드를 갖는 분리 가능한 연속적인 C*-대수의 필드의 경우, 최소 텐서곱 ⊗ₘ^{C(X)}는 결합법칙을 만족한다. 이는 관련된 Hilbert C(X)-모듈 위의 표현이 충실하고 결합법칙을 유지하기 때문이다.