nLab super vector space

Contents

Context

Super-Algebra and Super-Geometry

Linear algebra

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents

Idea

A super vector space is an object in the non-trivial symmetric monoidal category structure on the monoidal category of /2\mathbb{Z}/2-graded vector spaces: as an object it is just a /2\mathbb{Z}/2-graded vector space, but the braiding of the underlying tensor product of vector spaces is taken to be the non-trivial linear map which on elements of homogeneous degree is given by

τ super:vw(1) deg(v)deg(w)wv. \tau^{super} \;\colon\; v \otimes w \;\mapsto\; (-1)^{deg(v) deg(w)} \, w \otimes v \,.

We make this precise as definition below.

Super vector spaces form the basis of superalgebra (over ground rings which are fields) in direct analogy of how ordinary vector spaces form the basis of ordinary algebra. For more on this see below, and for yet more see at geometry of physics – superalgebra.

Details

Definition

For kk a field, we write Vect kVect_k for the category whose

When the ground field kk is understood or when its precise nature is irrelevant, we will often notationally suppress it and speak of just the category Vect of vector spaces.

This is the category inside which linear algebra takes place.

Of course the category Vect has some special properties. Not only are its objects “linear spaces”, but the whole category inherits linear structure of sorts. This is traditionally captured by the following terminology for additive and abelian categories. Notice that there are several different but equivalent ways to state the following properties (discussed behind the relevant links).

Definition

Let 𝒞\mathcal{C} be a category.

  1. Say that 𝒞\mathcal{C} has direct sums if it has finite products and finite coproducts and if the canonical comparison morphism between these is an isomorphism. We write VWV \oplus W for the direct sum of two objects of 𝒞\mathcal{C}.

  2. Say that 𝒞\mathcal{C} is an additive category if it has direct sums and in addition it is enriched in abelian groups, meaning that every hom-set is equipped with the structure of an abelian group such that composition of morphisms is a bilinear map.

  3. Say that 𝒞\mathcal{C} is an abelian category if it is an additive category and has property that its monomorphisms are precisely the inclusions of kernels and its epimorphisms are precisely the projections onto cokernels.

We also make the following definition of kk-linear category, but notice that conventions differ as to which extra properties beyond Vect-enrichment to require on a linear category:

Definition

For kk a field (or more generally just a commutative ring), call a category 𝒞\mathcal{C} a kk-linear category if

  1. it is an abelian category (def. );

  2. its hom-sets have the structure of kk-vector spaces (generally kk-modules) such that composition of morphisms in 𝒞\mathcal{C} is a bilinear map

and the underlying additive abelian group structure of these hom-spaces is that of the underlying abelian category.

In other words, a kk-linear category is an abelian category with the additional structure of a Vect-enriched category (generally kkMod-enriched) such that the underlying Ab-enrichment according to def. is obtained from the VectVect-enrichment under the forgetful functor VectAbVect \to Ab.

A functor between kk-linear categories is called a kk-linear functor if its component functions on hom-sets are linear maps with respect to the given kk-linear structure, hence if it is a Vect-enriched functor.

Example

The category Vect k{}_k of vector spaces (def. ) is a kk-linear category according to def. .

Here the abstract direct sum is the usual direct sum of vector spaces, whence the name of the general concept.

For V,WV,W two kk-vector spaces, the vector space structure on the hom-set Hom Vect(V,W)Hom_{Vect}(V,W) of linear maps ϕ:VW\phi \colon V \to W is given by “pointwise” multiplication and addition of functions:

(c 1ϕ 1+c 2ϕ 2):vc 1ϕ 1(v)+c 2ϕ 2(v) (c_1 \phi_1 + c_2 \phi_2) \;\colon\, v \;\mapsto\; c_1 \phi_1(v) + c_2 \phi_2(v)

for all c 1,c 2kc_1, c_2 \in k and ϕ 1,ϕ 2Hom Vect(V,W)\phi_1, \phi_2 \in Hom_{Vect}(V,W).

Recall the basic construction of the tensor product of vector spaces:

Definition

