Bannon's Math Research Blog

Rokhlin towers for hyperfinite II_1 factors…

jonbannon — Thu, 19 Jan 2012 16:21:37 +0000

When looking at cutting and stacking, there is a noncommutative Rokhlin tower theorem of Connes that can be found here: http://www.alainconnes.org/docs/automorphismes.pdf

This may be useful for Neshveyev-Stormer.

Hammer and Chisel versus Soaking

jonbannon — Fri, 13 Jan 2012 17:13:10 +0000

Another thing to try is this: take a problem and try to hit it very hard for two weeks straight. At the end of the two weeks write up what you have. Then file it away. This is what Liming suggested. If the problems are chosen well, experience will overlap strongly and eventually you will have the right facts to solve some nice problems.

This is, sort of, hammer and chisel. Somehow the prospect of payoff may help focus the mind better than the longterm development. If the problems are hard, and you give yourself a deadline, the effect may be the same, though. You will collect things in one place, get stuck, and then move along to another problem. (The new problem will probably be related to the old ones, strongly, and it is as likely that you will find the right fact for another earlier problem while working on the new one as if you were just staring at the one problem forever.)

The important thing is to try really really hard to solve the problem and carefully write things up and then move along.

In fact, the blog may be the best place to collect failed attempts, because the blog is easily searchable. Not sure about this until the numbers of projects/problems tried gets high. It may be better to write drafts and link to them on the webpage.

A Hilbert Algebra?

jonbannon — Sun, 08 Jan 2012 14:12:59 +0000

Let be a closable, real, densely defined derivation into an bimodule . Let denote the domain of . We suggest the following involutive algebra structure on the orthogonal (Hilbert space) direct sum . Let denote the product, and the involution, where is assumed to be an antiunitary involution on that replaces the bimodule structure with its opposite: .

From Wikipedia, we have the following definition of Hilbert algebra:

A Hilbert algebra is an algebra with involution and an inner product such that
1) for ;
2) left multiplication by a fixed a in is a bounded operator;
3) is the adjoint, in other words ;
4) the linear span of all products is dense in .

Let’s explicitly see where our algebra fails these axioms. The involution is antiunitary on , and the usual involution on is antiunitary also, so (1) holds. For (2), we need to worry mostly about the “second entry”…perhaps we’ll need to restrict our attention to “bounded vectors”. Sample computation: …but the second term is troublesome because the norm on is the wrong sort. This should be the two-norm. Perhaps if we require to be a bounded vector, then these operators would be bounded, perhaps, and we’d have (2). The condition (4) is easy to satisfy, since is the unit element of the algebra we have that the set of products is the entire domain (we’ve taken no closures, yet).

It is easy to see that (3) is the weak point here, in the second coordinate. Let’s record the failure here, though:

but

and this is . Now the first coordinates are orthogonal (we’re freewheeling here, now) and since can we get this? Looking at this last bit, things don’t quite parse…and we’re left with the Radon-Nikodym business again…so the adjoints don’t work out. Unless, for some mysterious reason, we can get to be a vector in ! Perhaps this is not so mysterious, as a bounded vector is viewed as a map from into , and its adjoint a map the other way. The question is, what’s the domain of the adjoint? (Among the million other questions like…can we use the orthogonality like this?)

The above will not work, because try as we might, never comes into play in the second coordinate…

Abstract Transverse Measure Theory and the Absence of Cartan Subalgebras

jonbannon — Thu, 28 Apr 2011 14:41:55 +0000

In Connes’s book there is a description of abstract transverse measure theory. (Some functoriality is important in this.) I wonder if one can develop a *noncommutative* abstract transverse measure theory that will allow consideration of the canonical measure associated to the space of leaves of a foliation to make sense even when there is not even a Cartan subalgebra? If so, this may give a hint as to what the canonical semigroup for a von Neumann algebra should be.

Radial MASAs in Free Burnside Group Factors

jonbannon — Fri, 05 Dec 2008 15:50:51 +0000

It is easy to see that the von Neumann algebra of an infinite free Burnside group doesn’t posess any MASAs generated by group elements. Since we know that these things are -factors, there certainly are MASAs. The idea is to construct one explicitly in the simplest way possible. One idea is to consider an analogue of the Laplacian (radial) MASA in a free group factor. More specifically, we should try to prove that generates a MASA, where and are standard generators of an infinite free Burnside group .

Faa di Bruno and Free Probability

jonbannon — Mon, 01 Dec 2008 15:54:18 +0000

It is possible to glean many combinatorial identities using Faa di Bruno’s formula for the coefficients of higher derivatives of a composite function, for example, see David Vella’s paper. The resulting identities involve partitions of integers. I imagine that it should be possible to get a connection with free probability theory in which a noncommutative Faa di Bruno formula gives identities involving only noncrossing partitions.

Also, here, in a paper of Brouder, Fabretti and Krattenthaler, a noncommutative co-commutative Hopf algebra is constructed whose abelianization gives precisely the Faa di Bruno Hopf algebra, from which one can recover the classical Faa di Bruno formula. Basically, one considers one-variable generating functions of an infinite sequence of algebraically free coefficients. Also, in this case an explicit formula for the antipode is given in which Catalan numbers appear, and is interpreted in terms of trees and algebra free products. Perhaps this could be a useful starting point for answering the following

