Gray categories with duals and their diagrams (Q6562850)

This paper aims to develop the theory of duals for Gray categories. The principal tool is the authors' diagrammatic calculus, which can be viewed as a higher-categorical three-dimensional analogue of the diagrams used for computations in pivotal categories. Many of the algebraic results on Gray categories with duals can be understood in terms of the geometry of the corresponding diagrams.\N\NThe synopsis of the paper goes as follows.\N\N\begin{itemize}\N\item[\S 2] introduces diagrams for Gray categories without duals, which are a generalization of the diagrammic calculus for braided monoidal categories [\textit{A. Joyal} and \textit{R. Street}, Adv. Math. 88, No. 1, 55--112 (1991; Zbl 0738.18005)]. A braided monoidal category is to be viewed as a Gray category with a single object and 1-morphism. The evaluation of diagrams for braided monoidal categories is generalized to the evaluation of Gray category diagrams. It is shown (Theorem 2.32) that\N\NTheorem. Let \(D\), \(D^{\prime}\)\ be generic Gray category diagrams that are isotopic by a one-parameter family of isomorphisms of progressive diagrams. Then the evaluations of \(D\)\ and \(D^{\prime}\)\ are equal.\N\N\item[\S 3] introduces Gray categories with duals, using the definition of \textit{J. C. Baez} and \textit{L. Langford} [Adv. Math. 180, No. 2, 705--764 (2003; Zbl 1039.57016)], but with some minor modifications. The Gray categories possess two types of duals, \(\ast\)\ and \(\#\), which correspond to 180 degree rotations around two distinct coordinate axes. The \(\ast\)-duals are familiar from pivotal or ribbon categories.\N\N\item[\S 4] is concerned with the algebraic structure of the duality operations, establishing the first main result (Theorem 4.3, Lemma 4.4 and Theorem 4.5).\N\NTheorem. The duals extend in a canonical way to (partially contravariant) functors of 2-strict tricategories\N\[\N\ast,\#:\mathcal{G}\rightarrow\mathcal{G}\N\]\Nwith \(\ast\ast=1\), defining natural isomorphisms\N\begin{align*}\N\Gamma & :\ast\#\ast\#\rightarrow1\\\N\Theta & :\#\#\rightarrow1\N\end{align*}\N\N\item[\S 5] establishes the second main result (Theorems 5.2 and 5.3), which is a strictification theorem for the duals.\N\NTheorem. Every spatial Gray category with duals can be strictified to a Gray category whose duals\N\[\N\ast,\#:\mathcal{G}\rightarrow\mathcal{G}\N\]\Nabide by\N\begin{align*}\N\ast\ast & =1\\\N\#\# & =1\\\N\ast\#\ast\# & =1\N\end{align*}\N\N\item[\S 6] explores in more depth the relation between Gray categories with duals and their diagrams. The main theorem (Theorem 6.9) claims that the evaluations of standard surface diagrams are invariant under a set of moves that are the PL counterparts of the moves induced by projecting an isotropy in the smooth setting. Under the conjecture (Conjecture 6.8) that these are also all the moves arising from projecting PL isotropies, it implies that oriented isomorphisms of standard surface diagrams leave their evaluations invariant.\N\N\item[Appendix A] defines functors of strict tricategories and their natural transformations and modifications by specializing the standard definitions for functors of (strict) 2-categories [\textit{G. M. Kelly} and \textit{R. Street}, Lect. Notes Math. 420, 75--103 (1974; Zbl 0334.18016); \textit{T. Leinster}, ``Basic bicategories'', Preprint, \url{arXiv:math/9810017}].\N\end{itemize}