[논문 리뷰] A note on full free product C*-algebras, lifting and quasidiagonality

Florin P. Boca|arXiv (Cornell University)|2015. 08. 13.

Advanced Operator Algebra Research참고 문헌 12인용 수 9

한 줄 요약

이 논문은 ℂ1을 중심으로 한 전형적 자유곱 C*-대수의 키르히버그의 업그레이드 및 준대각선화 결과에 대한 새로운 증명을 제공한다. 자유곱의 형태로 결합된 단위를 가진 준대각선 C*-대수의 조합이 여전히 준대각선임을 증명하며, 이는 채이의 C*(𝔽ₙ)에 대한 결과를 일반화한 것으로, ucp 사상과 인수분해 기법을 사용한다.

ABSTRACT

We study lifting properties for full product C*-algebras with amalgamation over ${\mathbb C}1$ and give new proofs for some results of Kirchberg and Pisier. We extend the result of Choi on the quasidiagonality of $C^*({\mathbb F}_n)$, proving that the free product with amalgamation over ${\mathbb C}1$ of a family of unital quasidiagonal C*-algebras is quasidiagonal.

연구 동기 및 목표

• 키르히버그의 C*-대수에서 업그레이드 성질에 관한 정리에 대해 텐서곱 특성화를 이용한 간소화된 새로운 증명을 제공하는 것.
• 채이의 C*(𝔽ₙ)에 대한 준대각선성 결과를 임의의 단위를 가진 준대각선 C*-대수의 전형적 자유곱으로 확장하는 것.
• ucp 사상의 확장 방식을 통해 국소 업그레이드 성질과 자유곱 C*-대수의 구조 사이의 연결 고리를 설정하는 것.
• 단위를 가진 준대각선 C*-대수의 경우, ℂ1을 중심으로 한 전형적 자유곱에서 준대각선성이 유지됨을 증명하는 것.
• 크리스텐센-에프로스-신클라 어셈블리 및 폴센-스미스 인수분해가 업그레이드 및 준대각선성 논증에서 수행하는 역할을 명확히 하는 것.

제안 방법

• 키르히버그가 확립한 국소 업그레이드 성질(LLP)과 B(ℋ)와의 최소 및 최대 텐서곱의 동일성 간의 등가성을 활용한다.
• 논문 [17]의 정리 1에 기반한 약한 곱셈적 ucp 사상에 의한 준대각선성 특성화를 적용하여 유한차원 근사값을 구성한다.
• A₁⁰ ⊗ … ⊗ Aₙ⁰의 감소 자유곱 구조에서 A₁⁎A₂로의 ucp 사상의 단위 선형 확장을 [2]를 통해 활용하여 양성과 수축성을 보장한다.
• A → ℬ(ℋ)의 충실한 표현 π를 사용하고, ℋ₀ ⊂ ℋ₁ ⊂ ℋ₂의 유한차원 부분공간을 구성하여 교환자 노름과 원소의 노름을 제어한다.
• 하아거룹 텐서곱을 전형적 C*-합성곱으로 포함시키는 크리스텐센-에프로스-신클라 어셈블리를 적용하여 텐서곱 항등식과 업그레이드 행동 간의 관계를 설정한다.
• δ-근사 교환자와 유한차원 프로젝션을 사용한 변형 기법을 적용하여, 유한 집합 F에 대해 ∥Φ(b)Φ(c) − Φ(bc)∥ < ε 임을 보장한다.

실험 결과

연구 질문

• RQ1 각 C*-대수의 준대각선성이 ℂ1을 중심으로 한 전형적 자유곱의 준대각선성으로 이어지는가?
• RQ2 키르히버그의 C*(𝔽)에 대한 업그레이드 정리를 텐서곱 항등식과 ucp 사상의 인수분해를 통해 재증명할 수 있는가?
• RQ3 국소 업그레이드 성질이 자유곱과 합성에서 준대각선성을 유지하는 데 어떤 역할을 하는가?
• RQ4 하위대수에서의 ucp 사상 확장을 전형적 자유곱으로 확장하는 방식이 어떻게 유한차원 근사값을 구성하는 데 사용되는가?
• RQ5 최소 및 최대 텐서곱이 B(ℋ)와 동일한 성질이 ℂ1을 중심으로 한 전형적 자유곱에서 유지되는가?

주요 결과

• ℂ1을 중심으로 한 단위를 가진 준대각선 C*-대수의 전형적 자유곱은 준대각선이며, 채이의 C*(𝔽ₙ) 결과를 일반화한다.
• 각 Aᵢ가 국소 업그레이드 성질(LLP)을 가진다면, 전형적 자유곱 ∗ᵢ∈I Aᵢ 역시 LLP를 가진다.
• 각 Aᵢ에 대해 A_min ⊗ B(ℋ) = A_max ⊗ B(ℋ) 이면, A = ∗ᵢ∈I Aᵢ 에 대해서도 이 등식이 성립한다.
• 임의의 단위를 가진 준대각선 C*-대수의 가족 (Aᵢ)ᵢ∈I에 대해, 전형적 자유곱 ∗ᵢ∈I Aᵢ 는 준대각선이다.
• 유한차원 근사값을 사용하여, ∥Φ(a)∥ > ∥a∥ − ε 와 ∥Φ(b)Φ(c) − Φ(bc)∥ < ε 를 만족하는 ucp 사상 Φ: A → ℬ(ℋ₀)를 구성하는 데 의존한다.
• 결과는 보어 반대수론으로까지 확장된다: A가 업그레이드 성질을 가진다면, 임의의 보어 반대수론 B에 대해 A ∗_ℂ1 B 도 업그레이드 성질을 가진다.