Is there a notion of "ribbon 2-category"? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T07:03:53Z http://mathoverflow.net/feeds/question/99458 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/99458/is-there-a-notion-of-ribbon-2-category Is there a notion of "ribbon 2-category"? Jakob 2012-06-13T14:55:42Z 2012-06-13T20:34:33Z <p>It there some notion of ribbon 2-category, which would allow for, say, talking about the Seifert surface of links (which is a 1-morphism in some ribbon category) as a 2-morphism in the category?</p> <p>Thank you! (I'm sorry this question is so vague.)</p> http://mathoverflow.net/questions/99458/is-there-a-notion-of-ribbon-2-category/99464#99464 Answer by AndrĂ© Henriques for Is there a notion of "ribbon 2-category"? AndrĂ© Henriques 2012-06-13T15:50:09Z 2012-06-13T19:49:57Z <p>Here's a cryptic answer.<br> [and I hope that I now got it right -- if someone sees some more mistakes, please edit my answer]</p> <p>By work of Lurie, there's an \$O(n+1)\$ action on the collection of all \$n\$-categories with duals.<br> A ribbon category is 3-category with one object and one 1-morphism, that is equipped with the extra structure of an \$SO(3)\$-homotopy fixed point.</p> <p>A ribbon 2-category is 4-category with one object and one 1-morphism, that is equipped with the extra structure of an \$SO(4)\$-homotopy fixed point.</p> http://mathoverflow.net/questions/99458/is-there-a-notion-of-ribbon-2-category/99501#99501 Answer by Kevin Walker for Is there a notion of "ribbon 2-category"? Kevin Walker 2012-06-13T20:34:33Z 2012-06-13T20:34:33Z <p>A ribbon 1-category is a 3-category which has only one 0-morphism, has only one 1-morphism, and is (strict) "3-pivotal", where "\$n\$-pivotal" is the property that would be called "pivotal" if \$n=2\$. (I don't know if there is a standard term for this. Candidates are "n-pivotal", "has strong duality", "disk-like", "is an \$[S]O(n)\$ homotopy fixed point of ...".)</p> <p>So one can analogously define a ribbon 2-category to be a 4-pivotal 4-category with only one 0-morphism and one 1-morphism. I think everyone would agree with some version of this statement.</p> <p>The above begs the question of how best to define an \$n\$-pivotal \$n\$-category. (Again, this is not standard terminology, and so far as I know no standard term for this notion has been established.) I'm aware of three approaches.</p> <p>(1) Imitate the approach traditionally used for \$n\le 3\$; i.e. explicitly write out all the coherence diagrams. As \$n\$ grows large (e.g. \$n\ge 4\$), this quickly becomes unwieldy.</p> <p>(2) Jacob Lurie's approach. First define \$n\$-categories with a weaker notion of duality. This weak duality allows one to define a homotopy \$O(n)\$ action. Now define an \$n\$-pivotal \$n\$-category to be a homotopy fixed point of this action. This is the approach described in André's answer. (I'm not an expert on this approach, so please let me know if I've misdescribed it.)</p> <p>(3) "Disk-like" \$n\$-category approach (Section 6 of <a href="http://front.math.ucdavis.edu/1009.5025" rel="nofollow">this paper</a>). Define an \$n\$-category to be collection of functors on \$k\$-balls and homeomorphisms, for \$k\le n\$. The pivotal structure comes from the actions of Homeo(\$B^k\$).</p> <p>The advantage of approach #3 is that it is easy to verify for examples which are topological in origin (like bordism \$n\$-categories, \$n\$-categories built out of mapping spaces, \$n\$-categories built out of embedded cell complexes, mod relations). The disadvantage is that it doesn't specify any generators or relations. If you have some algebraic or combinatorial gadgets (like representations of a quantum group) and you are wondering whether they generate an \$n\$-pivotal \$n\$-category, you would like a (finite) list of relations to check. Approach #3 does not give you this, but approach #2 (or #1, if it exists) does. More specifically, if you write down in detail just what "\$O(n)\$ homotopy fixed point" means, you will end up with a finite list of generators and relations. (That's in theory; I haven't seen it carried out in practice.)</p> <p>Quibbles with and corrections to the above are welcome.</p>