## CCR AND CAR FLOWS OVER CONVEX CONES

## R. SRINIVASAN

Abstract. Recently it is proved in [9] that CCR flows over convex cones are cocycle conjugate if and only if the associated isometric representations are conjugate. We provide a very short, simple and direct proof of that. Using the same idea we prove the analogous statement for CAR flows as well. Further we show that CCR flows are not cocycle conjugate to the CAR flows when the (multi-parameter) isometric representation is 'proper', a condition which is satisfied by all known examples.

## 1. Introduction

The study of one parameter E 0 -semigroups, initiated by R.T. Powers, with enormous contribution by Arveson, has been an active area of research in operator algebras, for more than thirty years. In last twenty years there are also some exciting works on type II and type III E 0 -semigroups, and on E 0 -semigroups on non-type-I factors. Very recently E 0 -semigroups over convex cones are being investigated, leading to some interesting results (see [1], [2]).

Arveson introduced the notion of decomposability for product systems of one parameter E 0 -semigroups. He showed in [4] that one parameter E 0 -semigroups associated with decomposable product systems are cocycle conjugate to CCR flows. In [9], some of Arveson's ideas are extended to the multi-parameter settings to prove the injectivity of CCR functor. But the proof is very long, runs in to several pages involving messy computations. We provide a very short proof, which follows almost immediately after the definitions. Also the ideas of [9] does not help to tackle the case of CAR flows. Even for 1 -parameter CAR flows it is difficult to describe the decomposable vectors, and the result is not available in the literature. In fact even the units of 1 -parameter CAR flows are described in [7] through an indirect way. Our ideas works perfectly for the CAR case also, establishing the injectivity of CAR functor also, with little bit more effort.

We finally investigate the cocycle conjugacy between CCR flows and CAR flows. In contrast to the 1 -parameter case we show that they are not cocycle conjugate in in most of the cases. We assume a technical condition which is satisfied by all our known examples.

This version will be replaced by an updated version soon. Part of this work was done when the author was visiting University of Kyoto, during April to November 2018. The author would like to acknowledge the JSPS fellowship and thank Masaki Izumi for inviting to University of Kyoto. The author also would like to thank Masaki Izumi for discussions.

## 2. preliminaries

We denote the real numbers, complex numbers and natural numbers by R C , and N respectively and by R + we denote the semigroup (0 , ∞ ). For k ∈ N we denote [ k ] = { 1 2 , , · · · k } .

All our Hilbert spaces are complex, separable, and are equipped with inner products which are anti-linear in the first variable and linear in the second variable. For a measurable set S and a Hilbert space k of finite or infinite dimension, L 2 ( S, k) denote the Hilbert space of all square integrable functions from S to k. The 1 -parameter semigroups of right shifts { S t : t ∈ R + } on L 2 ( R + , k) is defined by for f ∈ L 2 ( R + , k).

$$( S _ { t } f ) ( s ) \ & = \ 0, \quad s < t, \\ & = \ f ( s - t ), \quad s \geq t,$$

Let P ⊂ R d be a closed convex cone. We assume that P is spanning and pointed, i.e. P -P = R d and P ∩-P = { } 0 . Let Ω denote the interior of P . Then Ω is dense in P . Further Ω is also spanning i.e. Ω -Ω = R d . For x, y ∈ R d , we write x ≥ y and x &gt; y if x -y ∈ P and x -y ∈ Ω respectively.

Definition 2.1. An E 0 -semigroup over P on B H ( ) is a family of normal unital ∗-endomorphisms α = { α x : x ∈ P } of B H ( ) satisfying

- (ii) the map P /owner x → 〈 α x ( A ξ, η ) 〉 ∈ C is continuous for all A ∈ B H ( ) and ξ, η ∈ H .
- (i) α x ◦ α y = α x + y for all x, y ∈ P and α 0 = I B H ( ) ,

An E 0 --semigroup α is said to be pure if ∩ t ≥ 0 α tx (M) = C , ∀ x ∈ Ω

In this article we always assume that our E 0 -semigroups are pure, without mentioning.

Definition 2.2. Let α := { α x : x ∈ P } be an E 0 -semigroup on B H ( ) . An α -cocycle is a strongly continuous family of unitaries { U x } x ∈ P satisfying

A cocycle { U x } x ∈ P is said to be a gauge cocycle if further U x ∈ α x ( B H ( )) ′ .

$$U _ { x } \alpha _ { x } ( U _ { y } ) = U _ { x + y } \, \forall x, y \in P. \\ \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \end{cases}$$

Given an α -cocycle { U x } x ∈ P , it is easy to verify that { Ad U ( x ) ◦ α x : x ∈ P } is also an E 0 -semigroup on B H ( ). This is called the cocycle perturbation of α by the cocycle { U x } x ∈ P .

Definition 2.3. Let α := { α x : x ∈ P } and β := { β x : x ∈ P } be two E 0 -semigroups on B H ( ) and B K ( ) respectively. We say that

- (i) α is conjugate to β if there exists a unitary operator U : H → K such that for every x ∈ P , β x = Ad U ( ) ◦ α x ◦ Ad U ( ∗ ) , and
- (ii) α is cocycle conjugate to β if there exists a unitary U : H → K such that the E 0 -semigroup { Ad U ( ) ◦ α x ◦ Ad U ( ) ∗ } x ∈ P is a cocycle perturbation of β .

Clearly cocycle conjugacy is an equivalence relation.

For a complex separable Hilbert space K , we denote the symmetric Fock space by Γ ( s K )) := ⊕ ∞ n =0 ( K ) ∨ n , with vacuum vector Ω . s We refer to [5] for proofs of the

following well-known facts. For u ∈ K , the exponential of u is defined by

$$e ( u ) \coloneqq \sum _ { n = 0 } ^ { \infty } \frac { u ^ { \otimes n } } { \sqrt { n! } }. \\ \therefore \quad \cdot \quad \cdot \quad \cdot$$

Then the set { e u ( ) : u ∈ K } is linearly independent and total in Γ ( s K ). Exponential vectors satisfy 〈 e u , e v ( ) ( ) 〉 = e 〈 u,v 〉 for all u, v ∈ K. For u ∈ K , there exists a unitary operator, denoted W u ( ) on Γ ( s K ) determined uniquely by the equation

