Related papers: Weak Hopf quasigroups and matched pairs of quasigr…

Let $\mathfrak{F}$ be a formation and $G$ a finite group. A subgroup $H$ of $G$ is said to be weakly $\mathfrak{F}_{s}$-quasinormal in $G$ if $G$ has an $S$-quasinormal subgroup $T$ such that $HT$ is $S$-quasinormal in $G$ and $(H\cap…

We prove that the bicrossed product of two groups is a quotient of the pushout of two semidirect products. A matched pair of groups $(H, G, \alpha, \beta)$ is deformed using a combinatorial datum $(\sigma, v, r)$ consisting of an…

A condition is identified which guarantees that the coinvariants of a coaction of a Hopf algebra on an algebra form a subalgebra, even though the coaction may fail to be an algebra homomorphism. A Hilbert Theorem (finite generation of the…

In this paper, we aim to study the (generalized) quantum double $K^{\ast\mathrm{cop}}\bowtie_\sigma H$ determined by a (skew) pairing between finite-dimensional Hopf algebras $K^{\ast\mathrm{cop}}$ and $H$, especially the tensor category…

Inspired by the work of Radford, for $H$ an arbitrary quasi-Hopf algebra we describe all the Hopf algebras of dimension $2$ within the braided category of left Yetter-Drinfeld modules over $H$ and determine the biproduct quasi-Hopf algebras…

We generalize a result of Hochman in two simultaneous directions: Instead of realizing an effectively closed $\mathbb{Z}^d$ action as a factor of a subaction of a $\mathbb{Z}^{d+2}$-SFT we realize an action of a finitely generated group…

We consider a class of quasi-Hopf algebras which we call \emph{generalized twisted quantum doubles}. They are abelian extensions $H = \mb{C}[\bar{G}] \bowtie \mb{C}[G]$ ($G$ is a finite group and $\bar{G}$ a homomorphic image), possibly…

In this paper, we give an explicit chain map, which induces the algebra isomorphism between the Hochschild cohomology ${\bf HH}^{\bullet}(B)$ and the $H$-invariant subalgebra ${\bf H}^{\bullet}(A, B)^{H}$ under two mild hypotheses, where…

Let $G$ be a finite group. A subgroup $H$ of $G$ is said to be weakly S-embedded in $G$ if there exists $K\unlhd G$ such that $HK$ is S-quasinormal in $G$ and $H\cap K\leq H_{seG}$, where $H_{seG}$ is the subgroup generated by all those…

We investigate pairs $(G,Y)$, where $G$ is a reductive algebraic group and $Y$ a purely-odd $G$-superscheme, asking when a pair corresponds to a quasi-reductive algebraic supergroup $\mathbb{G}$, that is, $\mathbb{G}_{\text{ev}}$ is…

We give the construction of a class of weak Hopf algebras (or quantum groupoids) associated to a matched pair of groupoids and certain cocycle data. This generalizes a now well-known construction for Hopf algebras, first studied by G. I.…

We present the universal theory of weak crossed biproducts, and we prove that every weak projection of weak bialgebras induces an example of this crossed structure. As an example, we give the construction of a weak projection of a weak…

In this paper we introduce the notion of weak non-asssociative Doi-Hopf module and give the Fundamental Theorem of Hopf modules in this setting. Also we prove that there exists a categorical equivalence that admits as particular instances…

We show that a semisimple Hopf algebra A is group theoretical if and only if its Drinfeld double is a twisting of the Dijkgraaf-Pasquier-Roche quasi-Hopf algebra D^{omega}(Sigma), for some finite group Sigma and some 3-cocycle omega on…

The main properties of the crossed product in the category of Hopf algebras are investigated. Let $A$ and $H$ be two Hopf algebras connected by two morphism of coalgebras $\triangleright : H\ot A \to A$, $f:H\ot H\to A$. The crossed product…

We show that with the appropriate choice of coproduct, the type B quasisymmetric functions form a Hopf algebra, and the recently introduced type B peak functions form a Hopf subalgebra.

We generalize the fundamental structure Theorem on Hopf (bi)-modules by Larson and Sweedler to quasi-Hopf algebras H. If H is finite dimensional this proves the existence and uniqueness (up to scalar multiples) of integrals in H. Among…

This paper provides a complete characterization of quasicontractive $C_0$-semigroups on Hardy and Dirichlet space with a prescribed generator of the form $Af=Gf'$. We show that such semigroups are semigroups of composition operators and we…

We prove that a quasi-isomorphism $f : A \to B$ between commutative DG rings, where $B$ admits a divided power structure, can be factored as $f = \tilde{f} \circ e$, where $e : A \to \tilde{B}$ is a split injective quasi-isomorphism, and…

Let H be a cocommutative faithfully flat Hopf quasigroup in a strict symmetric monoidal category with equalizers. In this paper we introduce the notion of (strong) Galois H-object and we prove that the set of isomorphism classes of (strong)…