BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

A. L. Agore

A. L. Agore appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.RAmath.QAmath.GRmath.CTmath.DGmath-phmath.MP

Catalog footprint

What is connected

29works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2022arXiv

Unified products for Jordan algebras. Applications

Given a Jordan algebra $A$ and a vector space $V$, we describe and classify all Jordan algebras containing $A$ as a subalgebra of codimension ${\rm dim}_k (V)$ in terms of a non-abelian cohomological type object ${\mathcal J}_{A} \, (V, \, A)$. Any such algebra is isomorphic to a newly introduced object called \emph{unified product} $A \, \natural \, V$. The crossed/twisted product of two Jordan algebras are introduced as special cases of the unified product and the role of the subsequent problem corresponding to each such product is discussed. The non-abelian cohomology ${\rm H}^2_{\rm nab} \, (V, \, A )$ associated to two Jordan algebras $A$ and $V$ which classifies all extensions of $V$ by $A$ is also constructed. Several applications and examples are given: we prove that ${\rm H}^2_{\rm nab} \, (k, \, k^n)$ is identified with the set of all matrices $D\in M_n(k)$ satisfying $2\, D^3 - 3 \, D^2 + D = 0$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Algebraic constructions for Jacobi-Jordan algebras

For a given Jacobi-Jordan algebra $A$ and a vector space $V$ over a field $k$, a non-abelian cohomological type object ${\mathcal H}^{2}_{A} \, (V, \, A)$ is constructed: it classifies all Jacobi-Jordan algebras containing $A$ as a subalgebra of codimension equal to ${\rm dim}_k (V)$. Any such algebra is isomorphic to a so-called \emph{unified product} $A \, \natural \, V$. Furthermore, we introduce the bicrossed (semi-direct, crossed, or skew crossed) product $A \bowtie V$ associated to two Jacobi-Jordan algebras as a special case of the unified product. Several examples and applications are provided: the Galois group of the extension $A \subseteq A \bowtie V$ is described as a subgroup of the semidirect product of groups ${\rm GL}_k (V) \rtimes {\rm Hom}_k (V, \, A)$ and an Artin type theorem for Jacobi-Jordan algebra is proven. The key tools for classifying supersolvable and flag Jacobi-Jordan algebras are introduced.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A new invariant for finite dimensional Leibniz/Lie algebras

For an $n$-dimensional Leibniz/Lie algebra $\mathfrak{h}$ over a field $k$ we introduce a new invariant ${\mathcal A}(\mathfrak{h})$, called the \emph{universal algebra} of $\mathfrak{h}$, as a quotient of the polynomial algebra $k[X_{ij} \, | \, i, j = 1, \cdots, n]$ through an ideal generated by $n^3$ polynomials. We prove that ${\mathcal A}(\mathfrak{h})$ admits a unique bialgebra structure which makes it an initial object among all commutative bialgebras coacting on $\mathfrak{h}$. The new object ${\mathcal A} (\mathfrak{h})$ is the key tool in answering two open problems in Lie algebra theory. First, we prove that the automorphism group ${\rm Aut}_{Lbz} (\mathfrak{h})$ of $\mathfrak{h}$ is isomorphic to the group $U \bigl( G({\mathcal A} (\mathfrak{h})^{\rm o} ) \bigl)$ of all invertible group-like elements of the finite dual ${\mathcal A} (\mathfrak{h})^{\rm o}$. Secondly, for an abelian group $G$, we show that there exists a bijection between the set of all $G$-gradings on $\mathfrak{h}$ and the set of all bialgebra homomorphisms ${\mathcal A} (\mathfrak{h}) \to k[G]$. Based on this, all $G$-gradings on $\mathfrak{h}$ are explicitly classified and parameterized. ${\mathcal A} (\mathfrak{h})$ is also used to prove that there exists a universal commutative Hopf algebra associated to any finite dimensional Leibniz algebra $\mathfrak{h}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Universal coacting Poisson Hopf algebras