$$W ( u ) e ( v ) \coloneqq e ^ { - \frac { \| u \| ^ { 2 } } { 2 } - \langle u | v \rangle } e ( u + v ), \ \forall v \in K. \\. \ f { W / w } \cdot. \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cd. \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cd. \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \colon \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \. \ \ \cdot \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \. \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \. \ \ \cdot \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \. \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot. \ \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \$$

The operators { W u ( ) : u ∈ K } are called the Weyl operators and they satisfy the well-known canonical commutation relations:

$$W ( u ) W ( v ) = e ^ { - i I m ( \langle u, v ) \rangle } W ( u + v ) \ \forall u, v \in K. \\ \dots \dots \dots \dots \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ a \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ o \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ ec \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ E e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e \ e.$$

Let Γ ( a K ) := ⊕ ∞ n =0 ( K ) ∧ n be the antisymmetric Fock space over K , with vacuum vector Ω . a For any f ∈ K the Fermionic creation operator a ∗ ( f ) is the bounded operator defined by the linear extension of

Further the linear span of { W u ( ) : u ∈ K } is a strongly dense unital ∗ -subalgebra of B (Γ ( s K )). For an isometry U : K 1 → K 2 , its Bosonic second quantization is the isometric operator Γ ( s U ) : Γ s ( K 1 ) → Γ ( s K 2 ), satisfying Γ ( s U e v ) ( ) = e Uv ( ) for all v ∈ K 1 . Second quantized unitaries are related to Weyl operators by Γ( U W v ) ( )Γ( U ) ∗ = W Uv ( ) ∀ v ∈ K . 1

$$a ^ { * } ( f ) \xi = \begin{cases} \ f & \text{if $\xi = \Omega$,} \\ \ f \wedge \xi & \text{if $\xi \perp \Omega$,} \end{cases} \\ \text{vector} \quad \text{The annihilation operator} \ i.$$

The basic examples of E 0 -semigroups are CCR flows and CAR flows associated with an isometric representation. By an isometric representation we mean a strongly continuous semigroup of isometries indexed by P .

where Ω is the vacuum vector. The annihilation operator is defined by the adjoint a f ( ) = a ∗ ( f ) ∗ . The creation and annihilation operators satisfy the well-known anticommutation relations and they generate B (Γ ( a K )) as a von Neumann algebra. For an isometry U : K 1 → K 2 , its Fermionic second quantization is the isometric operator Γ ( a U ) : Γ ( a K 1 ) → Γ ( a K 2 ), satisfying Γ ( a U )( ξ 1 ∧ · · · ∧ ξ n ) = Uξ 1 ∧ · · · ∧ Uξ n for all ξ i ∈ K 1 , i ∈ [ n ].

Example 2.4. Let K be a separable Hilbert space and V : P → B K ( ) be an isometric representation of P on K . Then CCR and CAR flows are constructed as follows.

- (i) (CCR flows) Let U s x : Γ (Ker( s V ∗ x )) ⊗ Γ ( s K ) → Γ ( s K ) be the extension of

↦

Define α x ( X ) = U s x (1 Γ (Ker( s V ∗ x )) ⊗ X )( U s x ) ∗ . Then α V := { α V x } x ∈ P is the unique E 0 -semigroup (see [1, Proposition 4.7] ) on B (Γ( K )) satisfying

$$e ( \xi _ { x } ) \otimes e ( \xi ) & \mapsto e ( \xi _ { x } \oplus V _ { x } \xi ) \ \forall \xi _ { x } \in \text{Ker} ( V _ { x } ^ { * } ), \xi \in K. \\ \sum _ { \lambda \, \mathcal { E } _ { \lambda } \, \lambda \, \nu } / \nu \, \sum _ { \ } t r s / \mathfrak { I } _ { \lambda } \, \rightarrow \, \nu \, \lambda \, \nu \, \lambda \, \nu \, \sum _ { \ } t r s \vee \, \tau _ { \lambda } \, \lambda \, \nu \, \sum _ { \ } t r s \,.$$

↦

$$\alpha _ { x } ^ { V } ( W ( u ) ) = W ( V _ { x } u ) & \ \forall \ x \in P, \ u \in K. \\ \dots \cdots \cdots \tau \cdots \tau a \cdots \Gamma ^ { V } ( V _ { x } \dots / \tau \ast \cdots \sim \Gamma ^ { V } ( V _ { x } \cdots ) \Gamma ^ { V } ( V _ { x } \cdots ) a \cdots )$$

↦

- (ii) (CAR flows) Let U a x : Γ (Ker( a V ∗ x )) ⊗ Γ ( a K ) → Γ ( a K ) be the extension of

↦

$$\beta _ { x } ( X ) = U _ { x } ^ { a } ( 1 _ { \Gamma _ { a } ( \text{Ker} ( V _ { x } ^ { * } ) ) } \otimes X ) ( U _ { x } ^ { a } ) ^ { * }.$$

- (2) ( ξ 1 ∧ ξ 2 · · · ∧ ξ m ) ⊗ ( η 1 ∧ η 2 · · · ∧ η n ) → V η x 1 ∧ V η x 2 · · · ∧ V η x n ∧ ξ 1 ∧ ξ 2 · · · ∧ ξ m , for ξ i ∈ Ker( V ∗ x ) , η j ∈ K , and i ∈ [ m,j ] ∈ [ n ] . Define

Then it can be verified, as in the case of CCR that β V := { β V x } x ∈ P is the unique E 0 -semigroup on B (Γ ( a K )) satisfying

$$\beta _ { x } ^ { V } ( a ( u ) ) = a ( V _ { x } u ) & \ \forall \ x \in P, \ u \in K. \\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \$$

The CCR flow α and the CAR flow β are pure E 0 -semigroups if the isometric representation V is pure, that is ∩ t ≥ 0 V ta ( K ) = { } 0 for all a ∈ Ω . We assume that all the isometric representations under consideration in this article are pure.

For an E 0 --semigroup α on B H ( ) we can associate a concrete product system of Hilbert spaces E α = { E α x : x ∈ P } by

