January 4, 2006

Confusion and Connes Fusions

Posted by urs Today appeared a preprint

Andreas Thom
A Remark about the Connes Fusion Tensor Product
math.OA/0601045

which reviews technicalities in the definition of a certain ‘fusion’ operation on bimodules over von Neumann algebras. This operation is due to Alain Connes and is called Connes Fusion at least since Antony Wassermann’s article

Antony Wassermann
Operator Algebras and Conformal Field Theory III
math.OA/9806031.

For von Neumann algebras coming from positive energy representations of loop groups Connes Fusion is the rigorous version of the fusion operation of primary fields in conformal field theory. It plays a crucial role in geometric approaches to elliptic cohomology.

Ordinary representations of finite dimensional Lie groups can be multiplied using ordinary tensor products. For representations of loop groups however, the ordinary tensor product is ill suited, in particular because it does not preserve the level of the representation.

The right notion of product between loop group representations is that which is induced by the ‘fusion’ of primary fields in the corresponding conformal field theory. Hence the trick is to use the ‘operator/state correspondence’: translate a vector in a Hilbert space into an operator which generates that vector from the ‘vacuum vector’ and work with this operator instead of the original vector.

More precisely, this works as follows:

The representation of a loop group on some Hilbert $H$ space induces a von Neumann algebra $A$ of operators on that space. Hence we can regard $H$ as a left module for $A$. Since $H$ is also a Hilbert space, by assumption, this is called a Hilbert module. Many of the subtleties of Connes Fusion are due to the fact that we want to work with (bi)modules of algebras which at the same time are Hilbert spaces.

A special example of such a Hilbert space on which $A$ acts (from the left) can be obtained from the space of operators $A$ itself: fix any (faithful and normal) state $\varphi$ on $A$, i.e. a linear map

(1)$\varphi :A\to ℂ\phantom{\rule{thinmathspace}{0ex}}.$

This induces an inner product $〈\cdot ,\cdot ,{〉}_{\varphi }:A×A\to ℂ$ on $A$ defined by

(2)$〈x,y{〉}_{\varphi }=\varphi \left({y}^{*}x\right)\phantom{\rule{thinmathspace}{0ex}}.$

Here $x$ and $y$ are operators in $A$ and ${y}^{*}$ (or ${y}^{†}$, if you prefer) is the adjoint of $y$ (with respect to the inner product on $H$).

In general, $\left(A,〈\cdot \cdot {〉}_{\varphi }\right)$ will not be a Hilbert space itself, since it will not be complete with respect to the norm induced by that inner product. Hence one takes the completion of $M$ with respect to this norm and calls the result

(3)${L}_{\varphi }^{2}\left(A\right)=\overline{A}{}^{〈\cdot ,\cdot 〉}\phantom{\rule{thinmathspace}{0ex}}.$

The notation here is derived from the case where $A$ is the commutative von Neumann algebra ${L}^{\infty }\left(M\right)$ of functions on some measure space $M$. Completing this with respect to some state yields the usual space ${L}^{2}\left(M\right)$ of square integrable functions.

The Hilbert space ${L}_{\varphi }^{2}\left(A\right)$ has a special vector, namely the identity operator $1\in A$, or rather its image $\stackrel{̂}{1}\in {L}^{2}\left(A\right)$. This is called the vacuum state

(4)$\Omega =\stackrel{̂}{1}$

and ${L}_{\varphi }^{2}\left(A\right)$ is called a vacuum representation of $A$.

This now allows to define something like operator-state correspondence.

Let $K$ be any other (left) Hilbert module of $A$, i.e. a Hilbert space with a left action of $A$ on it. Consider the space

(5)$D\left(K,\varphi \right):={\mathrm{Hom}}_{A}\left({L}_{\varphi }^{2}\left(A\right),K\right)$

of linear operators from ${L}_{\varphi }^{2}\left(A\right)$ to $K$ that are compatible with the left $A$ action (i.e. which are left $A$-module homomorphisms). This space has a natural inclusion in $K$, obtained by sending every operator to the state obtained by applying it to the vacuum:

(6)$\begin{array}{ccc}D\left(K,\varphi \right)& \to & K\\ x& ↦& x\left(\Omega \right)\end{array}\phantom{\rule{thinmathspace}{0ex}}.$

