Is there a symmetric monoidal 2-category "SuperDuperVect"?

Question

Recall that the category $\mathrm{SuperVect}$, as a category, consists of pairs of vector spaces, thought of as formal direct sums $V \oplus W\,\Pi$, where $\Pi$ is the "odd line". (Called "$\Pi$" because tensoring with it is "parity reversal".) Indeed, there is a good notion of "direct sum of categories" in which case, as categories, we have $$ \mathrm{SuperVect} = \mathrm{Vect} \oplus \mathrm{Vect}\, \Pi$$ As a monoidal category, we declare that the one-dimensional vector space $\mathbf 1 \in \mathrm{Vect}$ is the monoidal unit and that $\Pi \otimes \Pi = \mathbf 1$, and give it the trivial associator (so that as a monoidal category $\mathrm{SuperVect}$ is the category of sheaves of vector spaces on $\mathbf Z/2$ with the convolution product; when $2$ is invertible, which I assume it is, this is also the category of representations of $\mathbf Z/2$).

The interesting part of $\mathrm{SuperVect}$ is its braiding/symmetry. A braiding $\sigma$ on this monoidal category is uniquely determined by its value on $$ \mathbf 1 = \Pi \otimes \Pi \overset \sigma \longrightarrow \Pi \otimes \Pi = \mathbf 1 $$ which is just a number $\sigma_{\Pi,\Pi}$. The axioms of symmetric monoidal category force $\sigma_{\Pi,\Pi}$ to square to $1$, but do not force it to be $1$ itself. The symmetric monoidal category $\mathrm{SuperVect}$ is determined by declaring that $\sigma_{\Pi,\Pi}$ is the other number that squares to $1$, namely $-1$.

At least over $\mathbb C$, $\mathrm{SuperVect}$ has the following important property, due to Deligne. Not every symmetric monoidal category is tannakian over $\mathrm{Vect}$ --- in particular, there does not exist a symmetric monoidal functor $\mathrm{SuperVect} \to \mathrm{Vect}$ --- but every symmetric monoidal category (satisfying some technical bounds on growth rates of objects) is tannakian over $\mathrm{SuperVect}$.

My question is whether this trick can be repeated one dimension higher. Let $\mathrm{Vect}_{\mathrm{SuperVect}}$ denote the 2-category of all "supercategories", i.e. categories with an action by $\mathrm{SuperVect}$. (I'd rather not make this precise. Probably I should fill in some words like "abelian". I'd be perfectly happy just working with the 2-category whose objects are the natural numbers and whose morphisms are matrices filled in with supervector spaces, just like one can model $\mathrm{Vect}$ as the category whose objects are natural numbers and whose morphisms are matrices of numbers.) Then $\mathrm{Vect}_{\mathrm{SuperVect}}$ is symmetric monoidal (because $\mathrm{SuperVect}$ is) with unit object $\mathbf 1$, and with $\mathrm{End}(\mathbf 1) = \mathrm{SuperVect}$.

Then there's a perfectly good 2-category $$ \mathrm{SuperDuperVect} = \mathrm{Vect}_{\mathrm{SuperVect}} \oplus \mathrm{Vect}_{\mathrm{SuperVect}} \, \Xi$$ where the letter $\Xi$ is just a formal symbol playing the role of $\Pi$ above. I would like to give this category a symmetric monoidal structure in which $\Xi \otimes \Xi = \mathbf 1$ but the braiding on $\Xi$ is the endomorphism $$ \sigma_{\Xi,\Xi} = \Pi \in \mathrm{End}(\mathbf 1) = \mathrm{End}(\Xi \otimes \Xi). $$ The idea is that this is the other object that squares to $\mathbf 1 \in \mathrm{SuperVect}$.

Now, I should be a bit careful. Symmetric monoidal 2-categories, when written out in full detail, consist of quite a lot of data and coherence conditions. Perhaps there's some rule that says that $\sigma_{\Xi,\Xi}$ not only has to square to $\mathbf 1$ but also has to braid trivially with itself. I don't know, and I'm not sure where to look up the axioms.

