[논문 리뷰] A Random Matrix Approach to the Lack of Projections in C*_red(F_2)

Uffe Haagerup, Hanne Schultz외 1명|ArXiv.org|2004. 12. 30.

Geometric and Algebraic Topology인용 수 4

한 줄 요약

이 논문은 자유군의 두 생성자에 대한 축소 C*-대수인 $C^*_{\text{red}}(\mathbb{F}_2)$가 비투영적임을 랜덤 매트릭스 기반 증명으로 제시한다. 즉, 비자명한 프로젝션을 포함하지 않는다. 독립적인 GUE, GOE, GSE 랜덤 매트릭스의 다항식에 대한 스펙트럼 분포 결과를 임의의 자기수반 다항식으로 확장함으로써, 고유값 집중 현상과 갭 분리 현상을 확립하고, 이를 통해 대수 내 임의의 잠재적 프로젝션은 추적값이 0이 되어야 하며, 이는 비자명한 프로젝션의 존재를 모순시킨다.

ABSTRACT

In 1982 Pimsner and Voiculescu computed the K_0- and K_1-groups of the reduced group C*-algebra C*_red(F_k) of the free group F_k on k generators and settled thereby a long standing conjecture: C*_red(F_k) has no projections except for the trivial projections 0 and 1. Later simpler proofs of this conjecture were found by methods from K-theory or from non-commutative differential geometry. In this paper we provide a new proof of the fact that C*_red(F_k) is projectionless. The new proof is based on random matrices and is obtained by a refinement of the methods recently used by the first and the third named author to show that the semigroup Ext(C*_red(F_k)) is not a group for k >= 2. By the same type of methods we also obtain that two phenomena proved by Bai and Silverstein for certain classes of random matrices: ``no eigenvalues outside (a small neighbourhood of) the support of the limiting distribution'' and ``exact separation of eigenvalues by gaps in the limiting distribution'' also hold for arbitrary non-commutative selfadjoint polynomials of independent GUE, GOE or GSE random matrices with matrix coefficients.

연구 동기 및 목표

• 자기수반 다항식에 대한 $C^*_{\text{red}}(\mathbb{F}_2)$의 비투영성에 대한 새로운 랜덤 매트릭스 기반 증명을 제공함으로써 오랫동안 남아있던 추측을 해결한다.
• 이전에 선형 다항식에 대해서만 알려진 스펙트럼 분포 결과를, 행렬 계수를 가진 임의의 자기수반 다항식으로 확장한다.
• 독립적인 GUE, GOE, GSE 랜덤 매트릭스의 비가환 자기수반 다항식에 대해, 그 극한 스펙트럼 분포에서 고유값 집중과 정확한 갭 분리를 확립한다.
• 이러한 스펙트럼 결과를 활용하여 $C^*_{\text{red}}(\mathbb{F}_2)$에 비자명한 프로젝션이 존재한다고 가정할 경우 모순을 이끌어내어 비투영성임을 증명한다.

제안 방법

