[논문 리뷰] Pure Semigroups of Isometries on Hilbert C*-Modules

B. V. Rajarama Bhat, Michael Skeide|arXiv (Cornell University)|2014. 08. 12.

Holomorphic and Operator Theory참고 문헌 4인용 수 5

한 줄 요약

이 논문은 힐버트 C*-모듈러스 위에서 순수하고 강한 연속성 조건을 만족하는 자기수반 등위사상의 반군이 $ L^2(\bbR_+, K) $ 위의 표준적인 오른쪽 이동과 유니타리 동치임을 증명한다. 이는 힐버트 공간에서의 쿠퍼의 고전적 결과를 일반화한 것이다. 반례들은 힐버트 C*-모듈러스 설정에서 일반 반군의 유니타리 부분과 순수 부분으로의 분해가 항상 성립하지 않음을 보여준다.

ABSTRACT

We show that pure strongly continuous semigroups of adjointable isometries on a Hilbert C*-module are standard right shifts. By counter examples, we illustrate that the analogy of this result with the classical result on Hilbert spaces by Sz.-Nagy, cannot be improved further to understand arbitrary isometry semigroups of isometries in the classical way.

연구 동기 및 목표

• 힐버트 공간에서의 쿠퍼의 고전적 반군 이론을 힐버트 C*-모듈러스 설정으로 일반화하기.
• 힐버트 C*-모듈러스 맥락에서 반군을 최대 유니타리 부분과 순수 부분으로 나누는 분해가 성립하는지 조사하기.
• 힐버트 C*-모듈러스 위에서 순수이고 유니타리 등위사상의 반군이 표준적인 오른쪽 이동과 유니타리 동치인지 확인하기.
• 고전적 분해 결과가 힐버트 공간 외의 설정에서 성립하지 않는다는 것을 보여주는 반례를 구성하기.

제안 방법

• 강한 수렴 조건을 이용해 $ t \to \infty $ 일 때 수반의 강한 수렴이 0이 되는 순수 반군을 정의한다.
• 구간 위에서 반군의 구조를 포착하기 위해 모듈러스 위의 사영 $ q_{a,b} $ 를 정의하고, 이는 하위모듈러스 $ E_{a,b} $ 로 사영한다.
• 강한 연속성과 등위사상 성질을 이용해 사영의 적분 표현을 유도한다. 예를 들어 $ q_{a,b}x = \frac{1}{b-a}\int_0^{b-a} \mathscr{S}_t p_{a,b-t}x + p_{a,a+t}\mathscr{S}_{b-a-t}^*x \, dt $ 와 같이 표현된다.
• 사영 $ M $ 을 지표 함수 위에서 정의한 맵을 통해 반군의 제한이 $ L^2([0,1), F) $ 와 유니타리 동치임을 증명한다.
• 반군이 $ L^2([0,1), F) $ 위에서 주기적 이동으로 작용함을 증명한다. $ M^* \mathscr{S}_t^{0,1} = \pi_t M^* $ 를 통해 이동의 구조를 확인한다.
• 분해 $ E = \bigoplus_{k=0}^\infty \mathscr{S}_k E_{0,1} $ 와 유니타리 동치를 이용해 주요 결과를 도출한다.

실험 결과

연구 질문

• RQ1 모든 순수하고 강한 연속성 조건을 만족하는 힐버트 C*-모듈러스 위의 자기수반 등위사상 반군은 표준적인 오른쪽 이동과 유니타리 동치인가?
• RQ2 힐버트 C*-모듈러스로의 일반화를 고려할 때, 고전적인 반군의 분해 결과(유니타리 부분과 완전히 비유니타리 부분으로의 분해)는 어느 정도까지 성립하는가?
• RQ3 힐버트 C*-모듈러스 위의 강한 연속성 조건을 만족하는 자기수반 등위사상 반군은 항상 최대 유니타리 부분과 순수 부분으로 분해될 수 있는가?
• RQ4 유니타리 부분과 순수 부분으로의 분해가 불가능한 힐버트 C*-모듈러스 위의 강한 연속성 반군의 예는 존재하는가?
• RQ5 어떤 모듈러스와 반군의 구조적 성질이 힐버트 공간의 분해 정리들을 직접 일반화하는 것을 방해하는가?

주요 결과

• 힐버트 C*-모듈러스 위의 순수하고 강한 연속성 조건을 만족하는 자기수반 등위사상 반군은 $ L^2(\bbR_+, K) $ 위의 표준적인 오른쪽 이동과 유니타리 동치이다. 여기서 $ K $ 는 다중도 힐버트 공간이다.
• 힐버트 C*-모듈러스 위의 자기수반 등위사상 반군에 대해 최대 유니타리 부분과 순수 부분으로의 분해는 항상 존재하지는 않는다.
• 유니타리 부분과 순수 부분으로의 분해가 존재하지 않는 강한 연속성 반군의 반례가 구성되었다.
• 자기수반 등위사상이 아닌 강한 연속성 반군의 예가 구성되었으며, 이는 분해 결과가 성립하기 위해 자기수반 조건이 필수적임을 보여준다.
• 모듈러스 $ E $ 위의 사영 $ q_{a,b} $ 는 $ \mathscr{S}_r q_{a,b} = q_{a+r,b+r} \mathscr{S}_r $ 를 만족하며, 이는 반군이 하위모듈러스 $ q_{a,b}E $ 위에서 이동으로 작용함을 나타낸다.
• 지표 함수 $ \mathbf{1}_{[c,d)}z $ 에 대해 $ M(\mathbf{1}_{[c,d)}z) = p_{c,d}z $ 로 정의된 맵 $ M: L^2([0,1), F) \to E_{0,1} $ 는 유니타리 연산자로 확장되며, 이는 표준적인 오른쪽 이동과의 유니타리 동치를 확립한다.