PlanetPhysics/Superalgebroids in Higher Dimensions

\newcommand{\sqdiagram}[9]{$$ \diagram #1 \rto^{#2} \dto_{#4}&

\eqno{\mbox{#9}}$$ }

Definitions of double, and higher dimensional algebroids, superalgebroids and generalized superalgebras.
Double algebroids

A double $$R$$--algebroid consists of a double category $$D$$, as detailed in ref. , such that each category structure has the additional structure of an $$R$$--algebroid. More precisely, a double $R$--algebroid $$\D$$ involves four related $R$--algebroids:

$$ (D,D_1,\del^0_1 ,\del^1_1, \vep_1 , +_1 , \circ _1 , ._1) ,\qquad &(D,D_2,\del^0_2, \del ^1_2 , \vep_2 , +_2 , \circ _2 , ._2 )\\ (D_1,D_0, \delta^0_1 ,\delta^1_1, \vep , + , \circ , .) ,\qquad &(D_2, D_0 , \delta^0_2 , \delta^1_2 , \vep , + , \circ , .)

$$that satisfy the following rules:

\item[i)] $$\delta^i_2 \del^j_2 = \delta ^j_1 \del ^i_1$$ for i,j \in \{0,1\}$$ \med \item[ii)]  for  and both sides are defined. \med \item[iii)] for all  and both sides are defined.  \med \item[iv)]  for i \neq j, whenever both sides are defined.

The definition of a double algebroid specified above was introduced by Brown and Mosa. Two functors can be then constructed, one from the category of double algebroids to the category of crossed modules of algebroids, whereas the reverse functor is the unique adjoint (up to natural equivalence). The construction of such functors requires the following definition.

Category of double algebroids
A morphism of double algebroids  is then defined as a morphism of truncated cubical sets which commutes with all the algebroid structures. Thus, one can construct a category \mathbf{DA} of double algebroids and their morphisms. The main construction in this subsection is that of two functors \eta,\eta' from this category \mathbf{DA} to the category \mathbf{CM} of crossed modules of algebroids.

Let {D} be a double algebroid. One can associate to {D} a crossed module. Here M(x,y) will consist of elements m of {D} with boundary of the form: 0 1 that is $$M(x,y) = \{ m \in D : \del^1_1 m = 0_{xy}, \del^0_2 m = 1_x,\del^1_2 m = 1_y \}.

Cubic and Higher dimensional algebroids
One can extend the above notion of double algebroid to cubic and higher dimensional algebroids.

The concepts of 2-algebroid, 3-algebroid,..., $$n$$--algebroid and superalgebroid are however quite distinct from those of double, cubic,..., n--tuple algebroid, and have technically less complicated definitions.