[논문 리뷰] On quantales that classify C*-algebras

David Kruml, Pedro Manuel Agostin Resende|ArXiv.org|2004. 03. 31.

Advanced Topics in Algebra참고 문헌 7인용 수 31

한 줄 요약

이 논문은 각 단위 C*-대수 A에 대해 그 닫힌 선형부분공간의 단위적이고 인벌루티브한 쿠안탈(quantale)을 부여하는 함자 Max가 *-동형사상에 관하여 C*-대수를 분류함을 증명한다. 이는 Max(A)와 Max(B) 사이의 모든 동형사상이 왼쪽 쪽 원소들에 제한되었을 때 A와 B 사이의 *-동형사상에서 유도된다는 것을 보이며, 그러나 모든 Max(A)의 자기동형사상이 A의 자기동형사상에서 유도되지 않는다는 것을 보여, 종국적으로 Max가 동형사상에 관하여 전부(full)가 아니라는 것을 의미한다.

ABSTRACT

The functor Max of Mulvey assigns to each unital C*-algebra A the unital involutive quantale Max A of closed linear subspaces of A, and it has been remarked that it classifies unital C*-algebras up to *-isomorphism. In this paper we provide a proof of this and of the stronger fact that for every isomorphism u : Max A -> Max B of unital involutive quantales there is a *-isomorphism u' : A -> B such that Max u' coincides with u when restricted to the left-sided elements of Max A. But we also show that isomorphisms u : Max A -> Max B may exist for which no isomorphism v : A -> B is such that Max v = u.

연구 동기 및 목표

• 단위 C*-대수들이 관련된 쿠안탈을 통해 Max 함자가 얼마나 잘 단위 C*-대수들을 분류하는지 명확히 하기.
• 쿠안탈 범주에서의 동형사상이 C*-대수 범주에서의 *-동형사상으로 올라가는지 조사하기.
• Max가 동형사상에 관하여 전부(full)인지, 즉 모든 쿠안탈 동형사상이 C*-대수의 *-동형사상에서 기인하는지 결정하기.
• 특정 반례를 구성하여 Max(A)의 일부 자기동형사상이 A의 자기동형사상에서 기인하지 않음을 보여, 함자의 범주론적 강도를 제한함.

제안 방법

• 저자들은 단위 C*-대수 A의 닫힌 선형부분공간의 단위적이고 인벌루티브한 쿠안탈인 Max(A)의 구조를 분석한다.
• 그들은 쿠안탈의 점—주로 인벌루티브인 왼쪽 모듈로서의 주요 모듈—개념을 사용하여 Max(A)의 왼쪽에서의 공간성(spatiality)을 연구한다.
• 그들은 Max(A)의 왼쪽 쪽 원소들이 점들에 의해 분리됨을 보이며, 이는 쿠안탈 동형사상이 이 부분구조 위에서 *-동형사상으로 올라가는 것을 가능하게 한다.
• 저자들은 ℂ²라는 구체적 반례를 구성하여 Max(ℂ²)가 어떤 *-자기동형사상에서도 기인하지 않는 자기동형사상을 가질 수 있음을 보여준다.
• 그들은 힐베르트 공간 위에서 A와 B의 표현을 비교하고, 이로부터 유도된 쿠안탈 준동형사상을 통해 Max(A)와 Max(B)를 그들의 점들을 통해 연결한다.
• 그들은 [2]와 [16]의 결과를 적용하여 약하게 조밀한 포함관계와 조르당 대수의 구조에 관하여, C*-대수가 그 쿠안탈 스펙트럼에 의해 결정됨을 보인다.

실험 결과

연구 질문

• RQ1 Max(A)와 Max(B) 사이의 모든 동형사상이 왼쪽 쪽 원소들에 제한되었을 때 A와 B 사이의 *-동형사상에서 기인하는가?
• RQ2 Max 함자가 동형사상에 관하여 전부인가? 즉, Max(A)와 Max(B) 사이의 모든 쿠안탈 동형사상이 A와 B 사이의 *-동형사상으로서 올라오는가?
• RQ3 Max(A)의 자기동형사상이 A의 자기동형사상에서 유도되지 않을 수 있으며, 만약 그렇다면 이는 Max의 범주론적 성질에 대해 어떤 함의를 갖는가?
• RQ4 Max(A)의 왼쪽에서의 공간성이 얼마나 이sov형사상들이 왼쪽 쪽 원소들 위에서의 작용에 의해 결정됨을 보장하는가?
• RQ5 쿠안탈 Max(A)는 몫 또는 부분대상으로 대체될 수 있으며, 이에 따라 단위적이고 인벌루티브한 쿠안탈의 범주로의 전부이고 충실한 함자를 회복할 수 있는가?

주요 결과

• 모든 단위적이고 인벌루티브한 쿠안탈 동형사상 u: Max(A) → Max(B)는, 모든 왼쪽 쪽 원소 a ∈ Max(A)에 대해 u(a) = Max(ū)(a)를 만족하는 *-동형사상 ū: A → B로 올라간다.
• Max 함자는 동형사상에 관하여 전부가 아니며, 이는 반례를 통해 입증된다: ℂ²는 어떤 *-자기동형사상에서도 기인하지 않는 Max(ℂ²)의 자기동형사상을 가진다.
• 이 자기동형사상은 두 성분이 모두 0이 아닐 때 표준 기저 벡터에 대응하는 두 원소를 바꾸며, 축에 따라 놓인 일차원 부분공간은 고정한다.
• 이 반례는 Max가 C*-대수의 자기동형사상 군을 분류하지 못함을 보여주며, 비록 C*-대수 자체는 *-동형사상에 관하여 분류됨을 보여준다.
• Max(A)의 왼쪽에서의 공간성은 왼쪽 쪽 원소들이 모든 동형사상들을 감지함을 보장하지만, 이는 전체 쿠안탈으로까지 확장되지 않는다.
• Max가 동형사상에 관하여 전부가 아니라는 사실은 Max가 단위 C*-대수의 범주와 단위적이고 인벌루티브한 쿠안탈의 전부인 부분범주 사이의 동치를 제공할 수 없다는 것을 의미한다.