this entry is the first section of “supergeometry and superphysics”,
which itself is one chapter of “geometry of physics”
next section: supergeometry
previous chapter: categories and toposes
$\,$
$\,$
In Klein geometry and Cartan geometry the fundamental geometric concept is the symmetry group $G$ of the local model space, which is then recovered as some coset space $G/H$. These symmetry groups $G$ are reflected in their categories of representations $Rep(G)$, which are certain nice tensor categories. In terms of physics via Wigner classification, the irreducible objects in $Rep(G)$ label the possible fundamental particle species on the spacetime $G/H$. Hence if we regard the tensor category $Rep(G)$ as the actual fundamental concept, then the natural question is that of Tannaka reconstruction: Given any nice tensor category, is it equivalent to $Rep(G)$ for some symmetry group $G$? For rigid tensor categories in characteristic zero subject only to a mild size constraint this is answered by Deligne's theorem on tensor categories (theorem below): all of them are, but only if we allow $G$ to be a “supergroup”.
The beauty of supercommutative superalgebra (Def. below) is that it is just commutative algebra “internal” to the tensor category of super vector spaces. (See the chapter on categories and toposes for the basic concepts of categories and monoidal categories). For instance an (affine algebraic) supergroup (i.e. a super symmetry-group, i.e. a super-symmetry group) is just a commutative Hopf algebra internal to super vector spaces. The beauty of super vector spaces, in turn, is that these are just $\mathbb{Z}/2$-graded vector spaces equipped with the unique non-trivial symmetric braiding. Better yet, all tensor categories subject to a mild size constraint are equivalently categories of representations of supergroups. This is the main theorem of this section, theorem below (Deligne's theorem on tensor categories).
Here we introduce and explain all this.
We start by introducing the basic concepts of tensor categories along with the basic examples of vector spaces and super vector spaces:
This allows to speak of commutative algebra internal to tensor categories. Specializing this to the tensor category of super vector spaces yields supercommutative superalgebras. The formal duals of these are the affine super schemes. This we discuss in
In the same dual spirit, super vector bundles over affine super schemes are algebraically incarnated as (finitely generated projctive) modules over supercommutative superalgebras. This we discuss in
Next we introduce the concept of commutative monoids equipped with the structure of a commutative Hopf algebras and explain how these are formal duals to groups. Then we use this to motivate and explain the concept of (affine algebraic) supergroups as formal duals to commutative Hopf algebras internal to the tensor category of super vector spaces, namely supercommutative Hopf algebras:
Then we discuss how under this relationo, then linear representations of groups correspond to comodules over their formally dual commutative Hopf algebras, and we introduce the key class of categories of interest here: tensor-categories of representations of groups and of super-representations of super-groups:
All such categories of representations carry a fiber functor: the forgetful functor that sends any representation to its underlying representation space. Simple as this is, fiber functors turn out to be the key concept in representation theory. Notably, every abstractly defined super fiber functor gives rise to an affine algebraic supergroup, namely its automorphism group. We introduce the basics in
And in fact, under mild conditions this supergorup of automorphisms of the fiber functor of a tensor category is such that the tensor category is equivalently its category of representations. This statement of Tannaka duality for complex-linear tensor categories, due to Pierre Deligne gives superalgebra a general abstract raison d’être. We state the theorem and give some broad indication as to how the proof proceeds in the last sub-section
For $k$ a field, we write Vect${}_k$ for the category (this Def.) whose
objects are $k$-vector spaces;
morphisms are $k$-linear functions between these.
When the ground field $k$ 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).
Let $\mathcal{C}$ be a category (this Def.).
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 $V \oplus W$ for the direct sum of two objects of $\mathcal{C}$.
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.
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 $k$-linear category, but notice that conventions differ as to which extra properties beyond Vect-enrichment to require on a linear category:
For $k$ a field (or more generally just a commutative ring), call a category $\mathcal{C}$ a $k$-linear category if
it is an abelian category (def. );
its hom-sets have the structure of $k$-vector spaces (generally $k$-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 $k$-linear category is an abelian category with the additional structure of a Vect-enriched category (generally $k$Mod-enriched) such that the underlying Ab-enrichment according to def. is obtained from the $Vect$-enrichment under the forgetful functor $Vect \to Ab$.
A functor between $k$-linear categories is called a $k$-linear functor if its component functions on hom-sets are linear maps with respect to the given $k$-linear structure, hence if it is a Vect-enriched functor.
The category Vect${}_k$ of vector spaces (def. ) is a $k$-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,W$ two $k$-vector spaces, the vector space structure on the hom-set $Hom_{Vect}(V,W)$ of linear maps $\phi \colon V \to W$ is given by “pointwise” multiplication and addition of functions:
for all $c_1, c_2 \in k$ and $\phi_1, \phi_2 \in Hom_{Vect}(V,W)$.
Recall the basic construction of the tensor product of vector spaces:
Given two vector spaces over some field $k$, $V_1, V_2 \in Vect_k$, their tensor product of vector spaces is the vector space denoted
whose elements are equivalence classes of tuples of elements $(v_1,v_2)$ with $v_i \in V_i$, for the equivalence relation given by
More abstractly this means that the tensor product of vector spaces is the vector space characterized by the fact that
it receives a bilinear map
(out of the Cartesian product of the underlying sets)
any other bilinear map of the form
factors through the above bilinear map via a unique linear map
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 (this Def.):
A monoidal category is a category $\mathcal{C}$ equipped with
a functor
out of the product category of $\mathcal{C}$ with itself, called the tensor product,
an object
called the unit object or tensor unit,
called the associator,
called the left unitor, and a natural isomorphism
called the right unitor,
such that the following two kinds of diagrams commute, for all objects involved:
triangle identity:
the pentagon identity:
As expected, we have the following basic example:
(monoidal category of vector spaces)
For $k$ a field, the category Vect${}_k$ of $k$-vector spaces becomes a monoidal category (def. ) as follows
the abstract tensor product is the tensor product of vector spaces $\otimes_k$ from def. ;
the tensor unit is the field $k$ itself, regarded as a 1-dimensional vector space over itself;
the associator is the map that on representing tuples acts as
the left unitor is the map that on representing tuples is given by
and the right unitor is similarly given by
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.
(monoidal categories of graded vector spaces)
Let $G$ be a group (or in fact just a monoid/semi-group). A $G$-graded vector space $V$ is a direct sum of vector spaces labeled by the elements in $G$:
of $G$-graded vector spaces is a linear map that respects this direct sum structure, hence equivalently a direct sum of linear maps
for all $g \in G$, such that
This defines a category, denoted $Vect^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 $G$-grading which is obtained by multiplying degree labels in $G$:
The tensor unit for the tensor product is the ground field $k$, regarded as being in the degree of the neutral element $e \in G$
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, familar ones and more exotic ones. The following lemma and remark are two important such statements.
(Kelly 64)
Let $(\mathcal{C}, \otimes, 1)$ be a monoidal category, def. . Then the left and right unitors $\ell$ and $r$ satisfy the following conditions:
$\ell_1 = r_1 \;\colon\; 1 \otimes 1 \overset{\simeq}{\longrightarrow} 1$;
for all objects $x,y \in \mathcal{C}$ the following diagrams commutes:
and
For proof see at monoidal category this lemma and this lemma.
Just as for an associative algebra it is sufficient to demand $1 a = a$ and $a 1 = a$ and $(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 \otimes (Y \otimes Z)$ is actually equal to $(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 (this Def. and this Def.).
A braided monoidal category, is a monoidal category $\mathcal{C}$ (def. ) equipped with a natural isomorphism
(for all objects $x,y in \mathcal{C}$) called the braiding, such that the following two kinds of diagrams commute for all objects involved (“hexagon identities”):
and
where $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$.
A symmetric monoidal category is a braided monoidal category (def. ) for which the braiding
satisfies the condition:
for all objects $x, y$
In analogy to the coherence theorem for monoidal categories (remark ) there is a coherence theorem for symmetric monoidal categories (def. ), saying that every diagram built freely (see remark ) from associators, unitors and braidings such that both sides of the diagram correspond to the same permutation of objects, coincide.
Consider the simplest non-trivial special case of $G$-graded vector spaces from example , the case where $G = \mathbb{Z}/2$ is the cyclic group of order two.
A $\mathbb{Z}/2$-graded vector space is a direct sum of two vector spaces
where we think of $V_{even}$ as the summand that is graded by the neutral element in $\mathbb{Z}/2$, and of $V_{odd}$ as being the summand that is graded by the single non-trivial element.
A homomorphism of $\mathbb{Z}/2$-graded vector spaces
is a linear map of the underlying vector spaces that respects the grading, hence equivalently a pair of linear maps
between then summands in even degree and in odd degree, respectively:
The tensor product of $\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 $\mathbb{Z}/2$. Hence
and
As in example , this definition makes $\mathbb{Z}/2$ a monoidal category def. .
There are, up to braided monoidal equivalence of categories, precisely two choices for a symmetric braiding (def. )
on the monoidal category $(Vect_k^{\mathbb{Z}/2}, \otimes_k)$ of $\mathbb{Z}/2$-graded vector spaces from def. :
the trivial braiding which is the natural linear map given on tuples $(v_1,v_2)$ representing an element in $V_1 \otimes V_2$ (according to def. ) by
the super-braiding which is the natural linear function given on tuples $(v_1,v_2)$ of homogeneous degree (i.e. $v_i \in (V_i)_{\sigma_i} \hookrightarrow V_i$, for $\sigma_i \in \mathbb{Z}/2$) by
For $(\mathcal{C}, \otimes, 1)$ a monoidal category, write
for the full subcategory on those $L \in \mathcal{C}$ which are invertible objects under the tensor product, i.e. such that there is an object $L^{-1} \in \mathcal{C}$ with $L \otimes L^{-1} \simeq 1$ and $L^{-1} \otimes L \simeq 1$. Since the tensor unit is clearly in $Line(L)$ (with $1^{-1} \simeq 1$) and since with $L_1, L_2 \in Line(\mathcal{C}) \hookrightarrow \mathcal{C}$ also $L_1 \otimes L_2 \in Line(\mathcal{C})$ (with $(L_1 \otimes L_2)^{-1} \simeq L_2^{-1} \otimes L_1^{-1}$) the monoidal category structure on $\mathcal{C}$ restricts to $Line(\mathcal{C})$.
Accordingly any braiding on $(\mathcal{C}, \otimes,1)$ restricts to a braiding on $(Line(\mathcal{C}), \otimes, 1)$. Hence it is sufficient to show that there is an essentially unique non-trivial symmetric braiding on $(Line(\mathcal{C}), \otimes, 1)$, and that this is the restriction of a braiding on $(\mathcal{C}, \otimes, 1)$.
Now $(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
regarded as a pointed homotopy type. (See at looping and delooping).
The Grothendieck group of $(\mathcal{C}, \otimes, 1)$ is
the fundamental group of the delooping space.
Now a symmetric braiding on $Line(\mathcal{C})$ is precisely the structure that makes it a symmetric 2-group which is equivalently the structure of a second delooping $B^2 Line(\mathcal{C})$ (for the braiding) and then a third delooping $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^{\mathbb{Z}/2})$ has precisely two isomorphism classes of objects, namely the ground field $k$ itself, regarded as being in even degree and regarded as being in odd degree. We write $k^{1\vert 0}$ and $k^{0 \vert 1}$ for these, respectively. By the rules of the tensor product of graded vector spaces we have
and
In other words
Now under the above homotopical identification the non-trivial braiding is identified with the elements
Due to the symmetry condition (def. ) we have
which implies that
Therefore for classifying just the symmetric braidings, it is sufficient to restrict the hom-spaces in $Line(Vect^{\mathbb{Z}/2})$ from being either $k$ or empty, to hom-sets being $\mathbb{Z}/2 = \{+1-1\} \hookrightarrow k$ or empty. Write $\widetilde{Line}(Vect^{\mathbb{Z}/2})$ for the resulting 2-group.
In conclusion then the equivalence classes of possible k-invariants of $B^3 Line(Vect^{\mathbb{Z}/2})$, hence the possible symmetric braiding on $Line(Vect^{\mathbb{Z}/2})$ are in the degree-4 ordinary cohomology of the Eilenberg-MacLane space $K(\mathbb{Z}/2,3)$ with coefficients in $\mathbb{Z}/2$. One finds (…)
The symmetric monoidal category (def. )
whose underlying monoidal category is that of $\mathbb{Z}/2$-graded vector spaces (example );
whose braiding (def. ) is the unique non-trivial symmtric grading $\tau^{super}$ from prop. is called the category of super vector spaces
The non-full symmetric monoidal subcategory
of
(on the two objects $k^{1\vert 0}$ and $k^{0\vert 1}$ and with hom-sets restricted to $\{+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”)
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.
The following is evident but important
The canonical inclusion
of the category of vector spaces (def. ) into that of super vector spaces (def. ) given by regarding a vector space as a super-vector space concentrated in even degree, extends to a braided monoidal functor (def. ).
Given a symmetric monoidal category $\mathcal{C}$ with tensor product $\otimes$ (def. ) it is called a closed monoidal category if for each $Y \in \mathcal{C}$ the functor $Y \otimes(-)\simeq (-)\otimes Y$ has a right adjoint, denoted $hom(Y,-)$
hence if there are natural bijections
for all objects $X,Z \in \mathcal{C}$.
Since for the case that $X = 1$ is the tensor unit of $\mathcal{C}$ this means that
the object $hom(Y,Z) \in \mathcal{C}$ is an enhancement of the ordinary hom-set $Hom_{\mathcal{C}}(Y,Z)$ to an object in $\mathcal{C}$. Accordingly, it is also called the internal hom between $Y$ and $Z$.
In a closed monoidal category, the adjunction isomorphism between tensor product and internal hom even holds internally:
In a symmetric closed monoidal category (def. ) there are natural isomorphisms
whose image under $Hom_{\mathcal{C}}(1,-)$ are the defining natural bijections of def. .
Let $A \in \mathcal{C}$ be any object. By applying the defining natural bijections twice, there are composite natural bijections
Since this holds for all $A$, the Yoneda lemma (the fully faithfulness of the Yoneda embedding) says that there is an isomorphism $hom(X\otimes Y, Z) \simeq hom(X,hom(Y,Z))$. Moreover, by taking $A = 1$ in the above and using the left unitor isomorphisms $A \otimes (X \otimes Y) \simeq X \otimes Y$ and $A\otimes X \simeq X$ we get a commuting diagram
Let $(\mathcal{C},\otimes_{\mathcal{C}}, 1_{\mathcal{C}})$ and $(\mathcal{D},\otimes_{\mathcal{D}}, 1_{\mathcal{D}} )$ be two (pointed) topologically enriched monoidal categories (def. ). A lax monoidal functor between them is
a functor
a morphism
for all $x,y \in \mathcal{C}$
satisfying the following conditions:
(associativity) For all objects $x,y,z \in \mathcal{C}$ the following diagram commutes
where $a^{\mathcal{C}}$ and $a^{\mathcal{D}}$ denote the associators of the monoidal categories;
(unitality) For all $x \in \mathcal{C}$ the following diagrams commutes
and
where $\ell^{\mathcal{C}}$, $\ell^{\mathcal{D}}$, $r^{\mathcal{C}}$, $r^{\mathcal{D}}$ denote the left and right unitors of the two monoidal categories, respectively.
If $\epsilon$ and all $\mu_{x,y}$ are isomorphisms, then $F$ is called a strong monoidal functor.
If moreover $(\mathcal{C},\otimes_{\mathcal{C}}, 1_{\mathcal{C}})$ and $(\mathcal{D},\otimes_{\mathcal{D}}, 1_{\mathcal{D}} )$ are equipped with the structure of braided monoidal categories (def. ) with braidings $\tau^{\mathcal{C}}$ and $\tau^{\mathcal{D}}$, respectively, then the lax monoidal functor $F$ is called a braided monoidal functor if in addition the following diagram commutes for all objects $x,y \in \mathcal{C}$
A homomorphism $f\;\colon\; (F_1,\mu_1, \epsilon_1) \longrightarrow (F_2, \mu_2, \epsilon_2)$ between two (braided) lax monoidal functors is a monoidal natural transformation, in that it is a natural transformation $f_x \;\colon\; F_1(x) \longrightarrow F_2(x)$ of the underlying functors
compatible with the product and the unit in that the following diagrams commute for all objects $x,y \in \mathcal{C}$:
and
We write $MonFun(\mathcal{C},\mathcal{D})$ for the resulting category of lax monoidal functors between monoidal categories $\mathcal{C}$ and $\mathcal{D}$, similarly $BraidMonFun(\mathcal{C},\mathcal{D})$ for the category of braided monoidal functors between braided monoidal categories, and $SymMonFun(\mathcal{C},\mathcal{D})$ for the category of braided monoidal functors between symmetric monoidal categories.
In the literature the term “monoidal functor” often refers by default to what in def. is called a strong monoidal functor.
If $(\mathcal{C},\otimes_{\mathcal{C}}, 1_{\mathcal{C}})$ and $(\mathcal{D},\otimes_{\mathcal{D}}, 1_{\mathcal{D}} )$ are symmetric monoidal categories (def. ) then a braided monoidal functor (def. ) between them is often called a symmetric monoidal functor.
Let $\mathcal{A}$ be the symmetric monoidal category of $\mathbb{Z}/2$-graded vector spaces $Vect^{\mathbb{Z}/2}$ (example ) or of super vector spaces $sVect$ (example ). Then there is an evident forgetful functor
to the category of plain vector spaces, which forgets the grading.
In both cases this is a strong monoidal functor (def. ) For $\mathcal{A} = Vect^{\mathbb{Z}/2}$ it is also a braided monoidal functor, but for $\mathcal{A} = sVect$ it is not.
For $\mathcal{C} \overset{F}{\longrightarrow} \mathcal{D} \overset{G}{\longrightarrow} \mathcal{E}$ two composable lax monoidal functors (def. ) between monoidal categories, then their composite $F \circ G$ becomes a lax monoidal functor with structure morphisms
and
We now discuss one more extra property on monoidal categories
Let $(\mathcal{C},\otimes, 1)$ be a monoidal category (def. )
Then right duality between objects $A, A^\ast \in (\mathcal{C}, \otimes, 1)$
consists of
a morphism of the form
called the counit of the duality, or the evaluation map;
a morphism of the form
called the unit or coevaluation map
such that
(triangle identity) the following diagrams commute
and
where $\alpha$ denotes the associator of the monoidal category $\mathcal{C}$, and $\ell$ and $r$ denote the left and right unitors, respectively.
We say that $A^\ast$ is the right dual object to $A$. Similarly a left dual for $A$ is an object $A^\ast$ and the structure of $A$ as a right dual of $A^\ast$. If $(\mathcal{C}, \otimes, 1)$ is equipped with the structure of a braided monoidal category, then every right dual is canonically also a left dual.
If in a monoidal category $(\mathcal{C}, \otimes, 1)$ every object has a left and right dual, then it is called a rigid monoidal category.
Let
be the full subcategory of that of all vector spaces (over the given ground field $k$) on those which are finite dimensional vector spaces.
Clearly the tensor product of vector spaces (def. ) restricts to those of finite dimension, and so there is the induced monoidal category structure from example
This is a a rigid monoidal category (def. ) in that for $V$ any finite dimensional vector spaces, its ordinary linear dual vector space
is a dual object in the abstract sense of def. .
Here the evaluation map is literally the defining evaluation map of linear duals (whence the name of the abstract concept)
The co-evaluation map
is the linear map that sends $1 \in k$ to $id_V \in End(V) \simeq V \otimes_k V^\ast$ under the canonical identification of $V \otimes_k V^\ast$ with the linear space of linear endomorphisms of $V$.
If we choose a linear basis $\{e_i\}$ for $V$ and a corresponding dual bases $\{e^i\}$ of $V^\ast$, then the evaluation map is given by
(with the Kronecker delta on the right) and the co-evaluation map is given by
In this perspective the triangle identities are the statements that
and
Physicists will recognize this as just the basic rules for tensor calculus in index-notation.
Similarly, the full subcategory
of the symmetric monoidal category of super vector spaces from example , on those of finite total dimension is a rigid monoidal category.
Here we say that a super vector space $V$ has dimension
if its even part has dimension $p$ and its odd part has dimension $q$:
The dual object of such a finite dimensional super vector space is just the linear dual vector space as in example , equipped with the evident grading:
Every rigid (def. \refDualizableObject) symmetric monoidal category (def. ) is a closed monoidal category (def. ) with internal hom between two objects given by the tensor product of the codomain object with the dual object of the domain object
(The closed monoidal categories arising this way are called compact closed categories).
The natural isomorphism that characterizes the internal hom $[A,-]$ as being right adjoint to the tensor product $A \otimes (-)$ is given by the adjunction natural isomorphism that characterizes dual objects:
There are many monoidal categories whose “tensor product” operation is quite unlike the tensor product of vector spaces. Hence one says tensor category for monoidal categories that are also $k$-linear categories and such that the tensor product functor suitably reflects that linear structure. There are slight variants of what people mean by a “tensor category”. Here we mean precisely the following:
For $k$ a field, then a $k$-tensor category $\mathcal{A}$ is an
k-linear (def. )
rigid (def. )
symmetric (def. )
monoidal category (def. )
such that
the tensor product functor $\otimes \colon \mathcal{A} \times \mathcal{A} \longrightarrow \mathcal{A}$ is in both arguments separately
$End(1) \simeq k$ (the endomorphism ring of the tensor unit coincides with $k$).
In this form this is considered in (Deligne 02, 0.1).
We consider now various types of size constraints on tensor categories. The Tannaka reconstruction theorem (theorem below) only assumes one of them (subexponential growth, def. ), but the others appear in the course of the proof of the theorem.
Recall the concept of length of an object in an abelian category, a generalization of the concept of dimension of a free module/vector space.
Let $\mathcal{C}$ be an abelian category. Given an object $X \in \mathcal{C}$, then a Jordan-Hölder sequence or composition series for $X$ is a finite filtration, i.e. a finite sequence of subobject unclusions into $X$, starting with the zero objects
such that at each stage $i$ the quotient $X_i/X_{i-1}$ (i.e. the coimage of the monomorphism $X_{i-1} \hookrightarrow X_i$) is a simple object of $\mathcal{C}$.
If a Jordan-Hölder sequence for $X$ exists at all, then $X$ is said to be of finite length.
(e.g. EGNO 15, def. 1.5.3)
If $X \in \mathcal{C}$ has finite length according to def. , then in fact all Jordan-Hölder sequences for $X$ have the same length $n \in \mathbb{N}$.
(e.g. EGNO 15, theorem 1.5.4)
If an object $X \in \mathcal{C}$ has finite length according to def. , then the length $n \in \mathbb{N}$ of any of its Jordan-Hölder sequences, which is uniquely defined according to prop. , is called the length of the object $X$.
(e.g. EGNO 15, def. 1.5.5)
A $k$-tensor category (def. ) is called finite (over $k$) if
There are only finitely many simple objects in $C$ (hence it is a finite abelian category), and each of them admits a projective presentation.
Each object $a$ is of finite length;
For any two objects $a$, $b$ of $C$, the hom-object ($k$-vector space) $\hom(a, b)$ has finite dimension;
The category of finite dimensional vector spaces over $k$ is a finite tensor category according to def. . It has a single isomorphism class of simple objects, namely $k$ itself.
Also category of finite dimensional super vector spaces is a finite tensor category. This has two isomorphism classes of simple objects, $k = k^{1 \vert 0}$ regarded in even degree, and $k^{0\vert 1}$ regarded in odd degree.
The following finiteness condition is useful in the proof of the main theorem, but not necessary for its statement (according to Deligne 02, bottom of p. 3):
A $k$-tensor category (def. ) is called finitely $\otimes$-generated if there exists an object $E \in \mathcal{A}$ such that every other object $X \in \mathcal{A}$ is a subquotient of a direct sum of tensor products $E^{\otimes^n}$, for some $n \in \mathbb{N}$:
Such $E$ is called an $\otimes$-generator for $\mathcal{A}$.
The following is the main size constraint needed in the theorem. Notice that it is a “mild” constraint at least in the intuitive sense that it states just a minimum assumption on the expected behaviour of dimension (length) under tensor powers.
A tensor category $\mathcal{A}$ (def. ) is said to have subexponential growth* if the length of tensor exponentials is no larger than the exponential of the length: for every object $X$ there exists a natural number $N_X$ such that $X$ is of length at most $N_X$, and that also all tensor product powers of $X$ are of length bounded by the corresponding powers of $N_X$:
(e.g. EGNO 15, def. 9.11.1)
The evident example is the following:
The tensor category $k$-FinVect of finite dimensional vector spaces from example has subexponential growth (def. ), for $N_X = dim(X)$ the dimension of a vector space $X$, we have
While many linear monoidal categories of interest do not satisfy finiteness or rigidity (def. ), often they are such that all their objects are (formal) inductive limits over “small” objects that do form a rigid monoidal category.
Let $\mathcal{A}$ a tensor category (def. ), such that
all hom spaces are of finite dimension over $k$
then for its category of ind-objects $Ind(\mathcal{A})$ the following holds
$Ind(\mathcal{A})$ is an abelian category
$\mathcal{A} \hookrightarrow Ind(\mathcal{A})$ is a full subcategory
which stable under forming subquotients
such that that every object $X \in Ind(\mathcal{A})$ is the filtered colimit of those of its subobjects that are in $\mathcal{A}$;
$\Ind(\mathcal{A})$ inherits a tensor product by
where $X_i,X_j \in \mathcal{A}$, by the above.
$Ind(\mathcal{A})$ satisfies all the axioms of def. except that it fails to be essentially small and rigid category. In detail
The category of all vector spaces is the category of ind-objects of the tensor category of finite dimensional vector spaces (example ):
Similarly the category of all super vector spaces (def. ) is the category of ind-objects of that of finite-dimensional super vector spaces (example )
The key idea of supercommutative superalgebra is that it is nothing but plain commutative algebra but “internalized” not in ordinary vector spaces, but in super vector spaces. This is made precise by def. and def. below.
The key idea then of supergeometry is to define super-spaces to be spaces whose algebras of functions are supercommutative superalgebras. This is not the case for any “ordinary” space such as a topological space or a smooth manifold. But these spaces may be characterized dually via their algebras of functions, and hence it makes sense to generalize the latter.
For smooth manifolds the duality statement is the following:
(embedding of smooth manifolds into formal duals of R-algebras)
The functor
which sends a smooth manifold (finite dimensional, paracompact, second countable) to (the formal dual of) its $\mathbb{R}$-algebra of smooth functions is a full and faithful functor.
In other words, for two smooth manifolds $X,Y$ there is a natural bijection between the smooth functions $X \to Y$ and the $\mathbb{R}$-algebra homomorphisms $C^\infty(X)\leftarrow C^\infty(Y)$.
A proof is for instance in (Kolar-Slovak-Michor 93, lemma 35.8, corollaries 35.9, 35.10).
This says that we may identify smooth manifolds as the “formal duals” of certain associative algebras, namely those in the image of the above full embedding. Accordingly then, any larger class of associative algebras than this may be thought of as the class of formal duals to a generalized kind of manifold, defined thereby. Given any associative algebra $A$, then we may think of it as representing a space $Spec(A)$ which is such that it has $A$ as its algebra of functions.
This duality between certain spaces and their algebras of functions is profound. In physics it has always been used implicitly, in fact it was so ingrained into theoretical physics that it took much effort to abstract away from coordinate functions to discover global Riemannian geometry in the guise of “general relativity”. As mathematics, an early prominent duality theorem is Gelfand duality (between topological spaces and C*-algebras) which served as motivation for the very definition of algebraic geometry, where affine schemes are nothing but the formal duals of commutative rings/commutative algebras. Passing to non-commutative algebras here yields non-commutative geometry, and so forth. In great generality this duality between spaces and their function algebras appears as “Isbell duality” between presheaves and copresheaves.
In supergeometry we are concerned with spaces that are formally dual to associative algebras which are “very mildly” non-commutative, namely supercommutative superalgebras. These are in fact commutative algebras when viewed internal to super vector spaces (def. below). The corresponding formal dual spaces are, depending on some technical details, super schemes or supermanifolds. In the physics literature, such spaces are usually just called superspaces.
We now make this precise.
Given a monoidal category $(\mathcal{C}, \otimes, 1)$ (def ), then a monoid internal to $(\mathcal{C}, \otimes, 1)$ is
an object $A \in \mathcal{C}$;
a morphism $e \;\colon\; 1 \longrightarrow A$ (called the unit)
a morphism $\mu \;\colon\; A \otimes A \longrightarrow A$ (called the product);
such that
(associativity) the following diagram commutes
where $a$ is the associator isomorphism of $\mathcal{C}$;
(unitality) the following diagram commutes:
where $\ell$ and $r$ are the left and right unitor isomorphisms of $\mathcal{C}$.
Moreover, if $(\mathcal{C}, \otimes , 1)$ has the structure of a symmetric monoidal category (def. ) $(\mathcal{C}, \otimes, 1, \tau)$ with symmetric braiding $\tau$, then a monoid $(A,\mu, e)$ as above is called a commutative monoid in $(\mathcal{C}, \otimes, 1, B)$ if in addition
(commutativity) the following diagram commutes
A homomorphism of monoids $(A_1, \mu_1, e_1)\longrightarrow (A_2, \mu_2, f_2)$ is a morphism
in $\mathcal{C}$, such that the following two diagrams commute
and
Write $Mon(\mathcal{C}, \otimes,1)$ for the category of monoids in $\mathcal{C}$, and $CMon(\mathcal{C}, \otimes, 1)$ for its subcategory of commutative monoids.
A monoid object according to def. in the monoidal category of vector spaces from example is equivalently an ordinary associative algebra over the given ground field. Similarly a commutative monoid in $Vect$ is an ordinary commutative algebra. Moreover, in both cases the homomorphisms of monoids agree with usual algebra homomorphisms. Hence there are equivalences of categories.
For $G$ a group, then a $G$-graded associative algebra is a monoid object according to def. in the monoidal category of $G$-graded vector spaces from example .
This means that a $G$-graded algebra is
a $G$-graded vector space $A = \underset{g\in G}{\oplus} A_g$
an associative algebra structure on the underlying vector space $A$
such that for two elements of homogeneous degree, i.e. $a_1 \in A_{g_1} \hookrightarrow A$ and $a_2 \in A_{g_2} \hookrightarrow A$ then their product is in degree $g_1 g_2$
Example motivates the following definition:
(supercommutative superalgebra)
A supercommutative superalgebra is a commutative monoid (def. ) in the symmetric monoidal category of super vector spaces (def. ). We write $sCAlg_k$ for the category of supercommutative superalgebras with the induced homomorphisms between them:
Unwinding what this means, then a supercommutative superalgebra $A$ is
In view of def. we might define a not-necessarily supercommutative superalgebra to be a monoid (not necessarily commutative) in sVect, and write
However, since the definition of not-necessarily commutative monoids (def. ) does not invoke the braiding of the ambient tensor category, and since super vector spaces differ from $\mathbb{Z}/2$-graded vector spaces only via their braiding (example ), this yields equivalently just the $\mathbb{Z}/2$-graded algebras from example :
Hence the heart of superalgebra is super-commutativity.
The supercommutative superalgebra which is freely generated over $k$ from $n$ generators $\{\theta_i\}_{i = 1}^n$ in odd degree is the quotient of the tensor algebra $T^\bullet \mathbb{R}^n$, with the generators $\theta_i$ in odd degree, by the ideal generated by the relations
for all $i,j \in \{1, \cdots, n\}$.
This is also called a Grassmann algebra, in honor of (Grassmann 1844), who introduced and studied the super-sign rule in def. a century ahead of his time.
We also denote this algebra by
The following is an elementary but fundamental fact about the relation between commutative algebra and supercommutative superalgebra. It is implicit in much of the literature, but maybe the only place where it has been made explicit before is (Carchedi-Roytenberg 12, example 3.18).
There is a full subcategory inclusion
of commutative algebras (example ) into supercommutative superalgebras (def. ) induced via prop. from the full inclusion
of vector spaces (def. ) into super vector spaces (def. ), which is a braided monoidal functor by prop. . Hence this regards a commutative algebra as a superalgebra concentrated in even degree.
This inclusion functor has both a left adjoint functor and a right adjoint functor , (an adjoint triple exibiting a reflective subcategory and coreflective subcategory inclusion, an “adjoint cylinder”):
Here
the right adjoint $(-)_{even}$ sends a supercommutative superalgebra to its even part $A \mapsto A_{even}$;
the left adjoint $(-)/(-)_{odd}$ sends a supercommutative superalgebra to the quotient by the ideal which is generated by its odd part $A \mapsto A/(A_{odd})$ (hence it sets all elements to zero which may be written as a product such that at least one factor is odd-graded).
The full inclusion $i$ is evident. To see the adjunctions observe their characteristic natural bijections between hom-sets: If $A_{ordinary}$ is an ordinary commutative algebra regarded as a superalgebra $i(A_{ordinary})$ concentrated in even degree, and if $B$ is any superalgebra,
then every super-algebra homomorphism of the form $A_{ordinary} \to B$ must factor through $B_{even}$, simply because super-algebra homomorpism by definition respect the $\mathbb{Z}/2$-grading. This gives a natural bijection
every super-algebra homomorphism of the form $B \to i(A_{ordinary})$ must send every odd element of $B$ to 0, again because homomorphisms have to respect the $\mathbb{Z}/2$-grading, and since homomorphisms of course also preserve products, this means that the entire ideal generated by $B_{odd}$ must be sent to zero, hence the homomorphism must factor through the projection $B \to B/B_{odd}$, which gives a natural bijection
As an example of the general principle of internalizing ordinary algebra in super vector spaces in order to obtain the analogous concept in superalgebra, we consider the concepts of super Lie algebras and of super L-∞ algebras (super Lie n-algebras for arbitrary $n$).
A super Lie algebra is a Lie algebra object internal to the symmetric monoidal category $sVect = (Vect^{\mathbb{Z}/2}, \otimes_k, \tau^{super} )$ of super vector spaces (def. ). Hence this is
a super vector space $\mathfrak{g}$;
a homomorphism
of super vector spaces (the super Lie bracket)
such that
the bracket is skew-symmetric in that the following diagram commutes
(here $\tau^{super}$ is the braiding natural isomorphism in the category of super vector spaces)
the Jacobi identity holds in that the following diagram commutes
Externally this means the following:
A super Lie algebra according to def. is equivalently
a $\mathbb{Z}/2$-graded vector space $\mathfrak{g}_{even} \oplus \mathfrak{g}_{odd}$;
equipped with a bilinear map (the super Lie bracket)
which is graded skew-symmetric: for $x,y \in \mathfrak{g}$ two elements of homogeneous degree $\sigma_x$, $\sigma_y$, respectively, then
that satisfies the $\mathbb{Z}/2$-graded Jacobi identity in that for any three elements $x,y,z \in \mathfrak{g}$ of homogeneous super-degree $\sigma_x,\sigma_y,\sigma_z\in \mathbb{Z}_2$ then
A homomorphism of super Lie algebras is a homomorphisms of the underlying super vector spaces which preserves the Lie bracket. We write
for the resulting category of super Lie algebras.
For $\mathfrak{g}$ a super Lie algebra of finite dimension, then its Chevalley-Eilenberg algebra $CE(\mathfrak{g})$ is the super-Grassmann algebra on the dual super vector space
equipped with a differential $d_{\mathfrak{g}}$ that on generators is the linear dual of the super Lie bracket
and which is extended to $\wedge^\bullet \mathfrak{g}^\ast$ by the graded Leibniz rule (i.e. as a graded derivation).
$\,$
Here all elements are $(\mathbb{Z} \times \mathbb{Z}/2)$-bigraded, the first being the cohomological grading $n$ in $\wedge^\n \mathfrak{g}^\ast$, the second being the super-grading $\sigma$ (even/odd).
For $\alpha_i \in CE(\mathfrak{g})$ two elements of homogeneous bi-degree $(n_i, \sigma_i)$, respectively, the sign rule is
(See at signs in supergeometry for discussion of this sign rule and of an alternative sign rule that is also in use. )
We may think of $CE(\mathfrak{g})$ equivalently as the dg-algebra of left-invariant super differential forms on the corresponding simply connected super Lie group .
The concept of Chevalley-Eilenberg algebras is traditionally introduced as a means to define Lie algebra cohomology:
Given a super Lie algebra $\mathfrak{g}$, then
an $n$-cocycle on $\mathfrak{g}$ (with coefficients in $\mathbb{R}$) is an element of degree $(n,even)$ in its Chevalley-Eilenberg algebra $CE(\mathfrak{g})$ (def. ) which is $d_{\mathbb{g}}$ closed.
the cocycle is non-trivial if it is not $d_{\mathfrak{g}}$-exact
hene the super-Lie algebra cohomology of $\mathfrak{g}$ (with coefficients in $\mathbb{R}$) is the cochain cohomology of its Chevalley-Eilenberg algebra
The following says that the Chevalley-Eilenberg algebra is an equivalent incarnation of the super Lie algebra:
The functor
that sends a finite dimensional super Lie algebra $\mathfrak{g}$ to its Chevalley-Eilenberg algebra $CE(\mathfrak{g})$ (def. ) is a fully faithful functor which hence exibits super Lie algebras as a full subcategory of the opposite category of differential-graded algebras.
This makes it immediate how to generalize to super L-infinity algebras:
A super L-∞ algebra is an L-∞ algebra internal to the symmetric monoidal category of super vector spaces (def. ).
Explicitly this means the following:
(super graded signature of a permutation)
Let $V$ be a $\mathbb{Z}$-graded super vector space, hence a $\mathbb{Z} \times (\mathbb{Z}/2)$-bigraded vector space.
For $n \in \mathbb{N}$ let
be an n-tuple of elements of $V$ of homogeneous degree $(n_i, s_i) \in \mathbb{Z} \times \mathbb{Z}/2$, i.e. such that $v_i \in V_{(n_i,s_i)}$.
For $\sigma$ a permutation of $n$ elements, write $(-1)^{\vert \sigma \vert}$ for the signature of the permutation, which is by definition equal to $(-1)^k$ if $\sigma$ is the composite of $k \in \mathbb{N}$ permutations that each exchange precisely one pair of neighboring elements.
We say that the super $\mathbf{v}$-graded signature of $\sigma$
is the product of the signature of the permutation $(-1)^{\vert \sigma \vert}$ with a factor of
for each interchange of neighbours $(\cdots v_i,v_j, \cdots )$ to $(\cdots v_j,v_i, \cdots )$ involved in the decomposition of the permuation as a sequence of swapping neighbour pairs (see at signs in supergeometry for discussion of this combination of super-grading and homological grading).
Now def. is equivalent to the following def. . This is just the definiton for L-infinity algebras, with the pertinent sign $\chi$ now given by def. .
An super L-∞ algebra is
a $\mathbb{Z} \times (\mathbb{Z}/2)$-graded vector space $\mathfrak{g}$;
for each $n \in \mathbb{N}$ a multilinear map, called the $n$-ary bracket, of the form
and of degree $n-2$
such that the following conditions hold:
(super graded skew symmetry) each $l_n$ is graded antisymmetric, in that for every permutation $\sigma$ of $n$ elements and for every n-tuple $(v_1, \cdots, v_n)$ of homogeneously graded elements $v_i \in \mathfrak{g}_{\vert v_i \vert}$ then
where $\chi(\sigma,v_1,\cdots, v_n)$ is the super $(v_1,\cdots,v_n)$-graded signature of the permuation $\sigma$, according to def. ;
(strong homotopy Jacobi identity) for all $n \in \mathbb{N}$, and for all (n+1)-tuples $(v_1, \cdots, v_{n+1})$ of homogeneously graded elements $v_i \in \mathfrak{g}_{\vert v_i \vert}$ the followig equation holds
where the inner sum runs over all $(i,j)$-unshuffles $\sigma$ and where $\chi$ is the super graded signature sign from def. .
A strict homomorphism of super $L_\infty$-algebras
is a linear map that preserves the bidegree and all the brackets, in an evident sens.
A strong homotopy homomorphism (“sh map”) of super $L_\infty$-algebras is something weaker than that, best defined in formal duals, below in def. .
A super $L_\infty$ algebra $\mathfrak{g}$ is of finite type if the underlying $\mathbb{Z} \times (\mathbb{Z}/2)$-graded vector space is degreewise of finite dimension.
If $\mathfrak{g}$ is of finite type, then its Chevalley-Eilenberg algebra $CE(\mathfrak{g})$ is the dg-algebra whose underlying graded algebra is the super-Grassmann algebra
of the graded degreewise dual vector space $\mathfrak{g}^\ast$, equipped with the differential which on generators is the sum of the dual linear maps of the $n$-ary brackets:
and extended to all of $\wedge^\bullet \mathfrak{g}^\ast$ as a super-graded derivation of degree $(1,even)$.
Notice that here the signs in supergeometry are such that for $\alpha_i \in \mathfrak{g}^\ast_{(n_i,s_i)}$ elements of homogenous bidegree, then
and
(see at signs in supergeometry for more on this).
A strong homotopy homomorphism (“sh-map”) between super $L_\infty$-algbras of finite type
is defined to be a homomorphism of dg-algebras between their Chevalley-Eilenberg algebras going the other way:
(here $f^\ast$ is the primitive concept, and $f$ is defined as the formal dual of $f$). Hence the category of super $L_\infty$-algebras of finite type is the full subcategory
of the opposite category of dg-algebras on those that are CE-algebras as above.
Finally, the cochain cohomology of the Chevalley-Eilenberg algebra $CE(\mathfrak{g})$ of a super $L_\infty$ algebra of finite type is its L-∞ algebra cohomology with coefficients in $\mathbb{R}$:
In their formal dual incarnations as super-graded commutative dg-algebras, i.e. super Chevalley-Eilenberg algebras (def. ), super L-∞ algebras of finite type had secretly been introduced within the supergravity literature already in D’Auria-Fré-Regge 80 and explicitly in van Nieuwenhuizen 82 and hence a whole decade before mathematicans considered even plain (non-super) L-∞ algebras (in Lada-Stasheff 92).
The concept was picked up in the D'Auria-Fré formulation of supergravity (D’Auria-Fré 82) and eventually came to be referred to as “FDA”s (short for “free differential algebra”) in the supergravity literature, where in rational homotopy theory one says “semifree dga” or “quasifree dga”, since these dg-algebras are crucially not required to be free as differential algebras). (If they are, then they are Weil algebras).
The relation between super $L_\infty$-algebras and the “FDA”s of the supergravity literature is made explicit in (FSS 13).
It may happen that the $\mathbb{Z}/2$-grading of a supercommutative superalgebra lifts to a finer grading with respect to some abelian group $A$, through a group homomorphism $A \to \mathbb{Z}/2$. The most important special case of this is the lift to $\mathbb{Z}$-grading through the mod-2-reduction $\mathbb{Z} \stackrel{mod\,2}{\longrightarrow}\mathbb{Z}/2$. We discuss how the resulting $\mathbb{Z}$-graded-commutative algebra is related to $\mathbb{Z}/2$-graded-commutative algebra, i.e. supercommutative superalgebra.
This relation is particularly interesting since there is a natural source of $\mathbb{Z}$-graded-commutative algebra: the commutative monoids in homological algebra (called dgca-s) and more generally in stable homotopy theory (called homotopy commutative ring spectra) have shadows on chain homology/homotopy groups which are $\mathbb{Z}$-graded-commutative algebras.
Write
for the symmetric monoidal category whose underlying monoidal category is that of $\mathbb{Z}$-graded vector spaces (example ) (for $\mathbb{Z} \coloneqq (\mathbb{Z}, +)$ the additive group of integers) equipped with the symmetric braiding $\tau^{super}$ which is that of the underlying super vector space (def. ) under the mod-2 reduction of grading $\mathbb{Z} \stackrel{mod\, 2}{\longrightarrow}\mathbb{Z}/2$.
This means that for $V,W \in Vect^{\mathbb{Z}}$ two $\mathbb{Z}$-graded vector spaces then
is the linear map given on representatives elements $v \in V_{deg(v)} \hookrightarrow V$ and $w \in W_{deg(w)} \hookrightarrow W$ of homogeneous degree by
Beware that there is also the concept of $\mathbb{Z}$-graded objects internal to the category of super vector spaces. This is not equivalent to the concept in def. .
The category of commutative monoids (def. ) in the category of $\mathbb{Z}$-graded super vector spaces in the sense of def.
is equivalently the full subcategory of associative algebras over $\mathbb{R}$ on those algebras which are supercommutative superalgebras (def. ) whose $\mathbb{Z}/2$-grading is lifted to a $\mathbb{Z}$-grading through $\mathbb{Z} \overset{mod\,2 }{\longrightarrow} \mathbb{Z}/2$. Equivalently these are the $\mathbb{Z}$-graded algebras over $\mathbb{R}$ such that any two elements $a,b$ of homogeneous degree $deg(a), deg(b) \in \mathbb{Z}$ the product satisfies
These are often called $\mathbb{Z}$-graded commutative algebras.
Of course analogous definitions apply for the ground field $k$ replaced by any ground ring.
One reason why example is of interest is that commutative algebras in homological algebra and in stable homotopy theory give examples:
The category of chain complexes $Ch_\bullet(k)$ becomes a closed symmetric monoidal category (def. , def. ) with tensor product of chain complexes given degreewise by the tensor product of underlying $\mathbb{Z}$-graded vector spaces (example ) and with differential given on elements in homogeneous degree by
See at the chapter on homotopy types the section Categories of chain complexes.
A differential graded-commutative algebra is a commutative monoid in $Ch(k)_\bullet$ (def. ).
Under passing to chain homology, a differential graded-commutative algebra goes to a $\mathbb{Z}$-graded commutative algebra in the sense of example :
Given a homotopy commutative ring spectrum $E$ (i.e., via the Brown representability theorem, a multiplicative generalized cohomology theory), then its stable homotopy groups $\pi_\bullet(E)$ inherit the structure of a $\mathbb{Z}$-graded super-commutative ring as in example .
See at Introduction to Stable homotopy theory in the section 1-2 Homotopy commutative ring spectra this proposition.
The following relation between $\mathbb{Z}$-grading and $\mathbb{Z}/2$-grading is elementary but important. It was highlighted in Rezk 09, section 2:
Write
for the $\mathbb{Z}$-graded-commutative algebra (example ) which is freely generated from a single invertible generator $\beta$ in degree 2:
Then there are strong monoidal functors
which exhibit an equivalence of categories between its categories of modules (def. ) and the category of super vector spaces (def. ).
Here the functor $(-)|_{0,1}$ sends a $\mathbb{Z}$-graded vector space $V = \underset{n \in \mathbb{Z}}{\oplus} V_n$ to the $\mathbb{Z}/2$-graded vector space $V_0 \oplus V_1$.
It is clear that the functor $(-)|_{0,1}$ is essentially surjective. Hence we need to see that it is fully faithful.
Since $\beta$ is multiplicatively invertible, by definition, the module-property implies that for any $N \in k[\beta,\beta^{-1}]Mod$ then the action by $\beta$ and $\beta^{-1}$ establish linear isomorphisms of the form
for all $n \in \mathbb{N}$. Since morphisms $\phi \colon N_1 \to N_2$ in $k[\beta, \beta^{-1}] Mod$ respect the multiplication by $\beta$, they are uniquely determined by their components $\phi_0$ and $\phi_1$, hence by their image $\pho_{0,1}$ under the given functor, and every choice of components $\phi_0$ and $\phi_1$ extends to a mophism $\phi$. Hence $(-)|_{0,1}$ is fully faithful.
This implies that, conversely, plain supercommutative superalgebras arise as $\mathbb{Z}$-graded supercommutative superalgebra with extra structure:
Write again
for the free $\mathbb{Z}$-graded supercommutative superalgebra on a single invertible generator $\beta$ of even degree from prop. .
Then there is an equivalence of categories between $\mathbb{R}[\beta,\beta^{-1}]$-algebras (def. ) (i.e. objects $A$ of $sCAlg^{\mathbb{Z}}_{\mathbb{R}}$ equipped with a homomorphism $\mathbb{R}[\beta, \beta^{-1}] \to A$, by prop. ) and plain supercommutative superalgebras (def. )
As before, all these considerations of course work also for $\mathbb{R}$ replaced by any other ground ring.
Let $E$ be an even 2-periodic E-infinity ring, such as MP, KU or the spectrum underlying any elliptic cohomology theory or Morava E-theory. Then its $\mathbb{Z}$-graded-commutative ring of stable homotopy groups according to example is of the form
with $\beta$ an invertible generator in degree 2 (the complex orientation).
Accordingly, for $A$ an E-infinity algebra over $E$, hence an E-infinity ring equipped with an $E_\infty$-homomorphism $E \to A$, then its underlying $\mathbb{Z}$-graded commutative algebra $\pi_\bullet(E)$ (according to example ) is an algebra over $\pi_0(E)[\beta, \beta^{-1}]$. Hence via prop. $\pi_\bullet(A)$ is canonically identified with a supercommutative superalgebra over $\pi_0(E)[\beta, \beta^{-1}]$.
This is amplified in Rezk 09, section 2. See at spectral super-scheme for more.
Beware that for this equivalence of categories in prop. the action of the element $\beta$ is crucual. The following proposition shows that it is not sufficient to just consider 2-periodically $\mathbb{Z}$-graded algebras:
There is a pair of adjoint functors
between the categories of supercommutative superalgebras (def. ) and that of $\mathbb{Z}$-graded supercommutative superalgebras according to def. , where
the left adjoint simply forgets the lift to a $\mathbb{Z}$-grading,
the right adjoint sends a supercommutative superalgebra $A = (A_{even} \oplus A_{odd}, \cdot)$ to the periodically $\mathbb{Z}$-graded algebra $A_{per}$ with
whose product is elementwise that of $A$, under these identifications;
Here $per$ is a faithful functor, but not a full functor.
It is immediate to check the natural bijection between hom sets that characterizes the adjunction:
For $A \in sCAlg^{\mathbb{Z}}_{\mathbb{R}}$ and $B \in sCAlg_{\mathbb{R}}$ then a morphism
in $sCAlg^{\mathbb{Z}}_{\mathbb{R}}$
is a homomorphism of the underlying $\mathbb{R}$-algebras subject to the constraint that for all $n \in \mathbb{Z}$ then
This constraint is equivalent to
which in turn is equivalently the constraint on an algebra homomorphism to constitute a morphism of the form
This establishes the adjunction.
It is immediate to see by direct inspection that $per$ is a faithful functor. More abstractly, from the above one sees that the counit of the adjunction is on a superalgebra $A$ given by the morphism
which is componentwise the identity. This is clearly an epimorphism, but not a monomorphism, hence not an isomorphism. By general properties of adjoint functors (this prop.), this means that $R$ is a faithful functor but not a full functor.
It is useful to make explicit the following formally dual perspective on supercommutative superalgebras:
For $\mathcal{C}$ a symmetric monoidal category, then we write
for the opposite category of the category of commutative monoids in $\mathcal{C}$, according to def. .
For $R \in CMon(\mathcal{C})$ we write
for the same object, regarded in the opposite category. We also call this the affine scheme of $A$. Conversely, for $X \in Aff(\mathcal{C})$, we write
for the same object, regarded in the category of commutative monoids. We also call this the algebra of functions on $X$.
For the special case that $\mathal{C} =$ sVect (def. ) in def. , then we say that the objects in
are affine super schemes over $k$.
For $A \in CAlg_{\mathbb{R}}$ an ordinary commutative algebra over $\mathbb{R}$, then of course this becomes a supercommutative superalgebra by regarding it as being concentrated in even degrees. Accordingly, via def. , ordinary affine schemes fully embed into affine super schemes (def. )
In particular for $\mathbb{R}^p$ an ordinary Cartesian space, this becomes an affine superscheme in even degree, under the above embedding. As such, it is usually written
The formal dual space, according to def. (example ) to a Grassmann algebra $\wedge^\bullet_{\mathbb{R}}(\mathbb{R}^q)$ (example ) is to be thought of as a space which is “so tiny” that the coefficients of the Taylor expansion of any real-valued function on it become “so very small” as to be actually equal to zero, at least after the $q$-th power.
For instance for $q = 2$ then a general element of $\wedge^\bullet_{\mathbb{R}}(\mathbb{R}^q)$ is of the form
for $a_1,a_2, a_{12} \in \mathbb{R}$, to be compared with the Taylor expansion of a smooth function $g \colon \mathbb{R}^2 \to \mathbb{R}$, which is of the form
Therefore the formal dual space to a Grassmann algebra behaves like an infinitesimal neighbourhood of a point. Hence these are also called superpoints and one writes
Combining example with example , and using prop. , we obtain the affine super schemes
These may be called the super Cartesian spaces. The play the same role in the theory of supermanifolds as the ordinary Cartesian spaces do for smooth manifolds. See at geometry of physics – supergeometry for more on this.
Given a supercommutative superalgebra $A$ (def. ), its parity involution is the algebra automorphism
which on homogeneously graded elements $a$ of degree $deg(a) \in \{even,odd\} = \mathbb{Z}/2\mathbb{Z}$ is multiplication by the degree
(e.g. arXiv:1303.1916, 7.5)
Dually, via def. , this means that every affine super scheme has a canonical involution.
Here are more general and more abstract examples of commutative monoids, which will be useful to make explicit:
Given a monoidal category $(\mathcal{C}, \otimes, 1)$ (def. ), then the tensor unit $1$ is a monoid in $\mathcal{C}$ (def. ) with product given by either the left or right unitor
By lemma , these two morphisms coincide and define an associative product with unit the identity $id \colon 1 \to 1$.
If $(\mathcal{C}, \otimes , 1)$ is a symmetric monoidal category (def. ), then this monoid is a commutative monoid.
Given a symmetric monoidal category $(\mathcal{C}, \otimes, 1)$ (def. ), and given two commutative monoids $(E_i, \mu_i, e_i)$, $i \in \{1,2\}$ (def. ), then the tensor product $E_1 \otimes E_2$ becomes itself a commutative monoid with unit morphism
(where the first isomorphism is, $\ell_1^{-1} = r_1^{-1}$ (lemma )) and with product morphism given by
(where we are notationally suppressing the associators and where $\tau$ denotes the braiding of $\mathcal{C}$).
That this definition indeed satisfies associativity and commutativity follows from the corresponding properties of $(E_i,\mu_i, e_i)$, and from the hexagon identities for the braiding (def. ) and from symmetry of the braiding.
Similarly one checks that for $E_1 = E_2 = E$ then the unit maps
and the product map
and the braiding
are monoid homomorphisms, with $E \otimes E$ equipped with the above monoid structure.
Monoids are preserved by lax monoidal functors:
Let $(\mathcal{C},\otimes_{\mathcal{C}}, 1_{\mathcal{C}})$ and $(\mathcal{D}, \otimes_{\mathcal{D}},1_{\mathcal{D}})$ be two monoidal categories (def. ) and let $F \;\colon\; \mathcal{C} \longrightarrow \mathcal{D}$ be a lax monoidal functor (def. ) between them.
Then for $(A,\mu_A,e_A)$ a monoid in $\mathcal{C}$ (def. ), its image $F(A) \in \mathcal{D}$ becomes a monoid $(F(A), \mu_{F(A)}, e_{F(A)})$ by setting
(where the first morphism is the structure morphism of $F$) and setting
(where again the first morphism is the corresponding structure morphism of $F$).
This construction extends to a functor
from the category of monoids of $\mathcal{C}$ (def. ) to that of $\mathcal{D}$.
Moreover, if $\mathcal{C}$ and $\mathcal{D}$ are symmetric monoidal categories (def. ) and $F$ is a braided monoidal functor (def. ) and $A$ is a commutative monoid (def. ) then so is $F(A)$, and this construction extends to a functor
This follows immediately from combining the associativity and unitality (and symmetry) constraints of $F$ with those of $A$.
Above (in def. ) we considered spaces $X$ from a dual perspective, as determined by their algebras of functions $\mathcal{O}(X)$. In the same spirit then we are to express various constructions on and with spaces in terms of dual algebraic constructions.
A key such construction is that of vector bundles over $X$. Here we discuss the corresponding algebraic incarnation of these, namely as modules over algebras of functions.
Suppose that $X$ is a smooth manifold, and $V \stackrel{p}{\to} X$ is an ordinary smooth real vector bundle over $X$. A section of this vector bundle is a smooth function $\sigma \colon X \to V$ such that $p \circ \sigma = id$
Write $\Gamma_X(V)$ for the set of all such sections. Observe that this set inherits various extra structure.
First of all, since $V \to X$ is a vector bundle, we have fiber-wise the vector space operations. This means that given two elements $c_1, c_2 \in \mathbb{R}$ in the real numbers, and given two sections $\sigma_1$ and $\sigma_2$, we may form in each fiber $V_x$ the linear combination $c_1 \sigma_1(x) + c_2 \sigma_2(x)$. This hence yields a new section $c_1 \sigma_1 + c_2 \sigma_2$. Hence the set of sections of a vector bundle naturally forms itself a vector space.
But there is more structure. We need not multiply with the same element $c \in \mathbb{R}$ in each fiber, but we may multiply the section in each fiber by a different element, as long as the choice of element varies smoothly with the fibers, so that the resulting section is still smooth.
In other words, every element $f \in C^\infty(X)$ in the $\mathbb{R}$-algebra of smooth functions on $X$, takes a smooth section $\sigma$ of $V$ to a new smooth section $f \cdot \sigma$. This operation enjoys some evident properties. It is bilinear in the real vector spaces $C^\infty(X)$ and $\Gamma_X(V)$, and it satisfies the “action property”
for any two smooth functions $f,g \in C^\infty(X)$.
One says that a vector space such as $\Gamma_X(V)$ equipped with an action of an algebra $R$ this way is a module over $R$.
In conclusion, any vector bundle $V \to X$ gives rise to an $C^\infty(X)$-module $\Gamma_X(V)$ of sections.
The smooth Serre-Swan theorem states sufficient conditions on $X$ such that the converse holds. Together with the embedding of smooth manifolds into formal duals of R-algebras (prop ), this means that differential geometry is “more algebraic” than it might superficially seem, hence that its “algebraic deformation” to supergeometry is more natura than it might superficially seem:
(smooth Serre-Swan theorem, Nestruev 03)
For $X$ a smooth manifold, then the construction which sends a smooth vector bundle $V \to X$ to its $C^\infty(X)$-module $\Gamma_X(V)$ of sections is an equivalence of categories
between that of smooth vector bundles of finite rank over $X$ and that of finitely generated projective modules over the $\mathbb{R}$-algebra $C^\infty(X)$ of smooth functions on $X$.
One may turn the Serre-Swan theorem around to regard for $R$ any commutative monoid in some symmetric monoidal category (def. ), the modules over $R$ as “generalized vector bundles” over the space $Spec(R)$ (def. ). These “generalized vector bundles” are called “quasicoherent sheaves” over affines. Specified to the case that $\mathcal{C} =$ sVect, this hence yields a concept of super vector bundles.
We now state the relevant definitions and constructions formally.
Given a monoidal category $(\mathcal{C}, \otimes, 1)$ (def. ), and given $(A,\mu,e)$ a monoid in $(\mathcal{C}, \otimes, 1)$ (def. ), then a left module object in $(\mathcal{C}, \otimes, 1)$ over $(A,\mu,e)$ is
an object $N \in \mathcal{C}$;
a morphism $\rho \;\colon\; A \otimes N \longrightarrow N$ (called the action);
such that
(unitality) the following diagram commutes:
where $\ell$ is the left unitor isomorphism of $\mathcal{C}$.
(action property) the following diagram commutes
A homomorphism of left $A$-module objects
is a morphism
in $\mathcal{C}$, such that the following diagram commutes:
For the resulting category of modules of left $A$-modules in $\mathcal{C}$ with $A$-module homomorphisms between them, we write
The following degenerate example turns out to be important for the general development of the theory below.
Given a monoidal category $(\mathcal{C},\otimes, 1)$ (def. ) with the tensor unit $1$ regarded as a monoid in a monoidal category via example , then the left unitor
makes every object $C \in \mathcal{C}$ into a left module, according to def. , over $C$. The action property holds due to lemma . This gives an equivalence of categories
of $\mathcal{C}$ with the category of modules over its tensor unit.
The classical subject of algebra, not necessarily over ground fields, is the above general concepts of monoids and their modules specialized to the ambient symmetric monoidal category being the category Ab of abelian groups regarded as a symmetric monoidal category via the tensor product of abelian groups $\otimes_{\mathbb{Z}}$ (whose tensor unit is the additive group of integers $\mathbb{Z}$):
A monoid in $(Ab, \otimes_{\mathbb{Z}}, \mathbb{Z})$ (def. ) is equivalently a ring.
A commutative monoid in in $(Ab, \otimes_{\mathbb{Z}}, \mathbb{Z})$ (def. ) is equivalently a commutative ring $R$.
An $R$-module object in $(Ab, \otimes_{\mathbb{Z}}, \mathbb{Z})$ (def. ) is equivalently an $R$-module;
The tensor product of $R$-module objects (def. ) is the standard tensor product of modules.
The category of module objects $R Mod(Ab)$ (def. ) is the standard category of modules $R Mod$.
Let $G$ be a discrete group and write $k[G]$ for its group algebra over the ground field $k$. Then $k[G]$-modules in Vect are equivalently linear representations of $G$.
In the situation of def. , the monoid $(A,\mu, e)$ canonically becomes a left module over itself by setting $\rho \coloneqq \mu$. More generally, for $C \in \mathcal{C}$ any object, then $A \otimes C$ naturally becomes a left $A$-module by setting:
The $A$-modules of this form are called free modules.
The free functor $F$ constructing free $A$-modules is left adjoint to the forgetful functor $U$ which sends a module $(N,\rho)$ to the underlying object $U(N,\rho) \coloneqq N$.
A homomorphism out of a free $A$-module is a morphism in $\mathcal{C}$ of the form
fitting into the diagram (where we are notationally suppressing the associator)
Consider the composite
i.e. the restriction of $f$ to the unit “in” $A$. By definition, this fits into a commuting square of the form (where we are now notationally suppressing the associator and the unitor)
Pasting this square onto the top of the previous one yields
where now the left vertical composite is the identity, by the unit law in $A$. This shows that $f$ is uniquely determined by $\tilde f$ via the relation
This natural bijection between $f$ and $\tilde f$ establishes the adjunction.
Given a closed symmetric monoidal category $(\mathcal{C}, \otimes, 1)$ with braiding denoted $\tau$ (def. , def. ), given $(A,\mu,e)$ a commutative monoid in $(\mathcal{C}, \otimes, 1)$ (def. ), and given $(N_1, \rho_1)$ and $(N_2, \rho_2)$ two left $A$-module objects (def.), then
the tensor product of modules $N_1 \otimes_A N_2$ is, if it exists, the coequalizer
and if $A \otimes (-)$ preserves these coequalizers, then this is equipped with the left $A$-action induced from the left $A$-action on $N_1$
the function module $hom_A(N_1,N_2)$ is, if it exists, the equalizer
equipped with the left $A$-action that is induced by the left $A$-action on $N_2$ via
(e.g. Hovey-Shipley-Smith 00, lemma 2.2.2 and lemma 2.2.8)
Given a closed symmetric monoidal category $(\mathcal{C}, \otimes, 1)$ (def. , def. ), and given $(A,\mu,e)$ a commutative monoid in $(\mathcal{C}, \otimes, 1)$ (def. ). If all coequalizers exist in $\mathcal{C}$, then the tensor product of modules $\otimes_A$ from def. makes the category of modules $A Mod(\mathcal{C})$ into a symmetric monoidal category, $(A Mod, \otimes_A, A)$ with tensor unit the object $A$ itself, regarded as an $A$-module via prop. .
If moreover all equalizers exist, then this is a closed monoidal category (def. ) with internal hom given by the function modules $hom_A$ of def. .
(e.g. Hovey-Shipley-Smith 00, lemma 2.2.2, lemma 2.2.8)
The associators and braiding for $\otimes_{A}$ are induced directly from those of $\otimes$ and the universal property of coequalizers. That $A$ is the tensor unit for $\otimes_{A}$ follows with the same kind of argument that we give in the proof of example below.
For $(A,\mu,e)$ a monoid (def. ) in a symmetric monoidal category $(\mathcal{C},\otimes, 1)$ (def. ), the tensor product of modules (def. ) of two free modules (def. ) $A\otimes C_1$ and $A \otimes C_2$ always exists and is the free module over the tensor product in $\mathcal{C}$ of the two generators:
Hence if $\mathcal{C}$ has all coequalizers, so that the category of modules is a monoidal category $(A Mod, \otimes_A, A)$ (prop. ) then the free module functor (def. ) is a strong monoidal functor (def. )
It is sufficient to show that the diagram
is a coequalizer diagram (we are notationally suppressing the associators), hence that $A \otimes_A A \simeq A$, hence that the claim holds for $C_1 = 1$ and $C_2 = 1$.
To that end, we check the universal property of the coequalizer:
First observe that $\mu$ indeed coequalizes $id \otimes \mu$ with $\mu \otimes id$, since this is just the associativity clause in def. . So for $f \colon A \otimes A \longrightarrow Q$ any other morphism with this property, we need to show that there is a unique morphism $\phi \colon A \longrightarrow Q$ which makes this diagram commute:
We claim that
where the first morphism is the inverse of the right unitor of $\mathcal{C}$.
First to see that this does make the required triangle commute, consider the following pasting composite of commuting diagrams
Here the the top square is the naturality of the right unitor, the middle square commutes by the functoriality of the tensor product $\otimes \;\colon\; \mathcal{C}\times \mathcal{C} \longrightarrow \mathcal{C}$ and the definition of the product category (def. ), while the commutativity of the bottom square is the assumption that $f$ coequalizes $id \otimes \mu$ with $\mu \otimes id$.
Here the right vertical composite is $\phi$, while, by unitality of $(A,\mu ,e)$, the left vertical composite is the identity on $A$, Hence the diagram says that $\phi \circ \mu = f$, which we needed to show.
It remains to see that $\phi$ is the unique morphism with this property for given $f$. For that let $q \colon A \to Q$ be any other morphism with $q\circ \mu = f$. Then consider the commuting diagram
where the top left triangle is the unitality condition and the two isomorphisms are the right unitor and its inverse. The commutativity of this diagram says that $q = \phi$.
Given a monoidal category of modules $(A Mod , \otimes_A , A)$ as in prop. , then a monoid $(E, \mu, e)$ in $(A Mod , \otimes_A , A)$ (def. ) is called an $A$-algebra.
Given a monoidal category of modules $(A Mod , \otimes_A , A)$ in a monoidal category $(\mathcal{C},\otimes, 1)$ as in prop. , and an $A$-algebra $(E,\mu,e)$ (def. ), then there is an equivalence of categories
between the category of commutative monoids in $A Mod$ and the coslice category of commutative monoids in $\mathcal{C}$ under $A$, hence between commutative $A$-algebras in $\mathcal{C}$ and commutative monoids $E$ in $\mathcal{C}$ that are equipped with a homomorphism of monoids $A \longrightarrow E$.
(e.g. EKMM 97, VII lemma 1.3)
In one direction, consider a $A$-algebra $E$ with unit $e_E \;\colon\; A \longrightarrow E$ and product $\mu_{E/A} \colon E \otimes_A E \longrightarrow E$. There is the underlying product $\mu_E$
By considering a diagram of such coequalizer diagrams with middle vertical morphism $e_E\circ e_A$, one find that this is a unit for $\mu_E$ and that $(E, \mu_E, e_E \circ e_A)$ is a commutative monoid in $(\mathcal{C}, \otimes, 1)$.
Then consider the two conditions on the unit $e_E \colon A \longrightarrow E$. First of all this is an $A$-module homomorphism, which means that
commutes. Moreover it satisfies the unit property
By forgetting the tensor product over $A$, the latter gives
where the top vertical morphisms on the left the canonical coequalizers, which identifies the vertical composites on the right as shown. Hence this may be pasted to the square $(\star)$ above, to yield a commuting square
This shows that the unit $e_A$ is a homomorphism of monoids $(A,\mu_A, e_A) \longrightarrow (E, \mu_E, e_E\circ e_A)$.
Now for the converse direction, assume that $(A,\mu_A, e_A)$ and $(E, \mu_E, e'_E)$ are two commutative monoids in $(\mathcal{C}, \otimes, 1)$ with $e_E \;\colon\; A \to E$ a monoid homomorphism. Then $E$ inherits a left $A$-module structure by
By commutativity and associativity it follows that $\mu_E$ coequalizes the two induced morphisms $E \otimes A \otimes E \underoverset{\longrightarrow}{\longrightarrow}{\phantom{AA}} E \otimes E$. Hence the universal property of the coequalizer gives a factorization through some $\mu_{E/A}\colon E \otimes_A E \longrightarrow E$. This shows that $(E, \mu_{E/A}, e_E)$ is a commutative $A$-algebra.
Finally one checks that these two constructions are inverses to each other, up to isomorphism.
When thinking of commutative monoids in some tensor category as formal duals to certain spaces, as in def. , then we are interested in forming Cartesian products and more generally fiber products of these spaces. Dually this is given by [fcoproducts] of commutative monoids and commutative $R$-algebras. The following says that these may be computed just as the tensor product of modules:
Let $\mathcal{C}$ be a symmetric monoidal category such that
it has reflexive coequalizers
which are preserved by the tensor product functors $A \otimes (-) \colon \mathcal{C} \to \mathcal{C}$ for all objects $A$ in $\mathcal{C}$.
Then for $f \colon A \to B$ and $g \colon A \to C$ two morphisms in the category $CMon(\mathcal{C})$ of commutative monoids in $\mathcal{C}$ (def. ), the underlying object in $\mathcal{C}$ of the pushout in $CMon(\mathcal{C})$ coincides with the tensor product in the monoidal category $A$Mod (according to prop. ):
Here $B$ and $C$ are regarded as equipped with the canonical $A$-module structure induced by the morphisms $f$ and $g$, respectively.
This appears for instance as (Johnstone, page 478, cor. 1.1.9).
In every tensor category (def. ) the conditions in prop. are satisfied.
By definition, every tensor category is an abelian category (def. ). The coequalizer of two parallel morphisms $f,g$ in an abelian category is isomorphic to the cokernel of the difference $f-g$ (formed in the abelian group struture on the hom-space). Hence all coequalizers exist, in particlar the split coequalizers required in prop. .
Moreover, by definition every tensor category is a rigid monoidal category. This implies that it is also a closed monoidal categories, by prop. , and this means that the functors $A \otimes (-)$ are left adjoint functors, and such preserve all colimits.
Let $\mathcal{A}$ be a tensor category, and let $R \in CMon(\mathcal{A})$ be a commutative monoid in $\mathcal{A}$.
Then for $A_1, A_2$ two $R$-algebas according to def. , regarded as affine schemes $Spec(A_1), Spec(A_2) \in Aff(R Mod(\mathcal{C}))$ according to prop. and def. the Cartesian product of $Spec(A_1)$ with $Spec(A_2)$ exists in $Aff(R Mod(\mathcal{C}))$ and is the formal dual of the tensor product algebra $A_1 \otimes_R A_2$ according to example :
By prop. the formal dual of the statement is given by prop. , which does apply, according to remark .
Let $\mathcal{C}$ be a symmetric monoidal category, let $A_1, A_2 \in CMon(\mathcal{C})$ be two commutative monoids in $\mathcal{C}$ (def. ) and
a homomorphism commutative monoids (def. ).
Then there is a pair of adjoint functors between the categories of modules (def. )
where
the right adjoint, called restriction of scalars, sends an $A_2$-module $(N, \rho)$ to the $A_1$-module $(N,\rho')$ whose action is given by precomposition with $\phi$:
the left adjoint, called extension of scalars sends an $A_1$-module $(N,\rho)$ to the tensor product
(where we are regarding $A_2$ as a commutative monoid in $A_1$-modules via prop. ) and equipped with the evident action induced by the multiplication in $A_2$:
By prop. the adjunction in question has the form
In the dual interpretation of $R$-modules as generalized vector bundles (namely: quasicoherent sheaves) over $Spec(R)$ (def. ) then $\phi \colon A_1 \to A_2$ becomes a map of spaces
and then extension of scalars according to prop. corresponds to the pullback of vector bundles from $Spec(A_1)$ to $Spec(A_2)$.
Above we have considered affine spaces $Spec(A)$ (def. ) in symmetric monoidal categories $\mathcal{C}$. Now we discuss what it means to equip these with the stucture of group objects, hence to form affine groups in $\mathcal{C}$.
A (possibly) familiar example arises in differential geometry, where one considers groups whose underlying set is promoted to a smooth manifold and all whose operations (product, inverses) are smooth functions. These are of course the Lie groups.
A linear representation of a Lie group $G$ on a vector space $V$ is a smooth function
such that
(linearity) for all elements $g \in G$ the function
is a linear function
(unitality) for $e \in G$ the neutral element then $\rho(e)$ is the identity function;
(action property) for $g_1, g_2 \in G$ any two elements, then acting with them consecutively is the same as acting with their product:
But here we need to consider groups with more general geometric structure. The key to the generalization is to regard spaces dually via their algebras of functions.
In the above example, write $C^\infty(X)$ for the smooth algebra of smooth functions on a smooth manifold $X$. The assignment
is the embedding of smooth manifolds into formal duals of R-algebras from prop. .
Moreover, the functor $C^\infty(-)$ sends Cartesian products of smooth manifolds to “completed tensor products” $\otimes^c$ of function algebras (namely to the coproduct of smooth algebras, see there)
Together this means that if $X = G$ is equipped with the structure of a group object, then the product operation in the group induces a “coproduct” operation on its smooth algebra of smooth functions:
Now the associativity of the group product translates into a corresponding dual property of its dual, called “co-associativity”, and so forth. The resulting algebraic structure is called a Hopf algebra.
While the explicit definition of a Hopf algebra may look involved at first sight, Hopf algebras are simply formal duals of groups. Since this perspective is straightforward, we may just as well consider it in the generality of groupoids.
A simple illustrative archetype of the following construction of commutative Hopf algebroids from homotopy commutative ring spectra is the following situation:
For $X$ a finite set consider
as the (“codiscrete”) groupoid with $X$ as objects and precisely one morphism from every object to every other. Hence the composition operation $\circ$, and the source and target maps are simply projections as shown. The identity morphism (going upwards in the above diagram) is the diagonal.
Then consider the image of this structure under forming the free abelian groups $\mathbb{Z}[X]$, regarded as commutative rings under pointwise multiplication.
Since
this yields a diagram of homomorphisms of commutative rings of the form
satisfying some obvious conditions. Observe that here
the two morphisms $\mathbb{Z}[X] \rightrightarrows \mathbb{Z}[X] \otimes \mathbb{Z}[X]$ are $f \mapsto f \otimes e$ and $f \mapsto e \otimes f$, respectively, where $e$ denotes the unit element in $\mathbb{Z}[X]$;
the morphism $\mathbb{Z}[X] \otimes \mathbb{Z}[X] \to \mathbb{Z}[X]$ is the multiplication in the ring $\mathbb{Z}[X]$;
the morphism
is given by $f \otimes g \mapsto f \otimes e \otimes g$.
We now say this again, in generality:
Let $\mathcal{A}$ be a tensor category (def. ). A commutative Hopf algebroid in $\mathcal{A}$ is an internal groupoid in the opposite category $CMon(\mathcal{A})^{op}$ of commutative monoids in $\mathcal{A}$, regarded with its cartesian monoidal category structure according to prop. .
(e.g. Ravenel 86, def. A1.1.1)
We unwind def. . For $R \in CMon(\mathcal{A})$, write $Spec(R)$ for same same object, but regarded as an object in $CMon(\mathcal{A})^{op}$.
An internal category in $CMon(\mathcal{A})^{op}$ is a diagram in $CMon(\mathcal{A})^{op}$ of the form
(where the fiber product at the top is over $s$ on the left and $t$ on the right) such that the pairing $\circ$ defines an associative composition over $Spec(A)$, unital with respect to $i$. This is an internal groupoid if it is furthemore equipped with a morphism
acting as assigning inverses with respect to $\circ$.
The key fact to use now is prop. : the tensor product of commutative monoids exhibits the cartesian monoidal category structure on $CMon(\mathcal{A})^{op}$, :
This means that def. is equivalently a diagram in $CMon(\mathcal{A})$ of the form
as well as
and satisfying formally dual conditions, spelled out as def. below. Here
$\eta_L, \etaR$ are called the left and right unit maps;
$\epsilon$ is called the co-unit;
$\Psi$ is called the comultiplication;
$c$ is called the antipode or conjugation
Generally, in a commutative Hopf algebroid, def. , the two morphisms $\eta_L, \eta_R\colon A \to \Gamma$ from remark need not coincide, they make $\Gamma$ genuinely into a bimodule over $A$, and it is the tensor product of bimodules that appears in remark . But it may happen that they coincide:
An internal groupoid $\mathcal{G}_1 \stackrel{\overset{s}{\longrightarrow}}{\underset{t}{\longrightarrow}} \mathcal{G}_0$ for which the domain and codomain morphisms coincide, $s = t$, is euqivalently a group object in the slice category over $\mathcal{G}_0$.
Dually, a commutative Hopf algebroid $\Gamma \stackrel{\overset{\eta_L}{\longleftarrow}}{\underset{\eta_R}{\longleftarrow}} A$ for which $\eta_L$ and $\eta_R$ happen to coincide is equivalently a commutative Hopf algebra $\Gamma$ over $A$.
Writing out the formally dual axioms of an internal groupoid as in remark yields the following equivalent but maybe more explicit definition of commutative Hopf algebroids, def.
A commutative Hopf algebroid is
two commutative rings, $A$ and $\Gamma$;
ring homomorphisms
(left/right unit)
$\eta_L,\eta_R \colon A \longrightarrow \Gamma$;
(comultiplication)
$\Psi \colon \Gamma \longrightarrow \Gamma \underset{A}{\otimes} \Gamma$;
(counit)
$\epsilon \colon \Gamma \longrightarrow A$;
(conjugation)
$c \colon \Gamma \longrightarrow \Gamma$
such that
(co-unitality)
(identity morphisms respect source and target)
$\epsilon \circ \eta_L = \epsilon \circ \eta_R = id_A$;
(identity morphisms are units for composition)
$(id_\Gamma \otimes_A \epsilon) \circ \Psi = (\epsilon \otimes_A id_\Gamma) \circ \Psi = id_\Gamma$;
(composition respects source and target)
$\Psi \circ \eta_R = (id \otimes_A \eta_R) \circ \eta_R$;
$\Psi \circ \eta_L = (\eta_L \otimes_A id) \circ \eta_L$
(co-associativity) $(id_\Gamma \otimes_A \Psi) \circ \Psi = (\Psi \otimes_A id_\Gamma) \circ \Psi$;
(inverses)
(inverting twice is the identity)
$c \circ c = id_\Gamma$;
(inversion swaps source and target)
$c \circ \eta_L = \eta_R$; $c \circ \eta_R = \eta_L$;
(inverse morphisms are indeed left and right inverses for composition)
the morphisms $\alpha$ and $\beta$ induced via the coequalizer property of the tensor product from $(-) \cdot c(-)$ and $c(-)\cdot (-)$, respectively
and
satisfy
$\alpha \circ \Psi = \eta_L \circ \epsilon$
and
$\beta \circ \Psi = \eta_R \circ \epsilon$.
e.g. (Ravenel 86, def. A1.1.1)
By internalizing all of the above from $Vect$ to $sVect$, we obtain the concept of supergroups:
An affine algebraic supergroup $G$ is equivalently
a pointed, one-object internal groupoid in the opposite category $Aff(sVect) = CMon(sVect_k)^{op}$ (def. ) of supercommutative superalgebras from def.
the formal dual of a super-commutative Hopf algebra, namely a commutative Hopf algebra (prop. , remark ).
We will often just say “supergroup” for short in the following. If $H$ is the corresponding supercommutative Hopf algebra then we also write $Spec(H)$ for this supergroup.
The following asks that the parity involution (def. ) on a supergroup is an inner automorphism:
An inner parity of a supergroup $G$, def. is an element $\epsilon \in G_{even}$ such that
it is involutive i.e. $\epsilon^2 = 1$
its adjoint action on $G$ is the parity involution of def. .
Dually this mean that an inner pariy is an algebra homomorphism $\epsilon^\ast \colon\mathcal{O}(G) \to k$ such that
the composite
is the counit of the Hopf algebra (hence the formal dual of the neutral element)
the parity involution $\mathcal{O}(G) \stackrel{\simeq}{\longrightarrow} \mathcal{O}(G)$ conincides with the composite
For $G$ an ordinary affine algebraic group, regarded as a supergroup with trivial odd-graded part, then every element $\epsilon \in Z(G)$ in the center defines an inner parity, def. .
In view of remak , specifying an involutive central element in an ordinary group is a faint shadow of genuine supergroup structure. In fact such pairs are being referred to as “supergroups” in (Müger 06).
Demanding the existence of inner parity is not actually a restriction of the theory:
For $H$ any supergroup, def. , and $\mathbb{Z}_2 = \{id,par\}$ acting on it by parity involution, def. then the semidirect product group $\mathbb{Z}_2 \ltimes G$ has inner parity, def. , given by $\epsilon \coloneqq par \in \mathbb{Z}_2 \hookrightarrow \mathbb{Z}_2 \ltimes G$.
Given a commutative Hopf algebroid $\Gamma$ over $A$ (def. ) in some tensor category (def. ), then a left comodule over $\Gamma$ is
an $A$-module object $N$ in $\mathcal{A}$ (def. ) i;
an $A$-module homomorphism (co-action)
$\Psi_N \;\colon\; N \longrightarrow \Gamma \otimes_A N$;
such that
(co-unitality)
$(\epsilon \otimes_A id_N) \circ \Psi_N = id_N$;
(co-action property)
$(\Psi \otimes_A id_N) \circ \Psi_N = (id_\Gamma \otimes_A \Psi_N)\circ \Psi_N$.
A homomorphism between comodules $N_1 \to N_2$ is a homomorphism of underlying $A$-modules making commuting diagrams with the co-action morphism. Write
for the resulting category of (left) comodules over $\Gamma$. Analogously there are right comodules.
For $(\Gamma,A)$ a commutative Hopf algebroid, then $A$ becomes a left $\Gamma$-comodule (def. ) with coaction given by the right unit
The required co-unitality property is the dual condition in def.
of the fact in def. that identity morphisms respect sources:
The required co-action property is the dual condition
of the fact in def. that composition of morphisms in a groupoid respects sources
Given two comodules $N_1, N_2$ over a commutative Hopf algebra $\Gamma$ over $k$, then their tensor product is the the tensor product of modules $N_1 \otimes_k N_2$ equipped with the following co-action
This is the formal dual of the tensor product of representations, the action on which is induced by
Under the tensor product of co-modules (def. ), these form a symmetric monoidal category (def. ).
A linear representation of a supergroup $G$, def. , with inner parity $\epsilon$, def. , is
such that
For $G$ an ordinary (affine algebraic) group regarded as a supergroup with trivial odd-graded part, and for $\epsilon = e$ its neutral element taken as the inner parity, then $Rep(G,\epsilon)$ in the sense of def. is just the ordinary category of representations of $G$.
The category of representations $Rep(G,\epsilon)$ of def. of an affine algebraic supergroup $G$, def. , with inner parity $\epsilon$ (def. ) on finite-dimensional super vector spaces (example ) and equippd with the tensor product of comodules from def. is a $k$-tensor category (def. ) of subexponential growth (def. ).
Moreover, any finite dimensional faithful representation (which always exists, prop.) serves as an $\otimes$-generator (def. ).
See (this prop.).
The first step in exhibiting a given tensor category $\mathcal{A}$ as being a category of representations is to exhibit its objects as having an underlying representation space of sorts, and then an action represented on that space. Hence a necessary condition on $\mathcal{A}$ is that there exists a forgetful functor
to some other tensor category, such that $\omega$ satisfies a list of properties, in particular it should be a symmetric strong monoidal functor.
Such functors are called fiber functors. The idea is that we think of $\mathcal{A}$ as a bundle over $\mathcal{V}$, and over each $V \in \mathcal{V}$ we find the fiber $\omega^{-1}(V)$ of that “bundle”, consisting of all those objects in $\mathcal{A}$ whose underlying object in the given $V$.
The main point of Tannaka duality of tensor categories is the observation that if $\mathcal{A}$ is a category of representations of some group $G$, then $G$ also acts by automorphisms on that fiber functor (i.e. via natural isomorphisms of functors). In good cases then this may be turned around, and the full automorphism group of a fiber functor is identified with the group $G$ for which the objects in its fibers are representations, this is the process of Tannaka reconstruction.
There are slight variants on what one requires of a fiber functor. For the present purpose we fix the following definition
Let $\mathcal{A}$ and $\mathcal{T}$ be two $k$-tensor categories (def. ) such that
all hom spaces are of finite dimension over $k$.
Let $R \in CMon(Ind(\mathcal{T}))$ be a commutative monoid (def. ) in the category of ind-objects in $\mathcal{T}$ (prop. ).
Then a fiber functor on $\mathcal{A}$ over $R$ is a functor
from $\mathcal{A}$ to the category of module objects over $R$ (def. ) in the category of ind-objects $Ind(\mathcal{T})$ (def. ), which is
an exact functor in both variables.
If here $\mathcal{T} =$ sVect (def. ), then this is called a super fiber functor.
A tensor category $\mathcal{A}$ (def. ) is called
a neutral Tannakian category if it admits a fiber functor (def. ) to $Vect_k$ (example ) (Deligne-Milne 12, def. 2.19)
a neutral super Tannakian category if it admits a fiber functor (def. ) to $sVect_k$ (def. )
(not needed here) a general Tannakian category if the stack on $Aff_k$ which sends $R \in CRing$ to the groupoid of fiber functors to $R Proj \hookrightarrow R Mod$ (projective modules over $R$) is an affine gerbe such that its category of representations is equivalent to $\mathcal{A}$ (Deligne-Milne 12, def. 3.7).
Given a super fiber functor $\omega \colon \mathcal{A} \to sVect_k$ (def. ) there is an evident notion of its automorphism group: a homomorphism between functors is a natural transformation, and that between monoidal functors is a monoidal natural transformation, according to def. , and this is an automorphism of functors if it is a natural automorphism. We write
for this automorphism group.
So far this is a group without geometric structure (a discrete group). But it is naturally equipped with supergeometry (super-algebraic geometry) exhibited by a rule for what the “geometrically parameterized families” of its elements are. (For exposition of this perspective see at motivation for sheaves, cohomology and higher stacks).
Concretely, this means that for each supercommutative superalgebra $A$ with corresponding affine super scheme $Spec(A)$ (def. , def. ) we are to say what the set
of $Spec(A)$-parameterized elements of $Aut(\omega)$ is. In fact, under parameter-wise multiplication in the group, any such set must inherit group structure, so that we should have not one discrete group, but a system of them, labeled by supercommutative superalgebras:
Moreover, if $A_1 \longrightarrow A_2$ is an algebra homomorphism, hence
a map of affine super schemes according to def. , then there should be a group homomorphism
that expresses how a $Spec(A_1)$-parameterized family of elements of $Aut(\omega)$ becomes a $Spec(A_1)$-parameterized family, under this map.
For a minimum of consistency, this assignment must be such that the identity map on $Spec(A)$ induces the identity on $\underline{Aut}(\omega)(Spec(A))$, and that the composite of two maps of affine superschemes goes to the correspondng composite group homomorphisms.
In conclusion, this says that an algebraic supergeometric structure on $Aut(\omega)$ is the datum of a presheaf of groups, hence of a functor
such that the underlying points are those of $Aut(\omega)$:
We say that a functor
is representable if there exists a supercommutative Hopf algebra $H$, hence an affine algebraic group $Spec(H)$ (def. ) and a natural isomorphism with the hom functor into $Spec(H)$:
Let $\omega \colon \mathcal{A} \to \mathcal{B}$ be a fiber functor (def ).
For $A \in CMon(\mathcal{B})$ a commutative monoid (def. ), write
for its image under extension of scalars along $1 \to A$ to $A$ (prop. ).
With this, the automorphism group of $\omega$
is defined to be the functor which on objects assigns the discrete group of natural automorphisms of the image $\omega_A$ of $\omega$ under extension of scalars as above
and which to a homomorphism of algebras
assigns the action of the extension of scalars-functor along $\phi$:
This is clearly a presheaf, by functoriality of extension of scalars.
Specializing def. to $\mathcal{B} =$ sVect (def. ), where a commutative monoid is a supercommutative superalgebra (def. ) it reads as follows:
Let $\omega \colon \mathcal{A} \to sVect$ be a super fiber functor (def ).
For $A \in CMon(sVect)$ a commutative monoid (def. ), write
For $A \in CMon(sVect)$ a supercommutative algebra, write
for its image under extension of scalars to $A$ (prop. ).
With this, the automorphism super-group of $\omega$
is defined by
For $k$ an algebraically closed field of characteristic zero, and for $\mathcal{A}$ a $k$-tensor category equipped with a super fiber functor $\omega$, then its automorphism supergroup (def. ) is representable (def. ): there exists a supercommutative Hopf algebra $H_\omega$ and a natural isomorphism
which, with the Yoneda embedding understood, we write simply as
The following says that in fact all homomorphisms between fiber functors are necessarily isomorphisms:
Every monoidal natural transformation (def. ) between two fiber functors (def. ) is an isomorphism (i.e. a natural isomorphism).
(Deligne 90, 8.11 (ii), Deligne 02, lemma 3.2)
Let $\mathcal{A}$ be a tensor category and regard the identity functor on it as a fiber functor (def. ). Then the automorphism group of $id_{\mathcal{A}}$ according to def. is called the fundamental group of $\mathcal{A}$, denoted:
The fundamental group (def. ) of the category of super vector spaces sVect (def. ) is $\mathbb{Z}/2$:
The non-trivial element in $\pi(sVect)$ acts on any super-vector space as the endomorphism which is the identity on even graded elements, and multiplication by $(-1)$ on odd graded elements.
For $\mathcal{A}$ a $k$-tensor category equipped with a super fiber functor $\omega \colon \mathcal{A} \to sVect$ (def. ), then the automorphism supergroup of $\omega$ is the image under the super fiber functor $\omega$ of the fundamental group of $\mathcal{A}$, according to def. :
Here on the right we are using that $\omega$ is a strong monoidal functor so that it preserves commutative monoids as well as comonoids by prop. , hence preserves commutative Hopf algebras.
Let $\mathcal{A}_1, \mathcal{A}_2$ be two $k$-tensor categories and let
be a functor which is $k$-linear, monoidal and exact functor. Then there is induced a canonical group homomorphism
from the fundamental group of $\mathcal{A}_1$ (def. ) to the image under $\eta$ of the fundamental group of $\mathcal{A}_2$.
A finite dimensional vector space $V$ has the property that a high enough alternating power of it vanishes $\wedge^n V = 0$, namely this is the case for all $n \gt dim(V)$, and hence this vanishing is just another reflection of the finiteness of the dimension of $V$. For a super vector space $V$ of degreewise finite dimension an analog statement is still true, but one needs to form not just alternating powers but also symmetric powers (prop. below), in fact one needs to apply a generalization of both of these constructions, a Schur functor.
The operation of forming symmetric powers and alternating powers makes sense in every tensor category. Moreover, these operations are the two extreme cases of the more general concept of Schur functors: Given any object $X$ and given any choice of irreducible representation $V_\lambda$ of the symmetric group $\Sigma_n$, then one consider the subobject $S_\lambda(X^{\otimes^n})$ of the $n$-fold tensor power that is invariant under this action.
The first step in the proof of the main theorem (theorem below) is the proposition (prop. below) that all objects that have subexponential growth of length (def. ) are actually annihilated by some Schur functor for the symmetric group.
For $(\mathcal{A},\otimes)$ a $k$-tensor category as in def., for $X \in \mathcal{A}$ an object, for $n \in \mathbb{N}$ and $\lambda$ a partition of $n$, regarded as a Young diagram and hence as a representation of the symmetric group $V_\lambda$, say that the value of the Schur functor $S_\lambda$ on $X$ is
where
$(-)^{S_n}$ is the subobject of invariants;
$S_n$ is the symmetric group on $n$ elements;
$V_\lambda$ is the irreducible representation of $S_n$ corresponding to $\lambda$;
$\rho$ is diagonal action of $S_n$ on $V_\lambda \otimes X^{\otimes_n}$, coming from the canonical permutation action on $X^{\otimes_n}$;
$(-)^{S_n}$ denotes the subspace of invariants under the action $\rho$
the second expression just rewrites the invariants as the image of all elements under group averaging.
For $\lambda = (n)$, then $V_{(n)} = k$ equipped with the trivial action of the symmetric group. In this case the corresponding Schur functor (def. ) forms the $n$th symmetric power
For the dual case where $\lambda = (1,1, \cdots, 1)$ then $V_{(1,1,\cdots, 1)} = k$ equipped with the action by multiplication with the signature of a permutation and the corresponding Schur functor forms the alternating power
Let $V = V_{even} \oplus V_{odd}$ be a super vector space of degreewise finite dimension $d_{even}, d_{odd} \in \mathbb{N}$. Then there exists a Schur functor $S_\lambda$ (def. ) that annihilates $V$:
Specifically, this is the case precisely if the corresponding Young tableau $[\lambda]$ satifies
Above we saw that
every tensor category equipped with a super fiber functor gives rise to an affine supergroup (prop. );
the category of representations of an affine supergroup is a tensor category, prop. .
Indeed, the relation between tensor categories and supergroups is intimate. The following states that under mild size constraints, every tensor category is the category of representations of some affine algebraic supergroup. This shows that the concept of supergroups is fundamental and not accidental.
Every $k$-tensor category $\mathcal{A}$ (def. ) such that
$k$ is an algebraically closed field of characteristic zero (e.g. the field of complex numbers)
then $\mathcal{A}$ is a neutral super Tannakian category (def. ) and there exists
an affine algebraic supergroup $G$ (def. ) whose algebra of functions $\mathcal{O}(G)$ is a finitely generated $k$-algebra.
a tensor-equivalence of categories
between $\mathcal{A}$ and the category of representations of $G$ of finite dimension, according to def. and prop. .
This is due to (Deligne 02, theorem 0.6)
We outline key steps of the proof of theorem , given in Deligne 02. The proof proceeds in three main steps:
Proposition states that in a $k$-tensor category an object $X$ is of subexponential growth (def. ) precisely if there exists a Schur functor that annihilates it, hence if some power of $X$, skew-symmetrized in sme variables and symmetrized in others, vanishes.
This proposition is where the symmetric group and its permutation action on tensor powers appears, from just a kind of finite-dimensionality assumption.
Proposition in turn says that if every object in $\mathcal{A}$ is annihilated by some Schur functor, then there exists a super fiber functor on $\mathcal{A}$ over some supercommutative superalgebra $R$, hence then every object of $\mathcal{A}$ has underlying it a super vector space with some extra structure.
This proposition is where superalgebra proper appears.
Proposition states that every $k$-tensor category equipped with a super fiber functor $\omega \colon \mathcal{A} \to sVect$, is equivalent to the category of super-representations of the automorphism supergroup of $\omega$.
This proposition is the instance of general Tannaka reconstruction applied to the case of fiber functors with values in super vector spaces. This is where the “supersymmetry” supergroup is extracted.
For $\mathcal{A}$ a $k$-tensor category (def. ), then the following are equivalent:
the category $\mathcal{A}$ has subexponential growth (def. );
for every object $X \in \mathcal{A}$ there exists $n \in \mathbb{N}$ and a partition $\lambda$ of $n$ such that the corresponding value of the Schur functor, def. , on $X$ vanishes: $S_\lambda(X) = 0$.
If for every object of a $k$-tensor category $\mathcal{A}$ (def. ) there exists a Schur functor (def. ) that annihilates it, then there exists a super fiber functor (def. ) over $k$, hence then $\mathcal{A}$ is a neutral super Tannakian category (def. ).
(Deligne 02, prop. 2.1 “résultat clé de l’article”, together with prop. 4.5)
First (Deligne 02, middle of p. 16) consider the tensor category
which is that of $\mathbb{Z}/2$-graded objects of $\mathcal{A}$, and whose braiding is given on objects $X,Y$ of homogeneous degree by that of $\mathcal{A}$ multiplied with $(-1)^{deg(X) deg(Y)}$.
Write $1$ and $\overline{1}$ for the tensor unit of $\mathcal{A}$, regarded in even degree and in odd degree in $s \mathcal{A}$, respectively.
For $A \in CMon(\mathcal{A})$ a commutative monoid, write
for the extension of scalars operation $A \otimes(-)$, left adjoint to restriction of scalars (prop. ).
Show then that the condition that an object $X$ is annihilated by some Schur functor is equivalent to the existence of an algebra $A$ such that
for some $p,q \in \mathbb{N}$, hence that each such object is $A$-locally a super vector space.
Moreover, for each short exact sequence
in $s \mathcal{A}$, there exists an algebra $A$ such that
is a split exact sequence, (hence every short exact sequence is locally split).
(Deligne 90, 7.14, Deligne 02, rappel 2.102))
Now (Deligne 02, middle of p. 17) let $A$ be the commutative monoid which is the tensor product of commutative monoids (example ) over all isomorphism classes of objects and of short exact sequences in $\mathcal{A}$ of choices of commutative monoids for which these objects/exact sequencs are locally split, as above.
Then for an $A$-module $N$, write $\rho(N)$ for the subobject of $N$ inside $sVect \simeq Ind\langle 1, \overline{1}\rangle \hookrightarrow s \mathcal{A}$.
Check (Deligne 02, bottom of p. 17) that $\rho(A)$ inherits the structure of a commutative monoid, and that $\rho(N)$ inherits the structure of a module over $\rho(N)$.
Set
Hence for every object $X$, then
has the structure of an $R$-module. By $A$-local splitness of all short exact sequence, $\omega$ is an exact functor.
Hence
is a super fiber functor on $s\mathcal{A}$ over $R$. This restricts to a super fiber functor over $R$ on $\mathcal{A}$, regarded as the sub-category of even-graded objects in $s \mathcal{A}$:
Finally check (Deligne 02, prop. 4.5) that if a $k$-tensor category $\mathcal{A}$ (def. ) admits a super fiber functor (def. ) over a supercommutative superalgebra $R$ over $k$
then it also admits a super fiber functor over $k$ itself, i.e. a fiber functor to sVect
This is argued by expressing $R$ as an inductive limit
over supercommutative superalgebras $R_\beta$ of finite type over $k$ and observing (…) that there exists $\beta$ such that $\omega_\beta$ is still a fiber functor and such that there exists an algebra homomorphism $R_\beta \to k$.
Finally then the fiber functor in question is
For every $k$-tensor category $\mathcal{A}$ (def. ) and a super fiber functor over $k$ (def. )
then $\omega$ induces an equivalence of categories
of $\mathcal{A}$ with the category of finite dimensional representations, according to def. and prop. , of the automorphism supergroup $\underline{Aut}(\omega)$ (example. , prop. ) of the super fiber functor, where $\epsilon$ is te image of the unique nontrivial element in
(according to example ) under the group homomorphism
This is the main Tannaka reconstruction theorem (Deligne 90, 8.17) specialized to super fiber functors (Deligne 90, 8.19).
Monoidal categories were introduced independently by Jean Bénabou and Saunders MacLane under the name ‘categories with multiplication’. The current name is due to Samuel Eilenberg.
Jean Bénabou, Catégories avec multiplication , C. R. Acad. Sci. Paris 256 (1963) pp.1887-1890. (gallica)
Jean Bénabou, Algèbre élémentaire dans les catégories avec multiplication , C. R. Acad. Sci. Paris 258 (1964) pp.771-774. (gallica)
Saunders Mac Lane, Natural Associativity and Commutativity , Rice University Studies 49 (1963) pp.28-46.
Shortly after Mac Lane’s definition appeared, Max Kelly showed how the coherence axioms could be whittled down to just two:
The first monograph-length discussion appeared in
A more recnt texbook account with emphasis on tensor categories is
Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik, chapter 2 of Tensor categories, Mathematical Surveys and Monographs, Volume 205, American Mathematical Society, 2015 (pdf
))
Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik, Topics in Lie theory and Tensor categories, Lecture notes (spring 2009) (web)
Commutative algebra internal to symmetric monoidal categories is discussed in
Anthony Elmendorf, Igor Kriz, Michael Mandell, Peter May, Rings, modules and algebras in stable homotopy theory, AMS 1997, 2014
Mark Hovey, Brooke Shipley, Jeff Smith, Symmetric spectra, J. Amer. Math. Soc. 13 (2000), 149-208 (arXiv:math/9801077)
and specifically for commutative Hopf algebroids in
(These authors are motivated by the application of the general theory of algebra in monoidal categories to “higher algebra” (“brave new algebra”) in stable homotopy theory. This is a version of supercommutative superalgebra via example above.)
Free supercommutative superalgebras (Grassmann algebras) were first considered in
Review of basic superalgebra includes
Yuri Manin, chapter 3 of Gauge Field Theory and Complex Geometry, Grundlehren der Mathematischen Wissenschaften 289, Springer 1988
Dennis Westra, Superrings and supergroups, 2009 (pdf)
Discussion of superalgebras enhanced to smooth algebras (synthetic differential supergeometry) is in
Deligne's theorem on tensor categories is due to
building on the general results on Tannakian categories in
which are reviewed and further generalized in
Surveys are in
Victor Ostrik, Tensor categories (after P. Deligne) (arXiv:math/0401347)
The special case of Tannaka duality for ordinary compact groups regarded as supergroups (hence equipped with “inner parity”, def. , just being an involutive central element) is discussed in
as a proof of Doplicher-Roberts reconstruction in algebraic quantum field theory.
In their formal dual incarnations as super-graded commutative dg-algebras (super Chevalley-Eilenberg algebras), super L-∞ algebras of finite type had secretly been introduced in
Riccardo D'Auria, Pietro Fré Tullio Regge, Graded Lie algebra, cohomology and supergravity, Riv. Nuov. Cim. 3, fasc. 12 (1980) (spire)
Peter van Nieuwenhuizen, Free Graded Differential Superalgebras, in Istanbul 1982, Proceedings, Group Theoretical Methods In Physics, 228-247 and CERN Geneva - TH. 3499 (spire)
and hence a whole decade before the explicit appearance of plain (non-super) L-∞ algebras in Lada-Stasheff 92.
The concept was picked up in the D'Auria-Fré formulation of supergravity
and eventually came to be referred to as “FDA”s (short for “free differential algebra”) in the supergravity literature (where in rational homotopy theory one says “semifree dga”, since these dg-algebras are crucially not required to be free as differential algebras).
The relation between super $L_\infty$-algebras and the “FDA”s of the supergravity literature is made explicit in
Last revised on December 1, 2019 at 10:35:01. See the history of this page for a list of all contributions to it.