We introduce the analogue of Manin's universal coacting (bialgebra) Hopf algebra for Poisson algebras. First, for two given Poisson algebras $P$ and $U$, where $U$ is finite dimensional, we construct a Poisson algebra $\mathcal{B}(P,\, U)$ together with a Poisson algebra homomorphism $ψ_{\mathcal{B}(P,\,U)} \colon P \to U \otimes \mathcal{B}(P,\, U)$ satisfying a suitable universal property. $\mathcal{B}(P,\, U)$ is shown to admit a Poisson bialgebra structure for any pair of Poisson algebra homomorphisms subject to certain compatibility conditions. If $P=U$ is a finite dimensional Poisson algebra then $\mathcal{B}(P) = \mathcal{B}(P,\, P)$ admits a unique Poisson bialgebra structure such that $ψ_{\mathcal{B}(P)}$ becomes a Poisson comodule algebra and, moreover, the pair $\bigl(\mathcal{B}(P),\, ψ_{\mathcal{B}(P)}\bigl)$ is the universal coacting bialgebra of $P$. The universal coacting Poisson Hopf algebra $\mathcal{H}(P)$ on $P$ is constructed as the initial object in the category of Poisson comodule algebra structures on $P$ by using the free Poisson Hopf algebra on a Poisson bialgebra (\cite{A1}).

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On a type of commutative algebras

We introduce some basic concepts for Jacobi-Jordan algebras such as: representations, crossed products or Frobenius/metabelian/co-flag objects. A new family of solutions for the quantum Yang-Baxter equation is constructed arising from any $3$-step nilpotent Jacobi-Jordan algebra. Crossed products are used to construct the classifying object for the extension problem in its global form. For a given Jacobi-Jordan algebra $A$ and a given vector space $V$ of dimension $\mathfrak{c}$, a global non-abelian cohomological object ${\mathbb G} {\mathbb H}^{2} \, (A, \, V)$ is constructed: it classifies, from the view point of the extension problem, all Jacobi-Jordan algebras that have a surjective algebra map on $A$ with kernel of dimension $\mathfrak{c}$. The object ${\mathbb G} {\mathbb H}^{2} \, (A, \, k)$ responsible for the classification of co-flag algebras is computed, all $1 + {\rm dim} (A)$ dimensional Jacobi-Jordan algebras that have an algebra surjective map on $A$ are classified and the automorphism groups of these algebras is determined. Several examples involving special sets of matrices and symmetric bilinear forms as well as equivalence relations between them (generalizing the isometry relation) are provided.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Classifying complements for associative algebras

For a given extension $A \subset E$ of associative algebras we describe and classify up to an isomorphism all $A$-complements of $E$, i.e. all subalgebras $X$ of $E$ such that $E = A + X$ and $A \cap X = \{0\}$. Let $X$ be a given complement and $(A, \, X, \, \triangleright, \triangleleft, \leftharpoonup, \rightharpoonup \bigl)$ the canonical matched pair associated with the factorization $E = A + X$. We introduce a new type of deformation of the algebra $X$ by means of the given matched pair and prove that all $A$-complements of $E$ are isomorphic to such a deformation of $X$. Several explicit examples involving the matrix algebra are provided.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Classifying complements for groups. Applications

Let $A \leq G$ be a subgroup of a group $G$. An $A$-complement of $G$ is a subgroup $H$ of $G$ such that $G = A H$ and $A \cap H = \{1\}$. The \emph{classifying complements problem} asks for the description and classification of all $A$-complements of $G$. We shall give the answer to this problem in three steps. Let $H$ be a given $A$-complement of $G$ and $(\triangleright, \triangleleft)$ the canonical left/right actions associated to the factorization $G = A H$. To start with, $H$ is deformed to a new $A$-complement of $G$, denoted by $H_r$, using a certain map $r: H \to A$ called a deformation map of the matched pair $(A, H, \triangleright, \triangleleft)$. Then the description of all complements is given: ${\mathbb H}$ is an $A$-complement of $G$ if and only if ${\mathbb H}$ is isomorphic to $H_{r}$, for some deformation map $r: H \to A$. Finally, the classification of complements proves that there exists a bijection between the isomorphism classes of all $A$-complements of $G$ and a cohomological object ${\mathcal D} \, (H, A \, | \,(\triangleright, \triangleleft))$. As an application we show that the theoretical formula for computing the number of isomorphism types of all groups of order $n$ arises only from the factorization $S_n = S_{n-1} C_n$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Free Poisson Hopf algebras generated by coalgebras

