[논문 리뷰] Quantitative BT-Theorem and automatic continuity for standard von Neumann algebras

Francesco Fidaleo, László Zsidó|arXiv (Cornell University)|2015. 05. 19.

Advanced Topics in Algebra참고 문헌 23인용 수 4

한 줄 요약

이 논문은 표준 von Neumann 대수에 대해 Borchers-Takesaki (BT) 정리의 정량적 형태를 수립하며, 모든 곳에서 정의되고 가역적이며 von Neumann 대수와 그 중심과의 연관성을 유지하는 반선형 연산자이며 중심에서 *-연산을 그대로 수행하는 경우, 자동으로 유계임을 증명한다. 이 결과는 연관 연산자에 대한 일반적인 자동 연속성 정리로 이어지며, von Neumann 대수의 준위상형 사상과 정규, 반유한, 충실한 가중치를 갖는 W*-대수의 구조에 응용된다.

ABSTRACT

We prove a general criterion for a von Neumann algebra $M$ in order to be in standard form. It is formulated in terms of an everywhere defined, invertible, antilinear, a priori not necessarily bounded operator, intertwining $M$ with its commutant $M'$ and acting as the $*$-operation on the centre. We also prove a generalized version of the BT-Theorem which enables us to see that such an intertwiner must be necessarily bounded. It is shown that this extension of the BT-Theorem leads to the automatic boundedness of quite general operators which intertwine the identity map of a von Neumann algebra with a general bounded, real linear, operator valued map. We apply the last result to the automatic boundedness of linear operators implementing algebraic morphisms of a von Neumann algebra onto some Banach algebra, and to the structure of a $W^*$-algebra $M$ endowed with a normal, semi-finite, faithful weight $\\varphi\\,$, whose left ideal $\\mathfrak N_{\\varphi}$ admits an algebraic complement in the GNS representation space $H_{\\varphi}\\,$, invariant under the canonical action of $M$.

연구 동기 및 목표

• von Neumann 대수의 표준 형식을 보장하는 일반 기준을 반선형 연관 연산자를 통해 수립하기 위해.
• 이러한 연관 연산자가 사전에 유계임이 보장되지 않더라도 자동으로 유계여야 한다는 것을 증명하기 위해.
• 고전적 BT-정리를 일반화하여 항등사상과 유계 실선형 연산자값 함수를 연관시키는 연산자에 대한 자동 연속성을 도출하기 위해.
• 자동 연속성 결과를 von Neumann 대수에서 Banach 대수로 가는 대수적 준위상형 사상들을 구현하는 선형 사상의 유계성에 적용하기 위해.
• 정규, 반유한, 충실한 가중치를 갖는 W*-대수에서 GNS 왼쪽 아이디얼이 M-불변 대수적 보완을 갖는지 분석하기 위해.

제안 방법

• von Neumann 대수 M에 대해 TMT⁻¹ = M′ 및 모든 z ∈ Z(M)에 대해 TzT⁻¹ = z*를 만족하는 전단사 반선형 연산자 T의 존재를 통해 M의 표준성 기준을 도입하기 위해.
• 고전적 결과를 더 넓은 범위의 연관 연산자로 확장한 일반화된 BT-정리를 사용하여, 이러한 연산자 T가 반드시 유계임을 증명하기 위해.
• von Neumann 대수에서 항등사상과 유계 실선형 연산자값 함수를 연관시키는 연산자에 대한 일반 자동 연속성 정리(정리 5.1) 수립하기 위해.
• 일반화된 BT-정리를 활용하여, von Neumann 대수에서 Banach 대수로 가는 대수적 준위상형 사상을 실현하는 모든 선형 연산자가 자동으로 유계임을 보여주기 위해.
• W*-대수 M에서 정규, 반유한, 충실한 가중치 φ에 대응하는 GNS 표현을 분석하여, Hφ 내에서 Nφ에 대한 M-불변 대수적 보완의 존재에 초점을 맞추기 위해.
• Hamel 기저를 사용하여 무한차원 힐버트 공간에서의 비유계 선형 및 반선형 치환을 명시적으로 구성함으로써, 유계성 조건이 필수적임을 설명하기 위해.

실험 결과

연구 질문

• RQ1 Hilbert 공간 H 위의 von Neumann 대수 M이 표준적일 조건은 무엇인가, 즉 반선형 켤레를 통한 공간적 동형 사상으로 M′과 동형이 되는가?
• RQ2 M과 M′을 연관시키며 Z(M)에서 * 연산을 수행하는 반선형, 모든 곳에서 정의되고 가역적인 연산자 T는 사전에 유계가 아니더라도 반드시 유계여야 하는가?
• RQ3 von Neumann 대수에서 항등사상과 유계 실선형 연산자값 함수를 연관시키는 연산자의 자동 유계성 보장 조건은 무엇인가?
• RQ4 정규, 반유한, 충실한 가중치 φ를 갖는 W*-대수 M에서 GNS 왼쪽 아이디얼 Nφ가 Hφ 내에서 M-불변 대수적 보완을 갖는다면, M의 구조에 어떤 영향을 미치는가?
• RQ5 무한차원 Hilbert 공간에서 비유계 선형 또는 반선형 치환은 존재하는가? 만약 존재한다면, 어떻게 구성할 수 있는가?

주요 결과

• von Neumann 대수 M은 정확히 다음 조건을 만족하는 전단사 반선형 연산자 T: H → H가 존재할 때 표준적이다: TMT⁻¹ = M′ 및 모든 z ∈ Z(M)에 대해 TzT⁻¹ = z*.
• 이러한 연관 연산자 T는 사전에 유계가 아니더라도 반드시 유계이므로, 이 클래스의 연산자에 대한 자동 연속성이 확립된다.
• 일반화된 BT-정리(정리 4.1)는 von Neumann 대수에서 항등사상과 유계 실선형 연산자값 함수를 연관시키는 모든 연산자가 자동으로 유계임을 보장한다.
• 자동 연속성 결과(정리 5.1)는 von Neumann 대수에서 Banach 대수로 가는 대수적 준위상형 사상을 실현하는 모든 선형 연산자가 반드시 유계임을 암시한다.
• 정규, 반유한, 충실한 가중치 φ를 갖는 W*-대수 M에서 GNS 왼쪽 아이디얼 Nφ가 Hφ 내에서 M-불변 대수적 보완을 갖는다면, M은 유한차원이다.
• Hamel 기저를 사용하여 무한차원 힐버트 공간에서 비유계 선형 및 반선형 치환을 구성할 수 있으며, 이는 유한 개의 연속 좌표 함수형으로 구성된다.