[논문 리뷰] On the existence of $E_0$-semigroups

William Arveson|ArXiv.org|2006. 05. 08.

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

한 줄 요약

이 논문은 안정적 단면과 힐버트 공간 완비화를 사용하여 임의의 추상적 곱계열에서 $E_0$-반군의 새로운 초등적 구성법을 제시한다. 안정적 단면에서 영 단면을 제외한 몫공간 위에 정의된 표현을 통해 본질적 표현을 확립함으로써, $E_0$-반군을 직접적이고 구성적인 방법으로 도출함으로써 모든 곱계열에 대해 $E_0$-반군의 존재성을 입증한다.

ABSTRACT

Product systems are the classifying structures for semigroups of endomorphisms of B(H), in that two $E_0$-semigroups are cocycle conjugate iff their product systems are isomorphic. Thus it is important to know that every abstract product system is associated with an $E_0$-semigrouop. This was first proved more than fifteen years ago by rather indirect methods. Recently, Skeide has given a more direct proof. In this note we give yet another proof by an elementary construction.

연구 동기 및 목표

• 임의의 추상적 곱계열로부터 간접적 분석 방법을 피한 직접적이고 초등적인 $E_0$-반군의 구성법을 제공하는 것.
• 안정적 단면에서 유도된 힐버트 공간 위에 본질적 표현을 구성하여 모든 곱계열에 대해 $E_0$-반군의 존재성을 확립하는 것.
• Arveson(1990)과 Liebscher(2003)의 이전 증명 및 Skeide(2006)의 최근 증명에 대한 대안을 제공하며, 보다 단순하고 명확한 방법을 제시하는 것.
• 해당 표현을 명시적으로 구성하여 곱계열과 $E_0$-반군 사이의 대응관계를 명확히 하는 것.

제안 방법

• 곱계열 $E$의 안정적 국소 $L^2$ 단면의 공간 $\mathcal{S}$를 정의하되, $f(\lambda+1) = f(\lambda) \cdot e$ 거의 모든 곳에서 성립하도록 한다.
• 영 단면의 부분공간 $\mathcal{N}$에 대해 $\mathcal{S}/\mathcal{N}$ 위에 내적을 정의한다. 이는 극한 $\langle f,g \rangle = \lim_{n \to \infty} \int_n^{n+1} \langle f(\lambda), g(\lambda) \rangle \, d\lambda$ 로 주어진다.
• $\mathcal{S}/\mathcal{N}$를 분리 가능한 힐버트 공간 $H$로 완비화하며, 이는 표현의 실현 공간이 된다.
• 각 $\lambda > t$ 에 대해 $\phi_0(v)f(\lambda) = v \cdot f(\lambda - t)$, 나머지 경우는 0으로 정의함으로써 곱계열 위에 표현 $\phi$ 를 정의한다.
• 레미마 2.4를 이용해 $E(1)$ 의 정규직교 기저 $\{v_n\}$ 에 대해 $\sum_n \phi(v_n)\phi(v_n)^* = \mathbf{1}_H$ 임을 보여 $\phi$ 가 본질적 표현임을 입증한다.
• 본질적 표현과 $E_0$-반군 사이의 표준적 대응을 이용하여 곱계열 $E$ 가 $\alpha_t(X) = \sum_n \phi(e_n(t)) X \phi(e_n(t))^*$ 를 통해 $E_0$-반군을 유도함을 결론짓는다.

실험 결과

연구 질문

• RQ1 모든 추상적 곱계열이 직접적이고 초등적인 구성법을 통해 $E_0$-반군의 곱계열로 표현될 수 있는가?
• RQ2 이전 증명에서 사용된 복잡한 해석학을 피한, 주어진 곱계열에 대해 $E_0$-반군을 구성하는 직접적 방법이 존재하는가?
• RQ3 안정적 단면의 힐버트 공간 위에 구성된 표현이 본질적 표현을 이룰 수 있는가, 이는 해당 $E_0$-반군의 존재성을 보장하는가?
• RQ4 안정적 단면의 구조와 그 점근적 행동을 이용하여 잘 정의된 내적을 정의할 수 있는가, 이는 비자명한 힐버트 공간을 이끌어내는가?

주요 결과

• 이 구성법은 $L^2((0,1];E)$ 를 등장시키는 비자명한 힐버트 공간 $H$ 를 유도하며, 이는 $H$ 가 $\{0\}$ 이 아니라는 것을 증명한다.
• 표현 $\phi$ 는 $E(1)$ 의 정규직교 기저 $\{v_n\}$ 에 대해 $\sum_n \phi(v_n)\phi(v_n)^* = \mathbf{1}_H$ 임을 확인함으로써 본질적 표현임을 입증한다.
• 내적 $\mathcal{S}/\mathcal{N}$ 에서 잘 정의되어 있으며, 안정성에 의해 극한의 기준점 선택에 관계없이 불변함을 레미마 2.1이 입증한다.
• 레미마 2.3에 따르면 $\phi_0(v)$ 의 수반은 $\phi_0(v)^*f(\lambda) = v^*f(\lambda + t) + g(\lambda)$ 를 만족하며, 여기서 $g$ 는 영 단면이다.
• 특히 $\xi \in E(t)$ 이고 $E(s)$ 의 정규직교 기저 $\{v_n\}$ 이며 $s < t$ 라면, $\sum_n \|v_n^*\xi\|^2 = \|\xi\|^2$ 임을 $E(t)$ 를 $E(s)E(t-s)$ 로 분해함으로써 증명한다. 이는 표현의 본질성을 확립한다.
• 결과로 얻어진 $E_0$-반군은 순수하지 않다. 구성법이 감소하는 바나흐-볼레르-바나흐 대수의 교차가 자명하지 않기 때문이며, 이는 순수성과 관련된 질문들에 대한 제약를 시사한다.