The fundamental correspondences in super affine groups and super formal groups. (Q2570181)

Let \(k\) be a field, \(\text{char\,}k\neq 2\). It is well known that if \(G\) is a group-valued functor then there is a correspondence between certain subgroups of \(G\) and quotients of \(G\). In the case where \(G\) is affine, any represented by \(A\), then this correspondence is equivalent to one between right coideal subalgebras which are projective generators for \(A\) as a module and quotient Hopf algebras where \(A\) is an injective cogenerator as a comodule. Furthermore, if \(G\) is a formal group then there is a one-to-one correspondence between all Hopf subalgebras and all left or right \(H\)-module coalgebras. Here, the author extends these correspondences to super affine groups and super formal groups. A super Hopf algebra is a \(\mathbb{Z}_2\)-graded Hopf algebra in the symmetric monoidal category of \(\mathbb{Z}_2\)-graded vector spaces. A super commutative Hopf algebra represents a super affine group and a super cocommutative Hopf algebra represents a super formal group. In the case where \(H\) is a super cocommutative Hopf algebra, it is shown that if \(K\) is a super Hopf subalgebra of \(H\) then \(H\) is a projective generator as a left and right \(K\)-module. Also, if \(Q\) is a quotient super left \(H\)-module coalgebra, then \(H\) is an injective cogenerator as a left and right \(Q\)-module. Finally, there is a one-to-one correspondence between super Hopf subalgebras and quotient super left \(H\)-module coalgebras, namely \(K\mapsto H/HK^+\), \(Q\mapsto H^{\text{co\,}Q}\). This correspondence restricts to one between super Hopf subalgebras which are normal and quotient super Hopf algebras. Here \(K^+\) denotes the augmentation ideal restricted to \(K\). In the case where \(A\) is a super commutative Hopf algebra, the following results are given. First, if \(B\) is a super Hopf subalgebra, then \(A\) is a projective generator as a left and right \(B\)-module. Also, if \(D\) is a conormal quotient super Hopf algebra then \(A\) is an injective cogenerator as a left and right \(D\)-comodule. Finally, the super Hopf subalgebras are in one-to-one correspondence with conormal quotient super Hopf algebras via \(B\mapsto A/AB^+\), \(D\mapsto A^{\text{co\,}D}\).