One nice thing about the space of operators $D\left(K,\varphi \right)$ is that, like every space of module homomorphisms, it is naturally a bimodule over $A$ itself. But bimodules have the nice property that we can form their tensor products over $A$.

The Connes fusion of two Hilbert $A$-modules $K$ and $L$ is defined to be the Hilbert space obtained by thus tensoring the respective operator spaces of $K$ and $L$ in the above sense:

(7)$D\left(K,\varphi \right){\otimes }_{A}D\left(L,\varphi \right)\phantom{\rule{thinmathspace}{0ex}}.$

In order for this to be not just a bimodule but a Hilbert bimodule we again need to specify an inner prodcut and take the completion with respect to that inner product. The natural inner product in the above space is similar to the 4-point function in CFT.

This is easily described once a certain obvious structure is made manifest: given two operators $x$ and $y$ in $D\left(K,\varphi \right)$, we get an element in $A$ (a linear operator from $H$ to $H$) simply by going from $H$ to $K$ using $x$ and then returning to $H$ using ${y}^{*}$. Let’s denote this as

(8)$\left(x,y\right)={y}^{*}x$

and call it an $A$-valued inner product on $D\left(K,\varphi \right)$.

Given that, we may define an inner product on $D\left(K,\varphi \right){\otimes }_{ℂ}D\left(K,\varphi \right)$ as

(9)$〈{x}_{1}\otimes {y}_{1},\phantom{\rule{thickmathspace}{0ex}}{x}_{2}\otimes {y}_{2}〉:=\varphi \left(\left({x}_{1},{x}_{2}\right)\cdot {y}_{1},{y}_{2}\right)\phantom{\rule{thinmathspace}{0ex}}.$

Here $\left({x}_{1},{x}_{2}\right)\cdot {y}_{1}$ denotes the left action of the operator $\left({x}_{1},{x}_{2}\right)\in A$ on ${y}_{1}$ regarded as an $A$-bimodule element.

This is like the ‘4-point’-function for the four operators ${x}_{1},{x}_{2},{y}_{1},{y}_{2}$.

Finally, Connes fusion

(10)$K{\stackrel{̂}{\otimes }}_{A}L$

of two Hilbert $A$-(bi)modules $K$ and $L$ is defined as the result of first forming the space $D\left(K,\varphi \right){\otimes }_{ℂ}D\left(L,\varphi \right)$ and then completing with respect to the inner product given by the above ‘4-point function’.

The point of it all is that $K{\stackrel{̂}{\otimes }}_{A}L$ is (just) a slight variation of the naive tensor produc $K{\otimes }_{A}L$. The reason for the difference is a little twist which is introduced due to the fact that the inclusion of $D\left(K,\varphi \right)$ in $K$ given by the operator-state corespondence

(11)$x↦x\left(\Omega \right)$

respects the left action of $A$, but not the right action. In other words, it is not a bimodule homomorphism, just a one-sided module homomorphism. In fact, it is a bimodule homomorphism only up to a certain twist. This can be found in equation (4.3.7) of StolzTeichner.

Posted at January 4, 2006 5:27 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/718

Read the post On n-Transport: 2-Vector Transport and Line Bundle Gerbes
Weblog: The n-Category Café
Excerpt: Associated 2-transport, 2-representations and bundle gerbes with connection.
Tracked: September 7, 2006 2:04 PM
Read the post Hopkins Lecture on TFT: Chern-Simons
Weblog: The n-Category Café
Excerpt: Basic and advanced concepts in Chern-Simons theory.
Tracked: October 27, 2006 4:47 PM
Read the post Segal on QFT
Weblog: Musings
Excerpt: Graeme Segal on QFT.
Tracked: November 17, 2006 1:22 AM
Read the post The Baby Version of Freed-Hopkins-Teleman
Weblog: The n-Category Café
Excerpt: The Freed-Hopkins-Teleman result and its baby version for finite groups, as explained by Simon Willerton.
Tracked: November 23, 2006 8:35 PM
Read the post Some Conferences
Weblog: The n-Category Café
Excerpt: A conference on bundles and gerbes, another one on topology, and comments on associated 2-vector bundles and String connections.
Tracked: April 19, 2007 9:02 PM

Post a New Comment