most recent 30 from http://mathoverflow.net 2013-05-24T04:22:25Z http://mathoverflow.net/feeds/question/4137 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/4137/one-parameter-semigroups-of-bimodules Dmitri Pavlov 2009-11-04T19:28:07Z 2010-01-21T19:10:44Z

<p>Suppose M is a von Neumann algebra. Consider a monoidal category of bimodules over M. Here a bimodule is a Hilbert space with two normal representations of M. The monoidal structure is given by Connes' fusion. Alternatively we can take right W*-correspondences (right Hilbert W*-modules over M with a normal left action of M) together with the completed algebraic tensor product.</p> <p>What can we say about one-parameter “semigroups” of such bimodules? More precisely, consider a family E of bimodules parametrized by a real number t > 0 such that E_s ⊗ E_t = E_{s+t}. Equality here denotes isomorphism. Does it have an “infinitesimal generator”? What is the “exponent” then? Do we need any “continuity” conditions to guarantee good properties of such “semigroups”? What kind of additional restrictions we can obtain on M provided that such a family exists?</p> <p>It appears to me that such objects are known as “continuous tensor product systems”. Any references on this matter will be appreciated.</p>

http://mathoverflow.net/questions/4137/one-parameter-semigroups-of-bimodules/4211#4211 Orr Shalit 2009-11-05T04:09:17Z 2009-11-05T05:08:53Z

<p>Such structures have been investigated at depth (welcome to the club!). Let me try to answer some of your questions.</p> <p>1) First, let me suggest that you look at Bill Arveson's book on this subject, <a href="http://www.springer.com/math/analysis/book/978-0-387-00151-7" rel="nofollow">Noncommutative Dynamics and E-semigroups</a>. Arveson is considered the pioneer of modern work on these structures, and you will enjoy his book.</p> <p>2) An "infinitesemal generator" can mean various things, but in some sense, remarkably, it doesn't always exist. Arveson's book contains some treatment of this issue, known as the existence of type III examples, which are due to R. T. Powers and B. Tsirelson (there is also recet work of M. Izumi).</p> <p>3) Do we need continuity conditions? Measurability conditions suffice. The condition is that the bundle {E_t}_{t>0} be isomorphic, as a measurable bundle of Hilbert spaces, to the trivial bundle (0,infinity) X H_0, with H_0 some fixed Hilbert space, plus compatibility of the measurable structure with addition, multiplication, etc.</p> <p>4) Extensive research has been carried out also in the case where the E_t are Hilbert bimodules (C^*-correspondences). Search the ArXiv for works of Michael Skeide, or Paul Muhly and Baruch Solel.</p> <p>5) I should also mention: these product systems arise naturally in the study of, give rise to, and are in a one-to-one correspondence with semigroups of *-endomorphisms on von Neumann algebras.</p>