[논문 리뷰] Regular Operators on Hilbert C^*-modules

Arupkumar Pal|ArXiv.org|1999. 06. 25.

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

한 줄 요약

이 논문은 범위 조밀성 조건을 제거한 정규 연산자의 일반화로, 힐버트 C*-모듈러스 위의 닫힘 및 조밀정의 연산자 중 그 고유연산자도 조밀정의인 '반정규 연산자'를 도입한다. 아벨 C*-대수 및 컴팩트 연산자 부분대수에서는 모든 닫힌 반정규 연산자가 자동으로 정규임을 증명한다. 주요 기여는 림날 C*-대수에서 반정규 연산자를 정규 연산자로 확장할 수 있는 조건을, 유니터리 동치와 멱등 연속성 가진 연산자 가중치의 가중치를 통해 제시하는 것이다.

ABSTRACT

A regular operator T on a Hilbert C^*-module is defined just like a closed operator on a Hilbert space, with the extra condition that the range of (I+T^*T) is dense. Semiregular operators are a slightly larger class of operators that may not have this property. It is shown that, like in the case of regular operators, one can, without any loss in generality, restrict oneself to semiregular operators on C^*-algebras. We then prove that for abelian C^*-algebras as well as for subalgebras of the algebra of compact operators, any closed semiregular operator is automatically regular. We also determine how a regular operator and its extensions (and restrictions) are related. Finally, using these results, we give a criterion for a semiregular operator on a liminal C^*-algebra to have a regular extension.

연구 동기 및 목표

• 힐버트 C*-모듈러스 위의 비유계 연산자 중 정규 연산자의 범위 조밀성 조건을 완화한 더 넓은 클래스인 반정규 연산자를 연구한다.
• 특히 아벨 및 컴팩트 연산자 부분대수에서 닫힌 반정규 연산자가 자동으로 정규임을 판단하는 조건을 규명한다.
• 림날 C*-대수에서 반정규 연산자가 정규 확장을 갖는 데 충분한 조건을 제시한다.
• 기존 문헌의 결과를 일반화하여, 정규성 조건을 스펙트럼 조건과 유니터리 동치 조건으로 환원할 수 있음을 보인다.

제안 방법

• 정규 연산자의 범위 조밀성 조건을 생략한 채, 닫힘 및 조밀정의이면서 고유연산자도 조밀정의인 연산자로 반정규 연산자를 정의한다.
• C*-대수 $A$의 스펙트럼 $\hat{A}$를 이용해 표현 $\pi: A \to B(H_\pi)$를 통해 연산자를 힐베르트 공간 위의 연산자로 분석함으로써 문제를 단순화한다.
• 스톤-바이어슈트라스 유사 정리(정리 1.1)를 적용하여 표현에 의한 상(images)을 통해 $A$의 아이디얼의 조밀성을 확보한다.
• 각 $\pi(A)$에서 $T_\pi = U_\pi t U_\pi^*$로 정의된 정규 연산자 $t$를 이용해 반정규 연산자 $S$의 정규 확장 $\widetilde{T}$를 구성한다.
• 강한 연속성 조건을 만족하는 $\{U_\pi\}$를 이용해 다중화자 원소 $z \in M(A)$가 존재하여 $\pi(z) = U_\pi w U_\pi^*$가 되도록 보장한다. 여기서 $w$는 $t$의 $z$-변환이다.
• 결과로 얻어진 연산자 $\widetilde{T}$가 정규임을 확인하기 위해, 그 $z$-변환이 노름 연속임과 동시에 $S \subseteq \widetilde{T}$임을 검증한다.

실험 결과

연구 질문

• RQ1 힐버트 C*-모듈러스 위의 닫힌 반정규 연산자가 어떤 조건에서 자동으로 정규가 되는가?
• RQ2 림날 C*-대수에서 반정규 연산자는 정규 확장을 갖는가? 만약 그렇다면 어떤 조건에서 가능한가?
• RQ3 특정 C*-대수에서 정규 연산자의 범위 조밀성 조건을 더 다룰 수 있는 조건으로 대체할 수 있는가?
• RQ4 유니터리 가중치 $\{U_\pi\}$는 반정규 연산자의 정규 확장을 구성하는 데 어떤 역할을 하는가?
• RQ5 C*-대수 위의 반정규 연산자의 $z$-변환이 다중화자 대수에 올라가는 조건은 언제인가?

주요 결과

• 아벨 C*-대수에서는 모든 닫힌 반정규 연산자가 자동으로 정규임을 보이며, 이는 $I + T^*T$의 범위 조건이 다른 공리들에 의해 암시되기 때문이다.
• 컴팩트 연산자 부분대수에서는 닫힌 반정규 연산자 역시 자동으로 정규임을 보이며, 이는 비단위 C*-대수이지만 이상이 풍부한 대수로의 결과 확장을 가능하게 한다.
• 림날 C*-대수 $A$ 위의 반정규 연산자 $S$가 정규 확장을 갖는 충분한 조건은 $\pi_0(A)$ 위의 정규 연산자 $t$와 연속성 및 유니터리 동치 조건을 만족하는 유니터리 가중치 $\{U_\pi\}$의 존재이다.
• 정규 확장 $\widetilde{T}$의 구성은 다중화자 원소 $z \in M(A)$의 존재에 의존하며, 이때 $\pi(z) = U_\pi w U_\pi^*$여야 하며, 여기서 $w$는 $t$의 $z$-변환이다. 이 조건은 스펙트럼 상향을 통해 정규성을 보장한다.
• 예를 들어 $E = C[0,1] \otimes L^2(0,1)$와 같은 구체적 사례에서는, 경계 조건이 왜곡된 미분 연산자가 유니터리 공역을 통해 정규임을 보일 수 있다.
• 논문은 강한 연속성 유니터리 가중치와 노름 연속적 연산자값 함수를 이용해 힐버트 C*-모듈러스 위의 정규 연산자를 구성하는 일반적 프레임워크를 제공한다.