$$E _ { x } ^ { \alpha } & = \{ X \in B ( H ) \, \colon \alpha _ { x } ( T ) X = X T \, \forall T \in B ( H ) \}, \\ \intertext { w a l m o t } T ^ { * } \, \underline { C } = \, / T \, \underline { C } \, \ll 1 \, \Phi \, \max \, I \, \left ( \Phi \, \max \, I \right ) \, \cdot \, E ^ { \alpha } \cap \, E ^ { \alpha } \cdot \cdot \cdot \cdot E ^ { \alpha } \right )$$

↦

with inner product T S ∗ = 〈 T, S 〉 1 H . Also the map U x,y : E α x ⊗ E α y → E α x + y defined by T x ⊗ T y → T T x y is unitary. We denote the product system by ( E , U α x x,y )

↦

An isomorphism between product systems ( E , U x x,y ) and ( E , U ′ x ′ x,y ) is a family { W x : x ∈ P } of unitary operators between E x → E ′ x satisfying

↦

There are some measurability conditions involved in the definition of both product system and its isomorphisms, which we assume, but we do not state here, since they are not used explicitly in any of the proofs. The interested reader can refer to [8]. Concrete product systems form a complete invariant for E 0 -semigroups up to the cocycle conjugacy equivalence (see [8]).

$$U ^ { \prime } _ { x + y } ( W _ { x } \otimes W _ { y } ) = W _ { x + y } U _ { x, y }, \ \forall x, y \in P. \\ \text{moco-built, condition, in to, but in to, ation }.$$

The product systems associated of CCR flows and CAR flows, associated with an isometric { V x : x ∈ P } on K , can be described as follows. Let U , U s x a x be the maps as defined in (1) and (2) respectively. Let

$$E _ { x } ^ { s } = \Gamma _ { s } ( \text{Ker} ( V _ { x } ^ { * } ) ) ; E _ { x } ^ { a } = \Gamma _ { a } ( \text{Ker} ( V _ { x } ^ { * } ) ),$$

↦

and by defining T s ξ x ( ξ ) = U s x ( ξ x ⊗ ξ ), T a η x ( η ) = U a x ( η x ⊗ η ) for ξ x ∈ E , ξ s x ∈ Γ ( s K ), η x ∈ E , η a x ∈ Γ ( a K ), we can identify the product systems of CCR and CAR flows with ( E , U s x s x,y ) and ( E , U a x a x,y ) respectively. The product map U s x,y : E s x ⊗ E s x → E s x + y , U a x,y : E a x ⊗ E a y → E a x + y , are defined in a similar way as U s x , U a x , by replacing K with Ker( V ∗ y ) appropriately in (1) and (2) respectively.

↦

While defining units for E 0 --semigroups over general convex cones, we need to take the cohomology into consideration. But, since we deal only with CCR flows and CAR flows, which always admit a canonical unit belonging to the trivial cohomological class, the following definition suffices for our purposes in this article.

Definition 2.5. Let α := { α x : x ∈ P } be an E 0 -semigroup on B H ( ) A unit for α is a strongly continuous family u = { u x : x ∈ P } ⊆ B H ( ) , satisfying u x ∈ E α x and u u x y = u x + y for all x, y ∈ P . (In the language of product systems this means U x,y ( u x ⊗ u y ) = u x + y .)

An E 0 -semigroup (or equivalently the associated product system) is called spatial if it admits a unit. In spatial product systems we fix a special Ω = { Ω x : x ∈ P } , with ‖ Ω x ‖ = 1 for all x ∈ P , as the canonical unit. For CCR flows and CAR flows the canonical unit is given by the vacuum vectors Ω s = { Ω s x ∈ Γ (Ker( s V ∗ x )) : x ∈ P } and Ω a = { Ω a x ∈ Γ (Ker( a V ∗ x )) : x ∈ P } respectively. As operators these are represented by the second quantization of the isometric representation { Γ ( s V x ) : x ∈ P } and { Γ ( a V x ) : x ∈ P } respectively.

Definition 2.6. An E 0 -semigroup is said to be of type I if units exists and generate the product system, that is products of the form u 1 x 1 u 2 x 2 · · · u n x n , with each u i a unit and x 1 + x 2 · · · x n = x are total in E x .

An exponential unit is a unit u satisfying 〈 u , x Ω x 〉 = 1 for all x ∈ P . We denote the collection of all exponential units of an E 0 --semigroup α by U Ω ( α ). The set of all exponential units of CCR flows are described by the additive cocycles of the associated isometric representation.

Definition 2.7. Let V : P → B K ( ) be an isometric representation. A continuous function h : P → K is called an additive cocycle for V if h x ∈ Ker( V ∗ x ) for all x ∈ P and h x + V h x y = h x + y . for all x, y ∈ P .

We denote the collection of all additive cocycle of an isometric representation V by A ( V ). When α is the CCR flow associated with V , the map