We construct the analogue of Takeuchi's free Hopf algebra in the setting of Poisson Hopf algebras. More precisely, we prove that there exists a free Poisson Hopf algebra on any coalgebra or, equivalently that the forgetful functor from the category of Poisson Hopf algebras to the category of coalgebras has a left adjoint. In particular, we also prove that the category of Poisson Hopf algebras is a reflective subcategory of the category of Poisson bialgebras. Along the way, we describe coproducts and coequalizers in the category of Poisson Hopf algebras, therefore showing that the latter category is cocomplete.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Itô's theorem and metabelian Leibniz algebras

We prove that the celebrated Itô's theorem for groups remains valid at the level of Leibniz algebras: if $\mathfrak{g}$ is a Leibniz algebra such that $\mathfrak{g} = A + B$, for two abelian subalgebras $A$ and $B$, then $\mathfrak{g}$ is metabelian, i.e. $[ \, [\mathfrak{g}, \, \mathfrak{g}], \, [ \mathfrak{g}, \, \mathfrak{g} ] \, ] = 0$. A structure type theorem for metabelian Leibniz/Lie algebras is proved. All metabelian Leibniz algebras having the derived algebra of dimension $1$ are described, classified and their automorphisms groups are explicitly determined as subgroups of a semidirect product of groups $P^* \ltimes \bigl(k^* \times {\rm Aut}_{k} (P) \bigl)$ associated to any vector space $P$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The global extension problem, crossed products and co-flag non-commutative Poisson algebras

Let $P$ be a Poisson algebra, $E$ a vector space and $π: E \to P$ an epimorphism of vector spaces with $V = {\rm Ker} (π)$. The global extension problem asks for the classification of all Poisson algebra structures that can be defined on $E$ such that $π: E \to P$ becomes a morphism of Poisson algebras. From a geometrical point of view it means to decompose this groupoid into connected components and to indicate a point in each such component. All such Poisson algebra structures on $E$ are classified by an explicitly constructed classifying set ${\mathcal G} {\mathcal P} {\mathcal H}^{2} \, (P, \, V)$ which is the coproduct of all non-abelian cohomological objects ${\mathcal P} {\mathcal H}^{2} \, (P, \, (V, \cdot_V, [-,-]_V))$ which are the classifying sets for all extensions of $P$ by $(V, \cdot_V, [-,-]_V)$. The second classical Poisson cohomology group $H^2 (P, V)$ appears as the most elementary piece among all components of ${\mathcal G} {\mathcal P} {\mathcal H}^{2} \, (P, \, V)$. Several examples are provided in the case of metabelian Poisson algebras or co-flag Poisson algebras over $P$: the latter being Poisson algebras $Q$ which admit a finite chain of epimorphisms of Poisson algebras $P_n : = Q \stackrel{π_{n}}{\longrightarrow} P_{n-1} \, \cdots \, P_1 \stackrel{π_{1}} {\longrightarrow} P_{0} := P$ such that ${\rm dim} ( {\rm Ker} (π_{i}) ) = 1$, for all $i = 1, \cdots, n$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Classifying complements for Hopf algebras and Lie algebras

Let $A \subseteq E$ be a given extension of Hopf (respectively Lie) algebras. We answer the \emph{classifying complements problem} (CCP) which consists of describing and classifying all complements of $A$ in $E$. If $H$ is a given complement then all the other complements are obtained from $H$ by a certain type of deformation. We establish a bijective correspondence between the isomorphism classes of all complements of $A$ in $E$ and a cohomological type object ${\mathcal H}{\mathcal A}^{2} (H, A \, | \, (\triangleright, \triangleleft) )$, where $(\triangleright, \triangleleft)$ is the matched pair associated to $H$. The factorization index $[E: A]^f$ is introduced as a numerical measure of the (CCP). For two $n$-th roots of unity we construct a $4n^2$-dimensional Hopf algebra whose factorization index over the group algebra is arbitrary large.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Extending structures for Lie algebras

