Invertibility of the planar algebra-subfactor correspondence - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T19:04:16Z http://mathoverflow.net/feeds/question/52674 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/52674/invertibility-of-the-planar-algebra-subfactor-correspondence Invertibility of the planar algebra-subfactor correspondence Jon Bannon 2011-01-20T19:07:36Z 2011-01-23T01:06:07Z <p>In Jones's paper "Planar Algebras I", Theorem 4.2.1 establishes that an extremal finite index subfactor admits a spherical C*-planar algebra structure, and Theorem 4.3.1 establishes that spherical C*-planar algebra arise from subfactors. It seems unlikely, due to the key ingredient of the proof of Theorem 4.3.1, that these processes are inverses of one another. </p> <blockquote> <p>Question: Is there a class of subfactors for which one can associate planar algebras in a reversible way? (I.e. for which there is a known inverse for the way one passes from the subfactor to the planar algebra, and vice versa?)</p> </blockquote> <p>(In particular I am wondering if this is now possible in light of the work of Jones, Shlyakhtenko and Guionnet.)</p> http://mathoverflow.net/questions/52674/invertibility-of-the-planar-algebra-subfactor-correspondence/52872#52872 Answer by Dave Penneys for Invertibility of the planar algebra-subfactor correspondence Dave Penneys 2011-01-22T21:34:51Z 2011-01-23T01:06:07Z <p>Yes, strongly amenable subfactors of the hyperfinite \$II_1\$-factor are completely classified by their standard invariant. The finite depth case was done by Popa's Classification of subfactors: the reduction to commuting squares (MR1055708), and the infinite depth case was finished by Popa's Classification of amenable subfactors of type \$II\$ (MR1278111). The reconstruction theorem in this case reproduces a hyperfinite \$II_1\$-subfactor.</p> <p>The Guionnet-Jones-Shlyakhtenko construction reproduces an inclusion of interpolated free-group factors (arXiv:0911.4728), and there is a specific formula for which factors you get. So you need to start with the right factors (modulo the free-group factor isomorphism problem...).</p> <p>EDIT: Noah's answer makes a really important point. I should point out that at index 6, Bisch, Nicoara, and Popa constructed an uncountable family of (non-amenable) subfactors of the hyperfinite \$II_1\$-factor with the same standard invariant with property (T) (MR2314611). As they say in the abstract:</p> <blockquote> <p>We exploit the fact that property (T) groups have uncountably many non-cocycle conjugate cocycle actions on the hyperfinite \$II_1\$ factor.</p> </blockquote> <p>For a discrete group, if you're amenable and you have property (T), then you're finite. For a subfactor, if you're amenable and you have property (T), then you're finite depth. So once you're in the infinite depth property (T) setting, there's no hope for a bijective correspondence between subfactors and planar algebras.</p> http://mathoverflow.net/questions/52674/invertibility-of-the-planar-algebra-subfactor-correspondence/52882#52882 Answer by Noah Snyder for Invertibility of the planar algebra-subfactor correspondence Noah Snyder 2011-01-22T23:13:09Z 2011-01-22T23:13:09Z <p>Dave's already answered the question quite well, but let me try a different take.</p> <p>It's informative to look at the simpler case of group subfactors M^G &lt; M. There the planar algebra contains exactly the same information as G itself. Thus in that special case your question becomes:</p> <p>Under what circumstances is there exactly one outer action of a group G on a factor M up to equivalence?</p> <p>For the hyperfinite II_1 factor a finite group can only outerly act in one way (this is Jones's very early work), and indeed an amenable group can only outerly act on the hyperfinite in one way (this is Ocneanu's very early work). However, Jones showed that if you have a non-amenable group then it always outerly acts on the hyperfinite II_1 factor in more than one ways. Once you move away from the hyperfinite life becomes substantially more complicated. In general it's quite hard to figure out all ways that a group can act on an arbitrary factor. For example, by work of Ioana, Peterson, and Popa there are II_1 factors which have no outer automorphisms at all!</p>