[논문 리뷰] The minimal ideal in multiplier algebras

Victor Kaftal, P. W. Ng외 1명|arXiv (Cornell University)|2017. 05. 11.

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

한 줄 요약

이 논문은 단순하고 $\sigma$-유니탈이며 비유니탈이고 비원소적인 C*-대수 $\mathcal{A}$의 승수 대수 $\mathcal{M}(\mathcal{A})$에서 최소 이상수 $I_{\mathrm{min}}$가 근사 단위를 통한 린의 이상수와 일치하며, $\mathcal{A}$를 적절히 포함하는 가장 작은 닫힌 이상수임을 증명한다. 또한 $I_{\mathrm{min}}/\mathcal{A}$가 순수하게 비한정적이고 단순하다는 것을 보이며, $\mathcal{A}$가 추적에 의한 양의 원소의 стрict comparison을 갖는다 하면 $I_{\mathrm{min}} = I_{\mathrm{cont}}$임을 보이고, 느린 차원 성장이 없는 빌라드센의 AH 대수를 반례로 제시한다.

ABSTRACT

Let $\mathcal A$ be a simple, $σ$-unital, non-unital, non-elementary C*-algebra and let $I_{min}$ be the intersection of all the ideals of $\mathcal M(\mathcal A)$ that properly contain $\mathcal A$. $I_{min}$ coincides with the ideal defined by Lin (Simple C*-algebras with continuous scales and simple corona algebras. 112, (1991) Proc. Amer.Math. Soc) in terms of approximate units of $\mathcal A$ and $I_{min}/\mathcal A$ is purely infinite and simple. If $\mathcal A$ is separable, or if $\mathcal A$ has the (SP) property and its dimension semigroup $D(\mathcal A)$ of Murray-von Neumann equivalence classes of projections of $\mathcal A$ is order separable, or if $\mathcal A$ has strict comparison of positive elements by traces, then $\mathcal A e I_{min}$. If the tracial simplex $ \mathcal T(\mathcal A)$ is nonempty, let $ I_{con}$ be the closure of the linear span of the elements $A\in\mathcal M(\mathcal A)_+$ such that the evaluation map $\hat A(τ)=τ(A)$ is continuous. If $\mathcal A$ has strict comparison of positive element by traces then $I_{min}= I_{con}$. Furthermore, $I_{min}$ too has strict comparison of positive elements in the sense that if $A, B\in (I_{min})_+$, $B ot \in\mathcal A$ and $d_τ(A)< d_τ(B)$ for all $τ\in \mathcal T(\mathcal A)$ for which $d_τ(B)< \infty$, then $A\preceq B$. However if $\mathcal A$ does not have strict comparison of positive elements by traces then $I_{min} e I_{con}$ can occur: a counterexample is provided by Villadsen's AH algebras without slow dimension growth. If the dimension growth is flat, $ I_{con}$ is the largest proper ideal of $\mathcal M(\mathcal A)$.

연구 동기 및 목표

• 단순하고 $\sigma$-유니탈이며 비유니탈이고 비원소적인 C*-대수의 승수 대수에서 다양한 최소 이상수 구성 간의 관계를 명확히 하는 것.
• 린의 비닫힌 이상수의 폐포로 정의된 $I_{\mathrm{min}}$가 $\mathcal{A}$를 적절히 포함하는 가장 작은 닫힌 이상수임을 증명하는 것.
• 연속적 추적 평가를 통한 정의된 연속 이상수 $I_{\mathrm{cont}}$와 $I_{\mathrm{min}}$가 일치하는 조건을 특성화하는 것.
• 승수 대수 $\mathcal{M}(\mathcal{A})$의 이상수 구조와 $I_{\mathrm{min}}$의 성질, 특히 그의 strict comparison과 순수성에 대해 연구하는 것.
• 반례로 빌라드센의 AH 대수 중 느린 차원 성장이 없는 경우에 대해 $I_{\mathrm{min}} \neq I_{\mathrm{cont}}$임을 보여주는 것.

제안 방법

