Abstract
We describe the structure of the quotient of a formal supergroup by its formal sub-supergroup . This is a consequence which arises as a continuation of the authors’ work (partly with M. Hoshi) on algebraic/analytic supergoups. The results are presented and proved in terms of super-cocommutative Hopf superalgebras. The notion of co-free super-coalgebras plays a role, in particular.
1 Introduction
1.1 Background and objective
The quotient of a group by its subgroup is the set of all -orbits in . This simple fact for abstract groups immediately turns into a difficult question if we replace abstract groups with groups with geometric structure, such as algebraic or analytic groups. Does the question become even more difficult when we consider those geometric groups in the generalized supersymmetric context, or namely, supergroups? The authors want to answer that it is not so difficult as was supposed, not so much more than that for geometric (non-super) groups. For we can describe the structure of the quotient for supergroups in terms of the non-super quotient , where (resp., ) is the geometric (non-super) group naturally associated with the supergroup (resp., ). Indeed, such a description has been given by the authors [Citation12, Theorem 4.12, Remark 4.13] for affine algebraic supergroups (see also [Citation14, Section 14.2] for non-affine case) and by Hoshi and the authors [Citation5, Theorem 7.3, Remark 7.4 (1)] for analytic supergroups.
A main objective of this paper is to give such a description for formal supergroups. Those formal supergroups (or resp., formal superschemes) form a category which is equivalent to the category of super-cocommutative Hopf superalgebras (resp., super-coalgebras), as is shown in Appendix below. In the text the results all are presented in terms of such Hopf superalgebras and super-coalgebras, some of which will be translated into the language of formal super-objects in the Appendix.
1.2 Main results
Throughout in this paper we work over a fixed base field whose characteristic is not 2. The unadorned ⊗ denotes the tensor product over . Except at the beginning part of the following Section 2 we always assume super-coalgebras and Hopf superalgebras to be super-cocommutative. Compare this situation with that in [Citation12], where the authors discussed super-commutative Hopf superalgebras in order to investigate affine algebraic supergroups; some arguments of the present paper are in fact dual to those of the cited article.
Let be a formal superscheme; the notation means that it corresponds to a super-coalgebra . It is known that includes the largest ordinary subcoalgebra, say, J. The formal scheme naturally associated to is the one corresponding to J, or in notation, . Suppose that is a formal supergroup, which means that is a Hopf superalgebra. Then J is a Hopf subalgebra of . Let be a formal sub-supergroup of , or equivalently, let be a Hopf sub-superalgebra of . The associated formal group is then a formal subgroup of , or equivalently, K is a Hopf subalgebra of J. The quotient formal superscheme corresponds to the quotient super-coalgebra of by the super-coideal which is generated, as a left super-ideal, by the augmentation super-ideal of ; or in notation,
The associated formal scheme is proved to be naturally isomorphic to (see Corollary 4.7), whence we have
Let denote the vector space consisting of all odd primitive elements of , which is in fact a left J-module under the adjoint J-action. Similarly we have the left K-module consisting of all odd primitive elements of , which is seen to be a K-submodule of , so that we have the quotient K-module of by . A main result of ours (Theorem 4.6 (1)) states that there is an isomprphism (1.1) (1.1) of super-coalgebras, which turns into (1.2) (1.2) in many special cases including the case where is pointed; see Proposition 4.4. Notice that the exterior algebra is naturally a Hopf superalgebra in which every element of is odd primitive, and it is regarded naturally as a left K-module super-coalgebra for (1.1), and simply as a super-coalgebra for (1.2).
A description of which looks similar to (1.2) is given by [Citation9, Proposition 3.14 (1)] under the assumption that is irreducible, or namely, the coradical of is . But, our method of the proof is more conceptual, which uses the notion of co-free super-coalgebras (see Definition 3.4 for precise definition) and proves on the course that and are co-free; see Proposition 4.3 and Example 3.8. Furthermore, we obtain from (1.1) the smoothness criteria (Theorem 4.8): (1) is smooth if and only if so is , (2) The equivalent conditions are necessarily satisfied if .
Throughout we will use Hopf-algebraic techniques; in particular, a key step to prove (1.1) is to show a Maschke-type result such as found in [Citation3]; see Lemma 4.1. The techniques are so useful that we will work mostly in the Hopf-algebra language, not in the group-theoretical one. They also make it easier to investigate the associated graded object. Indeed, we obtain a description of the graded coalgebra associated to ; see Theorem 4.6 (2).
1.3 Organization of the paper
Section 2 is devoted to preliminaries, which contain basic definitions and results on supersymmetry and Hopf superalgebras. Section 3 discusses co-free super-coalgebras. Section 4 presents main results and their proofs. Appendix discusses formal superschemes and supergroups from scratch, and translates some of the results obtained in the text into the language of those formal super-objects.
2 Preliminaries
2.1 Supersymmetry
A super-vector space is a vector space (over ) graded by the order-2 group . It is said to be purely even (resp., purely odd) if (resp., ). The super-vector spaces form a monoidal category, with respect to the natural tensor product ⊗ over , and the unit object which is supposed to be purely even. This monoidal category is symmetric with respect to the supersymmetry (2.1) (2.1) where and are homogeneous elements with the parities (or degrees) , respectively.
Objects, such as (co)algebra, Hopf algebra or Lie algebra, constructed in are called so as super-(co)algebra, Hopf superalgebra or Lie superalgebra, with “super” thus attached. Ordinary objects, such as ordinary (co)algebra, …, are regarded as purely even super-objects.
If , a Lie superalgebra is required to satisfy in addition to the alternativity and the Jacobi identity formulated in the super context.
Useful references for algebra and geometry in the supersymmetric context include Carmeli et al. [Citation1] and Manin [Citation6].
2.2 Super-coalgebras and Hopf superalgebras
In what follows super-coalgebras are assumed to be super-cocommutative. Accordingly, Hopf superalgebras are so, as well.
For a super-coalgebra , the structure is denoted by , or simply by . The coproduct Δ is presented so as by this variant of the Heynemann-Sweedler notation. The super-cocommutativity assumption is presented by . In case is a Hopf superalgebra, the antipode is denoted by or S.
A graded coalgebra is a non-negatively graded coalgebra which, regarded as a super-coalgebra with respect to the parity is super-cocommutative. A graded Hopf superalgebra is a graded super-coalgebra, equipped with a graded-algebra structure, which is a Hopf superalgebra with respect to the parity as above.
2.3 The exterior algebra
Let be a purely odd super-vector space.
The exterior algebra on is a graded algebra, and is in fact a graded Hopf superalgebra in which every element is primitive, ; this is super-commutative as well as super-cocommutative.
In what follows, will be often regarded only as a graded coalgebra or a super-coalgebra. To give an alternative description of that structure, first notice that given an integer n > 1, the symmetric group of degree n acts on the n-fold tensor product of , so that the ith fundamental transposition acts as where . We suppose that acts on the right, so that the action is given explicitly by where and . Let (2.2) (2.2)
denote the subspace of consisting of all -invariants. The symmetrizer (2.3) (2.3) gives a linear isomorphism; this is to be called the anti-symmetrizer ordinarily in the non-super situation. Let , , and set
For and , we let (2.4) (2.4) denote the injection restricted from the canonical linear isomorphism . The graded-coalgebra structure of is transferred through to as follows: the coproduct is transferred to defined by
while the counit is to the projection . Here, as for Δ one should notice the formula where σ runs over the -shuffles, i.e., the permutations such that and . We can thus identify so as (2.5) (2.5) as graded coalgebras.
2.4 The associated graded coalgebra
Let be a super-coalgebra. The pullback (2.6) (2.6) of along the coproduct is the largest purely even sub-super-coalgebra of ; see [Citation9, Section 3]. Let , . For every integer n > 0, let be the kernel of the composite of the n-iterated coproduct of with the natural projection onto . Then is filtered (see [Citation15, Section 11.1]), or more precisely, we have an ascending chain of sub-super-coalgebras of , such that
The associated graded coalgebra is indeed super-cocommutative.
Suppose that is a Hopf superalgebra. Then J is a purely even Hopf superalgebra of , and we have , . Moreover, turns into a graded Hopf superalgebra. The super-vector space (2.7) (2.7) consisting of all primitive elements in form a Lie superalgebra with respect to the super-commutator , where v and w are homogeneous elements of . Define (2.8) (2.8)
the odd component of the Lie superalgebra. This is stable under the right (resp., left) adjoint J-action (2.9) (2.9) where and , whence it turns into a right (resp., left) purely odd J-supermodule. Notice that is a J-ring, by which we mean an algebra equipped with an algebra map from J. With an arbitrarily chosen, totally ordered basis of , is, as a J-ring, generated by X, and defined by the relations (2.10) (2.10) where and in Λ. Moreover, the linear map (2.11) (2.11) defined by and where n > 0 and in Λ, is a left J-linear isomorphism of super-coalgebras; see [Citation9, Theorem 3.6]. In particular, is naturally included in , (2.12) (2.12)
Remark 2.1.
Theorem 10 of [Citation10] proves a category equivalence between (super-cocommutative) Hopf superalgebras and dual Harish-Chandra pairs. We can make into a natural isomorphism of Hopf superalgebras, giving to some additional structures that are obtained from the dual Harish-Chandra pair corresponding to . But, such a more precise description of will not be needed in the sequel.
Keep the notation as above. The category of right J-supermodules is a monoidal category, which is symmetric with respect to the supersymmetry (2.1) due to the cocommutativity of J. The Hopf superalgebra is in fact a Hopf algebra in with respect to the J-action arising from the right adjoint action. The associated smash product is identified with , since the second relation of (2.10) is reduced in to the super-commutativity . To be more precise, is naturally isomorphic to , and the isomorphism together with the inclusion uniquely extend to a canonical isomorphism (2.13) (2.13) of graded Hopf superalgebras, which in fact coincides with .
2.5 Quick review of structure of Hopf superalgebras
Let be a super-coalgebra. Every simple subcoalgebra of the , which is regarded as an ordinary coalgebra, is purely even. The coradical of is by definition the (necessarily, direct) sum of all simple subcoalgebras; it is seen to be included in the J in (2.6).
Suppose that is a Hopf superalgebra. We say that is irreducible if is a unique simple subcoalgebra, or namely, . It is known that includes the largest irreducible Hopf sub-superalgebra denoted by . If coincides with the universal envelope of the Lie superalgebra in (2.7). We say that is pointed if the simple subcoalgebras of are all 1-dimensional; this is the case if is algebraically closed. Suppose that is pointed. Then the group of the grouplike elements, which all are necessarily even for being over a field, spans . Moreover, is stable under the conjugation by and the resulting smash product is naturally identified with .
3 Co-free super-coalgebras
Let be a super-coalgebra; we remark this symbol shall not express the complex field, which does not appear in this paper. Let V be a super-vector space. Due to the super-cocommutativity of , every left -super-comodule structure (or left -coaction) on V can be identified with a right -super-comodule structure (or right -coaction) through (3.1) (3.1)
and vice versa. Notice that is then a -bi-super-comodule in the sense
Therefore, given a -super-comodule, we may regard it as any of left, right and bi-super-comodules, and do not specify which unless it is needed.
Given -super-comodules V and W, the cotensor product is defined by the equalizer diagram
[[INLINE FIGURE]]where ρV (resp., λV) denotes the right (resp., left) -coaction on V (resp., W). The left -coaction on V and the right -coaction on W give rise to the same (in the super sense as given by (3.1)) coaction onto , with which we regard as a -super-comodule.
We let denote the category of -super-comodules; we thus take “right” for this notation. It is easy to see the following.
Lemma 3.1.
forms a monoidal category, whose tensor product is given by the cotensor product , and whose unit object is . This is in fact symmetric with respect to the supersymmetry restricted to the cotensor products.
Definition 3.2.
A super-coalgebra over or -super-coalgebra is a pair of a super-coalgebra and a super-coalgebra map .
Giving a -super-coalgebra is the same as giving a coalgebra in . To be more precise we have the following.
Lemma 3.3.
If is a -super-coalgebra, then , regarded as a -super-comodule with respect to , is a coalgebra in whose coproduct is , regarded to be mapping into , and whose counit is . Every coalgebra in the category arises uniquely in this way.
Proof.
Given a coalgebra in the category, its coproduct composed with the embedding into , and its counit composed with the counit of make into a super-coalgebra. This super-coalgebra, paired with the counit in the category, is made into a -super-coalgebra. This construction is seen to be an inverse procedure of the construction given in the lemma. □
Let C be a (cocommutative) coalgebra, and let be a purely odd C-super-comodule. We emphasize that C is supposed to be purely even, and purely odd.
Definition 3.4.
A C-super-coalgebra on is a pair of a C-super-coalgebra and a C-super-colinear map . The C-super-coalgebras on form a category, whose morphisms are C-colinear super-coalgebra maps compatible with the maps to . A C-super-coalgebra on is said to be co-free if it is a terminal object of the category, or more explicitly, if given a C-super-coalgebra on , there exists a unique morphism of C-super-coalgebras on .
Proposition 3.5.
There exists uniquely (up to isomorphism) a co-free C-super-coalgebra on .
Proof.
The uniqueness is obvious. Let us construct explicitly a desired , which is in fact graded, , as a coalgebra. We write simply for . Let
Let n > 1. Notice that the cotensor product of n copies of is stable under the -action. Define to be the C-sub-comodule consisting of all -invariants in , which equals in . We let , .
Let and . We see that the canonical C-super-colinear isomorphisms restrict to which we denote by ; cf. (2.4) in the case where . Define a C-super-colinear map by
Let be the projection. Then we see that is a (graded) C-super-coalgebra; cf. the graded-coalgebra structure of given in Section 2.3.
We wish to prove that this , paired with the projection , is co-free. Given a C-super-coalgebra on , let us construct C-super-colinear maps , . Let be the super-coalgebra map equipped to , and be ϖ, respectively. For n > 1, define to be the composite (3.2) (3.2) where denote the -iterated coproduct of . This composite indeed maps into , since is super-cocommutative. Since the coradical of is purely even, and is, therefore, killed by ϖ, it follows that for every , we have for sufficiently large n. Thus we can define by
One sees that this f is a unique morphism of C-super-coalgebras on . Indeed, it is easy to see that f is compatible with the counits. Let n > 1. To see that f is compatible with the coproducts, one should use the formula where . For the uniqueness one should use the fact that the composite coincides with the projection . □
We denote the thus constructed, co-free C-super-coalgebra on by
We emphasize that this is graded so that (3.3) (3.3) and the associated map to is the projection onto the first component. In addition, the largest purely even sub-super-coalgebra of is C, as is seen from (2.6) and the construction above.
Example 3.6.
Let us be in the special case where C is the trivial coalgebra spanned by a grouplike element, and is, therefore, a purely odd super-vector space. Then we have (3.4) (3.4)
Remark 3.7.
This fact (3.4) is essentially shown in the second half of the proof of [Citation5, Proposition 3.11] by the authors joint with Hoshi, which, however, contains an error; the composite given on Page 41, line –9, should read which indeed maps into ; cf. (3.2).
Example 3.8.
Suppose that C is an arbitrary (cocommutative) coalgebra, and is co-free, or namely, , where is a purely odd super-vector space. We see from the construction in the last proof that (3.5) (3.5)
Notice that (3.4) and (3.5) are identifications of graded coalgebras, as well. The relevant following observation is simple, but will be used in the next section.
Remark 3.9.
In general, given a graded coalgebra , the neutral component is a (cocommutative) coalgebra and the first component is a purely odd -super-comodule with respect to the relevant component of the coproduct (3.6) (3.6)
Therefore, , paired with the projection onto the neutral component, is a -super-coalgebra, which in turn, paired with the projection onto the first component, is a -super-coalgebra on .
Recall from (3.3) that is such a graded coalgebra with the property (3.7) (3.7)
It may be understood, as a C-super-coalgebra on , to be the one which arises, as above, from its graded-coalgebra structure with the property (3.7). Moreover, it is a terminal object in the category of those graded coalgebras with that property; morphisms in the category are supposed to be identical in degrees 0 and 1.
The notion of smooth (cocommutative) coalgebras (see [Citation16, p. 1521, lines 5–7], [Citation4, Definition 1.4, Proposition 1.5]) is directly generalized in the super context as follows.
An inclusion of super-coalgebras is said to be essential if ; see [Citation11, Section 1]. A super-coalgebra is said to be smooth if every essential inclusion of into another super-coalgebra splits. The condition is equivalent to saying that given an essential inclusion of super-coalgebras, every super-coalgebra map extends to some super-coalgebra map .
A coalgebra, or a purely even super-coalgebra, is smooth as a coalgebra (in the sense of [Citation4, Citation16]) if and only if it is smooth as a super-coalgebra (in the sense just defined). To see “only if”, one should notice that every super-coalgebra map from a super-coalgebra, say, to a coalgebra uniquely factors through the quotient purely even super-coalgebra of .
If , then every Hopf algebra is smooth, as is well known, and this fact, combined with the isomorphism given by in (2.11), proves that every Hopf superalgebra is then smooth; see (the proof of) Theorem 4.8 (2).
Proposition 3.10.
If C is a smooth coalgebra and is an injective purely odd C-super-comodule, then is smooth.
Proof.
Write for . We are going to prove that an arbitrarily given essential inclusion splits under the assumptions. By the smoothness assumption for C, the projection extends to a super-coalgebra map , with which we regard as a C-super-coalgebra. By the injectivity assumption for , the projection extends to a C-super-colinear map , which gives rise to a unique C-super-coalgebra map on by the co-freeness of . The map must be a retraction of the inclusion , regarded as a C-super-coalgebra map on , again by the co-freeness. □
Remark 3.11.
If is a smooth super-coalgebra, then the largest purely even sub-super-coalgebra, say, D of is smooth, as is easily seen using the fact that every super-coalgebra map from a purely even super-coalgebra to maps into D. In particular, if is smooth, then C is; see the remark preceding Example 3.6.
4 The quotient
Let be a Hopf superalgebra, and let be a Hopf sub-superalgebra of . Then the left super-ideal of generated by the augmentation super-ideal of is a super-coideal; see [Citation17, Proposition 1] or [Citation9, p. 286]. We denote the resulting quotient super-coalgebra of by (4.1) (4.1)
If is a normal Hopf sub-superalgebra, or namely, if (or equivalently, is stable under the adjoint -action, see [Citation9, Theorem 3.10 (3)]), then is a quotient Hopf superalgebra of , in which case the structure of is rather clear from the results obtained in [Citation10, Section 3]. So, in what follows, main interest of ours will be in the case where is not normal.
We are going to investigate the structures of this super-coalgebra and of the associated graded coalgebra ; the results will be then applied to show smoothness criteria for . One will see easily that parallel results hold for the objects , analogously constructed with the side switched.
Let J and K be the largest purely even Hopf sub-superalgebras of and of (see Section 2.4), and set as in (2.8). These are purely odd right (and left) supermodules over J and over K, respectively; see (2.9). For a while we regard these as ordinary modules, keeping their parity in mind. The natural maps and induced from the inclusion are injections, through which we can regard K as a Hopf subalgebra of J, and as a K-submodule of .
Define (4.2) (4.2)
We let denote the category of right K-modules, which is in fact a symmetric monoidal category, . Since J is a coalgebra in the category, we have the category (4.3) (4.3) of right J-comodules in . We have the short exact sequence
in . Tensored with J, this gives rise to the short exact sequence (4.4) (4.4) in , in which K acts diagonally on each tensor product, while J coacts on the single tensor factor J.
Lemma 4.1.
The short exact sequence (4.4) in splits.
Proof.
Clearly, the surjection in (4.4) splits J-colinearly. Therefore, it splits, as desired, as a morphism in , as is seen from the following.
Fact. A surjective morphism in splits if it splits J-colinearly.
This fact is proved by dualizing the argument proving [Citation3, Theorem 1], as follows. Since J is projective as a right K-module by [Citation7, Theorem 1.3], we have a right K-linear map such that . Let represent the J-coaction on . By direct computations we see that the K-action splits in , having as a section. To see, for example, that σ is J-colinear, we compute the J-coaction on so that where represents ; notice that the second and the last equalities hold since K and J are cocommutative. Choose a J-colinear section of p. Then the composite where the last arrow indicates the K-action on , is seen to be a desired section. □
By Lemma 4.1 we can choose a section of the natural surjective morphism in . Notice that it is necessarily of the form where and . Recall here that we are discussing purely odd super-objects.
In addition, recall from Example 3.8 that and are the co-free J-super-coalgebras on the purely odd J-super-comodules and , respectively. Then we see that the J-colinear map γ between those J-super-comodules uniquely extends to a graded coalgebra map such that
in degrees 0 and 1, and in degree , where and . As a super analogue of (4.3) we have the category of J-comodules in , which is indeed a symmetric monoidal category, (4.5) (4.5) just as is; see Lemma 3.1. Notice that and are co-free coalgebras in in a generalized sense (defined in an obvious manner), and , arising from the morphism γ in the category, is a coalgebra morphism in the category.
Define a morphism in by (4.6) (4.6) where Here, on the target , K acts and J coacts on the tensor factor J. We see that τ is in fact a graded coalgebra isomorphism with inverse
Choosing a totally ordered basis of , one obtains the opposite-sided version of the in (2.11), which is a coalgebra isomorphism in . Define to be the composite
This is a coalgebra morphism in , which sends to a for every .
Proposition 4.2.
The right -linear extension of Γ where , , is a coalgebra isomorphism in , which sends to a for every .
Proof.
Clearly, is a coalgebra morphism in , which sends to a for every . To see that it is an isomorphism, we aim to prove that is bijective. Notice that coincides with the canonical isomorphism in (2.13). Using the similar isomorphism , one sees that coincides with the composite where denotes the product in .
Regard as Hopf superalgebras, naturally as in the beginning of Section 2.3. Clearly, is a coalgebra morphism in . Since is a coalgebra morphism in , we can regard as a -coalgebra morphism in (in a sense slightly generalized from Definition 3.2), or in other words (see Lemma 3.3), as a coalgebra morphism in which is indeed a symmetric monoidal category just as the one in (4.5). Since is naturally isomorphic to , it follows essentially by [Citation17, Theorem 1] (see also [Citation9, Proposition 1.1]) that the symmetric monoidal category above is equivalent to through the functor which assigns to an object M in the former category,
where one should notice . Therefore, for our aim, it suffices to prove that is bijective, or is indeed the identity map. One sees that this is a graded coalgebra endomorphism which is identical clearly in degree 0, and also in degree 1 by choice of γ. By co-freeness of (see Example 3.8) it must be the identity map in view of Remark 3.9. □
Now, we regard as left K-modules with respect to the left adjoint action (see (2.9)), so that is a left K-module, and is a coalgebra in the monoidal category of left K-supermodules. Construct . This is a graded coalgebra such that (4.7) (4.7) whence it is a -super-coalgebra with respect to the projection onto the neutral component; notice that the associated -coaction on (see (3.6)) is the natural one on the tensor factor J. Moreover, we have the following.
Proposition 4.3.
is co-free on .
This proposition and the following will be proved below together.
Proposition 4.4.
Assume one of the following (i)–(iv):
J is pointed (this is satisfied if is algebraically closed);
K is finite-dimensional;
is stable in under the J-action (this is satisfied if is normal in );
K is smooth as a coalgebra (this is satisfied if ), and
K includes the coradical of J.
Then there is a -colinear isomorphism . It extends to an isomorphism of graded coalgebras (4.8) (4.8) which is the identity map of in degree 0, and is the previous isomorphism in degree 1.
Proof of Propositions 4.3
and 4.4. By (4.7) we have a canonical morphism (4.9) (4.9) of graded coalgebras, which is identical in degrees 0 and 1. We wish to show that this is an isomorphism, which will prove Proposition 4.3. Replacing everything with its base extension to the algebraic closure of , we may suppose that is algebraically closed. Then J is pointed, whence we have a -colinear and right K-linear isomorphism (4.10) (4.10) by [Citation7, Theorem 1.3 (4)]. With and applied, this induces a -colinear isomorphism and an isomorphism such as (4.8). The morphism (4.9) is then identified, through the isomorphisms just obtained, with a graded coalgebra map which is identical in degrees 0 and 1. By co-freeness of (see Example 3.8) this must be an isomorphism in view of Remark 3.9.
Let us turn to Proposition 4.4. The argument above proves it in Cases (i) and (ii), since we then have an isomorphism such as (4.10) by [Citation7, Theorem 1.3 (4)], again. In Case (iv), as well, we have such an isomorphism. To see this, assume (iv). By modifying the proof of [Citation8, Theorem 4.1, Lemma 4.2] into the cocommutative situation, we see that the inclusion has a right K-linear coalgebra retraction, say, , and gives a desired isomorphism. Here and below we let present the natural projection .
Finally, assume (iii). Then is naturally a left J-module. We see that (4.11) (4.11) is a -colinear isomorphism, which indeed has as an inverse; see [Citation17, p. 456, line 6] or [Citation8, Eq. (4)]. An obvious modification with replaced by gives an isomorphism such as (4.8). Alternatively, the isomorphism follows from (4.11), in virtue of the co-freeness shown by Proposition 4.3 and Example 3.2. □
Remark 4.5.
It is known that there exist (cocommutative) Hopf algebras over a non-algebraically closed field, for which there does not exist any isomorphism such as (4.10), or J is not even free as a left or right K-module; see [Citation17, Section 5], for example.
Theorem 4.6.
We have the following.
There is an isomorphism
of super-coalgebras, which, restricted to
is natural in the sense that it is induced from the natural projection restricted to
is naturally regarded as a graded Hopf sub-superalgebra of . The natural projection induces an isomorphism
(4.12)
of graded coalgebras. These graded coalgebras are naturally isomorphic to the co-free -super-coalgebra on ; see Proposition 4.3.
Proof.
(1) Recall from Proposition 4.2 the isomorphism , which has the property, among others, that it sends to a for every . With applied, it induces a desired isomorphism. To verify the prescribed naturality, one uses the property above and the fact that the composite of the first component of the τ (see (4.6)) with the product in coincides with the product map .
(2) We have the following commutative diagram in which the bottom horizontal arrow indicates the isomorphism just obtained,
[[INLINE FIGURE]]
This, with applied, induces
[[INLINE FIGURE]]
Here one should notice using an isomorphism analogous to (2.11). We see from the horizontal isomorphism at the top, which sends to , that is a graded Hopf sub-superalgebra of ; see also [Citation9, Remark 3.8]. Moreover, the projection indicated by the vertical arrow on the RHS induces the isomorphism (4.12). The horizontal isomorphism at the bottom proves the last statement. □
There is given in [Citation9, Proposition 3.14 (1)] a description of that looks similar to the one obtained in Theorem 4.6 (1). But the cited result assumes that is irreducible, and indeed, the down-to-earth proof given there is not valid in the present general case. The description of ours gives a simpler and more natural proof of the following result reproduced from [Citation9].
Corollary 4.7.
[Citation9, Theorem 3.13 (2), (3)] We have the following.
is naturally isomorphic to the largest purely even sub-super-coalgebra of .
is naturally isomorphic to the purely odd super-vector space
Proof.
(1) Notice from Proposition 4.3 and the remark preceding Example 3.1 that is the largest purely even sub-super-coalgebra of . Then the desired result follows from the isomorphism proved by Theorem 4.6 (1) and its partial naturality on .
(2) Notice that taking is compatible with base extension. Then by using the isomorphism (4.8) after base extension to the algebraic closure of , we see
The desired result follows from the isomorphism proved by Theorem 4.6 (1) and its partial naturality on . □
As another advantage (from [Citation9]) of our more conceptual treatment that uses the notion of co-free super-coalgebras, we have the following smoothness criteria for .
Theorem 4.8.
We have the following.
is smooth if and only if so is .
is smooth if .
Proof.
(1) By Theorem 4.6 we may suppose . We claim that the -comodule is injective, or equivalently, co-flat; see [Citation16, Proposition A.2.1]. Indeed, the co-flatness (that is, the right exactness of the associated co-tensor product functor) follows, since the comodule turns into the co-free comodule after base extension to the algebraic closure of ; see the proof of Proposition 4.3. The claim, combined with Proposition 3.10 and Remark 3.11, proves the desired result.
(2) By Part 1 it suffices to prove that the coalgebra is smooth in case . In view of [Citation4, Proposition 1.5] we may suppose by base extension such as above that is algebraically closed, in which case J and K are smash products (see Section 2.5) where we have set
We see as coalgebras. It remains to prove that and are both smooth coalgebras. First, , being spanned by the grouplike elements of all right cosets of GL by GK , is a smooth coalgebra. So is , since it is a pointed irreducible coalgebra of Birchkoff-Witt type, or more explicitly, it is isomorphic to the tensor product
of coalgebras , each of which is spanned by the divided power sequence of infinite length in UL , where are arbitrarily chosen elements of P(L) such that they modulo P(K) form a -basis of . □
Acknowledgments
The authors thank the referee for helpful suggestions that improved the presentation of the paper.
Additional information
Funding
References
- Carmeli, C., Caston, L., Fioresi, R. (2011). Mathematical Foundations of Supersymmetry. EMS Series of Lectures in Mathematics. Zürich: European Mathematical Society.
- Dăscălescu, S., Năstăsescu, C., Raianu, Ş. (2001). Hopf Algebras: An Introduction. Pure and Applied Mathematics, Vol. 235. New York/Basel: Marcel Dekker, Inc.
- Doi, Y. (1990). Hopf extensions of algebras and Maschke type theorems. Israel J. Math. 72(1–2):99–108. DOI: 10.1007/BF02764613.
- Farinati, M. A., Solotar, A. (2001). Extensions of cocommutative coalgebras and a Hochschild-Kostant-Rosenberg type theorem. Commun. Algebra 29(10):4721–4758. DOI: 10.1081/AGB-100106783.
- Hoshi, M., Masuoka, A., Takahashi, Y. (2020). Hopf-algebra techniques applied to super Lie groups over a complete field. J. Algebra 562:28–93. DOI: 10.1016/j.jalgebra.2020.06.019.
- Manin, Y. (1997). Gauge Field Theory and Complex Geometry. Translated from the 1984 Russian original by N. Koblitz and J. R. King, 2nd ed., Grundlehren der mathematischen Wissenschaften, Vol. 289. Berlin: Springer-Verlag.
- Masuoka, A. (1991). On Hopf algebras with cocommutative coradicals. J. Algebra 144:451–466. DOI: 10.1016/0021-8693(91)90116-P.
- Masuoka, A. (2003). Hopf cohomology vanishing via approximation by Hochschild cohomology. Banach Center Publ. 61:111–123.
- Masuoka, A. (2005). The fundamental correspondences in super affine groups and super formal groups. J. Pure Appl. Algebra 202(1–3):284–312. DOI: 10.1016/j.jpaa.2005.02.010.
- Masuoka, A. (2012). Harish-Chandra pairs for algebraic affine supergroup schemes over an arbitrary field. Transform. Groups 17(4):1085–1121. DOI: 10.1007/s00031-012-9203-8.
- Masuoka, A., Oka, T. (2005). Unipotent algebraic affine supergroups and nilpotent Lie superalgebras. Algebras Represent. Theory 8(3):397–413. DOI: 10.1007/s10468-005-8204-x.
- Masuoka, A., Takahashi, Y. (2021). Geometric construction of quotients G/H in supersymmetry. Transform. Groups 26(1):347–375. DOI: 10.1007/s00031-020-09583-3.
- Masuoka, A., Zubkov, A. N. (2011). Quotient sheaves of algebraic supergroups are superschemes. J. Algebra 348:135–170. DOI: 10.1016/j.jalgebra.2011.08.038.
- Masuoka, A., Zubkov, A. N. (2022). Group superschemes. J. Algebra 605:89–145. DOI: 10.1016/j.jalgebra.2022.04.027.
- Sweedler, M. E. (1969). Hopf Algebras. New York: W. A. Benjamin, Inc.
- Takeuchi, M. (1979). Formal schemes over fields. Commun. Algebra 5(14):1483–1528. DOI: 10.1080/00927877708822227.
- Takeuchi, M. (1979). Relative Hopf modules-equivalences and freeness criteria. J. Algebra 60:452–471. DOI: 10.1016/0021-8693(79)90093-0.
Appendix:
On formal superschemes
Let us translate some of the results obtained in the text into the language of formal superschemes. The authors do not know any literature which discusses in detail theory of formal schemes over a field such as developed by [Citation16], in the generalized super context. But, at least basic definitions and results found in part of [Citation16] are directly generalized as will be seen below. We continue to suppose and that super-coalgebras and Hopf superalgebras are super-cocommutative.
A set-valued (resp., group-valued) functor defined on the category of super-commutative superalgebras is called a super -functor (resp., super -group); see [Citation13, Section 3], for example.
Let be a super-coalgebra (over ). Given an object is a super-coalgebra over R. Let denote the set of all even grouplike elements of . This is naturally a group if is a Hopf superalgebra. One sees that gives rise to a functor, , which is called the formal superscheme or formal supergroup corresponding to . The formal superscheme is said to be smooth if is a smooth super-coalgebra. Every formal supergroup is smooth if . See the paragraphs following Remark 3.9.
The assignment gives rise to a category equivalence from the category of super-coalgebras (resp., Hopf superalgebras) to that full subcategory of the category of super -functors (resp., super -groups) which consists of all formal superschemes (resp., formal supergroups). The source category has (possibly, infinite) direct products given by the tensor product ⊗, and the target full subcategory is closed under the direct product. By this fact on the category of super-coalgebras (resp., formal superschemes) one can define group objects in the respective categories, which are precisely Hopf superalgebras (resp., formal supergroups); see [Citation2, Appendix B], for example.
We remark that the category of formal superschemes consists precisely of those super -functors such that is isomorphic to the inductive limit associated to some filtered inductive system of finite affine superschemes, where each is thus represented by a finite-dimensional super-commutative superalgebra, say, , and the morphism for is supposed to be a closed immersion, or namely, to arise from a surjective superalgebra map . It follows that the category is included in the category of sheaves in the fppf topology (faisceaux). Also, a monomorphism of formal superschemes uniquely arises from an injective super-coalgebra map . Therefore, we may and we do call as a formal sub-superscheme (resp., formal sub-supergroup) of if is a sub-super-coalgebra (resp., Hopf sub-superalgebra) of a super-coalgebra (resp., Hopf superalgebra) .
Given a super -functor , we have a super -functor, , defined by
If is a formal superscheme or a formal supergroup, so is . For if , then , where C is the largest purely even sub-super-coalgebra of ; see (2.6). In this case, can be regarded as an ordinary formal scheme or group. In general, every (ordinary) formal scheme, say, is regarded as a formal superscheme, with D regarded as a (purely even) super-coalgebra. It is smooth at the same time as a formal scheme and as a formal superscheme.
Let be a formal supergroup corresponding to a Hopf superalgebra . As in (2.8), let be the purely odd super-vector space of odd primitive elements of . One sees that is a formal sub-supergroup of . The following results from the isomorphism in (2.11).
Proposition A.1.
We have a -equivariant isomorphism of formal superschemes.
A group-equivariant object in the category of super-coalgebras is a coalgebra in the monoidal category (or ) of left (or right, according to the side on which acts) supermodules. On the other hand, such an object in the category of formal superschemes is called a left or right formal -superscheme. Obviously, those objects in the respective categories are in a category equivalence. In Proposition A.1, is regarded as a left formal -superscheme by multiplication.
Retain as above, and let be a formal sub-supergroup of ; thus, is a Hopf sub-superalgebra of . Then for every is a subgroup of . It holds that is normal, that is, for every R, is a normal subgroup of , if and only if is a normal Hopf sub-superalgebra of . Define where is as in (4.1); this is a formal supergroup in case is normal. Then we have the co-equalizer diagram in the category of formal superschemes (formal supergroups, in case is normal), where the paired arrows indicate the multiplication and the projection. Main interest of ours is in the case where is not normal in .
In case and hence are formal groups, the formal superscheme arising from the quotient formal scheme coincides with the quotient formal superscheme which one constructs, regarding and as formal supergroups.
Theorem A.2.
We have the following.
The morphism arising from the quotient induces an isomorphism
of formal schemes.
is smooth if and only if so is .
is smooth if .
Part 1 above is a restatement of Corollary 4.7 (1), while the rest is that of Theorem 4.8.
Recall . Let , and define , as in (4.2). The isomorphisms obtained in Proposition 4.2 and Theorem 4.6 (1) are translated as follows.
Theorem A.3.
There is an -equivariant isomorphism (A.1) (A.1) of formal superschemes, which induces an isomorphism (A.2) (A.2) of formal superschemes.
In accordance with the fact (see Section 4) that is a coalgebra in and in , we have regarded as a right (for (A.1)) and left (for (A.2)) formal -superschme, where .
The product above is defined in general, as follows. Given a formal supergroup , a right formal -superscheme and a left formal -superscheme , we define by
This superscheme is characterized by the co-equalizer diagram in the category of formal superschemes, where the paired arrows indicate the right -action on and the left -action on . In addition, for (A.1), notice that is naturally a right formal -superscheme, in case is a formal supergroup including as a formal sub-supergroup.
Remark A.4.
As analogues to Theorem A.3, Proposition 4.8 and Corollary 4.10 (see also Remark 4.13) of [Citation12] prove results on affine algebraic supergroups, for which the situation is more complicated, so that the analogous isomorphisms hold only locally.