It is possible to glean many combinatorial identities using Faa di Bruno’s formula for the coefficients of higher derivatives of a composite function. The resulting identities involve partitions of integers. It should be possible to get a connection with noncommutative probability theory in which a noncommutative Faa di Bruno formula gives identities involving noncrossing partitions. A place to look would be David Vella’s paper and here, a paper of Brouder, Fabretti and Krattenthaler. In the latter paper, a noncommutative co-commutative Hopf algebra is constructed whose abelianization gives precisely the Faa di Bruno Hopf algebra, from which one can recover the classical Faa di Bruno formula. Basically, one considers one-variable generating functions of an infinite sequence of algebraically free coefficients. Also, in this case an explicit formula for the antipode is given in which Catalan numbers appear, and is interpreted in terms of trees and algebra free products… one should also consider noncrossing partitions! There seems to be room here for interpretation of the results in terms of free cumulants in free probability. How can we generalize David Vella’s results to the noncommutative setting and get interesting identities for combinatorial number theory? In David’s paper, one obtains formulas for the coefficients of the Taylor series of a composition of two functions from the coefficients of the Taylor series composed. It seems that he is working in the Hopf algebra in the commutative setting (if the Hopf algebra essentially consists of coefficients by duality). The combinatorial formulas for noncommuting coefficients should give analogous results. The project becomes: read the paper of Brouder, Fabretti and Krattenthaler, understand how to view Vella’s coefficient relations from the Hopf algebra point of view, and then generalize his machine and churn out some nice new identities.

The von Neumann Algebra of an Equivalence Relation and the Crossed Product

jonbannon — Tue, 18 Nov 2008 15:00:35 +0000

In Rings of Operators IV, Murray and von Neumann introduced the group-measure space construction, which constructs a von Neumann algebra from starting data , where is a countable discrete group, is a measure space, and is a free action of on . Since the action is clear in this context, we denote by throughout. In modern terms, the resulting von Neumann algebra is the crossed product . It turns out that the (normal *-) isomorphism class of this von Neumann algebra depends only on the orbit equivalence relation , in the sense that if we instead begin with and modulo null sets then the von Neumann algebras are also isomorphic.

A Borel space is standard if there is a Borel isomorphism (mod null sets) of onto [0,1]. Standard Borel spaces are quite common. For example, the Borel space obtained from the topology of any complete separable metric space is standard. Feldman and Moore showed that if is a standard Borel space, then any countable equivalence relation that is also a Borel subset of arises as the orbit equivalence relation of the action of some discrete group on . Note, though, that this action need not be free. In fact, a result of Furman states that there exists a countable standard equivalence relation that is not the orbit equivalence relation of any free action. However, when the action is free, the associated crossed product von Neumann algebra can be constructed from the equivalence relation alone, without any reference to the group. We suggest below how this may be done.

The crossed product is the weak operator closure of the *-subalgebra of generated by

where here denotes the representation of on extending the action on defined by , and is the left regular unitary representation of on . When working with the crossed product, it is convenient to consider the dense *-subalgebra of “polynomials” with and with the multiplication rule

on monomials.

Given an equivalence relation arising from a group action, consider the map

from into , and the measure on given by the “pullback” of the product measure on . We may define a formal matrix product of by

and define the von Neumann algebra to be those for which there exists such that for all , and . In this setting, finitely supported functions give a dense *-subalgebra that, if the action is free, can be identified with the dense subalgebra of the crossed product by the map

where .

We note that the multiplication is preserved:

and

therefore

Notice that under this identification, the “Cartan subalgebra” in the crossed product becomes the algebra of “diagonal matrices” in . See Sorin Popa’s survey from his ICM address for more information. If the action is not free the above identification does not work, since is not maximal abelian in the crossed product, and is not identified with the diagonal algebra, which is maximal abelian in . In fact it is true that if a von Neumann algebra possesses a Cartan subalgebra, that is, a maximal abelian *-subalgebra whose normalizing unitary elements generate all of , then can be realized as a generalized (cocycle) crossed product , where is identified with under the isomorphism.

Physical Motivation for Ergodic Theory

jonbannon — Mon, 17 Nov 2008 15:21:14 +0000

In statistical mechanics one aims to derive the macroscopic properties of a system, e.g. temperature and pressure, as probabilistic consequences of dynamical laws on many atoms, or particles. We obtain the macroscopic from the microscopic. Given particles in our ordinary 3 dimensional space, each particle has a position given by and a momentum given by . In general, we may consider a dynamical system with degrees of freedom described by the motion of a point in dimensional phase space, where are generalized positions and are generalized momenta. Each point in this phase space corresponds to a physical state of the system, and changes in state correspond to the motion of this point in phase space. One useful physical description of the dynamical laws is Hamiltonian dynamics, i.e. assume there is a function such that and for . In this picture, is the total energy of the system, and conservation of energy requires that motions of are confined to level “energy surfaces” of constant energy , i.e. . Given such an energy surface , the limit of the volume element between and neighboring energy surfaces defines a measure on that is, by a theorem of Liouville, invariant under the motion of the point in phase space.

It is a physically reasonable assumption (due to Boltzmann) that if the energy surface has finite measure, and the motion of does not form a closed curve, then should move almost everywhere over the energy surface. Mathematically, this means that any (almost everywhere) invariant subset of must have full measure or have measure zero. This is the ergodic hypothesis. This hypothesis heuristically justifies the agreement of the time average of a dynamical quantity and its “phase average” (the integral with respect to the above invariant measure).

Here is an intuitive motivation for this justification. Consider , and a transformation mapping into itself. Given a point , consider the orbit of under . Now, for any subset , we can consider how often the orbit of is in . Let denote the characteristic function of and define . Then is the average number of times the first points of the orbit of are in , but it is also reminiscent of a Riemann sum which, as , should approximate the measure of , provided that the orbit of sufficiently “fills the space”. Here we could have replaced the characteristic function by any measurable function , and then we would have said that the “time average” of the transformation applied to the measurable function should agree with the “space average” , provided that was an ergodic transformation. With work, this line of investigation yields the mean (von Neumann) ergodic theorem, and the pointwise (Birkhoff) ergodic theorem. For a brisk overview of these see ergodic theory.