Skip to main content
a minor typo
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

False belief: << Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$. >>

The false belief is to think that the above sentence makes sense. In fact, a von Neumann algebras and a $\rm{C}^{\star}$-algebra don't have the same status. A von Neumann algebra is an operator algebra by definition, i.e. it is defined inside $B(H)$ for some separable Hilbert space $H$. Now, some subalgebras of $B(H)$ are (separable) $\rm{C}^{\star}$-algebras, but a $\rm{C}^{\star}$-algebra can also be defined abstractly. It can next be representatedrepresented and a given representation $H$ (defined for example by GNS construction for a given state), if it is faithful, induces an embedding in $B(H)$.
So to make sense, the sentence above should be modified as:

<< Let $M$ be the von Neumann algebra generated by $(\mathcal{A},\rho)$, a couple of $\rm{C}^{\star}$-algebra and state. >>
or
<< Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$ represented on $H$. >>

Then, $M = \pi_H(\mathcal{A})''$. We can use $M$ to characterize the representation $H$, for example, we can talk about a representation of type ${\rm I}$, ${\rm II}$ or ${\rm III}$ if $M$ is a von Neumann algebra of type ${\rm I}$, ${\rm II}$ or ${\rm III}$. There is a $\rm{C}^{\star}$-algebra with representations of every type, for example the Cuntz algebra.

Finally, there exists a universal representation for every $\rm{C}^{\star}$-algebra (i.e. the direct sum of the corresponding GNS representations of all states; it is faithful). The associated von Neumann algebra is called the enveloping von Neumann algebra (it can also be defined as the double dual); it contains all the operator-algebraic information about the given $\rm{C}^{\star}$-algebra.

False belief: << Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$. >>

The false belief is to think that the above sentence makes sense. In fact, a von Neumann algebras and a $\rm{C}^{\star}$-algebra don't have the same status. A von Neumann algebra is an operator algebra by definition, i.e. it is defined inside $B(H)$ for some separable Hilbert space $H$. Now, some subalgebras of $B(H)$ are (separable) $\rm{C}^{\star}$-algebras, but a $\rm{C}^{\star}$-algebra can also be defined abstractly. It can next be representated and a given representation $H$ (defined for example by GNS construction for a given state), if it is faithful, induces an embedding in $B(H)$.
So to make sense, the sentence above should be modified as:

<< Let $M$ be the von Neumann algebra generated by $(\mathcal{A},\rho)$, a couple of $\rm{C}^{\star}$-algebra and state. >>
or
<< Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$ represented on $H$. >>

Then, $M = \pi_H(\mathcal{A})''$. We can use $M$ to characterize the representation $H$, for example, we can talk about a representation of type ${\rm I}$, ${\rm II}$ or ${\rm III}$ if $M$ is a von Neumann algebra of type ${\rm I}$, ${\rm II}$ or ${\rm III}$. There is a $\rm{C}^{\star}$-algebra with representations of every type, for example the Cuntz algebra.

Finally, there exists a universal representation for every $\rm{C}^{\star}$-algebra (i.e. the direct sum of the corresponding GNS representations of all states; it is faithful). The associated von Neumann algebra is called the enveloping von Neumann algebra (it can also be defined as the double dual); it contains all the operator-algebraic information about the given $\rm{C}^{\star}$-algebra.

False belief: << Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$. >>

The false belief is to think that the above sentence makes sense. In fact, a von Neumann algebras and a $\rm{C}^{\star}$-algebra don't have the same status. A von Neumann algebra is an operator algebra by definition, i.e. it is defined inside $B(H)$ for some separable Hilbert space $H$. Now, some subalgebras of $B(H)$ are (separable) $\rm{C}^{\star}$-algebras, but a $\rm{C}^{\star}$-algebra can also be defined abstractly. It can next be represented and a given representation $H$ (defined for example by GNS construction for a given state), if it is faithful, induces an embedding in $B(H)$.
So to make sense, the sentence above should be modified as:

<< Let $M$ be the von Neumann algebra generated by $(\mathcal{A},\rho)$, a couple of $\rm{C}^{\star}$-algebra and state. >>
or
<< Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$ represented on $H$. >>

Then, $M = \pi_H(\mathcal{A})''$. We can use $M$ to characterize the representation $H$, for example, we can talk about a representation of type ${\rm I}$, ${\rm II}$ or ${\rm III}$ if $M$ is a von Neumann algebra of type ${\rm I}$, ${\rm II}$ or ${\rm III}$. There is a $\rm{C}^{\star}$-algebra with representations of every type, for example the Cuntz algebra.

Finally, there exists a universal representation for every $\rm{C}^{\star}$-algebra (i.e. the direct sum of the corresponding GNS representations of all states; it is faithful). The associated von Neumann algebra is called the enveloping von Neumann algebra (it can also be defined as the double dual); it contains all the operator-algebraic information about the given $\rm{C}^{\star}$-algebra.

minor edit
Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186

False belief: << Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$. >>

The false belief is to think that the above sentence makes sense. In fact, a von Neumann algebras and a $\rm{C}^{\star}$-algebra don't have the same status. A von Neumann algebra is an operator algebra by definition, i.e. it is defined inside $B(H)$ for some separable Hilbert space $H$. Now, some subalgebras of $B(H)$ are (separable) $\rm{C}^{\star}$-algebras, but a $\rm{C}^{\star}$-algebra can also be defined abstractly. It can next be representated and a given representation $H$ (defined for example by GNS construction for a given state), if it is faithful, induces an embedding in $B(H)$.
So to make sense, the sentence above should be modified as:

<< Let $M$ be the von Neumann algebra generated by $(\mathcal{A},\rho)$, a couple of $\rm{C}^{\star}$-algebra and state. >>
or
<< Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$ represented on $H$. >>

Then, $M = \pi_H(\mathcal{A})''$. We can use $M$ to characterize the representation $H$, for example, we can talk about a representation of type ${\rm I}$, ${\rm II}$ or ${\rm III}$ if $M$ is a von Neumann algebra of type ${\rm I}$, ${\rm II}$ or ${\rm III}$. There is a $\rm{C}^{\star}$-algebra with representations of every type, for example the Cuntz algebra.

Finally, there exists a universal representation for every $\rm{C}^{\star}$-algebra (i.e. the direct sum of the corresponding GNS representations of all states; it is faithful). The associated von Neumann algebra is called the enveloping von Neumann algebra (it can also be defined as the double dual); it contains all the operator-algebraic information about the given $\rm{C}^{\star}$-algebra.

False belief: << Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$. >>

The false belief is that the above sentence makes sense. In fact, a von Neumann algebras and a $\rm{C}^{\star}$-algebra don't have the same status. A von Neumann algebra is an operator algebra by definition, i.e. it is defined inside $B(H)$ for some separable Hilbert space $H$. Now, some subalgebras of $B(H)$ are (separable) $\rm{C}^{\star}$-algebras, but a $\rm{C}^{\star}$-algebra can also be defined abstractly. It can next be representated and a given representation $H$ (defined for example by GNS construction for a given state), if it is faithful, induces an embedding in $B(H)$.
So to make sense, the sentence above should be modified as:

<< Let $M$ be the von Neumann algebra generated by $(\mathcal{A},\rho)$, a couple of $\rm{C}^{\star}$-algebra and state. >>
or
<< Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$ represented on $H$. >>

Then, $M = \pi_H(\mathcal{A})''$. We can use $M$ to characterize the representation $H$, for example, we can talk about a representation of type ${\rm I}$, ${\rm II}$ or ${\rm III}$ if $M$ is a von Neumann algebra of type ${\rm I}$, ${\rm II}$ or ${\rm III}$. There is a $\rm{C}^{\star}$-algebra with representations of every type, for example the Cuntz algebra.