• 독립적인 GUE 매트릭스 다항식의 연산자 노름 수렴 결과를 일반화하여, 임의의 자기수반 다항식에 대한 정밀한 랜덤 매트릭스 접근법을 개발한다.
• 이전의 $C^*$-대수 도구(예: Stinespring의 정리 및 Arveson의 정리)를 대체하는 새로운 대수적 증명을 통해 선형화 기법을 제시한다.
• 스펙트럼 추적의 평균 및 분산 추정을 확장한다: 임의의 미세한 시험 함수 $\varphi$에 대해, $\mathbb{E}[({\text{tr}}_m \otimes {\text{tr}}_n)\varphi(Q_n)] = ({\text{tr}}_m \otimes \tau)\varphi(q) + \frac{1}{n}\Lambda(\varphi) + O(1/n^2)$이며, $\text{supp}(\Lambda) \subseteq \sigma(q)$를 만족한다. 이는 GUE, GOE, GSE 집단에 대해 유효하다.
• 스피어리컬 가우시안 랜덤 매트릭스(SGRM)로의 변환을 통해 가우시안 매트릭스 공간에서의 회전을 통한 연속적인 랜덤 매트릭스 경로를 구성함으로써 스펙트럼 성질를 유지한다.
• 스펙트럼 측도의 스틸체스 변환을 사용하여 경로를 따라 추적 함수의 연속성을 보장함으로써 스펙트럼에 대한 위상적 추론이 가능하도록 한다.
• 잠재적 프로젝션의 기대 스펙트럼 추적값이 정수 배수 $n$이어야 하지만, 극한에서 이 값이 0임을 보여 이는 비자명한 프로젝션의 존재를 배제함으로써 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 K-이론이나 비가환 기하학을 사용하지 않고, 랜덤 매트릭스 이론을 통해 $C^*_{\text{red}}(\mathbb{F}_2)$의 비투영성 성질을 증명할 수 있는가?
• RQ2 스펙트럼 분포 현상—즉, 극한 지지집합의 이웃 영역 외부에 고유값이 존재하지 않으며, 정확한 갭 분리가 발생하는 현상—이 선형 다항식을 초월하여, 독립적인 GUE, GOE, GSE 매트릭스의 임의의 자기수반 다항식으로까지 확장되는가?
• RQ3 비자명한 프로젝션의 추적값이 랜덤 매트릭스 근사에 의해 0임을 보일 수 있는가? 이를 통해 비자명한 프로젝션의 존재를 배제할 수 있는가?
• RQ4 독립적인 가우시안 랜덤 매트릭스의 비가환 자기수반 다항식의 스펙트럼 측도는 매트릭스 집단의 연속적 변형에 대해 안정적인가?
• RQ5 스펙트럼 추적 함수의 연속성은 스틸체스 변환 기법을 통해 랜덤 매트릭스 경로를 따라 확립될 수 있는가?

주요 결과

• 모든 행렬 계수를 가진 자기수반 다항식 $q(X_1^{(n)}, \dots, X_r^{(n)})$에 대해, 스펙트럼 분포가 거의 확실히 수렴하며, $\sigma(q(X^{(n)})) \subseteq \sigma(q(x)) + (-\varepsilon, \varepsilon)$가 임의의 $\varepsilon > 0$에 대해 충분히 큰 $n$에 대해 성립한다.
• 모든 세 집단(GUE, GOE, GSE)에 대해 평균 스펙트럼 추적은 $\mathbb{E}[({\text{tr}}_m \otimes {\text{tr}}_n)\varphi(Q_n)] = ({\text{tr}}_m \otimes \tau)\varphi(q) + \frac{1}{n}\Lambda(\varphi) + O(1/n^2)$를 만족하며, $\text{supp}(\Lambda) \subseteq \sigma(q)$이다. 이는 이전 결과를 임의의 차수의 다항식으로 확장한다.
• 스펙트럼 추적의 분산은 $O(1/n^2)$이며, $\varphi'$가 $\sigma(q)$ 근처에서 0이면 분산은 $O(1/n^4)$가 된다. 이를 통해 Borel-Cantelli와 Chebyshev 부등식을 통해 거의 확실한 수렴이 가능하다.
• 스펙트럼 측도의 스틸체스 변환은 연속적인 랜덤 매트릭스 경로를 따라 시간에 대해 연속적이며, 이는 경로를 따라 추적 함수의 연속성을 보장한다.
• 잠재적 프로젝션의 기대 스펙트럼 추적값이 극한에서 0임을 보여, 비자명한 프로젝션은 반드시 $k/n$ 형태의 추적값을 가져야 하는 조건과 모순되며, 이는 비자명한 프로젝션의 존재를 배제한다.
• 논문은 동일한 랜덤 매트릭스 프레임워크를 통해 $k \geq 2$일 때 $\mathrm{Ext}(C^*_{\text{red}}(\mathbb{F}_k))$가 군이 아니라는 것을 입증함으로써, 프로젝션의 부재를 더욱 강화한다.