Let $\mathfrak{g}$ be a Lie algebra, $E$ a vector space containing $\mathfrak{g}$ as a subspace. The paper is devoted to the \emph{extending structures problem} which asks for the classification of all Lie algebra structures on $E$ such that $\mathfrak{g}$ is a Lie subalgebra of $E$. A general product, called the unified product, is introduced as a tool for our approach. Let $V$ be a complement of $\mathfrak{g}$ in $E$: the unified product $\mathfrak{g} \,\natural \, V$ is associated to a system $(\triangleleft, \, \triangleright, \, f, \{-, \, -\})$ consisting of two actions $\triangleleft$ and $\triangleright$, a generalized cocycle $f$ and a twisted Jacobi bracket $\{-, \, -\}$ on $V$. There exists a Lie algebra structure $[-,-]$ on $E$ containing $\mathfrak{g}$ as a Lie subalgebra if and only if there exists an isomorphism of Lie algebras $(E, [-,-]) \cong \mathfrak{g} \,\natural \, V$. All such Lie algebra structures on $E$ are classified by two cohomological type objects which are explicitly constructed. The first one ${\mathcal H}^{2}_{\mathfrak{g}} (V, \mathfrak{g})$ will classify all Lie algebra structures on $E$ up to an isomorphism that stabilizes $\mathfrak{g}$ while the second object ${\mathcal H}^{2} (V, \mathfrak{g})$ provides the classification from the view point ofthe extension problem. Several examples that compute both classifying objects ${\mathcal H}^{2}_{\mathfrak{g}} (V, \mathfrak{g})$ and ${\mathcal H}^{2} (V, \mathfrak{g})$ are worked out in detail in the case of flag extending structures.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Extending structures I: the level of groups

Let $H$ be a group and $E$ a set such that $H \subseteq E$. We shall describe and classify up to an isomorphism of groups that stabilizes $H$ the set of all group structures that can be defined on $E$ such that $H$ is a subgroup of $E$. A general product, which we call the unified product, is constructed such that both the crossed product and the bicrossed product of two groups are special cases of it. It is associated to $H$ and to a system $\bigl((S, 1_S,\ast), \triangleleft, \, \triangleright, \, f \bigl)$ called a group extending structure and we denote it by $H \ltimes S$. There exists a group structure on $E$ containing $H$ as a subgroup if and only if there exists an isomorphism of groups $(E, \cdot) \cong H \ltimes S$, for some group extending structure $\bigl((S, 1_S,\ast), \triangleleft, \, \triangleright, \, f \bigl)$. All such group structures on $E$ are classified up to an isomorphism of groups that stabilizes $H$ by a cohomological type set ${\mathcal K}^{2}_{\ltimes} (H, (S, 1_S))$. A Schreier type theorem is proved and an explicit example is given: it classifies up to an isomorphism that stabilizes $H$ all groups that contain $H$ as a subgroup of index 2.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Unified products for Leibniz algebras. Applications

Let $\mathfrak{g}$ be a Leibniz algebra and $E$ a vector space containing $\mathfrak{g}$ as a subspace. All Leibniz algebra structures on $E$ containing $\mathfrak{g}$ as a subalgebra are explicitly described and classified by two non-abelian cohomological type objects: ${\mathcal H}{\mathcal L}^{2}_{\mathfrak{g}} \, (V, \, \mathfrak{g})$ provides the classification up to an isomorphism that stabilizes $\mathfrak{g}$ and ${\mathcal H}{\mathcal L}^{2} \, (V, \, \mathfrak{g})$ will classify all such structures from the view point of the extension problem - here $V$ is a complement of $\mathfrak{g}$ in $E$. A general product, called the unified product, is introduced as a tool for our approach. The crossed (resp. bicrossed) products between two Leibniz algebras are introduced as special cases of the unified product: the first one is responsible for the extension problem while the bicrossed product is responsible for the factorization problem. The description and the classification of all complements of a given extension $\mathfrak{g} \subseteq \mathfrak{E} $ of Leibniz algebras are given as a converse of the factorization problem. They are classified by another cohomological object denoted by ${\mathcal H}{\mathcal A}^{2}(\mathfrak{h}, \mathfrak{g} \, | \, (\triangleright, \triangleleft, \leftharpoonup, \rightharpoonup))$, where $(\triangleright, \triangleleft, \leftharpoonup, \rightharpoonup)$ is the canonical matched pair associated to a given complement $\mathfrak{h}$. Several examples are worked out in details.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Braidings on the category of bimodules, Azumaya algebras and epimorphisms of rings

