相关论文: On the Semi-Abelianness of Affine Group Schemes

By a recent work of Gran-Kadjo-Vercruysse, the category of cocommutative Hopf algebras over a field of characteristic zero is semi-abelian. In this paper, we explore some properties of this categoy, in particular we show that its abelian…

By providing a suitable generalization of Newman's bijective correspondence known for cocommutative Hopf algebras, we prove that the category of cocommutative Hopf monoids in any abelian symmetric monoidal category is semi-abelian, once…

Recently it was shown that the category of cocommutative Hopf algebras over an arbitrary field $\Bbbk$ is semi-abelian. We extend this result to the category of cocommutative color Hopf algebras, i.e. of cocommutative Hopf monoids in the…

We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor-Moore theorem, where the field was assumed to have zero…

We investigate models of algebraic theories in the category of cocommutative coalgebras over a field. We establish some of their categorical properties, similar to those of algebraic varieties. We introduce a class of categories of…

The purpose of this article is to prove that the category of cocommutative Hopf $K$-algebras, over a field $K$ of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it…

We explore the notion of representation of an affine extension of an abelian variety -- such an extension is a faithfully flat affine morphism of $\Bbbk$-group schemes $q:G\to A$, where $A$ is an abelian variety. We characterize the…

Hopf braces have been introduced as a Hopf-theoretic generalization of skew braces. Under the assumption of cocommutativity, these algebraic structures are equivalent to matched pairs of actions on Hopf algebras, that can be used to produce…

The adjunction between coalgebras and Hopf algebras, first described by Takeuchi, allows one to prove that the semi-abelian category of cocommutative Hopf algebras has enough $\mathcal E$-projective objects with respect to the class…

We study the de-equivariantization of a Hopf algebra by an affine group scheme and we apply Tannakian techniques in order to realize it as the tensor category of comodules over a coquasi-bialgebra. As an application we construct a family of…

We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…

We show that the functor of $p$-typical co-Witt vectors on commutative algebras over a perfect field $k$ of characteristic $p$ is defined on, and in fact only depends on, a weaker structure than that of a $k$-algebra. We call this structure…

In this note, we show that every Noetherian graded ring with an affine degree zero part is affine. As a result, a Noetherian graded Hopf algebra whose degree zero component is a commutative or a cocommutative Hopf subalgebra is affine.…

We classify principal bundles over anti-affine schemes with affine and commutative structural group. We show that this yields the classification of quasi-abelian varieties over a field k (i.e., group k-schemes with no non constant global…

We introduce two subalgebras in the type A quantum affine algebra which are coideals with respect to the Hopf algebra structure. In the classical limit q -> 1 each subalgebra specializes to the enveloping algebra U(k), where k is a fixed…

In this paper we classify, up to equivalence, all semisimple nontrivial Hopf algebras of dimension $2^{2n+1}$ for $n\geq 2$ over an algebraically closed field of characteristic $0$ with the group of group-like elements isomorphic to…

We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law…

We introduce a new filtration on Hopf algebras, the standard filtration, generalizing the coradical filtration. Its zeroth term, called the Hopf coradical, is the subalgebra generated by the coradical. We give a structure theorem: any Hopf…

We present a rich source of Hopf algebras starting from a cofinite central extension of a Noetherian Hopf algebra and a subgroup of the algebraic group of characters of the central Hopf subalgebra. The construction is transparent from a…

We provide a correspondence between one-sided coideal subrings and one-sided ideal two-sided coideals in an arbitrary bialgebroid. We prove that, under some expected additional conditions, this correspondence becomes bijective for Hopf…