Does such a symmetric monoidal 2-category "$\mathrm{SuperDuperVect}$" exist?

Is it symmetric-monoidally equivalent to some more basic thing, say the 2-category of sheaves of supercategories on something with convolution product, or the 2-category of supercategorical representations of something?

Is there a symmetric monoidal 2-functor $\mathrm{SuperDuperVect} \to \mathrm{Vect}_{\mathrm{SuperVect}}$?

Of course, if the answer to the first question is "no", then the other two are moot. If the answer to the first question is "yes", then I can't imagine positive answers to the other two, but maybe my imagination is faulty.

Answer 1

Yes, the symmetric monoidal 2-category you are looking for does exist.

I think that there is a slightly different 2-category which is better, but yours embedds inside the one I will describe, which differs in that there are interesting "cross-terms" from $\Xi$ to 1, i.e. morphisms between these objects. This 2-category has a more familiar description. It is the Morita category of finite dimensional semisimple superalgebras (over $\mathbb{C}$).

Here a superalgebra is just an algebra object in SuperVect. The theory of semisimple modules and algebras mirrors that for ordinary algebras, but with a few subtleties (it is super subtle). A very nice treatment which covers the case that the ground field is algebraically closed is this paper:

Semisimple Superalgebras Tadeusz Jozefiak Volume 1352 of the series Lecture Notes in Mathematics pp 96-113.

There you see that there is a classification of semisimple superalgebras over $\mathbb{C}$. They are finite sums of simple superalgebras. The simple superalgebras are classified as either

1. $End(\mathbb{C}^{p|q})$ (which is super Morita equivalent to $\mathbb{C}$)
2. $Q(n) = M_n(\mathbb{C}) \otimes Cl_1$ where $Cl_1$ is the Clifford algebra on a one-dimensional complex vector space.

They have multiplications (using the super-tensor product, of course):

1. $End(\mathbb{C}^{p|q}) \otimes End(\mathbb{C}^{m|n}) = End(\mathbb{C}^{pm + qn|pn + qm})$
2. $End(\mathbb{C}^{p|q}) \otimes Q(n) = Q(pn + qn)$
3. $Q(m) \otimes Q(n) = End(\mathbb{C}^{mn|mn})$

Now the 2-category I want to consider is the Morita 2category whose objects are fin. dim. semisimple superalgebras and whose 1-morphisms are superbimodules between them.

The isomorphism classes of objects in this 2-category are given by pairs of natural numbers which count the number of $End(\mathbb{C}^{p|q})$ and $Q(n)$ factors.

The categories of morphisms are exactly what you describe, as long as you throw out the cross-term morphisms. For example the category of morphisms from $\mathbb{C}$ to $Q(n)$ is equivalent to the category of $Q(n)$-modules, where in your 2-category (if I understand your notation) you would have the zero category here. The 2-category you describe sits inside as the sub-2-category with only the zero cross term morphisms.

Now for your final question. There is no symmetric monoidal functor $$ SuperDuperVect \to Vect_{SuperVect} $$ where SuperDuperVect is either the Morita category I describe or the subcategory you mention. You can see this by passing to maximal Picard sub-2-categories (i.e. the max 2-category in which all morphisms and objects are invertible).

These Picard 2-categories are equivalent to spectra with 3 consecutive homotopy groups. The target gives a spectrum with $$\pi_0 = 0, \; \pi_1 = \mathbb{Z}/2, \; \pi_2 = \mathbb{C}^\times$$ while the source (in either case) has $$\pi_0 = \mathbb{Z}/2, \; \pi_1 = \mathbb{Z}/2, \; \pi_2 = \mathbb{C}^\times$$. Moreover the k-invariants of these are well-known. The latter looks like a truncated variant of the Brown-Comenetz dual of the sphere. It is closely related to real K-theory KO. The former (the target) looks like the connective cover. The k-invariant connecting the bottom $\mathbb{Z}/2$ to the other homotopy groups (eg. the next $\mathbb{Z}/2$) obstructs the existence of your map, and it is known to be non-zero.