$$\{ h _ { x } \, \colon x \in P \} & \mapsto \{ e ( h _ { x } ) \, x \in P \} \\ \cdots \, \underset { \alpha / 2 \lambda } { \alpha / 2 \lambda } \, \alpha \, \alpha \, \left ( \lambda \, \lambda \, \left ( \lambda \, \lambda \, \right ) \, \colon \, T \, \underset { \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \colon \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \beta \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \eta \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \colon \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha. \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \gamma \, \, \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \beta \, \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \beta \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \eta \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \igma \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \tag \, \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \eta \eta \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \eta \beta \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \eta \tag \, \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \alpha \tag \, \tag \, \tag \, \tag \, \tag \, \tag \, \tag \, \tag \, \tag \, \tag \, \tag \, \tag \, \tag \, \tag \, \tag \, \tag \, \tag \tag \, \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \ag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \ tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag$$

provides a bijection between A ( V ) and U Ω ( α ) (see [1, Theorem 5.10]).

## 3. additive decomposability

In this Section we define an additive version of decomposability for spatial product systems and construct an isometric representation, which forms a cocyce conjugacy invariant for the associated E 0 -semigroups, under some conditions. Throughout this section we fix an (arbitrary) spatial E 0 -semigroup α = { α x : x ∈ P } with canonical unit Ω = { Ω x : x ∈ P } and product system E = { E x : x ∈ P } .

Definition 3.1. An element a ∈ E x is said to be additive decomposable if for all y ≤ x ∈ P there exists a y ∈ E , a y x -y ∈ E x -y satisfying a x ⊥ Ω x , a x -y ⊥ Ω x -y and

$$U _ { y, x - y } ( a _ { y } \otimes \Omega _ { x - y } ) + U _ { y, x - y } ( \Omega _ { x } \otimes a _ { x - y } ) = a.$$

We denote by D x ( α ) the set of all decomposable vectors in E x . Clearly D x ( α ) is a vector space. Since U y,x -y ( a y ⊗ Ω x -y ) is orthogonal to U y,x -y (Ω x ⊗ a x -y ) in the above decomposition, it also follows that D x ( α ) is a Hilbert space with respect to the restricted inner product.

Lemma 3.2. Let a ∈ D x + y be such that U x,y ( a x ⊗ Ω ) + y U x,y (Ω x ⊗ a y ) = a , with E x /owner a x ⊥ Ω x , E y /owner a y ⊥ Ω y , then a x ∈ D , a x y ∈ D y .

Proof. Let z ≤ x . Since a ∈ D x , there exist E z /owner a z ⊥ Ω z , E x + y -z /owner a x + y -z ⊥ Ω x + y -z , satisfying U z,x + y -z ( a z ⊗ Ω x + y -z ) + U z,x + y -z (Ω z ⊗ a x + y -z ) = a . This combined with the decomposition in the statement of the lemma, imply that

$$\left ( a _ { x } - ( a _ { z } \otimes \Omega _$$

This forces a x + y -z -(Ω x -z ⊗ a y ) ∈ E x -z ⊗ Ω . So there exists an y E x -z /owner a x -z ⊥ Ω x -z satisfying U z,x -z ( a z ⊗ Ω x -z ) + U z,x -z (Ω z ⊗ a x -z ) = a x . /square

We will be assuming the following embeddability assumption, which is satisfied by both CCR flows and CAR flows.

Definition 3.3. A spatial product system is said to be embeddable if

$$U _ { x, y } ( D _ { x } \otimes \Omega _ { y$$

For an embeddable product system, the embeddings

$$\begin{array} {$$

↦

↦

allow us to construct an inductive limit of the family of Hilbert spaces { D x } x ∈ P , which we denote by D ∞ , together with embeddings ι x : D x → D ∞ . Notice that each of the vector Ω x is mapped to the same element, which we denote by Ω ∞ ∈ D ∞ . We can also define a second family of embeddings

$$\begin{array} { c } \kappa _ { x, y } \colon D _$$

↦

↦

Thanks to the associativity axiom, the squares

/d47

/d47

/d15

/d15

/d15

/d15

/d47

$$\begin{matrix} 0 & 1 & 0 & 0 & 1 & 0 & 0 & 0 &$$

/d47

↦

commute for all z, x, y ∈ P . So there exist isometries ( κ x : D ∞ → D ∞ ) x ∈ P , which defines an isometric representation κ = { κ x : x ∈ P } of P on D ∞ , satisfying κ ι x y = ι x + y κ x,y .

Any isomorphism between two spatial embeddable product systems, fixing the canonical unit, will map additive decomposable vectors to additive decomposable vectors. Consequently it will induce a unitary map between the Hilbert spaces constructed above conjugating the isometric representations. When the gauge cocycles acts transitively on the set of all units, we can replace the given isomorphism with an isomorphism which fixes the canonical units. In that case the tuple ( D ,κ ∞ ) is a cocycle conjugacy invariant for the associated E 0 -semigroup. This holds in particular for examples with the canonical unit being the only unit up to scalars, which is the case in most of our examples.

## 4. The injectivity of CCR and CAR functors

Throughout this section we fix an isometric representation V on K . Let α and β be the CCR flow and CAR flow respectively, associated with V . As in Section 2, we denote E s x = Γ (Ker( s V ∗ x )) and E a x = Γ (Ker( a V ∗ x )). We also just denote by E x = Γ(Ker( V ∗ x )) referring to the product systems of both CCR and CAR, to make statements on both of them at the same time. Similarly the second quantization Γ( V x ) denotes both Γ ( s V x ) and Γ ( a V x ).

Proposition 4.1. For both α and β we have D x ( α ) = Ker( V ∗ x ) and D x ( β ) = Ker( V ∗ x ) embedded as the 1 -particle space in E s x and E a x respectively.

Consequently the product systems of both α and β are embeddable with the invariant ( D ,κ ∞ ) coinciding with ( K,V ) .

Proof. It is clear from the product map of the product systems, that the additive decomposable vectors are those ξ ∈ Γ(Ker( V ∗ x + y )) for which there exists ξ x ∈ Γ(Ker( V ∗ x )) and ξ y ∈ Γ(Ker( V ∗ y )) satisfying ξ x + y = ξ x +Γ( V x ) ξ y (Γ(Ker( V ∗ x )) and Γ(Ker( V ∗ y )) embedded into Γ(Ker( V ∗ x + y )) using Ω). Since Γ( V x ) leaves the n -particle spaces invariant, we only need to look for n -particle vectors satisfying the additive decomposability condition.

Since any ξ ∈ Ker( V ∗ x + y ) can be decomposed as ξ = ξ x + V ξ x y for some ξ x ∈ Ker( V x ) ∗ and ξ y ∈ Ker( V y ) ∗ , the 1 -particle space Ker( V ∗ x ) is contained in D x ( α ) and D x ( β ). So we only have to prove there does not exist any non-zero additive decomposable vectors in the n -particle spaces for n &gt; 1. Let us first show this for a 1 -parameter CCR/CAR flow.

We can assume, without loss of generality, that the associated isometric representation is the standard right shift { S t } t ∈ R + on L 2 ( R + , k). Let n ≥ 2. A vector in the n -particle space of Γ( L 2 ((0 , t ) , k)) can be identified with a function F ∈ L 2 ((0 , t ) n , k ⊗ n ). For any k ∈ N , thanks to Lemma 3.2 and by induction,

$$F = \sum _ { i = 0 } ^ { 2 ^ { k } - 1 } \Gamma ( S _ { 2 ^ { - k } i t } ) F _ { i } \\ \wedge \cdot \, - \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdots$$

for some F i ∈ L 2 ((0 , 2 -k t ) n , k ⊗ n ). Thus, modulo a null set,

$$\text{supp} ( F ) & \subset \bigcup _ { i = 0 } ^ { 2 ^ { k } - 1 } [ 2 ^ { - k } i t, 2 ^ { - k } ( i + 1 ) t ] ^ { \times n }. \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon$$

Since this holds for every k ≥ 0 we get supp( F ) ⊂ { x ∈ R n + : x 1 = x 2 = . . . = x n } , which has measure zero.

Now if any ξ ∈ E x is decomposable, it is decomposable with respect to { E tx } t ≥ 0 , which implies that ξ is in the 1 -particle space. 1 -particle spaces are mapped into 1 -particle spaces under the product map of product system. Also since the isometric representation is pure, the inductive limit of Ker( V x ) ∗ is K itself. The rest of the statements are clear now /square

As mentioned in the end of Section 2 the units of the CCR flow α are indexed by the additive cocycles of V , up to scalars. But any additive cocycle { h x : x ∈ P } also gives rise to a gauge cocycle { W h ( x ) : x ∈ P } . So the gauge cocycles of CCR flows acts transitively on the units. Now the following corollary is immediate from the above proposition and the discussion in the previous section.

Corollary 4.2. The CCR flows associated with isometric representations V 1 and V 2 are cocycle conjugate if and only if V 1 and V 2 are conjugate. In that case the CCR flows are actually conjugate.

The proof for CAR flows is slightly involved. In the next proposition we show that units of CAR flows also arise from additive cocycles. We use the bijection between units and centered addits established in [7, Section 5], for 1 -parameter systems. (Notice, in the case of CCR/CAR, that the centered addits are just the additive cocycles of V sitting in the 1 -particle space.) We cite precise theorems and refer the reader to [7].

Proposition 4.3. There exists an injective map Log Ω : U Ω ( β ) → A ( V ) satisfying

↦

$$\langle u _ { x }, u _ { x } ^ { \prime } \rangle = e ^ { \langle \text{Log} _ { \Omega } ( u ) _ { x }, \text{Log} _ { \Omega } ( u ^ { \prime } ) _ { x } \rangle } \ \forall x \in P.$$

Proof. Given a unit u ∈ U Ω ( β ), we fix an arbitrary x ∈ P , and consider { u tx } t ∈ R + a unit for { β tx } t ∈ R + . Then, thanks to [7, Proposition 5.10] there exists an additive cocycle { Log Ω ( u ) tx } t ∈ R + of { V tx } t ∈ R + . By setting t = 1, the family { Log Ω ( u ) x : x ∈ P } is well-defined for each u ∈ U Ω ( β ), and for u, u ′ ∈ U Ω ( β ) it satisfies 〈 u , u x ′ x 〉 = e 〈 Log Ω ( u ) x , Log Ω ( u ′ ) x 〉 for all x ∈ P (see [7, Proposition 5.9, 5.10, 5.11]). If Log Ω ( u ) =

Log Ω ( u ′ ) then by applying the Exp map (see [7, Propositions 5.9, 5.11]) on { Log Ω ( u ) tx } t ∈ R + and { Log Ω ( u ′ ) tx } t ∈ R + we get u x = u ′ x for all x ∈ P . We are only left to prove { Log Ω ( u ) x : x ∈ P } is an additive cocycle for V .

The unit u admits an orthogonal summation u x = Ω x + ∑ ∞ n =1 A n x , where A 1 x = Log Ω ( u ) x and A n +1 x = ∫ 1 0 A d n tx Log Ω ( u ) tx obtained by iterating the Itˆ integration (see o the first paragraph of proof of [7, Proposition 5.9]). It is clear from the definition of Itˆ integration in the beginning of [7, Section 5], that o A n x belongs to the n -particle space. So it follows that Log Ω ( u ) x is projection of u x onto the 1 -particle space. Now the relation u x ⊗ u y = u x + y for all x, y ∈ P implies that Log Ω ( u ) x satisfies the additive cocycle condition in x, y . /square

Unlike the CCR flows, an arbitrary additive cocycle of V need not give rise to a unit for the CAR flows, as remarked in 4.5

Definition 4.4. An isometric representation V is said to be divisible if

$$\overline { \ s p a n } \{ V _ { x } h _ { y } & \colon h \in \mathfrak { A } ( V ), x, y \leq z \} = \text{Ker} ( V _ { z } ^ { * } ) & \, \forall z \in P. \\ \bullet \quad \bullet \quad \sigma \cdot \quad \bullet \quad \, \cdot \quad \, \cdot \quad \, \sigma \sigma \sigma \sigma \quad \cdot \quad \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \end{array}$$

Remarks 4.5. Since the set of units of a CCR flow are in bijection with additive cocycles, a CCR flow is of type I if and only if the associated isometric representation is divisible.

A basic family of examples of divisible isometric representations, when P = R 2 + , is V s,t = S s ⊕ S t on L 2 ((0 , ∞ ) , k ) 1 ⊕ L 2 ((0 , ∞ ) , k ) 2 . In this case the additive cocycles are

It is easy to check that V is divisible, and hence the CCR flow α is of type I. On the other hand the corresponding CAR flow β is not type I, which follows from the following Proposition 4.6 and the non-conjugacy proved in Proposition 5.2.

$$h _ { s, t } & = ( 1 _ { 0, s } \otimes \xi _ { 1 } ) \oplus ( 1 _ { 0, t } \otimes \xi _ { 2 } ), \ \xi _ { 1 } \in k _ { 1 }, \xi _ { 2 } \in k _ { 2 }. \\ \tau _ { 1 } \ t \ t \ t \ t \tau \cdot \ t \cdot \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \ t \t t }$$

Proposition 4.6. If the CAR flow β is type I then it is cocycle conjugate to the CCR flow α of the same isometric representation.

Proof. Since the CAR flow is of type I, the set { V x Log Ω ( u ) y : u ∈ U Ω ( β , x ) + y ≤ z } is total in Ker( V ∗ z ) for all z ∈ P . If not, since the units are obtained by the Exp map of [7, Proposition 5.9], all of them are contained in the product system generated by { V x Log Ω ( u ) y : u ∈ U Ω ( β , x ) + y ≤ } z which will be a proper subspace of Γ (Ker( a V ∗ z )). So the units can not generate the product system of β .

Define a map from Γ (Ker( a V ∗ x )) to Γ (Ker( s V ∗ x )) by

$$u _ { x _ { 1 } } ^ { 1 } u _ { x _ { 2 } } ^ { 2 } \cdots u _ { x _ { n } } ^ { n } & \mapsto e ( \log _ { \Omega } ( u ^ { 1 } ) _ { x _ { 1 } } ) e ( \log _ { \Omega } ( u ^ { 2 } ) _ { x _ { 2 } } ) \cdots e ( \log _ { \Omega } ( u ^ { n } ) _ { x _ { n } } ). \\ \intertext { T l \dots t - t - t - t - t } \pi _ { \dots t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t - t }$$

↦

Thanks to Proposition 4.3 this map preserves inner product. Also thanks to type I property of β and the divisibility of V , this map maps total set of vectors onto a total set of vectors. Hence it extends to an unitary map, which can easily be seen to provide an isomorphism between the product systems. /square

Now we prove the injectivity of the CAR functor as a corollary to all the propositions above.

Proposition 4.7. The CAR flows associated with isometric representations V 1 and V 2 are cocycle conjugate if and only if V 1 and V 2 are conjugate. In that case the CAR flows are actually conjugate.

Proof. Thanks to the discussions in the previous section and Proposition 4.1, we only have to prove that the gauge cocycles act transitively on the set of units of a CAR flow β associated with an isometric representation V . Define

$$\mathfrak { A } _ { 0 } = \{ \text{Log} _ { \Omega } ( u ) \, \colon u \in \mathfrak { A } _ { \Omega } ( \beta ) \} \subseteq \mathfrak { A } ( V ) ; \ K _ { 0 } = \overline { s p a n } \{ V _ { x } h _ { y } \, \colon h \in \mathfrak { A } _ { 0 }, x, y \in P \} \subseteq K. \\ \varkappa = \varepsilon \quad \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ vs \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ v \ t \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cd.$$

↦

Define W : Γ ( a K 0 ) ⊗ Γ ( a K ⊥ 0 ) → Γ ( a K ) as the unitary extension of

↦

It can be easily seen that V restricts to an isometric representation on K 0 , which we denote by V 0 . Denote the CCR flow and CAR flow associated with V 0 by α 0 and β 0 respectively. Since the units of β can be constructed from the additive cocycles in A 0 through the Exp map in [7, Proposition 5.10], it is easy to see that the units of β are indeed in Γ ( a K 0 ) as a subspace of Γ ( a K ). So any unit of β is of the form W u ( 0 ⊗ Ω), where u 0 is a unit for β 0 . Conversely for any unit u 0 of β 0 , W u ( 0 ⊗ Ω) is a unit for β . (Here Ω is the vacuum vector in Γ ( a K ⊥ ).)

( ξ 1 ∧ ξ 2 · · · ∧ ξ m ) ⊗ ( η 1 ∧ η 2 · · · ∧ η n ) → ξ 1 ∧ ξ 2 · · · ∧ ξ m ∧ η 1 ∧ η 2 · · · ∧ η n for ξ i ∈ Ker( K 0 ), η j ∈ K ⊥ 0 , i ∈ [ m,j ] ∈ [ n ].

Since β 0 is type I, it is cocycle conjugate to α 0 , thanks to Proposition 4.6. Given a unit u 0 ∈ U Ω ( β 0 ), with u = W u ( 0 ⊗ Ω) ∈ U Ω ( β ), we can choose the gauge cocycle { W (Log Ω ( u ) x ) : x ∈ P } of α 0 , which maps the vacuum unit of α 0 to (scalar multiples) of { e (Log Ω ( u ) x ) : x ∈ P } . Now using the cocycle conjugacy, we get a gauge cocycle ˜ U u of β 0 , which maps the vacuum unit of β 0 to u 0 . Now define U u x = W U ( ˜ u x ⊗ 1) W ∗ . We claim U u = { U u x : x ∈ P } is the required gauge cocycle of β which maps Ω a to u .

α x ( a f ( )) = a V f ( ) = a V ( 0 f ) = W a V ( ( 0 f ) ⊗ 1) W ∗ = W α ( 0 x ( a f ( )) ⊗ 1) W ∗ ∀ f ∈ K . 0

We first claim that α x ( W T ( ⊗ 1) W ∗ ) = W α ( 0 x ( T ) ⊗ 1) W ∗ for all T ∈ B (Γ ( a K 0 )). It is easy to see W a f ( ( ) ⊗ 1) W ∗ = a f ( ) for all f ∈ K 0 . Hence

Since { a f ( ) : f ∈ K 0 } generates B (Γ ( a K 0 )), the claim follows. Now

$$& U _ { x } ^ { u } \alpha _ { x } ( U _ { y } ^ { u } ) = W ( \tilde { U } _ { x } ^ { u } \otimes 1 ) W ^ { * } \ \alpha _ { x } ( W ( \tilde { U } _ { y } ^ { u } \otimes 1 ) W ^ { * } ) = W ( \tilde { U } _ { x } ^ { u } \otimes 1 ) W ^ { * } \ W ( \alpha _ { x } ^ { 0 } ( \tilde { U } _ { y } ^ { u } ) \otimes 1 ) W ^ { * } \\ & = W ( ( \tilde { U } _ { x } ^ { u } ( \alpha _ { x } ^ { 0 } ( \tilde { U } _ { y } ^ { u } ) ) \otimes 1 ) W ^ { * } = W ( \tilde { U } _ { x + y } ^ { u } \otimes 1 ) W ^ { * } = U _ { x + y } ^ { u } \\ & \text{The non-of is over} & & \sqcap$$

The proof is over

$$\Box$$

## 5. Non-cocycle-conjugacy between CCR flows and CAR flows

We assume a technical condition on the isometric representation V and we prove that the associated CCR flow is not cocycle conjugate to the associated CAR flow. For x ∈ P we set K x = Ker( V ∗ x ) and use this notation hereafter.

Definition 5.1. An isometric representation V of P is called proper if there exists x, y ∈ P satisfying

- (3)

$$V _ { x } ( K _ { y } ) \cap ( V _ { x } ( K _ { y } ) \cap V _ { y } ( K _ { x } ) ) ^ { \perp } \neq \{ 0 \} ; V _ { y } ( K _ { x } ) \cap ( V _ { x } ( K _ { y } ) \cap V _ { y } ( K _ { x } ) ) ^ { \perp } \neq \{ 0 \} \\ ( V _ { x } ( K _ { y } ) \cap ( V _ { x } ( K _ { y } ) \cap V _ { y } ( K _ { x } ) ) ^ { \perp } ) \ \perp \ ( V _ { y } ( K _ { x } ) \cap ( V _ { x } ( K _ { y } ) \cap V _ { y } ( K _ { x } ) ) ^ { \perp } ) \\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

/negationslash

/negationslash

Notice that 1 -parameter isometric representations can not satisfy the conditions (3). Let P = R 2 + , V s,t = S s ⊕ S t on L 2 ((0 , ∞ ) , k ) 1 ⊕ L 2 ((0 , ∞ ) , k ). 2 In this basic example it is a routine verification to check that the above conditions are satisfied for any x = ( s, t ) and y = ( s , t ′ ′ ) with s ≤ s ′ and t ≥ t ′ .

A vast family of examples of isometric representations are constructed as follows. Let A ⊆ R d be a nonempty closed subset. Let A be a P -module, that is A + P ⊆ A . Let K := L 2 ( A, k). For x ∈ P . The isometric representation S A = { S A x } x ∈ P is defined by

$$& \stackrel { \sim } { \nu } \\ & ( 4 ) & S _ { x } ^ { A } ( f ) ( y ) \coloneqq \begin{cases} f ( y - x ) & \text{if $y-x\in A$}, \\ & & \\ 0 & \text{if $y-x\notin A$}. \end{cases} \\ & \text{The conditions $(3)$ means the existence of $x,y\in P$ satisfying}$$

The conditions (3) means the existence of x, y ∈ P satisfying

/negationslash

$$& \left ( ( A + x + y ) ^ { c } \cap ( A + x ) \right ) \, \left ( ( A + x + y ) ^ { c } \cap ( A + y ) \right ) \neq \emptyset \\ & \left ( ( A + x + y ) ^ { c } \cap ( A + y ) \right ) \, \left ( ( A + x + y ) ^ { c } \cap ( A + x ) \right ) \neq \emptyset. \\ \intertext { - A \colon \sim \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \end{cases}$$

/negationslash

When A is a region bounded below and in the left, and unbounded in the right and above, the above conditions (3) can be seen to hold.

Proposition 5.2. Let V be an isometric representation satisfying conditions (3) . Then the associated CCR flow α is not cocycle conjugate to the CAR flow β .

Proof. Suppose let β x = Ad U Ad U ( ) ( x ) α Ad U x ( ∗ ) where { U x : x ∈ P } be a cocycle for α and U is a unitary operator between Γ ( s K ) to Γ ( a K ).

Set M s = B (Γ ( s K )) and M a = B (Γ ( a K )) Then for any two x, y ∈ P we have

$$\sim \sim \sim s _ { s } \quad \sim \sim s _ { s } \quad \sim \sim s _ { s } \quad \sim \sim s _ { s } \quad \sim \sim s _ { s } \quad \sim \sim s _ { s } \quad \sim \\ \ A d ( U U _ { x + y } ) \left ( \alpha _ { x } ( M _ { s } ) \bigcap \alpha _ { x + y } ( M _ { s } ) ^ { \prime } \right ) & = \ A d ( U U _ { x } \alpha _ { x } ( U _ { y } ) ) ( \alpha _ { x } ( M _ { s } ) ) \bigcap \ A d ( U U _ { x + y } ) ( \alpha _ { x + y } ( M _ { s } ) ^ { \prime } ) \\ & = \ A d ( U U _ { x } ) ( \alpha _ { x } ( M _ { s } ) ) \bigcap \ A d ( U U _ { x + y } ) ( \alpha _ { x + y } ( M _ { s } ) ) ^ { \prime } \\ & = \beta _ { x } ( M _ { a } ) \bigcap \beta _ { x + y } ( M _ { a } ) ^ { \prime }. \\ \text{Similarly we have } \ A d ( U U _ { x + y } ) \left ( \alpha _ { y } ( M _ { s } ) \bigcap \alpha _ { x + y } ( M _ { s } ) ^ { \prime } \right ) = \beta _ { y } ( M _ { a } ) \bigcap \beta _ { x + y } ( M _ { a } ) ^ { \prime }.$$

Now it is clear if ( α x (M ) s ∩ α x + y (M ) ) s ′ ⋂ ( α x (M ) s ∩ α y (M ) s ∩ α x + y (M ) ) s ′ ′ and ( α y (M ) s ∩ α x + y (M ) ) s ′ ⋂ ( α x (M ) s ∩ α y (M ) s ∩ α x + y (M ) ) s ′ ′ are non-trivial and commute with each other, then ( β x (M ) a ∩ β x + y (M ) ) a ′ ⋂ ( β x (M ) a ∩ β y (M ) a ∩ β x + y (M ) ) a ′ ′ and ( β y (M ) a ∩ β x + y (M ) ) a ′ ⋂ ( β x (M ) a ∩ β y (M ) a ∩ β x + y (M ) ) a ′ ′ are also non-trivial and should commute with each other. Now to prove the non-cocycle-conjugacy between α and β , we show, using (3), that all the above algebras are non-trivial, and the commutation relations hold for the CCR flow α but not for the CAR flow β .

Similarly we have Ad UU ( x + y ) ( α y (M ) s ⋂ α x + y (M ) ) = s ′ β y (M ) a ⋂ β x + y (M ) a ′ .

By the very definition of CCR flows in Example 2.4, we can identify α x + y (M ) s ′ with B (Γ ( s K x + y )) through the natural isomorphism defined in (1). Now α x (M ) s ∩ α x + y (M ) s ′ can be identified with B (Γ ( s V K x y )) ⊆ B (Γ ( s K x + y )) and α y (M ) s ∩ α x + y (M ) s ′ with B (Γ ( s V K y x )) ⊆ B (Γ ( s K x + y )), using the natural embeddings. Since B ( ) of symmetric · Fock spaces of orthogonal subspaces commute, by the condition (3), the algebras mentioned are non-trivial and commute, as claimed for α .

For β there is a twist. The definition of CAR in Example 2.4 imply, through the unitary map defined in (2), that β x + y (M ) a ′ = { a # ( ξ ) R x + y : ξ ∈ K x + y } ′′ , where a # ( ξ ) denote either the Fermionic creation operator or the annihilation operator, and R x + y is defined by the unitary extension of

$$V _ { x + y } \eta _ { 1 } \wedge \dots \wedge V _ { x + y } \eta _ { n } \wedge \xi _ { 1 } \wedge \dots \wedge \xi _ { m } \mapsto ( - 1 ) ^ { n } V _ { x + y } \eta _ { 1 } \wedge \dots \wedge V _ { x + y } \eta _ { n } \wedge \xi _ { 1 } \wedge \dots \wedge \xi _ { m },$$

↦

for η , 1 · · · η n ∈ K and ξ , 1 · · · ξ m ∈ K x + y . Also we have

$$\beta _ { y } ( M _ { s } ) \cap \beta _ { x + y } ( M _ { s } ) ^ { \prime } = \{ a ^ { \# } ( \xi ) R _ { x + y } \colon \xi \in V _ { y } K _ { x } \} ^ { \prime \prime }. \\ \text{sub-tho como online}$$

$$\beta _ { x } ( \mathbf M _ { s } ) \cap \beta _ { x + y } ( \mathbf M _ { s } ) ^ { \prime } & = \{ a ^ { \# } ( \xi ) R _ { x + y } \colon \xi \in V _ { x } K _ { y } \} ^ { \prime \prime } ; \\ \varrho _ { \mathbf M } ( \mathbf M \ \cap \varrho _ { \mathbf M } ) ^ { \prime } & = \left ( \varepsilon ^ { \# } ( \varepsilon ) D _ { \mathbf M } \quad. \varepsilon \in V _ { \mathbf M } \ V ^ { \prime \prime }$$

Now through the same analysis we get

$$\text{ through the same analysis we get} \\ & ( \beta _ { x } ( M _ { a } ) \cap \beta _ { x + y } ( M _ { a } ) ^ { \prime } ) \bigcap ( \beta _ { x } ( M _ { a } ) \cap \beta _ { y } ( M _ { a } ) \cap \beta _ { x + y } ( M _ { a } ) ^ { \prime } ) ^ { \prime } \\ & = \{ a ^ { \# } ( \xi ) R _ { x + y } R _ { x, y } \colon \xi \in V _ { x } ( K _ { y } ) \cap ( V _ { x } ( K _ { y } ) \cap V _ { y } ( K _ { x } ) ) ^ { \perp } \} ^ { \prime \prime } ; \\ & ( \beta _ { y } ( M _ { a } ) \cap \beta _ { x + y } ( M _ { a } ) ^ { \prime } ) \bigcap ( \beta _ { x } ( M _ { a } ) \cap \beta _ { y } ( M _ { a } ) \cap \beta _ { x + y } ( M _ { a } ) ^ { \prime } ) ^ { \prime } \\ & = \{ a ^ { \# } ( \xi ) R _ { x + y } R _ { x, y } \colon \xi \in V _ { y } ( K _ { x } ) \cap ( V _ { x } ( K _ { y } ) \cap V _ { y } ( K _ { x } ) ) ^ { \perp } \} ^ { \prime \prime }, \\ \text{e R } _ { x, y } \text{ is defined by the unitary extension of}$$

where R x,y is defined by the unitary extension of

η 1 ∧··· ∧ η n ∧ ξ 1 ∧ · · · ∧ ξ m → -( 1) n η 1 ∧··· ∧ η n ∧ ξ 1 ∧ · · · ∧ ξ m ,

↦

Now the algebras are clearly non-trivial, thanks to condition (3). R x + y R x,y commutes with a # ( ξ ) for any ξ ∈ V x ( K y ) ∩ ( V x ( K y ) ∩ V y ( K x )) ⊥ and for any ξ ∈ V y ( K x ) ∩ ( V x ( K y ) ∩ V y ( K x )) ⊥ . So the operators a # ( ξ ) R x + y R x,y and a # ( η R ) x + y R x,y anticommute for ξ ∈ V x ( K y ) ∩ ( V x ( K y ) ∩ V y ( K x )) ⊥ and η ∈ V y ( K x ) ∩ ( V x ( K y ) ∩ V y ( K x )) ⊥ . The proof of non-cocycle-conjugacy is finally over. /square for η , 1 · · · η n ∈ V x ( K y ) ∩ V y ( K x ) and ξ , 1 · · · ξ m ∈ ( V x ( K y ) ∩ V y ( K x )) ⊥ .

## References

- [1] Anbu Arjunan, R. Srinivasan and S. Sundar E 0 -semigroups over convex cones , Preprint
- [2] Anbu Arjunan and S. Sundar, CCR flows associated to closed convex cones, Preprint, arXiv:1901.00265v2 [math.OA].
- [3] W. Arveson, 'Noncommutative dynamics and E-semigroups', Springer monographs in mathematics , Springer, New York-Heidelberg 2003.
- [4] W. Arveson, Path spaces, continuous tensor products, and E 0 --semigroups, Operator algebras and applications (Samos, 1996), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 495, 1997, pp. 1-111.
- [5] K.R. Parthasarathy, An introduction to quantum stochastic calculus, Modern Birkhauser Classics, Birkhauser/Springer Basel AG, Basel, 1992.
- [6] R. Powers, An index theory for ∗ -endomorphisms of B H ( ) and type II 1 factors, Can. J. Math. 40 , no. 1 (1988), pp. 86-114.
- [7] O. Margetts, R. Srinivasan, Invariants for E 0 -semigroups on II 1 factors, Comm. Math. Phys. , 323, Vol 3, (2013), pp 1155-1184
- [8] S.P. Murugan and S. Sundar, E P 0 -semigroups and Product systems, arxiv: OA:1706.03928.[math.OA].
- [9] S. Sundar, Injectivity of the CCR functor, Preprint, arXiv:1906.05493v1 [math.OA].

Chennai Mathematical Institute, H1, SIPCOT IT Park, Kelambakkam, Siruseri 603103, India.

E-mail address : vasanth@cmi.ac.in
R. Srinivasan
CCR and CAR flows over convex cones
Recently it is proved in arXiv:1906.05493v1 [math.OA] that CCR flows over
convex cones are cocycle conjugate if and only if the associated isometric
representations are conjugate. We provide a very short, simple and direct proof
of that. Using the same idea we prove the analogous statement for CAR flows as
well. Further we show that CCR flows are not cocycle conjugate to the CAR flows
when the (multi-parameter) isometric representation is `proper', a condition
which is satisfied by all known examples.