[논문 리뷰] $E_{0}^{P}$-semigroups and product systems

S. P. Murugan, S. Sundar|arXiv (Cornell University)|2017. 06. 13.

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

한 줄 요약

이 논문은 아르베송의 $E_0$-semigroup 이론을 $\mathbb{R}^n$ 내의 점이 있는, 전방위적인 볼록뿔 $P$ 에 따라 인덱스가 매겨진 $E_0^P$-semigroup 으로 확장한다. 이에 따라 관련된 곱계열이 코히어런트 쌍대환위상에 대해 $E_0^P$-semigroup 을 완전히 분류함을 증명하며, 라플라스 변환과 쌍대뿔을 통한 측정가능성에서 연속성으로의 정규화를 사용하여 아르베송의 분류 프레임워크를 더 넓은 semigroup 구조로 일반화한다.

ABSTRACT

Let $P$ be a closed convex cone in $\mathbb{R}^{n}$. Assume that $P$ is spanning i.e. $P-P=\mathbb{R}^{n}$ and pointed i.e. $P \cap -P=\{0\}$. Let $α:=\{α_{x}:x \in P\}$ be a $σ$-weakly continuous family of unital normal endomorphisms on $B(H)$. Denote the "product system" associated to $α$ by $\mathcal{E}_α$. We show that $\mathcal{E}_α$ is a concrete product system and $α$, up to cocycle conjugacy, can be recovered completely from $\mathcal{E}_α$

연구 동기 및 목표

• 아르베송의 $E_0$-semigroup 분류 프로그램을 $\mathbb{R}_+$ 에서 $\mathbb{R}^n$ 내의 닫힘, 점이 있는, 전방위적인 볼록뿔 $P \subset \mathbb{R}^n$ 에 따라 인덱스가 매겨진 $E_0^P$-semigroup 으로 일반화한다.
• 연관된 $E_0^P$-semigroup 과의 곱계열이 코히어런트 쌍대환위상에 대해 완전한 불변량임을 증명한다.
• 더 일반적인 semigroup 으로의 프레임워크 확장을 통해 연산자 대수 기법과 semigroup $C^*$-대수 아이디어를 연결한다.
• 측정가능한 $E_0^P$-semigroup 이 반드시 연속임을 증명하며, 볼록 해석학과 라플라스 변환 방법을 사용한다.

제안 방법

• 닫힘, 점이 있는, 전방위적인 볼록뿔 $P \subset \mathbb{R}^n$ 에 따라 인덱스가 매겨진, $B(\mathcal{H})$ 상의 단위 원소를 갖는 정규적 내부자들로 이루어진 $\sigma$-약한 연속성의 가족으로서 $E_0^P$-semigroup 을 정의한다.
• semigroup 작용에서 유도된 결합 구조를 갖는 측정가능한 힐베르트 공간의 필드로 곱계열 $\mathcal{E}_\alpha$ 를 구성한다.
• 볼록뿔 $P$ 상의 함수에 대한 라플라스 변환과 쌍대뿔의 성질을 사용하여 측정가능한 $E_0^P$-semigroup 이 연속임을 증명한다.
• 볼록뿔 $P$ 와 그 쌍대뿔 간의 쌍대성 관계를 이용하여 행렬 계수 $x \mapsto \langle \rho | \alpha_x(A) \rangle$ 의 정규성을 분석한다.
• 측정가능한 선택 정리와 $\sigma$-약한 측정가능성을 사용하여 $P$ 의 내부 $\Omega$ 상에서 등급과 유니터리 연산자를 구성한 후, 이를 $P$ 전체로 연속적으로 확장한다.
• 표준적인 측정가능한 필드 이론 결과(예: 측정가능한 등급의 가족 존재)를 활용하여 곱계열로부터 semigroup 을 재구성한다.

실험 결과

연구 질문

• RQ1 아르베송의 $E_0$-semigroup 분류 프레임워크는 일반적인 볼록뿔 $P \subset \mathbb{R}^n$ 에 따라 인덱스가 매겨진 $E_0^P$-semigroup 으로 확장될 수 있는가?
• RQ2 연관된 $E_0^P$-semigroup 과의 곱계열은 코히어런트 쌍대환위상에 대해 완전한 불변량인가?
• RQ3 $\sigma$-약한 측정가능성이 $\sigma$-약한 연속성을 암시하는가? 즉, 정규성을 보장하는가?
• RQ4 볼록 해석학과 라플라스 변환 기법을 어떻게 활용하여 측정가능한 구조와 연속 구조 사이의 다리를 놓을 수 있는가?

주요 결과

• 연관된 $E_0^P$-semigroup $\alpha$ 와의 곱계열 $\mathcal{E}_\alpha$ 는 결합 구조를 갖는 구체적인 측정가능한 힐베르트 공간의 필드이며, 이는 코히어런트 쌍대환위상에 대해 $\alpha$ 를 완전히 결정한다.
• 모든 $\sigma$-약하게 측정가능한 $E_0^P$-semigroup 은 라플라스 변환과 볼록뿔 $P$ 상의 쌍대성에 의해 반드시 $\sigma$-약하게 연속적임을 증명하였다.
• $P$ 의 내부 $\Omega$ 는 $P$ 에 밀도를 이룬다. $\Omega$ 상에서의 semigroup 행동은 $\sigma$-약한 컴actsity와 연속성 추론을 통해 $P$ 전체로 유일하게 연속적으로 확장된다.
• $\Omega$ 상에서의 등급과 유니터리 연산자의 구성은 $P$ 전체로 연속적으로 확장되며, 이는 모든 $x \in P$ 에 대해 잘 정의된 등급의 가족 $\widetilde{U}_x$ 가 존재함을 보장한다.
• 곱계열 $\mathcal{E}_\alpha$ 는 $B(\mathcal{H} \otimes \mathcal{K})$ 상의 $\alpha \otimes \text{id}$ 와의 곱계열과 동형이며, 이는 이러한 변형이 원래 semigroup 과 코히어런트 쌍대환위상임을 의미한다.