Let $A$ be an algebra over a commutative ring $k$. We prove that braidings on the category of $A$-bimodules are in bijective correspondence to canonical R-matrices, these are elements in $A\ot A\ot A$ satisfying certain axioms. We show that all braidings are symmetries. If $A$ is commutative, then there exists a braiding on ${}_A\Mm_A$ if and only if $k\to A$ is an epimorphism in the category of rings, and then the corresponding $R$-matrix is trivial. If the invariants functor $G = (-)^A:\{}_A\Mm_A\to \Mm_k$ is separable, then $A$ admits a canonical R-matrix; in particular, any Azumaya algebra admits a canonical R-matrix. Working over a field, we find a remarkable new characterization of central simple algebras: these are precisely the finite dimensional algebras that admit a canonical R-matrix. Canonical R-matrices give rise to a new class of examples of simultaneous solutions for the quantum Yang-Baxter equation and the braid equation.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Classifying bicrossed products of Hopf algebras

Let $A$ and $H$ be two Hopf algebras. We shall classify up to an isomorphism that stabilizes $A$ all Hopf algebras $E$ that factorize through $A$ and $H$ by a cohomological type object ${\mathcal H}^{2} (A, H)$. Equivalently, we classify up to a left $A$-linear Hopf algebra isomorphism, the set of all bicrossed products $A \bowtie H$ associated to all possible matched pairs of Hopf algebras $(A, H, \triangleleft, \triangleright)$ that can be defined between $A$ and $H$. In the construction of ${\mathcal H}^{2} (A, H)$ the key role is played by special elements of $CoZ^{1} (H, A) \times \Aut_{\rm CoAlg}^1 (H)$, where $CoZ^{1} (H, A)$ is the group of unitary cocentral maps and $\Aut_{\rm CoAlg}^1(H)$ is the group of unitary automorphisms of the coalgebra $H$. Among several applications and examples, all bicrossed products $H_4 \bowtie k[C_n]$ are described by generators and relations and classified: they are quantum groups at roots of unity $H_{4n, ω}$ which are classified by pure arithmetic properties of the ring $\mathbb{Z}_n$. The Dirichlet's theorem on primes is used to count the number of types of isomorphisms of this family of $4n$-dimensional quantum groups. As a consequence of our approach the group $\Aut_{\rm Hopf}(H_{4n, ω})$ of Hopf algebra automorphisms is fully described.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Classifying coalgebra split extensions of Hopf algebras

For a given Hopf algebra $A$ we classify all Hopf algebras $E$ that are coalgebra split extensions of $A$ by $H_4$, where $H_4$ is the Sweedler's 4-dimensional Hopf algebra. Equivalently, we classify all crossed products of Hopf algebras $A # H_4$ by computing explicitly two classifying objects: the cohomological 'group' ${\mathcal H}^{2} (H_4, A)$ and $\textsc{C}\textsc{r}\textsc{p} (H_4, A) :=$ the set of types of isomorphisms of all crossed products $A # H_4$. All crossed products $A #H_4$ are described by generators and relations and classified: they are parameterized by the set ${\mathcal Z}{\mathcal P} (A)$ of all central primitive elements of $A$. Several examples are worked out in detail: in particular, over a field of characteristic $p \geq 3$ an infinite family of non-isomorphic Hopf algebras of dimension $4p$ is constructed. The groups of automorphisms of these Hopf algebras are also described.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Coquasitriangular structures for extensions of Hopf algebras. Applications