Given two vector spaces over some field kk, V 1,V 2Vect kV_1, V_2 \in Vect_k, their tensor product of vector spaces is the vector space denoted

V 1 kV 2Vect V_1 \otimes_k V_2 \;\in\; Vect

whose elements are equivalence classes of tuples of elements (v 1,v 2)(v_1,v_2) with v iV iv_i \in V_i, for the equivalence relation given by

(cv 1,v 2)(v 1,cv 2) (c v_1 , v_2) \;\sim\; (v_1, c v_2)
(v 1+v 1,v 2)(v 1,v 2)+(v 1,v 2) (v_1 + v'_1 , v_2) \; \sim \; (v_1,v_2) + (v'_1, v_2)
(v 1,v 2+v 2)(v 1,v 2)+(v 1,v 2) (v_1 , v_2 + v'_2) \; \sim \; (v_1,v_2) + (v_1, v'_2)

More abstractly this means that the tensor product of vector spaces is the vector space characterized by the fact that

  1. it receives a bilinear map

    V 1×V 2V 1V 2 V_1 \times V_2 \longrightarrow V_1 \otimes V_2

    (out of the Cartesian product of the underlying sets)

  2. any other bilinear map of the form

    V 1×V 2V 3 V_1 \times V_2 \longrightarrow V_3

    factors through the above bilinear map via a unique linear map

    V 1×V 2 bilinear V 3 !linear V 1 kV 2 \array{ V_1 \times V_2 &\overset{bilinear}{\longrightarrow}& V_3 \\ \downarrow & \nearrow_{\mathrlap{\exists ! \, linear}} \\ V_1 \otimes_k V_2 }

The existence of the tensor product of vector spaces, def. , equips the category Vect of vector spaces with extra structure, which is a “categorification” of the familiar structure of a semi-group. One also says “monoid” for semi-group and therefore categories equipped with a tensor product operation are also called monoidal categories:

Definition

A monoidal category is a category 𝒞\mathcal{C} equipped with

  1. a functor

    :𝒞×𝒞𝒞 \otimes \;\colon\; \mathcal{C} \times \mathcal{C} \longrightarrow \mathcal{C}

    out of the product category of 𝒞\mathcal{C} with itself, called the tensor product,

  2. an object

    1𝒞 1 \in \mathcal{C}

    called the unit object or tensor unit,

  3. a natural isomorphism

    a:(()())()()(()()) a \;\colon\; ((-)\otimes (-)) \otimes (-) \overset{\simeq}{\longrightarrow} (-) \otimes ((-)\otimes(-))

    called the associator,

  4. a natural isomorphism

    :(1())() \ell \;\colon\; (1 \otimes (-)) \overset{\simeq}{\longrightarrow} (-)

    called the left unitor, and a natural isomorphism

    r:()1() r \;\colon\; (-) \otimes 1 \overset{\simeq}{\longrightarrow} (-)

    called the right unitor,

such that the following two kinds of diagrams commute, for all objects involved:

  1. triangle identity:

    (x1)y a x,1,y x(1y) ρ x1 y 1 xλ y xy \array{ & (x \otimes 1) \otimes y &\stackrel{a_{x,1,y}}{\longrightarrow} & x \otimes (1 \otimes y) \\ & {}_{\rho_x \otimes 1_y}\searrow && \swarrow_{1_x \otimes \lambda_y} & \\ && x \otimes y && }
  2. the pentagon identity:

    (wx)(yz) α wx,y,z α w,x,yz ((wx)y)z (w(x(yz))) α w,x,yid z id wα x,y,z (w(xy))z α w,xy,z w((xy)z) \array{ && (w \otimes x) \otimes (y \otimes z) \\ & {}^{\mathllap{\alpha_{w \otimes x, y, z}}}\nearrow && \searrow^{\mathrlap{\alpha_{w,x,y \otimes z}}} \\ ((w \otimes x ) \otimes y) \otimes z && && (w \otimes (x \otimes (y \otimes z))) \\ {}^{\mathllap{\alpha_{w,x,y}} \otimes id_z }\downarrow && && \uparrow^{\mathrlap{ id_w \otimes \alpha_{x,y,z} }} \\ (w \otimes (x \otimes y)) \otimes z && \underset{\alpha_{w,x \otimes y, z}}{\longrightarrow} && w \otimes ( (x \otimes y) \otimes z ) }

