[논문 리뷰] The free field: zero divisors, Atiyah property and realizations via unbounded operators

Tobias Mai, Roland Speicher외 1명|arXiv (Cornell University)|2018. 05. 10.

Advanced Operator Algebra Research참고 문헌 29인용 수 7

한 줄 요약

이 논문은 비가환 유리 함수의 대수적 프레임워크와 해석적 프레임워크 사이의 동형사상(이sovorphism)을 수립하며, 자유 엔트로피 차원이 최대인 연산자 트리플에 대해 비자명한 유리 함수가 영인자 없이 유계가 아닌 연산자로 평가됨을 보여준다. 주요 결과는 자유 필드에서 가역인 행렬이 여전히 비유계 연산자로서 가역성을 유지함을 확인하며, 영인자 문제를 해결하고 아티야 성질과 연결된다.

ABSTRACT

We consider noncommutative rational functions as well as matrices in polynomials in noncommuting variables in two settings: in an algebraic context the variables are formal variables, and their rational functions generate the "free field"; in an analytic context the variables are given by operators from a finite von Neumann algebra and the question of rational functions is treated within the affiliated unbounded operators. Our main result shows that for a "good" class of operators - namely those for which the free entropy dimension is maximal - the analytic and the algebraic theory are isomorphic. This means in particular that any non-trivial rational function can be evaluated as an unbounded operator for any such good tuple and that those operators don't have zero divisors. On the matrix side, this means that matrices of polynomials which are invertible in the free field are also invertible as matrices over unbounded operators when we plug in our good operator tuples. We also address the question how this is related to the strong Atiyah property. The above yields a quite complete picture for the question of zero divisors (or atoms in the corresponding distributions) for operator tuples with maximal free entropy dimension. We give also some partial results for the question of existence and regularity of a density of the distribution.

연구 동기 및 목표

• 유한 von Neumann 대수에서 비가환 유리 함수(자유 필드)의 대수적 이론과 비유계 연산자에 대한 해석적 이론을 연결하는 것.
• 자유 엔트로피 차원이 최대인 연산자 트리플에 대해 비가환 유리 함수의 영인자 문제를 해결하는 것.
• 자유 필드에서의 대수적 가역성과 비유계 연산자 설정에서의 해석적 가역성 간의 등가성을 수립하는 것.
• 자유 엔트로피 차원의 최대성과 강한 아티야 성질 사이의 연결 고리를 조사하는 것.
• 해당 연산자 트리플에 대해 스펙트럼 분포의 정규성과 절대 연속성에 대해 연구하는 것.

제안 방법

• 비가환 다항식 위의 행렬의 내부 질량과 전부성(fulness)을 분석하기 위해 행렬 미분법과 비가환 도함수를 사용한다.
• 보이쿨루스쿠의 공식과 데이브로스키의 부등식을 적용하여 자유 피셔 정보와 자유 엔트로피 차원을 연결한다.
• 비가환 유리 표현을 다루기 위해 유리 함수의 선형화 기법과 유리 폐쇄를 활용한다.
• 자기 연산자에 대한 공액계와 $L^2$-이론을 활용하여 비유계 연산자의 구조를 연구한다.
• 행렬을 표준형으로 줄이기 위해 감소 추론과 행렬 분해(예: 가역 행렬 $U$, $V$를 통한)를 적용한다.
• 특히 소속된 비유계 연산자 이론과 샤텐-클래스 연산자 이론을 포함한 자유 확률론과 연산자 대수학의 결과에 의존한다.

실험 결과

연구 질문

• RQ1 비가환 유리 함수가 영인자가 없는 비유계 연산자로 평가되는 조건은 무엇인가?
• RQ2 자유 필드에서의 대수적 성질이 비유계 연산자 설정에서의 해석적 성질과 어떻게 관련되는가?
• RQ3 자유 엔트로피 차원이 최대일 때, 다항식의 행렬이 연산자 설정에서 가역성을 유지하는 데 어떤 역할을 하는가?
• RQ4 강한 아티야 성질은 유리 함수의 스펙트럼 분포에서 원자(atomic components)의 부재와 어떻게 관련되는가?
• RQ5 어떤 조건이 이러한 연산자 트리플의 스펙트럼 측도의 절대 연속성과 정규성 보장에 기여하는가?

주요 결과

• 자유 엔트로피 차원이 최대인 연산자 트리플에 대해, 모든 비자명한 유리 함수는 영인자가 없는 비유계 연산자로 평가된다.
• 자유 필드에서 가역인 다항식의 행렬은 이러한 트리플에 대해 평가되었을 때 여전히 비유계 정의역에서의 연산자로서 가역성을 유지한다.
• 자유 엔트로피 차원이 최대인 연산자에 대해, 비가환 유리 함수의 대수적 이론과 해석적 이론은 서로 동형이다.
• 강한 아티야 성질이 이러한 연산자 트리플에 대해 성립하며, 이는 유리 함수의 스펙트럼 분포에 원자가 없음을 의미한다.
• 적절한 조건 하에서 이러한 트리플의 유리 함수 스펙트럼 측도는 절대 연속적이며, 추적 공식과 쌍대계를 통해 구조적 통찰을 제공한다.
• 이 논문은 비가환 다항식 위의 전행렬이 가역 변환을 통해 표준형으로 줄일 수 있음을 입증하며, 가역성에 필수적인 구조적 성질를 확인한다.