[논문 리뷰] A non-commutative, analytic version of Hilbert's 17-th problem in type II$_1$ von Neumann algebras

Florin Rădulescu|ArXiv.org|2004. 04. 26.

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

한 줄 요약

이 논문은 타입 II₁ von Neumann 대수에서 힐버트의 17번 문제의 비가환적이고 해석적인 해석을 수립하며, 모든 타입 II₁ 인자에서의 표현에서 비음이 아닌 추적을 갖는 대칭 해석적 비가환 급수는 순환적으로 등가인 제곱합의 약한 극한임을 증명한다. 주요 결과는 이 문제를 콘네 임bedding 추측과 연결하여, 이러한 급수에 대한 행렬 추적 부등식 조건과 동치임을 보여준다.

ABSTRACT

We prove a non-commutative version of the Hilbert's 17th problem, giving a characterization of the class of non-commutative polynomials in n-undeterminates that have positive trace when evaluated in n-selfadjoint elements in arbitrary II1 von Neumann algebra. As a corollary we prove that Connes's embedding conjecture is equivalent to a statement that can be formulated entirely in the context of finite matrices.

연구 동기 및 목표

• 타입 II₁ von Neumann 대수의 맥락에서 힐버트의 17번 문제의 비가환적이고 해석적인 변형을 수립하는 것.
• 모든 타입 II₁ 인자에서의 표현에서 비음이 아닌 추적을 갖는 대칭 해석적 비가환 급수를 특성화하는 것.
• 그러한 급수가 비가환 해석 대수에서 제곱합의 약한 극한과 순환적으로 등가임을 보이는 것.
• 콘네 임베딩 추측이 대칭 해석적 급수에 대한 행렬 추적 부등식 조건과 동치임을 증명하는 것.

제안 방법

• 모든 반경에서 수렴 보장이 되도록 계수의 감쇠 조건이 충분히 강한 형식적 급수로 구성된 $ \mathbb{C}_{\rm an}[Y_1,\ldots,Y_n] $의 비가환 해석 급수 대수를 정의한다.
• $(a_I Y_I)^* = \overline{a_I} Y_{I^{\rm op}} $로 확장되는 표준적 호환성 연산을 도입하고, 자가수반 급수의 실수 부분공간 $ \mathbb{C}_{\rm an}^{\rm sym}[Y_1,\ldots,Y_n] $을 정의한다.
• 순환 등가성을 $ Y_I - Y_{\tilde{I}} $의 스칼라 배수의 약한 극한이 되는 차이로 정의한다. 여기서 $ \tilde{I} $는 $ I $의 순환적 순열이다.
• 유한 합 $ \sum_s b_s^* b_s $의 약한 닫힘에 속하는 $ b_s \in \mathbb{C}_{\rm an}[Y_1,\ldots,Y_n] $이면 급수를 제곱합으로 정의한다.
• GNS 구성법을 사용하여 모멘트 수열 $ (\theta_I)_{I \in \mathcal{I}_n} $에 순환 대칭성과 함께 순환 벡터 $ Z_\Phi $를 연결하고, 모멘트의 순환 대칭성이 상태의 유니터리 불변성과 동치임을 보인다.
• 만약 대칭 해석 급수 $ p $가 모든 타입 II₁ 인자 $ M $의 자기수반 $ X_i $에 대해 $ \tau(p(X_1,\ldots,X_n)) \geq 0 $ 를 만족하면, $ p $는 제곱합의 약한 극한과 순환적으로 등가임을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 대칭 해석적 비가환 급수 $ p \in \mathbb{C}_{\rm an}^{\rm sym}[Y_1,\ldots,Y_n] $가 제곱합의 약한 극한과 순환적으로 등가가 되는가?
• RQ2 모든 타입 II₁ von Neumann 대수에서 $ p(X_1,\ldots,X_n) $의 추적 비음성은 그 대수적 구조와 어떻게 관련되는가?
• RQ3 콘네 임베딩 추측은 해석적 비가환 다항식에 대한 행렬 추적 부등식 조건으로 순수하게 재구성할 수 있는가?
• RQ4 타입 II₁ 인자의 모멘트 수열과 유한 행렬 대수의 모멘트 수열 사이의 정확한 관계는 무엇인가?

주요 결과

• 모든 자기수반 $ X_i $에 대해 어떤 타입 II₁ von Neumann 대수 $ M $에서의 충실한 추적 $ \tau $를 갖는다 하더라도, 대칭 해석적 비가환 급수 $ p $는 $ \tau(p(X_1,\ldots,X_n)) \geq 0 $ 를 만족할 경우, 제곱합의 약한 극한과 순환적으로 등가이다.
• 콘네 임베딩 추측은 모든 자기수반 행렬 $ X_i \in M_N(\mathbb{C}) $에 대해 모든 $ N $ 에 대해 $ \mathop{\rm tr}(p(X_1,\ldots,X_n)) \geq 0 $ 를 만족하는 모든 대칭 해석적 급수 $ p \in \mathbb{C}_{\rm an}^{\rm sym}[Y_1,\ldots,Y_n] $가 제곱합의 약한 극한과 순환적으로 등가임과 동치이다.
• 타입 II₁ 인자의 모멘트 수열 $ (\theta_I)_{I \in \mathcal{I}_n} $가 유한 행렬 대수의 모멘트 수열의 약한 극한으로서 나타나는 것은 그 수열이 순환 대칭적이며 일관된 성장 조건을 만족할 때에만 가능하다.
• 순환 대칭적이며 빠르게 감쇠하는 모멘트 수열에 대해 GNS 구성법을 적용하면 충실한 추적을 갖는 타입 II₁ von Neumann 대수와 함께 순환적이고 분리 가능한 벡터를 얻을 수 있다.
• 유한 행렬 대수의 모멘트 수열 집합은 타입 II₁ 인자의 모멘트 수열 집합에 대해 약한 조밀성을 갖는다. 이는 콘네 임베딩 추측이 성립할 때에만 성립한다.