As expected, we have the following basic example:

Example

For kk a field, the category Vect k{}_k of kk-vector spaces becomes a monoidal category (def. ) as follows

  • the abstract tensor product is the tensor product of vector spaces k\otimes_k from def. ;

  • the tensor unit is the field kk itself, regarded as a 1-dimensional vector space over itself;

  • the associator is the map that on representing tuples acts as

    α V 1,V 2,V 3:((v 1,v 2),v 3)(v 1,(v 2,v 3)) \alpha_{V_{1}, V_2, V_3} \;\colon\; ((v_1, v_2), v_3) \mapsto (v_1, (v_2,v_3))
  • the left unitor is the map that on representing tuples is given by

    V:(k,v)kv \ell_{V} \colon (k,v) \mapsto k v

    and the right unitor is similarly given by

    r V:(v,k)kv. r_V \colon (v,k) \mapsto k v \,.

That this satisifes the pentagon identity (def. ) and the left and right unit identities is immediate on representing tuples.

But the point of the abstract definition of monoidal categories is that there are also more exotic examples. The followig one is just a minimal enrichment of example , and yet it will be important.

Example

Let GG be a group (or in fact just a monoid/semi-group). A GG-graded vector space VV is a direct sum of vector spaces labeled by the elements in GG:

V=gGV g. V = \underset{g \in G}{\oplus} V_g \,.

A homomorphism

ϕ:VW \phi \;\colon\; V \longrightarrow W

of GG-graded vector spaces is a linear map that respects this direct sum structure, hence equivalently a direct sum of linear maps

ϕ g:V gW g \phi_g \;\colon\; V_g \longrightarrow W_g

for all gGg \in G, such that

ϕ=gGϕ g. \phi = \underset{g \in G}{\oplus} \phi_g \,.

This defines a category, denoted Vect GVect^G. Equip this category with a tensor product which on the underlying vector spaces is just the tensor product of vector spaces from def. , equipped with the GG-grading which is obtained by multiplying degree labels in GG:

(VW) gg 1,g 2Gg 1g 2=gV g 1 kV g 2. (V \otimes W)_g \;\coloneqq\; \underset{{g_1, g_2 \in G} \atop {g_1 g_2 = g}}{\oplus} V_{g_1} \otimes_k V_{g_2} \,.

The tensor unit for the tensor product is the ground field kk, regarded as being in the degree of the neutral element eGe \in G

