[논문 리뷰] E-semigroups over closed convex cones

Anbu Arjunan, R. Srinivasan외 1명|arXiv (Cornell University)|2018. 07. 30.

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

한 줄 요약

이 논문은 ℝᵈ 내의 닫힌 볼록뿔 위에서 E₀-군을 도입하여, 일 매개변수 E₀-군 이론을 다중 매개변수 설정으로 일반화한다. 애초에 컴팩트 연산자를 보존하는 E₀-군에 대한 구조 정리와 CCR 유량의 유닛과 게이지 군을 통한 완전한 특성화를 수립한다. 주요 기여는 서로 다른 코ycle-동치가 아닌 2매개변수 CCR 유량을 비가산적으로 구성한 것으로, 이는 일매개변수 경우를 초월한 풍부한 분류 구조를 보여준다.

ABSTRACT

We initiate a study of E-semigroups over convex cones. We prove a structure theorem for E-semigroups which leave the algebra of compact operators invariant. Then we study in detail the CCR flows, E$_0$semigroups constructed from isometric representations, by describing their units and gauge groups. We exhibit an uncountable family of $2-$parameter CCR flows, containing mutually non-cocycle-conjugate E$_0$-$semigroups.

연구 동기 및 목표

• ℝᵈ 내의 닫힌 볼록뿔에 따라 인덱싱된 E₀-군의 체계적 연구를 시작하여, 일매개변수 E₀-군 이론을 일반화한다.
• 유닛과 게이지 군을 분석하여 볼록뿔 위에서의 CCR 유량을 특성화한다.
• 특히 Wold 분해가 실패하는 다중 매개변수 설정에서 코ycle-동치에 관해 E₀-군을 구분한다.
• 비가산적으로 많은 서로 다른 코ycle-동치가 아닌 2매개변수 CCR 유량을 구성하고 분류한다.
• 컴팩트 연산자를 보존하는 E₀-군에 대한 Arveson의 구조 정리를 다중 매개변수 설정으로 확장한다.

제안 방법

• P ⊂ ℝᵈ 이며 P가 스트레칭되고 날카로운 볼록뿔인 경우, σ-약한 연속성과 정상적인 *-자명사상의 조건을 사용하여 E₀-군을 정의한다.
• Arveson의 정리를 일반화하여 컴팩트 연산자 대수를 보존하는 E₀-군을 분류하고, 다중 매개변수 설정에 대해 Arveson-Wigner 정리를 수립한다.
• 힐베르트 공간 위에서 P에 대한 등장 표현을 사용하여 CCR 유량을 구성하고, 뿌리의 콤팩트 연산자에 대한 제2량자화를 적용한다.
• 상호작용 등장 이소메트리로 E₀-군의 유닛을 정의하고, 이들이 관련된 등장 표현의 덧셈 코ycle에 의해 결정됨을 보인다.
• CCR 유량의 게이지 군을 명시적으로 계산하고, 이들이 기저 힐베르트 공간의 유니터리 군과 관련됨을 밝힌다.
• 코homological 불변량과 폰 노이만 대수 기법을 사용하여 코ycle-동치 클래스를 구분하며, 특히 게이지 군의 동형 타입을 통해 이를 분석한다.

실험 결과

연구 질문

• RQ1 닫힌 볼록뿔 위에서 E₀-군을 일매개변수 경우를 초월해 어떻게 체계적으로 정의하고 분류할 수 있는가?
• RQ2 다중 매개변수 설정에서 컴팩트 연산자 대수를 보존하는 E₀-군의 구조는 어떠한가?
• RQ3 볼록뿔 위에서의 CCR 유량의 유닛과 게이지 군은 일매개변수 경우와 어떻게 다를까?
• RQ4 2매개변수 경우에서 비가산적으로 많은 서로 다른 코ycle-동치가 아닌 E₀-군을 구성할 수 있는가?
• RQ5 등장 표현의 코homological 불변량이 관련된 CCR 유량의 코ycle-동치 클래스를 얼마나 정확히 결정하는가?

주요 결과

• 비가산적인 2매개변수 CCR 유량의 가속이 존재하며, 이들은 상호간에 코ycle-동치가 아니며, 다중 매개변수 설정에서 풍부한 분류 구조를 보여준다.
• 등장 표현에 관련된 CCR 유량의 게이지 군은 기저 힐베르트 공간의 유니터리 군과 동형이며, 이 불변량이 코ycle-동치 클래스를 구분하는 데 기여한다.
• CCR 유량의 경우, 유닛은 관련된 등장 표현의 덧셈 코ycle에 의해 완전히 결정되며, 일매개변수 경우를 일반화한다.
• 표준 형태의 E₀-군에서 코ycle-동치는 동치를 의미하며, 일매개변수 경우에서 알려진 결과를 확장한다.
• 등장 표현의 폰 노이만 대수는 B(ℋ)와 동형이며, 이 대수적 불변량은 동치에 대해 유지된다.
• 두 CCR 유량이 코ycle-동치이면, 그 관련된 등장 표현은 동일한 다중성과 동일한 매개변수 a를 가져야 하며, 이는 a가 코ycle-동치 클래스에 대한 완전한 불변량임을 증명한다.