[논문 리뷰] Unbounded generalizations of the Fuglede-Putnam theorem

Souheyb Dehimi, Mohammed Hichem Mortad외 1명|arXiv (Cornell University)|2022. 01. 01.

Holomorphic and Operator Theory인용 수 3

한 줄 요약

이 논문은 Fuglede-Putnam 정리의 무한한 일반화를 조사하며, 밀집정의 연장 가능 연산자에 대해 정규성과 스펙트럼 조건 하에서 새로운 결과를 증명한다. 또한 일부 제안된 일반화에 대해 반례를 제시한다. 만약 유계 연산자 B가 정규이자 연장 가능한 무한대 연산자 N과 가환한다면, B는 N*과도 가환함을 보여, 고전 결과를 무한대 설정으로 확장한다.

ABSTRACT

In this paper, we prove and disprove several generalizations of unbounded versions of the Fuglede-Putnam theorem.

연구 동기 및 목표

• Fuglede-Putnam 정리를 무한대 정규 연산자로 확장하기.
• 무한대 연산자가 유계 연산자와 가환일 때 그 수반과의 가환성을 유도할 조건을 조사하기.
• 이러한 일반화에서 스펙트럼 조건과 정의역 포함 관계의 역할을 명확히 하기.
• 반례를 통해 일부 제안된 일반화를 반증하기.
• 기존의 무한대 Fuglede-Putnam 유형 정리 결과들을 통합하고 확장하기.

제안 방법

• 유계 정규 연산자에 대한 고전적 Fuglede 정리를 기본 도구로 사용한다.
• 수반 연산을 적용하여 연산자의 가환성 관계 간의 함의를 도출한다.
• 특히 해리스셋과 스펙트럼을 활용한 스펙트럼 이론을 적용하여 무한대 연산자를 분석한다.
• 닫힌 그래프 정리와 밀집정의 연장 가능 연산자의 성질을 활용하여 수반의 잘 정의됨을 보장한다.
• 행렬 확장 기법(예: 블록 연산자)을 사용하여 문제를 알려진 유계 경우로 환원한다.
• 특정 정의역을 갖는 L2(R) 위의 무한대 자기수반 및 정규 연산자를 사용하여 명시적 반례를 구성한다.

실험 결과

연구 질문

• RQ1 무한대 정규 A와 유계 B에 대해 BA ⊂ AB일 때, 어떤 조건에서 BA* ⊂ A*B가 성립하는가?
• RQ2 BN ⊂ MB일 때, 무한대 정규 연산자 N과 유계 B에 대해 Fuglede-Putnam 정리가 일반화될 수 있는가?
• RQ3 σ[p(A)] ≠ C를 만족하는 다항식 p와 무한대 정규 N에 대해, NA ⊂ AN이면 NA* ⊂ A*N이 성립하는가?
• RQ4 Fuglede-Putnam 정리를 무한대 설정으로 확장할 때의 한계는 무엇인가?
• RQ5 정규 N과 자기수반 A를 갖는 경우에도 NA ⊂ AN*이지만 NA* ⊄ AN일 수 있는 경우는 존재하는가?

주요 결과

• A가 밀집정의 연장 가능 정규 연산자이고 B ∈ B(H)가 A와 가환한다면, B는 A*와도 가환함을 보여, Fuglede 정리를 무한대 정규 연산자로 일반화한다.
• N이 밀집정의 연장 가능 정규 연산자이고 B ∈ B(H)가 BN ⊂ MB를 만족한다면, BN* ⊂ M*B임을 보여, Fuglede-Putnam 정리를 무한대 정규 연산자로 확장한다.
• 다항식 p와 무한대 정규 N에 대해 σ[p(A)] ≠ C이면, D(A) ⊂ D(N)일 때 NA ⊂ AN이면 NA* ⊂ A*N이 성립함을 보여, 결과에 대한 스펙트럼 조건을 제공한다.
• 보조정리들은 A가 자기수반이거나 유계로 역행 가능할 경우, 정의역 포함 조건 하에서 결과가 성립함을 보여준다.
• 반례 3.8은 정규 N과 자기수반 A를 갖는 경우에도 AN* = NA이지만 NA ⊂ N*A가 성립하지 않음을 보여, 반례를 제시한다.
• 반례 3.9는 닫힌 T와 정규 M를 구성하여 TM ⊂ MT이지만 TM* ⊄ M*T이고 M*T ⊄ TM*임을 보여, Putnam 유형 일반화를 반박한다.