Let $A \subseteq E$ be an extension of Hopf algebras such that there exists a normal left $A$-module coalgebra map $π: E \to A$ that splits the inclusion. We shall describe the set of all coquasitriangular structures on the Hopf algebra $E$ in terms of the datum $(A, E, π)$ as follows: first, any such extension $E$ is isomorphic to a unified product $A \ltimes H$, for some unitary subcoalgebra $H$ of $E$ (\cite{am2}). Then, as a main theorem, we establish a bijective correspondence between the set of all coquasitriangular structures on an arbitrary unified product $A \ltimes H$ and a certain set of datum $(p, τ, u, v)$ related to the components of the unified product. As the main application, we derive necessary and sufficient conditions for Majid's infinite dimensional quantum double $D_λ(A, H) = A \bowtie_τ H$ to be a coquasitriangular Hopf algebra. Several examples are worked out in detail.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Crossed product of Hopf algebras

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 $A #_{f}^{\triangleright} H$ is a new Hopf algebra containing $A$ as a normal Hopf subalgebra. Furthermore, a Hopf algebra $E$ is isomorphic as a Hopf algebra to a crossed product of Hopf algebras $A #_{f}^{\triangleright} H$ if and only if $E$ factorizes through a normal Hopf subalgebra $A$ and a subcoalgebra $H$ such that $1_{E} \in H$. The universality of the construction, the existence of integrals, commutativity or involutivity of the crossed product are studied. Looking at the quantum side of the construction we shall give necessary and sufficient conditions for a crossed product to be a coquasitriangular Hopf algebra. In particular, all braided structures on the monoidal category of $A #_{f}^{\triangleright} H$-comodules are explicitly described in terms of their components. As an example, the braidings on a crossed product between $H_{4}$ and $k[C_{3}]$ are described in detail.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The uniqueness of braidings on the monoidal category of non-commutative descent data

Let $A$ be an algebra over a commutative ring $k$. It is known that the categories of non-commutative descent data, of comodules over the Sweedler canonical coring, of right $A$-modules with a flat connection are isomorphic as braided monoidal categories to the center of the category of $A$-bimodules. We prove that the braiding on these categories is unique if there exists a $k$-linear unitary map $E : A \to Z(A)$. This condition is satisfied if $k$ is a field or $A$ is a commutative or a separable algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Unified products and split extensions of Hopf algebras

The unified product was defined in \cite{am3} related to the restricted extending structure problem for Hopf algebras: a Hopf algebra $E$ factorizes through a Hopf subalgebra $A$ and a subcoalgebra $H$ such that $1\in H$ if and only if $E$ is isomorphic to a unified product $A \ltimes H$. Using the concept of normality of a morphism of coalgebras in the sense of Andruskiewitsch and Devoto we prove an equivalent description for the unified product from the point of view of split morphisms of Hopf algebras. A Hopf algebra $E$ is isomorphic to a unified product $A \ltimes H$ if and only if there exists a morphism of Hopf algebras $i: A \rightarrow E$ which has a retraction $π: E \to A$ that is a normal left $A$-module coalgebra morphism. A necessary and sufficient condition for the canonical morphism $i : A \to A\ltimes H$ to be a split monomorphism of bialgebras is proved, i.e. a condition for the unified product $A\ltimes H$ to be isomorphic to a Radford biproduct $L \ast A$, for some bialgebra $L$ in the category $_{A}^{A}{\mathcal YD}$ of Yetter-Drinfel'd modules. As a consequence, we present a general method to construct unified products arising from an unitary not necessarily associative bialgebra $H$ that is a right $A$-module coalgebra and a unitary coalgebra map $γ: H \to A$ satisfying four compatibility conditions. Such an example is worked out in detail for a group $G$, a pointed right $G$-set $(X, \cdot, \lhd)$ and a map $γ: G \to X$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Extending Structures II: The Quantum Version

Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E with 1_{E} \in H and the multiplication map $A\otimes H \to E$ is bijective. The tool we use is a new product, we call it the unified product, in the construction of which A and H are connected by three coalgebra maps: two actions and a generalized cocycle. Both the crossed product of an Hopf algebra acting on an algebra and the bicrossed product of two Hopf algebras are special cases of the unified product. A Hopf algebra E factorizes through A and H if and only if E is isomorphic to a unified product of A and H. All such Hopf algebras E are classified up to an isomorphism that stabilizes A and H by a Schreier type classification theorem. A coalgebra version of lazy 1-cocycles as defined by Bichon and Kassel plays the key role in the classification theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Schreier type theorems for bicrossed products

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, α, β)$ is deformed using a combinatorial datum $(σ, v, r)$ consisting of an automorphism $σ$ of $H$, a permutation $v$ of the set $G$ and a transition map $r: G\to H$ in order to obtain a new matched pair $\bigl(H, (G,*), α', β' \bigl)$ such that there exist an $σ$-invariant isomorphism of groups $H {}_α \bowtie_β G \cong H {}_{α'} \bowtie_{β'} (G,*)$. Moreover, if we fix the group $H$ and the automorphism $σ\in \Aut(H)$ then any $σ$-invariant isomorphism $H {}_α \bowtie_β G \cong H {}_{α'} \bowtie_{β'} G'$ between two arbitrary bicrossed product of groups is obtained in a unique way by the above deformation method. As applications two Schreier type classification theorems for bicrossed product of groups are given.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The center of the category of bimodules and descent data for non-commutative rings