Finally, there exists a universal representation for every $\rm{C}^{\star}$-algebra (i.e. the direct sum of the corresponding GNS representations of all states; it is faithful). The associated von Neumann algebra is called the enveloping von Neumann algebra (it can also be defined as the double dual); it contains all the operator-algebraic information about the given $\rm{C}^{\star}$-algebra.

False belief: << Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$. >>

The false belief is to think that the above sentence makes sense. In fact, a von Neumann algebras and a $\rm{C}^{\star}$-algebra don't have the same status. A von Neumann algebra is an operator algebra by definition, i.e. it is defined inside $B(H)$ for some separable Hilbert space $H$. Now, some subalgebras of $B(H)$ are (separable) $\rm{C}^{\star}$-algebras, but a $\rm{C}^{\star}$-algebra can also be defined abstractly. It can next be representated and a given representation $H$ (defined for example by GNS construction for a given state), if it is faithful, induces an embedding in $B(H)$.
So to make sense, the sentence above should be modified as:

<< Let $M$ be the von Neumann algebra generated by $(\mathcal{A},\rho)$, a couple of $\rm{C}^{\star}$-algebra and state. >>
or
<< Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$ represented on $H$. >>

Then, $M = \pi_H(\mathcal{A})''$. We can use $M$ to characterize the representation $H$, for example, we can talk about a representation of type ${\rm I}$, ${\rm II}$ or ${\rm III}$ if $M$ is a von Neumann algebra of type ${\rm I}$, ${\rm II}$ or ${\rm III}$. There is a $\rm{C}^{\star}$-algebra with representations of every type, for example the Cuntz algebra.

Finally, there exists a universal representation for every $\rm{C}^{\star}$-algebra (i.e. the direct sum of the corresponding GNS representations of all states; it is faithful). The associated von Neumann algebra is called the enveloping von Neumann algebra (it can also be defined as the double dual); it contains all the operator-algebraic information about the given $\rm{C}^{\star}$-algebra.

Source Link
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186

False belief: << Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$. >>

The false belief is that the above sentence makes sense. In fact, a von Neumann algebras and a $\rm{C}^{\star}$-algebra don't have the same status. A von Neumann algebra is an operator algebra by definition, i.e. it is defined inside $B(H)$ for some separable Hilbert space $H$. Now, some subalgebras of $B(H)$ are (separable) $\rm{C}^{\star}$-algebras, but a $\rm{C}^{\star}$-algebra can also be defined abstractly. It can next be representated and a given representation $H$ (defined for example by GNS construction for a given state), if it is faithful, induces an embedding in $B(H)$.
So to make sense, the sentence above should be modified as:

<< Let $M$ be the von Neumann algebra generated by $(\mathcal{A},\rho)$, a couple of $\rm{C}^{\star}$-algebra and state. >>
or
<< Let $M$ be the von Neumann algebra generated by a $\rm{C}^{\star}$-algebra $\mathcal{A}$ represented on $H$. >>

Then, $M = \pi_H(\mathcal{A})''$. We can use $M$ to characterize the representation $H$, for example, we can talk about a representation of type ${\rm I}$, ${\rm II}$ or ${\rm III}$ if $M$ is a von Neumann algebra of type ${\rm I}$, ${\rm II}$ or ${\rm III}$. There is a $\rm{C}^{\star}$-algebra with representations of every type, for example the Cuntz algebra.

Finally, there exists a universal representation for every $\rm{C}^{\star}$-algebra (i.e. the direct sum of the corresponding GNS representations of all states; it is faithful). The associated von Neumann algebra is called the enveloping von Neumann algebra (it can also be defined as the double dual); it contains all the operator-algebraic information about the given $\rm{C}^{\star}$-algebra.

Post Made Community Wiki by Sebastien Palcoux