[논문 리뷰] Representations of *-semigroups associated to invariant kernels with values continuously adjointable operators

Serdar Ay, Aurelian Gheondea|arXiv (Cornell University)|2015. 07. 24.

Advanced Operator Algebra Research참고 문헌 26인용 수 3

한 줄 요약

이 논문은 *-반군이 VH-공간(벡터 힐버트 공간) 위에서 *-표현을 가지기 위한 두 개의 필수적이고 충분한 유계 조건을, 연속적으로 자기수반 가능한 연산자 값을 갖는 불변의 양의 정부호 커널을 통해 설정한다. 주요 기여는 국소 C*-대수 값의 힐버트 모듈러에 대한 완전히 양의 정부호 사상에 대한 스틴스프링-카스파로프 확장 정리들을 일반화하는 통합 프레임워크를 제공하는 것이다. 이 중 하나의 조건은 슈바르츠-나지의 유계 조건을 일반화하며, 다른 하나는 VH-공간 설정에서의 연산자 및 그 수반의 연속성을 보장하는 새로운 조건이다.

ABSTRACT

We consider positive semidefinite kernels valued in the $*$-algebra of continuous and continuously adjointable operators on a VH-space (Vector Hilbert space in the sense of Loynes) and that are invariant under actions of $*$-semigroups. For such a kernel we obtain two necessary and sufficient boundedness conditions in order for there to exist $*$-representations of the underlying $*$-semigroup on a VH-space linearisation, equivalently, on a reproducing kernel VH-space. We exhibit several situations when the latter boundedness condition is automatically fulfilled. For example, when specialising to the case of Hilbert modules over locally $C^*$-algebras, we show that both boundedness conditions are automatically fulfilled and, consequently, this general approach provides a rather direct proof of the general Stinespring-Kasparov type dilation theorem for completely positive maps on locally $C^*$-algebras and with values adjointable operators on Hilbert modules over locally $C^*$-algebras.

연구 동기 및 목표

• VH-공간 위에서 연속적으로 자기수반 가능한 연산자 값을 갖는 불변 커널을 통한 *-반군의 *-표현을 위한 확장 정리들을 통합하는 것.
• 국소 C*-대수에 값이 있는 완전히 양의 정부호 사상에 대한 스틴스프링-카스파로프 확장 정리를, 힐버트 모듈러 위의 자기수반 가능한 연산자에 값이 있는 경우로 일반화하는 것.
• VH-공간 위에서 *-표현이 존재하기 위한 두 개의 필요 및 충분 조건, 특히 연산자 및 그 수반의 연속성에 대해 규명하는 것.
• C*-대수를 초월하여 국소 C*-대수와 그 위의 힐버트 모듈러로 Loynes의 VH-공간 프레임워크의 적용 범위를 확장하는 것.

제안 방법

• 저자들은 VH-공간 위의 연속적으로 자기수반 가능한 연산자들의 *-대수에 값을 갖는 양의 정부호 커널을 정의하고, 이가 *-반군의 작용에 관해 불변임을 가정한다.
• 두 개의 유계 조건을 도입한다: (b1)는 *-표현의 연속성과 관련된 것으로, 슈바르츠-나지의 조건과 유사하며, (b2)는 VH-공간 설정에서 자동으로 성립하지 않는 연산자 수반의 연속성을 보장한다.
• 증명은 *-반군 내의 근사 단위와 자기수반 연산자 공간에서의 엄격 수렴을 이용하여, 힐버트 공간 선형화 위에 *-표현을 구성하는 데 사용된다.
• 구성은 반노름 $p$ 에 기반한 몫공간 ${\mathcal{K}}_p$ 를 정의하고, 유도된 사상 $\pi_p$ 가 C*-대수 몫 위에서 유계 *-형태사상임을 보이는 방식이다.
• 유계 조건과 자기수반 연산자 공간 $\mathcal{L}^*({\mathcal{H}},{\mathcal{K}})$ 위의 엄격 위상 수렴을 이용한 연산자 노름 추정을 통해 *-표현 $\pi$ 의 연속성을 확립한다.
• 확장 결과는 근사 단위 $(e_i)$ 에 따라 $\varphi(e_i) \to W^*W$ 이며, $\varphi(b) = W^*\pi(b)W$ 를 만족하는 유계 연산자 $W$ 가 존재함을 보여서 유도된다.

실험 결과

연구 질문

• RQ1 VH-공간 위에서 연속적으로 자기수반 가능한 연산자 값을 갖는 불변의 양의 정부호 커널이 주어졌을 때, 이로부터 해당 *-반군의 *-표현이 존재하기 위한 조건은 무엇인가?
• RQ2 클래식한 스틴스프링-카스파로프 확장 정리는 국소 C*-대수에 값이 있는 힐버트 모듈러의 맥락으로 어떻게 일반화될 수 있는가?
• RQ3 특히 연산자 수반의 연속성과 관련하여, 이러한 *-표현이 존재하기 위한 필수 및 충분 조건은 무엇인가?
• RQ4 특정 맥락에서, 특히 국소 C*-대수의 맥락에서, 이러한 유계 조건들이 자동으로 만족되는 경우는 언제인가?

주요 결과

• 논문은 두 개의 필수적이고 충분한 유계 조건을 확립한다: (b1)은 *-표현의 연속성 조건이며, (b2)는 VH-공간 설정에서 자동으로 성립하지 않는 연산자 수반의 연속성 조건이다.
• 커널이 국소 C*-대수 위의 힐버트 모듈러 위의 자기수반 가능한 연산자 값을 갖는다면, 두 유계 조건 모두 자동으로 만족되며, 이는 이 맥락에서 스틴스프링-카스파로프 확장 정리의 직접적 증명을 가능하게 한다.
• *-표현 $\pi$ 는 자기수반 연산자 공간 위의 엄격 위상에 관해 연속적이다.
• 확장 사상 $\varphi(b) = W^*\pi(b)W$ 는 연속적이며, 임의의 근사 단위 $(e_i)$ 에 대해 $\varphi(e_i) \to W^*W$ 가 엄격 수렴한다.
• 구성은 $\pi$ 의 범위가 목표 공간에서 밀도를 이룬다는 것을 보장하며, 표현은 유니터리 동치를 제외하고 유일하다.