[논문 리뷰] Dynamical Systems on Hilbert C*-Modules

Abbaspour, Gh., Moslehian, M. S.외 1명|arXiv (Cornell University)|2005. 03. 26.

Advanced Topics in Algebra참고 문헌 9인용 수 9

한 줄 요약

이 논문은 힐버트 C*-모듈러에 대한 일반화된 도함수와 동역계를 조사하며, 단순한 힐버트 C*-모듈러에서의 모든 일반화된 도함수는 닫힐 수 있거나 조밀한 범위를 가진다고 규명한다. 또한, 전체 힐버트 C*-모듈러 위의 일파라미터 유니터리 군은 계수 C*-대수 위에 C*-동역계를 유도하며, 이 모듈러 동역계의 무한소 생성자는 대수적 동역계의 생성자에 상대적인 d-도함수임을 보여준다.

ABSTRACT

We investigate the generalized derivations and show that every generalized derivation on a simple Hilbert $C^*$-module either is closable or has a dense range. We also describe dynamical systems on a full Hilbert $C^*$-module ${\mathcal M}$ over a $C^*$-algebra ${\mathcal A}$ as a one-parameter group of unitaries on ${\mathcal M}$ and prove that if $α: \R o U({\mathcal M})$ is a dynamical system, where $U({\mathcal M})$ denotes the set of all unitary operator on ${\mathcal M}$, then we can correspond a $C^*$-dynamical system $α^{'}$ on ${\mathcal A}$ such that if $δ$ and $d$ are the infinitesimal generators of $α$ and $α^{'}$ respectively, then $δ$ is a $d$-derivation.

연구 동기 및 목표

• 힐버트 C*-모듈러의 맥락으로 도함수 결과를 일반화하고, 특히 일반화된 도함수에 중점을 둔다.
• 전체 힐버트 C*-모듈러 위의 동역계의 구조와 성질을 조사한다.
• 힐버트 C*-모듈러 위의 동역계와 계수 C*-대수 위의 C*-동역계 사이의 대응 관계를 설정한다.
• 힐버트 C*-모듈러 위의 동역계의 무한소 생성자를 계수 대수의 유도된 시스템 생성자에 상대적인 d-도함수로 특성화한다.

제안 방법

• 힐버트 C*-모듈러 위의 일반화된 도함수를 정의하고, 그 닫힘성과 범위 성질을 분석한다.
• 전체 힐버트 C*-모듈러 M 위의 동역계를 M 위의 일파라미터 유니터리 연산자 군으로 표현한다.
• 모듈러 작용과 내적 보존을 통해 계수 C*-대수 A 위에 유도된 C*-동역계 α′을 구성한다.
• Hille-Yosida 정리를 사용하여 M 위의 무한소 생성자 δ와 A 위의 생성자 d의 존재를 보장한다.
• 모든 a ∈ D(d), x ∈ D(δ)에 대해 δ(ax) = aδ(x) + d(a)x를 만족함을 증명함으로써, δ 가 d-도함수임을 보인다.
• Stone의 정리와 스펙트럼 이론을 적용하여, 힐버트 공간 위의 유계 자기수반 연산자와 같은 구체적 예시를 통해 일반 프레임워크의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 단순한 힐버트 C*-모듈러에서 일반화된 도함수가 닫히거나 조밀한 범위를 갖는 조건은 무엇인가?
• RQ2 전체 힐버트 C*-모듈러 위의 모든 동역계는 계수 C*-대수 위의 C*-동역계로 올릴 수 있는가?
• RQ3 힐버트 C*-모듈러 위의 동역계의 무한소 생성자는 계수 대수 위의 유도된 시스템 생성자와 어떻게 관련이 있는가?
• RQ4 힐버트 C*-모듈러 위의 일반화된 도함수는 C*-동역계의 맥락에서 도함수와 유사하게 어떻게 행동하는가?
• RQ5 일반화된 도함수는 특히 약한 내부 동역계의 맥락에서 약하게 내부적인가?

주요 결과

• 단순한 힐버트 C*-모듈러에서의 모든 일반화된 도함수는 닫힐 수 있거나 조밀한 범위를 가지며, Niknam의 결과를 일반화한다.
• 전체 힐버트 C*-모듈러 M 위의 일파라미터 유니터리 군 α: ℝ → U(M)은 계수 C*-대수 A 위에 C*-동역계 α′: ℝ → Aut(A)를 유도한다.
• α의 무한소 생성자 δ는 d-도함수이며, 모든 a ∈ D(d), x ∈ D(δ)에 대해 δ(ax) = aδ(x) + d(a)x를 만족한다. 여기서 d는 α′의 생성자이다.
• 유도된 시스템 α′는 A 위의 강한 연속성 일파라미터 *-자기동형사상 군이며, α′₀ = id 이고 α′_{t+s} = α′_t ∘ α′_s 를 만족한다.
• 힐버트 공간 H와 자기수반 연산자 T의 예시에서, α′의 생성자 δ′는 V ∈ K(H)에 대해 δ′(V) = i[T, V] 로 주어지며, d-도함수의 구조를 확인한다.
• 이 결과는 닫힌 일반화된 도함수가 자연스럽게 힐버트 C*-모듈러 위의 동역계의 무한소 생성자로 나타나며, C*-동역계 이론이 모듈러 설정으로 확장됨을 시사한다.