An unbounded generalization of the Tomita-Takesaki theory (Q578572): Difference between revisions
From MaRDI portal
Revision as of 09:57, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An unbounded generalization of the Tomita-Takesaki theory |
scientific article |
Statements
An unbounded generalization of the Tomita-Takesaki theory (English)
0 references
1986
0 references
We define the notion of unbounded left Hilbert algebras which is an unbounded generalization of left Hilbert algebras in the sense that the left multiplication is not necessarily bounded. Then a bicommutant \({\mathfrak A}''\) of an unbounded left Hilbert algebra \({\mathfrak A}\) is defined and becomes an achieved left Hilbert algebra, and so it induces the fundamental theorem of Tomita for the left von Neumann algebra \({\mathcal U}_ 0({\mathfrak A}'')\) and the right von Neumann algebra \({\mathcal V}_ 0({\mathfrak A}'')\) of \({\mathfrak A}'':J''{\mathcal U}_ 0({\mathfrak A}'')J''={\mathcal V}_ 0({\mathfrak A}'')\), \(\Delta^{''it}{\mathcal U}_ 0({\mathfrak A}'')\Delta^{''-it}={\mathcal U}_ 0({\mathfrak A}'')\) for all \(t\in R\), where \(J''\) is the modular conjugation operator of \({\mathfrak A}''\) and \(\Delta ''\) is the modular operator of \({\mathfrak A}''\). The first purpose is to extend the above results to an unbounded left Hilbert algebra \({\mathfrak A}\). The following question arises. Question A. Do there exist \(O^*_ p\)-algebras \({\mathcal U}({\mathfrak A})\) and \({\mathcal V}({\mathfrak A})\) such that \({\mathcal U}({\mathfrak A})''={\mathcal U}_ 0({\mathfrak A}'')\), \({\mathcal V}({\mathfrak A})''={\mathcal V}_ 0({\mathfrak A}'')\), \(J''{\mathcal U}({\mathfrak A})J''={\mathcal V}({\mathfrak A})\) and \(\Delta^{''it}{\mathcal U}({\mathfrak A})\Delta^{''it}={\mathcal U}({\mathfrak A})\) for all \(t\in R?\) In order to solve Question A, we need an unbounded generalization of von Neumann algebras called generalized von Neumann algebra, and further have to consider the invariance of domains under the unitary group \(\{\Delta^{''it}\}\). From this viewpoint, in Section 3 we define the notion of modular unbounded left Hilbert algebras, and show that Question A is affirmative for such an algebra. Thus the notion of modular is important for our study, so that it is natural to consider the following question. Question B. For each achieved left Hilbert algebra \({\mathfrak A}_ 0\) does there exist a modular unbounded left Hilbert algebra \({\mathfrak A}\) such that \({\mathfrak A}''={\mathfrak A}_ 0?\) In Section 4 we consider Question B for von Neumann algebras \({\mathcal M}_ 0\) with cyclic and separating vector \(\xi_ 0\), and show that if the fixed-point algebra \({\mathcal M}_ 0^{\sigma}\) of the modular automorphism group of the left Hilbert algebra \({\mathcal M}_ 0\xi_ 0\) in \({\mathcal M}_ 0\) is infinitely dimensional, then Question B is affirmative.
0 references
unbounded left Hilbert algebras
0 references
bicommutant
0 references
left von Neumann algebra
0 references
right von Neumann algebra
0 references
modular conjugation operator
0 references
\(O^ *_ p\)- algebras
0 references
unbounded generalization of von Neumann algebras
0 references
generalized von Neumann algebra
0 references
unitary group
0 references
modular unbounded left Hilbert algebras
0 references
cyclic and separating vector
0 references
fixed-point algebra
0 references
0 references