[논문 리뷰] Classification of $L^p$ AF algebras

N. Christopher Phillips, Maria Grazia Viola|arXiv (Cornell University)|2017. 07. 28.

Advanced Operator Algebra Research참고 문헌 10인용 수 5

한 줄 요약

이 논문은 $p \in [1, \infty) \setminus \{2\}$에 대해 공간적 $L^p$ AF 대수의 완전한 분류를 수립하며, 스케일링된 순서가 붙은 $K_0$-군의 동형이 여러 범주에서 대수적 및 위상적 동형으로 이어진다는 것을 증명한다: 링, 바나흐 대수(등거리적으로), 그리고 행렬 노름이 부여된 바나흐 대수(완전히 등거리적으로). 핵심 기여는 엘리엇의 AF C*-대수 분류 정리에 대응하는 $L^p$ 해석이며, 유일한 $L^p$ 행렬 노름 구조를 제공하고, 임의의 가산 스케일링된 리스 군을 이러한 대수의 $K_0$-군으로 실현할 수 있다는 것이다.

ABSTRACT

We define spatial $L^p$ AF algebras for $p \in [1, \infty) \setminus \{ 2 \}$, and prove the following analog of the Elliott AF algebra classification theorem. If $A$ and $B$ are spatial $L^p$ AF algebras, then the following are equivalent: 1) $A$ and $B$ have isomorphic scaled preordered $K_0$-groups. 2) $A \cong B$ as rings. 3) $A \cong B$ (not necessarily isometrically) as Banach algebras. 4) $A$ is isometrically isomorphic to $B$ as Banach algebras. 5) $A$ is completely isometrically isomorphic to $B$ as matrix normed Banach algebra. As background, we develop the theory of matrix normed $L^p$ operator algebras, and show that there is a unique way to make a spatial $L^p$ AF algebra into a matrix normed $L^p$ operator algebra. We also show that any countable scaled Riesz group can be realized as the scaled preordered $K_0$-group of a spatial $L^p$ AF algebra.

연구 동기 및 목표

• AF C*-대수의 엘리엇 분류 정리를 $L^p$ 연산자 대수 설정으로 확장하기.
• 공간적 $L^p$ AF 대수를 정의하고, AF C*-대수의 자연스러운 $L^p$ 해석으로 삼기.
• 스케일링된 순서가 붙은 $K_0$-군의 동형이 여러 대수적 및 위상적 범주에서 대수의 동형으로 이어진다는 것을 증명하기.
• 공간적 $L^p$ AF 대수에 대해 유일한 $L^p$ 행렬 노름이 존재하며, 이 구조가 정규화된다는 것을 확립하기.
• 임의의 가산 스케일링된 리스 군을 공간적 $L^p$ AF 대수의 $K_0$-군으로 실현할 수 있다는 것을 보여주기.

제안 방법

• 공간적 부분 등위가 보존되는 수축형 준동형을 갖는 유한차원 $L^p$ 연산자 대수의 직접 극한으로 공간적 $L^p$ AF 대수를 정의하기.
• 완전히 등거리 동형을 정의하고 연구하기 위해 행렬 노름이 부여된 $L^p$ 연산자 대수의 이론을 개발하기.
• 모든 공간적 $L^p$ AF 대수가 고유한 $L^p$ 행렬 노름을 갖으며, 이 노름 구조가 정규화됨을 증명하기.
• 직접 극한의 논증과 근사적 상호연결을 사용하여 $K_0$-군 동형에서 대수 간의 준동형을 구성하기.
• 다음과 같은 구조 정리를 적용: $C(X)$의 $L^p$-공간 위의 수축형 표현에 대해, 단위화 과정에서 비례자와 근사 항등원을 분석하기.
• 행렬 노름의 유일성과 $K_0$-군의 구조를 활용하여, $K_0$-군의 동형이 모든 관련 범주에서 대수의 동형으로 이어진다는 것을 증명하기.

실험 결과

연구 질문

• RQ1 엘리엇의 AF C*-대수 정리와 유사한 분류 정리를 $p \neq 2$인 $L^p$ 연산자 대수에 대해 수립할 수 있는가?
• RQ2 $K_0$-군 분류를 지원할 수 있는 올바른 $L^p$ AF 대수의 개념은 무엇인가?
• RQ3 이러한 대수에서의 $L^p$ 행렬 노름은 유일한가, 그리고 자연스럽게 정의될 수 있는가?
• RQ4 모든 가산 스케일링된 리스 군을 공간적 $L^p$ AF 대수의 $K_0$-군으로 실현할 수 있는가?
• RQ5 공간적 $L^p$ AF 대수의 동형 유형은 링, 바나흐 대수, 완전히 등거리 범주 간에 어떻게 관련되어 있는가?

주요 결과

• 두 개의 공간적 $L^p$ AF 대수는 행렬 노름이 부여된 바나흐 대수로서 완전히 등거리 동형일 필요와 충분조건이 그들의 스케일링된 순서가 붙은 $K_0$-군이 동형일 때이다.
• 스케일링된 순서가 붙은 $K_0$-군의 동형은 링으로서의 동형, 바나흐 대수로서의 동형(등거리적으로), 그리고 완전히 등거리로 행렬 노름이 부여된 대수로서의 동형을 모두 암시한다.
• 모든 가산 스케일링된 리스 군은 어떤 공간적 $L^p$ AF 대수의 스케일링된 순서가 붙은 $K_0$-군으로서 나타난다.
• 공간적 $L^p$ AF 대수들은 고유한 $L^p$ 행렬 노름을 갖으며, 이는 동형사에서 보존되며, 완전히 등거리 동형의 범주를 잘 정의한다.
• 분류는 모든 $p \in [1, \infty) \setminus \{2\}$에 대해 성립하며, 모든 관련 범주에서 $K_0$-군이 완전한 불변량이다.
• 공간적 사상이 부여된 $L^p$ 연산자 대수의 직접 극한은 다시 $L^p$ 연산자 대수이며, 이는 유도한 극한에 대한 클래스의 안정성을 보장한다.