## Is there a notion of “ribbon 2-category”?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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?

Thank you! (I'm sorry this question is so vague.)

-
@Jakob: My guess is that it is possible to make up such a definition. Do I understand correctly that your question is whether such a definition has already been made by someone? Or would you like someone to try to come up with such a definition here? The problem with the latter is that such a definition is bound to be very long and to involve multiple coherence diagrams. So I don't expect it to fit into an MO answer... – André Henriques Jun 13 at 15:43

1
If your 1-morphsims are framed tangles (e.g. links) in the 3-ball, then your 2-morphisms should be framed surfaces in the 4-ball, rather than Seifert surfaces, which live in the 3-ball. – Kevin Walker Jun 13 at 18:07

## 2 Answers

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 ...".)

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.

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.

(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.

(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.)

(3) "Disk-like" $n$-category approach (Section 6 of this paper). 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$).

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.)

Quibbles with and corrections to the above are welcome.

-

How clear is it that ribbon is the analogue of pivotal and not of spherical? – Noah Snyder Jun 14 at 16:35
How clear is it?  Probably not very.  I think pivotal is a more natural condition than spherical (pivotal is local, spherical is not).  Also, for an n-category with trivial 0- and 1-morphisms, n-pivotal implies n-spherical (I think).  By general position, any isotopy of diagrams which takes place in the n-sphere has support in an n-ball (up to 2nd order isotopy). – Kevin Walker Jun 14 at 18:06

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Here's a cryptic answer.
[and I hope that I now got it right -- if someone sees some more mistakes, please edit my answer]

By work of Lurie, there's an $O(n+1)$ action on the collection of all $n$-categories with duals.
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.

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.

-
I'm confused about the relationship between the O(n) action on the space of all dualizable objects in a particular n-category, vs. the O(n) action on the space of all dualizable n-categories... That said, your answer doesn't seem to fit my intuition, just thinking about what topological structures Reshetikhin-Turaev depends on. – Noah Snyder Jun 13 at 16:37

1
Should the last paragraph start "A ribbon 2-category is a 4-category ..."? – Bruce Westbury Jun 13 at 17:05
Oic, maybe it's just that the dimensionality is funny. Let's think about pivotal fusion categories (which is the 2-dimensional analogue). Those are 2-categories (with one object), and are dualizable objects in a 3-category (of 2-categories, but you need to be careful that the morphisms are Morita enough). Hence you have an O(3) action. But you're not claiming that they're O(3) fixed points, rather that they're O(2) fixed points. This is almost right, they're SO(2) fixed points. So maybe you mean SO(n) everywhere instead of O(n)? – Noah Snyder Jun 13 at 17:16
THe principal article on ribbon categories theory is (or was ?) sciencedirect.com/science/article/pii/… – Buschi Sergio Jun 13 at 18:33
I tried to take the comments into account in order to make my answer less false. I'm still largely guessing though... – André Henriques Jun 13 at 19:55
show 1 more comment
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 27, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9320798516273499, "perplexity_flag": "middle"}