[논문 리뷰] Endomorphisms of O_n which preserve the canonical UHF-subalgebra

Roberto Conti, Mikael Rørdam외 1명|arXiv (Cornell University)|2009. 10. 07.

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

한 줄 요약

이 논문은 Cuntz 대수 𝒪ₙ의 단위 원소를 갖는 내항사상 λᵤ를 구성하며, 이는 표준 UHF 부분대수 𝒻ₙ를 유지한다. 이는 이전에 가정된 역의 반례를 보여주며, 𝒻ₙ에 속하지 않는 유니터리로부터도 이러한 내항사상이 유도될 수 있음을 시사한다. 핵심 기여는 𝒪₂에서 𝒻₂에 속하지 않는 유니터리가 𝒻₂를 유지하는 내항사상을 유도할 수 있음을 보여주는 반례이며, 이미지의 상대적 중심화자에 𝒪₂의 사본이 포함되어 있어 𝒪₂⊗𝒪₂가 𝒪₂에 UHF 구조를 유지한 채로 임bedding될 수 있음을 보여준다.

ABSTRACT

Unital endomorphisms of the Cuntz algebra O_n which preserve the canonical UHF-subalgebra F_n of O_n are investigated. We give examples of such endomorphisms for which the associated unitary element in O_n does not belong to F_n. One such example, in the case where n=2, arises from a construction of a unital endomorphism on O_2 which preserves the canonical UHF-subalgebra and where the relative commutant of the image in O_2 contains a copy of O_2.

연구 동기 및 목표

• Cuntz 대수 𝒪ₙ의 단위 원소를 갖는 내항사상 중 표준 UHF 부분대수 𝒻ₙ를 유지하는 것을 조사한다.
• 모든 이러한 내항사상이 반드시 𝒻ₙ에 속하는 유니터리에서 유도되는지 여부를 판단하며, 이는 이전에 가정된 역의 반례를 도전한다.
• 𝒻ₙ를 유지하는 유니터리 𝒫ₙ에 속하지 않는 유니터리에 의해 유도되는 내항사상의 명시적 예를 구성한다.
• 특히 𝒪₂에서 이러한 내항사상의 이미지의 상대적 중심화자의 구조를 탐구한다.
• UHF 부분대수를 유지하는 내항사상의 체계적 프레임워크를 수립한다.

제안 방법

• 유니터리 u ∈ 𝒪ₙ와 단위 내항사상 λᵤ 사이의 일대일 대응을 이용한다. 여기서 λᵤ(Sⱼ) = uSⱼ로 정의된다.
• 𝒪₂에서 𝒻₂에 속하지 않는 특정 유니터리 u를 구성하며, λᵤ가 𝒻₂를 유지함을 보인다. 이를 위해 다중지표와 단어 구조의 조합적 성질을 사용한다.
• 가환행동을 통한 내항사상과 관련된 코ycle의 구조를 분석하며, 특히 유니터리 코ycle zₜ⁽¹⁾과 그 고차원 일반화 zₜ⁽ᵏ⁾를 고려한다.
• λᵤ(𝒻ₙ) ⊆ 𝒻ₙ이 성립하는 것과 동치인 조건을 적용한다: 코ycle zₜ⁽¹⁾이 유니터리여야 하며, 코ycle들로 생성된 대수 Aᵤ가 유한 차원이어야 한다.
• 𝒪ₙ에서 단어들의 유한 합으로 이루어진 군 ℒₙ의 Higman-Thompson 군 구조를 활용하여 후보 유니터리를 생성한다.
• 만약 λᵤ(𝒪₂)의 상대적 중심화자에 𝒪₂의 사본이 포함되어 있다면, 𝒫₂에 속하지 않는 유니터리 v가 존재하여 λᵥ가 𝒫₂에서 λᵤ와 일치함을 보인다.

실험 결과

연구 질문

• RQ1 𝒫ₙ의 단위 내항사상 중 표준 UHF 부분대수 𝒫ₙ를 유지하는 것이 반드시 𝒫ₙ에 속하는 유니터리에서 유도되는가?
• RQ2 𝒫ₙ에 속하지 않는 유니터리 u ∈ 𝒪ₙ ∖ 𝒫ₙ가 여전히 𝒫ₙ를 유지하는 내항사상 λᵤ를 유도할 수 있는가?
• RQ3 유니터리 u가 λᵤ(𝒫ₙ) ⊆ 𝒫ₙ를 보장하기 위해 만족해야 할 구조적 조건은 무엇인가?
• RQ4 λᵤ(𝒪ₙ)의 𝒪ₙ 내 상대적 중심화자가 충분히 크게 𝒪ₙ의 사본을 포함하기 위한 조건은 무엇인가?
• RQ5 λᵤ(𝒫ₙ) ⊆ 𝒫ₙ이 성립하는 것과 동치인 조건은 Aᵤ가 모든 코ycle zₜ⁽ᵏ⁾로 생성된 대수가 유한 차원일 때인가?

주요 결과

• 𝒫₂의 단위 내항사상 λᵤ 중 𝒫₂를 유지하는 것이 𝒫₂에 속하지 않는 유니터리 u로부터도 존재함을 보여주며, 이는 이전에 가정된 역의 반례를 제공한다.
• 이러한 내항사상 λᵤ의 이미지의 상대적 중심화자에 𝒪₂의 사본이 포함되어 있음을 보여주며, 풍부한 내부 구조를 시사한다.
• 다중지표의 길이 1과 2에서 유도된 조합적 자료를 사용하여, 𝒪₂ ∖ 𝒫₂에 속하는 명시적 유니터리 u를 구성하며, λᵤ(𝒫₂) ⊆ 𝒫₂임을 보였다.
• 이러한 내항사상의 존재는 𝒫₂에 속하지 않는 유니터리 v를 갖는 단위 내항사상 λᵥ가 존재함을 시사하며, 이는 𝒫₂에서 λᵤ와 일치함을 보여 UHF 부분대수를 유지한다.
• 𝒪₂⊗𝒪₂가 𝒪₂에 임베딩되며, 𝒫₂⊗𝒫₂가 𝒫₂에 사상됨을 통해, 𝒪₂ 내부에 비자명한 텐서곱 구조가 존재함을 보여준다.
• λᵤ(𝒫ₙ) ⊆ 𝒫ₙ이 성립하는 것과 동치인 조건은 유니터리 코ycle zₜ⁽¹⁾이 유니터리여야 하며, 모든 코ycle zₜ⁽ᵏ⁾로 생성된 대수 Aᵤ가 유한 차원이어야 한다.