[논문 리뷰] Aspects of $p$-adic operator algebras

Anton Claußnitzer, Andreas Thom|arXiv (Cornell University)|2019. 04. 29.

advanced mathematical theories참고 문헌 8인용 수 3

한 줄 요약

이 논문은 p진 수체 Qp(X)로 표기되는 p진 수체의 제한곱으로 구성된 p진 힐버트 공간의 유사체를 제안한다. 이 공간은 연속적인 Zp-선형 위상과 S1로의 표준 쌍대성(pairing)을 지닌다. 편리티 이중성에 의해 자기 이중성을 확립하고, 연속적인 Zp-선형 연산자들의 바나흐-* 대수 B(Qp(X))를 정의하며, 그 K-이론을 계산한다: K0(B(Qp(X))) = 0 이고 K0(K(Qp(X))) = Z 이며, 몫 대수에서의 프로젝션의 안정적 승격이 가능하다. 이는 고전적 결과를 비아르키메데스 설정으로 일반화한다.

ABSTRACT

In this article, we propose a $p$-adic analogue of complex Hilbert space and consider generalizations of some well-known theorems from functional analysis and the basic study of operators on Hilbert spaces. We compute the $K$-theory of the analogue of the algebra of compact operators and the algebra of all bounded operators. This article contains a survey on results from the thesis of the first author.

연구 동기 및 목표

• 비아르키메데스 설정에서 힐버트 공간과 연산자 대수의 p진 유사체를 개발하는 것.
• Qp(X) 위의 연속적인 Zp-선형 연산자들로 구성된 대수 B(Qp(X))를 정의하고, 바나흐-* 대수의 구조를 갖도록 연구하는 것.
• 컴act 연산자 대수 K(Qp(X))와 전체 유한 연산자 대수 B(Qp(X))의 K-이론을 계산하는 것.
• B(Qp(X))/K(Qp(X))의 몫 대수에서의 프로젝션들이 B(Qp(X))로 승격되는지 확인하고, 이는 아르키메데스 경우를 일반화하는 것.

제안 방법

• 가 countable 집합 X에 따라 인덱싱된 Qp의 제한곱으로 Qp(X)를 정의하며, 이는 모든 x에 대해 |ξ(x)|p ≤ 1인 함수 ξ: X → Qp로 구성되며, 유한 개를 제외한 나머지에 대해서만 성립한다.
• Qp(X)에 위상 τ를 부여하여 국소적으로 컴acts, σ-compact, 하우스도르프인 Zp-위상 모듈러스로 만들고, S1로의 값들을 갖는 연속적인 쌍대성 ⟨·,·⟩: Qp(X) × Qp(X) → S1를 정의한다.
• 이 쌍대성을 통해 Qp(X)와 그 이중공간 사이의 편리티 이중성 위상 동형을 확립하며, 리스 표현 정리의 일반화를 이루는 바.
• τ-연속적인 Zp-선형 연산자들로 구성된 대수 B(Qp(X))를 정의하고, 노름과 ∗-연산을 도입하여 Zp 위의 바나흐-* 대수로 만든다.
• 마르켈의 정리(continuous functions Zp → Zp에 대한)를 이용해 정규 수축(normal contractions)에 대한 연속적 함수 계산을 도입한다.
• B(Qp(X))/K(Qp(X))의 프로젝션들이 연산자 노름에서 다항식 수열의 노름 수렴에 의한 추론을 통해 B(Qp(X))로 승격됨을 증명한다.

실험 결과

연구 질문

• RQ1 편리티 이중성 하에서 자기 이중성을 갖는 p진 힐버트 공간의 유사체를 구성할 수 있는가? 이는 아르키메데스 경우와 유사하게.
• RQ2 이 p진 힐버트 공간 위에서의 컴팩트 연산자 대수와 전체 유한 연산자 대수의 K-이론은 무엇인가?
• RQ3 B(Qp(X))/K(Qp(X))의 몫 대수에서의 프로젝션들이 p진 설정에서 B(Qp(X))로 승격되는가? 만약 그렇다면, 그 메커니즘은 무엇인가?
• RQ4 기하학적 분석에서의 고전적 결과들—예를 들어 스펙트럼 정리와 함수 계산—은 비아르키메데스, p진 설정에서 어떻게 일반화되는가?

주요 결과

• 컴팩트 연산자 대수 K(Qp(X))의 K-이론은 Z와 동형이다. 즉, K0(K(Qp(X))) ∼= Z 이다.
• 전체 연산자 대수 B(Qp(X))의 K-이론은 자명하다: K0(B(Qp(X))) = 0 이다.
• B(Qp(X))/K(Qp(X))의 모든 프로젝션은 B(Qp(X))로 승격되며, 이미지의 교차부분에 대한 사영이 존재하지 않더라도 성립한다.
• p진 힐버트 공간 Qp(X)는 S1로의 표준 쌍대성에 의해 편리티 이중성에 의한 위상 동형을 이룬다.
• 대수 B(Qp(X))는 Zp 위의 완비 노름 ∗-대수이며, 정규 수축에 대한 연속적 함수 계산이 존재한다.
• 일부 프로젝션 e와 f에 대해 연산자 노름이 ∥e − f∥ ≤ 1를 만족하며, 이는 K-이론 계산에서 수렴 추론을 가능하게 한다.