[논문 리뷰] Hilbert modules over locally C*-algebras

Yu. I. Zhuraev, Felix Sharipov|ArXiv.org|2000. 11. 08.

Advanced Operator Algebra Research참고 문헌 19인용 수 50

한 줄 요약

이 논문은 국소 C*-대수 위의 힐버트 모듈러스의 수반 가능 내형사상들의 집합이 자연스러운 C*-반규범의 가족에 의해 국소 C*-대수임을 증명한다. 저자들은 이 결과에 대한 상세한 증명을 제공하며, 이는 기존의 C*-모듈 이론에서 알려진 사실을 일반화한 것으로, 몫 C*-대수들에서의 스펙트럼 및 노름 성질을 통해 그 타당성을 확인한다.

ABSTRACT

In the present paper the notion of a Hilbert module over a locally C*-algebra is discussed and some results are obtained on this matter. In particular, we give a detailed proof of the known result that the set of adjointable endomorphisms of such modules is itself a locally C*-algebra.

연구 동기 및 목표

• 국소 C*-대수의 이론을 상대론적 양자역학과 비환원 기하학에서 자연스럽게 나타나는 국소 C*-대수의 맥락으로 확장한다.
• 국소 C*-대수 위의 힐버트 모듈러스를 정의하고 연구함으로써 표준적인 힐버트 C*-모듈 프레임워크를 일반화한다.
• 이러한 모듈러스의 수반 가능 내형사상들의 공간이 자체적으로 국소 C*-대수임을 증명한다. 이는 핵심적인 구조적 결과이다.
• 이 결과에 대한 상세하고 자가 포함된 증명을 제공한다. 이는 문헌에서 이미 알려져 있음에도 불구하고 연구자들이 참고할 수 있도록 하기 위함이다.

제안 방법

• C*-반규범의 가족과 대수에 값이 들어가는 호환 가능한 내적을 사용하여 국소 C*-대수 위의 힐버트 모듈러스를 정의한다.
• 각 반규범 $P_\alpha$에 대해 $I_\alpha$를 $P_\alpha$의 핵으로 하여 $X_\alpha = X / \bar{I}_\alpha$라는 몫 모듈러스를 구성한다. 이는 $A_\alpha = A / I\_\alpha$ 위의 힐버트 모듈러스가 된다.
• 내형사상들의 공간 $T \in \text{End}_A^*(X)$에 대해, $T_\alpha$가 $X_\alpha$ 위의 유도된 연산자일 때, 반규범 $\hat{P}_\alpha(T) = \|T_\alpha\|$을 정의한다.
• $\hat{P}_\alpha$가 C*-항등식 $\hat{P}_\alpha(T^*T) = \hat{P}_\alpha(T)^2$를 만족함을 증명하여, 이 반규범이 C*-반규범임을 확인한다.
• 수반 넷의 수렴을 이용하여 $\{\hat{P}_\alpha\}_{\alpha \in \Delta}$에 의해 유도되는 위상에서 $\text{End}_A^*(X)$가 완비임을 보인다.
• $T \mapsto T_\alpha$가 $\text{End}_A^*(X)$에서 $\text{End}_{A_\alpha}^*(X_\alpha)$로의 *-환형사상임을 확립하며, 스펙트럼과 양성도를 유지한다.

실험 결과

연구 질문

• RQ1 국소 C*-대수 위의 힐버트 모듈러스의 수반 가능 내형사상들의 공간은 스스로 국소 C*-대수인가?
• RQ2 내형사상의 스펙트럼 및 양성 성질은 그 몫 사상들이 C*-몫대수에서 어떻게 관련이 있는가?
• RQ3 국소 C*-대수 위의 수반 가능 내형사상의 구조는 관련된 C*-몫대수들에서의 행동으로부터 복원될 수 있는가?
• RQ4 모듈러스와 대수의 인덕티브 극한 구조는 유계성과 수반 가능성의 유지에 어떤 역할을 하는가?
• RQ5 비유니탈 국소 C*-대수의 유니탈화가 그 위의 힐버트 모듈러스에 대한 내형사상 대수에 어떤 영향을 미치는가?

주요 결과

• 국소 C*-대수 $A$ 위의 힐버트 모듈러스 $X$의 수반 가능 내형사상들의 집합 $\text{End}_A^*(X)$는 반규범의 가족 $\{\hat{P}_\alpha\}_{\alpha \in \Delta}$에 관해 국소 C*-대수이다.
• 각 $\alpha$에 대해 몫 모듈러스 $X_\alpha$ 위의 유도된 연산자 $T_\alpha$는 유계적이며 수반 가능하며, $\|T_\alpha\| = \hat{P}_\alpha(T)$이다.
• 반규범 $\hat{P}_\alpha$는 C*-항등식을 만족한다: $\hat{P}_\alpha(T^*T) = \hat{P}_\alpha(T)^2$, 이는 이 반규범이 C*-반규범임을 확인한다.
• $\text{End}_A^*(X)$는 $\{\hat{P}_\alpha\}$에 의해 정의된 위상에서 완비이므로, 국소 C*-대수이다.
• 연산자 $T \in \text{End}_A^*(X)$가 양성임은 모든 $\alpha$에 대해 $T_\alpha$가 $\text{End}_{A_\alpha}^*(X_\alpha)$에서 양성임과 동치이다.
• 연산자 $T$의 스펙트럼은 $\text{Sp}(T) = \bigcup_{\alpha \in \Delta} \text{Sp}(T_\alpha)$를 만족하며, 이는 전반적인 스펙트럼을 몫들의 스펙트럼과 연결한다.