1 g={k |g=e 0 |otherwise. 1_g \;=\; \left\{ \array{ k & | g = e \\ 0 & | otherwise } \right. \,.

The associator and unitors are just those of the monoidal structure on plain vector spaces, from example .

One advantage of abstracting the concept of a monoidal category is that it allows to prove general statements uniformly for all kinds of tensor products, familiar ones and more exotic ones. The following lemma and remark are two important such statements.

Lemma

(Kelly 64)

Let (𝒞,,1)(\mathcal{C}, \otimes, 1) be a monoidal category, def. . Then the left and right unitors \ell and rr satisfy the following conditions:

  1. 1=r 1:111\ell_1 = r_1 \;\colon\; 1 \otimes 1 \overset{\simeq}{\longrightarrow} 1;

  2. for all objects x,y𝒞x,y \in \mathcal{C} the following diagrams commutes:

    (1x)y α 1,x,y xid y 1(xy) xy xy; \array{ (1 \otimes x) \otimes y & & \\ {}^\mathllap{\alpha_{1, x, y}} \downarrow & \searrow^\mathrlap{\ell_x \otimes id_y} & \\ 1 \otimes (x \otimes y) & \underset{\ell_{x \otimes y}}{\longrightarrow} & x \otimes y } \,;

    and

    x(y1) α 1,x,y 1 id xr y (xy)1 r xy xy; \array{ x \otimes (y \otimes 1) & & \\ {}^\mathllap{\alpha^{-1}_{1, x, y}} \downarrow & \searrow^\mathrlap{id_x \otimes r_y} & \\ (x \otimes y) \otimes 1 & \underset{r_{x \otimes y}}{\longrightarrow} & x \otimes y } \,;

For proof see at monoidal category this lemma and this lemma.

Remark

Just as for an associative algebra it is sufficient to demand 1a=a1 a = a and a1=aa 1 = a and (ab)c=a(bc)(a b) c = a (b c) in order to have that expressions of arbitrary length may be re-bracketed at will, so there is a coherence theorem for monoidal categories which states that all ways of freely composing the unitors and associators in a monoidal category (def. ) to go from one expression to another will coincide. Accordingly, much as one may drop the notation for the bracketing in an associative algebra altogether, so one may, with due care, reason about monoidal categories without always making all unitors and associators explicit.

(Here the qualifier “freely” means informally that we must not use any non-formal identification between objects, and formally it means that the diagram in question must be in the image of a strong monoidal functor from a free monoidal category. For example if in a particular monoidal category it so happens that the object X(YZ)X \otimes (Y \otimes Z) is actually equal to (XY)Z(X \otimes Y)\otimes Z, then the various ways of going from one expression to another using only associators and this “accidental” equality no longer need to coincide.)

The above discussion makes it clear that a monoidal category is like a monoid/semi-group, but “categorified”. Accordingly we may consider additional properties of monoids/semi-groups and correspondingly lift them to monoidal categories. A key such property is commutativity. But while for a monoid commutativity is just an extra property, for a monoidal category it involves choices of commutativity-isomorphisms and hence is extra structure. We will see below that this is the very source of superalgebra.

The categorification of “commutativity” comes in two stages: braiding and symmetric braiding.

Definition

A braided monoidal category, is a monoidal category 𝒞\mathcal{C} (def. ) equipped with a natural isomorphism

τ x,y:xyyx \tau_{x,y} \;\colon\; x \otimes y \to y \otimes x

(for all objects x,yin𝒞x,y in \mathcal{C}) called the braiding, such that the following two kinds of diagrams commute for all objects involved (“hexagon identities”):

(xy)z a x,y,z x(yz) τ x,yz (yz)x τ x,yId a y,z,x (yx)z a y,x,z y(xz) Idτ x,z y(zx) \array{ (x \otimes y) \otimes z &\stackrel{a_{x,y,z}}{\to}& x \otimes (y \otimes z) &\stackrel{\tau_{x,y \otimes z}}{\to}& (y \otimes z) \otimes x \\ \downarrow^{\tau_{x,y}\otimes Id} &&&& \downarrow^{a_{y,z,x}} \\ (y \otimes x) \otimes z &\stackrel{a_{y,x,z}}{\to}& y \otimes (x \otimes z) &\stackrel{Id \otimes \tau_{x,z}}{\to}& y \otimes (z \otimes x) }

and

x(yz) a x,y,z 1 (xy)z τ xy,z z(xy) Idτ y,z a z,x,y 1 x(zy) a x,z,y 1 (xz)y τ x,zId (zx)y, \array{ x \otimes (y \otimes z) &\stackrel{a^{-1}_{x,y,z}}{\to}& (x \otimes y) \otimes z &\stackrel{\tau_{x \otimes y, z}}{\to}& z \otimes (x \otimes y) \\ \downarrow^{Id \otimes \tau_{y,z}} &&&& \downarrow^{a^{-1}_{z,x,y}} \\ x \otimes (z \otimes y) &\stackrel{a^{-1}_{x,z,y}}{\to}& (x \otimes z) \otimes y &\stackrel{\tau_{x,z} \otimes Id}{\to}& (z \otimes x) \otimes y } \,,

where a x,y,z:(xy)zx(yz)a_{x,y,z} \colon (x \otimes y) \otimes z \to x \otimes (y \otimes z) denotes the components of the associator of 𝒞 \mathcal{C}^\otimes.

Definition

A symmetric monoidal category is a braided monoidal category (def. ) for which the braiding

τ x,y:xyyx \tau_{x,y} \colon x \otimes y \to y \otimes x

satisfies the condition:

τ y,xτ x,y=1 xy \tau_{y,x} \circ \tau_{x,y} = 1_{x \otimes y}

for all objects x,yx, y

Remark

In analogy to the coherence theorem for monoidal categories (remark , roughly speaking “all diagrams commute”) there is a coherence theorem for symmetric monoidal categories (def. ), saying that two parallel morphisms, built freely (see remark ) from associators, unitors and braidings, are equal if and only if they correspond to the same permutation of objects.

Consider the simplest non-trivial special case of GG-graded vector spaces from example , the case where G=/2G = \mathbb{Z}/2 is the cyclic group of order two.

Example

A /2\mathbb{Z}/2-graded vector space is a direct sum of two vector spaces

V=V evenV odd, V = V_{even} \oplus V_{odd} \,,

where we think of V evenV_{even} as the summand that is graded by the neutral element in /2\mathbb{Z}/2, and of V oddV_{odd} as being the summand that is graded by the single non-trivial element.

A homomorphism of /2\mathbb{Z}/2-graded vector spaces

f:V 1V 2 f \;\colon\; V_1 \longrightarrow V_2

is a linear map of the underlying vector spaces that respects the grading, hence equivalently a pair of linear maps

f even:(V 1) even(V 1) even f_{even} \;\colon\; (V_1)_{even} \longrightarrow (V_1)_{even}
f odd:(V 1) odd(V 1) odd f_{odd} \;\colon\; (V_1)_{odd} \longrightarrow (V_1)_{odd}

between then summands in even degree and in odd degree, respectively:

f=f evenf odd. f = f_{even} \oplus f_{odd} \,.

The tensor product of /2\mathbb{Z}/2-graded vector space is the tensor product of vector spaces of the underlying vector spaces, but with the grading obtained from multiplying the original gradings in /2\mathbb{Z}/2. Hence

(V 1V 2) even((V 1) even(V 2) even)((V 1) odd(V 2) odd) (V_1 \otimes V_2)_{even} \;\coloneqq\; \left((V_1)_{even} \otimes (V_2)_{even}\right) \oplus \left((V_1)_{odd} \otimes (V_2)_{odd}\right)

and

(V 1V 2) odd((V 1) even(V 2) odd)((V 1) odd(V 2) even). (V_1 \otimes V_2)_{odd} \;\coloneqq\; \left((V_1)_{even} \otimes (V_2)_{odd}\right) \oplus \left((V_1)_{odd} \otimes (V_2)_{even}\right) \,.

As in example , this definition makes /2\mathbb{Z}/2 a monoidal category def. .

Proposition

There are, up to braided monoidal equivalence of categories, precisely two choices for a symmetric braiding (def. )

V 1V 2τ V 1,V 2V 2V 1 V_1 \otimes V_2 \stackrel{\tau_{V_1,V_2}}{\longrightarrow} V_2 \otimes V_1

on the monoidal category (Vect k /2, k)(Vect_k^{\mathbb{Z}/2}, \otimes_k) of /2\mathbb{Z}/2-graded vector spaces from def. :

  1. the trivial braiding which is the natural linear map given on tuples (v 1,v 2)(v_1,v_2) representing an element in V 1V 2V_1 \otimes V_2 (according to def. ) by

    τ V 1,V 2 triv:(v 1,v 2)(v 2,v 1) \tau^{triv}_{V_1, V_2} \;\colon\; (v_1,v_2) \mapsto (v_2, v_1)
  2. the super-braiding which is the natural linear function given on tuples (v 1,v 2)(v_1,v_2) of homogeneous degree (i.e. v i(V i) σ iV iv_i \in (V_i)_{\sigma_i} \hookrightarrow V_i, for σ i/2\sigma_i \in \mathbb{Z}/2) by

    τ V 1,V 2 super:(v 1,v 2)(1) deg(v 1)deg(v 2)(v 2,v 1). \tau^{super}_{V_1, V_2} \;\colon\; (v_1, v_2) \mapsto (-1)^{deg(v_1) deg(v_2)} \, (v_2,v_1) \,.
Proof

For (𝒞,,1)(\mathcal{C}, \otimes, 1) a monoidal category, write

(Line(𝒞),,1)(𝒞,,1) (Line(\mathcal{C}), \otimes, 1) \hookrightarrow (\mathcal{C}, \otimes, 1)

for the full subcategory on those L𝒞L \in \mathcal{C} which are invertible objects under the tensor product, i.e. such that there is an object L 1𝒞L^{-1} \in \mathcal{C} with LL 11L \otimes L^{-1} \simeq 1 and L 1L1L^{-1} \otimes L \simeq 1. Since the tensor unit is clearly in Line(L)Line(L) (with 1 111^{-1} \simeq 1) and since with L 1,L 2Line(𝒞)𝒞L_1, L_2 \in Line(\mathcal{C}) \hookrightarrow \mathcal{C} also L 1L 2Line(𝒞)L_1 \otimes L_2 \in Line(\mathcal{C}) (with (L 1L 2) 1L 2 1L 1 1(L_1 \otimes L_2)^{-1} \simeq L_2^{-1} \otimes L_1^{-1}) the monoidal category structure on 𝒞\mathcal{C} restricts to Line(𝒞)Line(\mathcal{C}).

Accordingly any braiding on (𝒞,,1)(\mathcal{C}, \otimes,1) restricts to a braiding on (Line(𝒞),,1)(Line(\mathcal{C}), \otimes, 1). Hence it is sufficient to show that there is an essentially unique non-trivial symmetric braiding on (Line(𝒞),,1)(Line(\mathcal{C}), \otimes, 1), and that this is the restriction of a braiding on (𝒞,,1)(\mathcal{C}, \otimes, 1).

Now (Line(𝒞,,1))(Line(\mathcal{C}, \otimes , 1)) is necessarily a groupoid (the “Picard groupoid” of 𝒞\mathcal{C}) and in fact is what is called a 2-group. As such we may regard it equivalently as a homotopy 1-type with group structure, and as such it it is equivalent to its delooping

B Line(𝒞) B_\otimes Line(\mathcal{C})

regarded as a pointed homotopy type. (See at looping and delooping).

The Grothendieck group of (𝒞,,1)(\mathcal{C}, \otimes, 1) is

π 0(Line(𝒞))π 1(BLine(𝒞)) \pi_0(Line(\mathcal{C})) \simeq \pi_1(B Line(\mathcal{C}))

the fundamental group of the delooping space.

Now a symmetric braiding on Line(𝒞)Line(\mathcal{C}) is precisely the structure that makes it a symmetric 2-group which is equivalently the structure of a second delooping B 2Line(𝒞)B^2 Line(\mathcal{C}) (for the braiding) and then a third delooping B 3Line(𝒞)B^3 Line(\mathcal{C}) (for the symmetry), regarded as a pointed homotopy type.

This way we have rephrased the question equivalently as a question about the possible k-invariants of spaces of this form.

Now in the case at hand, Line(Vect /2)Line(Vect^{\mathbb{Z}/2}) has precisely two isomorphism classes of objects, namely the ground field kk itself, regarded as being in even degree and regarded as being in odd degree. We write k 1|0k^{1\vert 0} and k 0|1k^{0 \vert 1} for these, respectively. By the rules of the tensor product of graded vector spaces we have

k 1|0 kk 1|0k 1|0 k^{1\vert 0} \otimes_k k^{1\vert 0} \simeq k^{1\vert 0}
k 1|0 kk 0|1k 0|1 k^{1\vert 0} \otimes_k k^{0\vert 1} \simeq k^{0\vert 1}

and

k 0|1 kk 0|1k 1|0. k^{0 \vert 1} \otimes_k k^{0 \vert 1} \simeq k^{1 \vert 0} \,.

In other words

π 0(Line(Vect /2))/2. \pi_0(Line(Vect^{\mathbb{Z}/2})) \simeq \mathbb{Z}/2 \,.

Now under the above homotopical identification the non-trivial braiding is identified with the elements

1=k 1|0k 0|1 kk 0|1τ k 0|1,k 0|1 superk 0|1 kk 0|1k 1|0=1 1 = k^{1 \vert 0} \simeq k^{0\vert 1} \otimes_k k^{0 \vert 1} \stackrel{\tau^{super}_{k^{0\vert 1}, k^{0 \vert 1}}}{\longrightarrow} k^{0\vert 1} \otimes_k k^{0\vert 1} \simeq k^{1 \vert 0} = 1

Due to the symmetry condition (def. ) we have

(τ k 0|1,k 0|1 super) 2=id (\tau^{super}_{k^{0\vert 1}, k^{0 \vert 1}})^2 = id

which implies that

τ k 0|1,k 0|1 super{+id,id}. \tau^{super}_{k^{0\vert 1}, k^{0 \vert 1}} \in \{+ id, -id\} \,.

Therefore for classifying just the symmetric braidings, it is sufficient to restrict the hom-spaces in Line(Vect /2)Line(Vect^{\mathbb{Z}/2}) from being either kk or empty, to hom-sets being /2={+11}k\mathbb{Z}/2 = \{+1-1\} \hookrightarrow k or empty. Write Line˜(sVect)\widetilde{Line}(sVect) for the resulting 2-group.

In conclusion then the equivalence classes of possible k-invariants of B 3Line(sVect)B^3 Line(sVect), hence the possible symmetric braiding on Line(Vect /2)Line(Vect^{\mathbb{Z}/2}) are in the degree-4 ordinary cohomology of the Eilenberg-MacLane space K(/2,3)K(\mathbb{Z}/2,3) with coefficients in /2\mathbb{Z}/2. One finds (…)

H 4(K(/2,3),/2)/2. H^4(K(\mathbb{Z}/2, 3), \mathbb{Z}/2) \;\simeq\; \mathbb{Z}/2 \,.
Definition

The symmetric monoidal category (def. )

is called the category of super vector spaces:

sVect k(Vect k /2,= k,1=k,τ=τ super). sVect_k \;\coloneqq\; (Vect_k^{\mathbb{Z}/2}, \otimes = \otimes_k, 1 = k, \tau = \tau^{super} ) \,.
Remark

The non-full symmetric monoidal subcategory

(Line˜(sVect), k,k,τ super) (\widetilde{Line}(sVect), \otimes_k, k, \tau^{super})

of

(Line(sVect), k,k,τ super)(sVect, k,k,τ super) (Line(sVect) , \otimes_k, k, \tau^{super}) \hookrightarrow (sVect, \otimes_k, k, \tau^{super})

(on the two objects k 1|0k^{1\vert 0} and k 0|1k^{0\vert 1} and with hom-sets restricted to {+1,1}k\{+1,-1\} \subset k, as in the proof of prop. ) happens to be the 1-truncation of the looping of the sphere spectrum 𝕊\mathbb{S}, regarded as a group-like E-infinity space (“abelian infinity-group”)

(Line˜(sVect),,k,τ super)trunc 1Ω𝕊. (\widetilde{Line}(sVect), \otimes, k, \tau^{super}) \;\simeq\; \trunc_1 \Omega \mathbb{S} \,.

It has been suggested (in Kapranov 15) that this and other phenomena are evidence that in the wider context of homotopy theory/stable homotopy theory super-grading (and hence superalgebra) is to be regarded as but a shadow of grading in higher algebra over the sphere spectrum. Notice that the sphere spectrum is just the analog of the group of integers in stable homotopy theory.

Properties

Structures internal to super-vector spaces

By internalizing algebra and geometry in the category sVectsVect of super vector spaces, one obtains the corresponding superalgebra and supergeometry.

For example

By the above definition, any structure in sVectsVect works just like the corresponding structure in Vect, but with a sign inserted whenever two odd-graded symbols are interchanged. For more on this see also at signs in supergeometry.

Deligne’s theorem on tensor categories

Deligne's theorem on tensor categories says that all suitable tensor categories of subexponential growth have a fiber functor to sVectsVect and are equivalent to categories of representations of affine algebraic supergroups.

References

Last revised on August 31, 2024 at 08:27:09. See the history of this page for a list of all contributions to it.