Let $A$ be an algebra over a commutative ring $k$. We compute the center of the category of $A$-bimodules. There are six isomorphic descriptions: the center equals the weak center, and can be described as categories of noncommutative descent data, comodules over the Sweedler canonical $A$-coring, Yetter-Drinfeld type modules or modules with a flat connection from noncommutative differential geometry. All six isomorphic categories are braided monoidal categories: in particular, the category of comodules over the Sweedler canonical $A$-coring $A \ot A$ is braided monoidal. We provide several applications: for instance, if $A$ is finitely generated projective over $k$ then the category of left End_k(A)$-modules is braided monoidal and we give an explicit description of the braiding in terms of the finite dual basis of $A$. As another application, new families of solutions for the quantum Yang-Baxter equation are constructed: they are canonical maps $Ω$ associated to any right comodule over the Sweedler canonical coring $A \ot A$ and satisfy the condition $Ω^3 = Ω$. Explicit examples are provided.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Categorical Constructions for Hopf Algebras

We prove that both, the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras, have right adjoints; in other words: every bialgebra has a Hopf coreflection and on every algebra there exists a cofree Hopf algebra. In this way we give an affirmative answer to a forty years old problem posed by Sweedler. On the route the coequalizers and the coproducts in the category of Hopf algebras are explicitly described.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Limits of Coalgebras, Bialgebras and Hopf Algebras

We give the explicit construction of the product of an arbitrary family of coalgebras, bialgebras and Hopf algebras: it turns out that the product of an arbitrary family of coalgebras (resp. bialgebras, Hopf algebras) is the sum of a family of coalgebras (resp. bialgebras, Hopf algebras). The equalizers of two morphisms of coalgebras (resp. bialgebras, Hopf algebras) are also described explicitly. As a consequence the categories of coalgebras, bialgebras and Hopf algebras are shown to be complete and a explicit description for limits in the above categories is given.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Monomorphisms of Coalgebras

We prove new necessary and sufficient conditions for a morphism of coalgebras to be a monomorphism, different from the ones already available in the literature. More precisely, $ϕ: C \to D$ is a monomorphism of coalgebras if and only if the first cohomology groups of the coalgebras $C$ and $D$ coincide if and only if $\sum_{i \in I}ε(a^{i})b^{i} = \sum_{i \in I} a^{i} ε(b^{i})$, for all $\sum_{i \in I}a^{i} \otimes b^{i} \in C \square_{D} C$. In particular, necessary and sufficient conditions for a Hopf algebra map to be a monomorphism are given.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Bicrossed products for finite groups

We investigate one question regarding bicrossed products of finite groups which we believe has the potential of being approachable for other classes of algebraic objects (algebras, Hopf algebras). The problem is to classify the groups that can be written as bicrossed products between groups of fixed isomorphism types. The groups obtained as bicrossed products of two finite cyclic groups, one being of prime order, are described.

0 citations0 reviewsNo code linkedOpen access