In addition to the two reasonably well-known categories $\mathrm{SuperVect}\_{\mathbb R}$ and $\mathrm{SuperVect}\_{\mathbb C}$ of *real* and *complex* *super vector spaces*, each of which is monoidally equivalent to corresponding category of $\mathbb Z/2$-graded vector spaces but with the Koszul sign rules, there is a third much less well-known symmetric monoidal category that I like to call the *quaternionic super vector spaces* $\mathrm{SuperVect}\_{\mathbb H}$. It appears, among other places, when studying the statistics of a certain type of pinor.


As a category,
$$ \mathrm{SuperVect}\_{\mathbb H} = \mathrm{Vect}\_{\mathbb R} \oplus \mathrm{Mod}\_{\mathbb H} $$
The monoidal structure is a bit funny, using the Morita equivalence $\mathbb H \otimes \mathbb H \simeq \mathbb R$. Here is a description of it. Recall that the usual Galois correspondence between $\mathbb R$ and $\mathbb C$ identifies $\mathrm{Vect}\_{\mathbb R}$ with the category of complex vector spaces $V\_{\mathbb C}$ equipped with an antilinear involution, i.e. $\varphi: V\_{\mathbb C} \to V\_{\mathbb C}^\*$, $\varphi^\*\varphi = 1$. Similarly, one can identify $\mathrm{Mod}\_{\mathbb H}$ with the category of complex vector spaces $V\_{\mathbb C}$ equipped with an antilinear "antiinvolution", i.e. $\varphi: V\_{\mathbb C} \to V\_{\mathbb C}^\*$, $\varphi^\*\varphi = -1$. (By definition, $V^\* = V$ as real vector spaces, but the $\mathbb C$-action is that $\lambda \in \mathbb C$ acting on $v\in V^\*$ is given by the action $v\lambda^\*$ in $V$. So $\varphi^\* = \varphi$ as real linear maps, but I'm thinking of them as $\mathbb C$-linear in two different ways.) Using this, you can identify $\mathrm{SuperVect}\_{\mathbb H}$ with the category of complex supervector spaces equipped with an antilinear map that squares to $1$ on the even part and to $-1$ on the odd part. If you check carefully, you'll see that the tensor product (in $\mathrm{SuperVect}\_{\mathbb C}$) of two such objects is naturally such an object, and in this way you can recover the symmetric monoidal structure on $\mathrm{SuperVect}\_{\mathbb H}$.


In any sufficiently nice linear category (and $\mathrm{SuperVect}\_{\mathbb H}$ is plenty nice for these purposes) you can develop a theory of associative algebras, bimodules, and Morita equivalence. Among other things, you can define a *Brauer group* for your given category whose elements are Morita equivalence classes of Morita-invertible algebras. (I.e. the group of units of the monoid whose objects are Morita equivalence classes of algebras and whose multiplication is tensor product.)


It is well known that the Brauer groups in this sense of $\mathrm{SuperVect}\_{\mathbb C}$ and $\mathrm{SuperVect}\_{\mathbb R}$ are respectively $\mathbb Z/2$ and $\mathbb Z/8$, and that this is closely related to periodicity in various K-theories.



> 
> **Question:** What is the Brauer group of $\mathrm{SuperVect}\_{\mathbb H}$? What are the simple representatives of the elements? What "K-theory" is it related to?
> 
> 
> 



What is the "quaternionic" super Brauer group?
The Brauer-Picard 2-category of $SuperVect\_{\mathbb R}$ (let's call it $sBrPic\_\mathbb R$) is the homotopy fixed points of the Brauer-Picard 2-category of $SuperVect\_{\mathbb C}$ w.r.t. the involution given by complex conjugation (let's call that involution $C$).


It is plausible that the Brauer-Picard 2-category of $SuperVect\_{\mathbb H}$ (call it $sBrPic\_\mathbb H$) is the homotopy fixed points of $sBrPic\_\mathbb C$ w.r.t the involution $C\circ J$, where $J$ is the involution defined here: [What are the "correct" conventions for defining Clifford algebras?](https://mathoverflow.net/questions/185645/what-are-the-correct-conventions-for-defining-clifford-algebras/185705#185705) 


As explained in the above link, $J$ acts homotopy trivially on $SuperVect\_{\mathbb C}$.
The action of $C\circ J$ on the homotopy groups of $sBrPic\_\mathbb C$ (which are $\mathbb Z/2,\mathbb Z/2,\mathbb C^\times$) is therefore the same as that of $C$, and so the homotopy fixed points spectral sequence for $C\circ J$ looks the same as that for $C$:


$$
\begin{matrix}
H^2(\mathbb Z/2,\pi\_2(sBrPic\_\mathbb C)) \\
H^1(\mathbb Z/2,\pi\_1(sBrPic\_\mathbb C)) & H^1(\mathbb Z/2,\pi\_2(sBrPic\_\mathbb C)) \\
H^0(\mathbb Z/2,\pi\_0(sBrPic\_\mathbb C)) & H^0(\mathbb Z/2,\pi\_1(sBrPic\_\mathbb C)) & H^0(\mathbb Z/2,\pi\_2(sBrPic\_\mathbb C))\\
\end{matrix}
$$


$$=\qquad
\begin{matrix}
\mathbb Z/2 \\
\mathbb Z/2 & 0 \\
\mathbb Z/2 & \mathbb Z/2 & \mathbb Z/2\\
\end{matrix}
$$


But the differential could be different:
there is room for a $d\_2$ differential going from $(1,0)$ to $(0,2)$.


That differential is present iff
$\pi\_0(sBrPic\_\mathbb H)$ has order four, and also iff $\pi\_1(sBrPic\_\mathbb H) = 0$.


And indeed, $\pi\_1 = 0$ because the ``odd line'' is not invertible in the category $SuperVect\_{\mathbb H}$.


So you were right: it looks like $\pi\_0(sBrPic\_\mathbb H) = \mathbb Z/4$.




---


My answer raises the question of what is the homotopy fixed points of $J$ acting on $sBrPic\_\mathbb C$, or $sBrPic\_\mathbb R$?




---


I have no reason to believe that this is related to a version of $K$-theory.


Do you know a version of $K$-theory related to the category of (non-super) vector spaces? - probably not.
I just don't think that every linear symmetric monoidal category corresponds to a version of $K$-theory.