• 논문은 $\mathcal{M}(\mathcal{A})$의 원소에 대한 이중대각분해를 사용하여, 린의 비닫힌 이상수의 폐포인 $I_{\mathrm{min}}$가 양방향 이상수임을 증명한다.
• $\mathcal{A}$의 근사 단위 $\{e_n\}$에 의해 생성되는 집합 $L(K_o(\{e_n\}))$의 폐포로 $I_{\mathrm{min}}$를 정의하고, 이 이상수가 근사 단위의 선택에 독립적이며 임의의 선택에 대해 동일함을 증명한다.
• $\mathcal{M}(\mathcal{A})_+$의 양의 원소 $A$ 중에서 추적 단순체 $\mathcal{T}(\mathcal{A})$에서의 추적 평가 $\hat{A}(\tau) = \tau(A)$가 연속인 것들의 선형 생성물의 폐포로 $I_{\mathrm{cont}}$를 정의한다.
• 차원-랭크 비율과 안정 랭크 기법을 활용하여, 특히 빌라드센의 대수의 맥락에서 프로젝션의 포화도와 $\mathcal{M}(\mathcal{A})$의 구조를 분석한다.
• $K$-이론과 프로젝션의 머피-폰 뉴먼 등가를 적용하여, 특정 조건 하에서 $I_{\mathrm{min}}/\mathcal{A}$가 순수하게 비한정적이고 단순하다는 것을 보인다.
• 보완된 삼중대각분해(보조정리 7.11)를 활용하여 $I(R_\infty)$ 내 원소의 행동을 분석하고, $Q \notin I(R_\infty)$임을 증명한다.

실험 결과

연구 질문

• RQ1 승수 대수 $\mathcal{M}(\mathcal{A})$에서 최소 이상수 $I_{\mathrm{min}}$는 근사 단위를 통한 린의 이상수와 일치하는가? 그리고 근사 단위의 선택에 독립적인가?
• RQ2 연속적 추적 함수가 $\mathcal{M}(\mathcal{A})$에서 연속임으로 정의된 연속 이상수 $I_{\mathrm{cont}}$와 $I_{\mathrm{min}}$가 일치하는 조건은 무엇인가?
• RQ3 $I_{\mathrm{min}}/\mathcal{A}$는 순수하게 비한정적이고 단순한가? 이러한 성질이 보장되는 조건은 무엇인가?
• RQ4 $I_{\mathrm{min}} \neq I_{\mathrm{cont}}$가 발생할 수 있는가? 만약 그렇다면, $\mathcal{A}$의 어떤 구조적 조건에서 발생하는가?
• RQ5 추적에 의한 양의 원소의 strict comparison이 $I_{\mathrm{min}} = I_{\mathrm{cont}}$의 성립 여부를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 승수 대수 $\mathcal{M}(\mathcal{A})$에서 최소 이상수 $I_{\mathrm{min}}$는 린의 비닫힌 이상수 $L(K_o(\{e_n\}))$의 폐포이며, 근사 단위의 선택에 독립적인 양방향 이상수이다.
• $I_{\mathrm{min}}$는 $\mathcal{A}$를 적절히 포함하는 가장 작은 닫힌 이상수이며, $I_{\mathrm{min}}/\mathcal{A}$는 순수하게 비한정적이고 단순하다.
• $I_{\mathrm{min}} = I_{\mathrm{cont}}$이 되는 것은 $\mathcal{A}$가 추적에 의한 양의 원소의 strict comparison을 갖는 것과 동치이며, 느린 차원 성장이 없는 빌라드센의 AH 대수를 반례로 제시한다.
• $\mathcal{A}$가 추적에 의한 양의 원소의 strict comparison을 갖는다면, $I_{\mathrm{min}}$ 자체도 strict comparison을 갖는다: $A,B \in (I_{\mathrm{min}})_+$에 대해, 모든 $\tau \in \mathcal{T}(\mathcal{A})$에 대해 $d_\tau(B) < \infty$ 이면 $d_\tau(A) < d_\tau(B)$ 이면 $A \preceq B$이다.
• 빌라드센의 AH 대수 중 느린 차원 성장이 없는 경우, $I_{\mathrm{min}} \neq I_{\mathrm{cont}}$가 성립하며, 차원 성장이 평탄할 경우 $I_{\mathrm{cont}}$는 $\mathcal{M}(\mathcal{A})$의 가장 큰 진부분 이상수이다.
• $R_\infty = \bigoplus_{k=1}^\infty k! r_k$는 $\mathcal{M}(\mathcal{A} \otimes \mathcal{K}) \setminus (\mathcal{A} \otimes \mathcal{K})$에 속하는 프로젝션으로서 $R_\infty \notin I_{\mathrm{cont}}$이며, $n_k \geq k! \sigma(k)$ 이면 $Q \notin I(R_\infty)$이다.