scholarly journals Braided Frobenius algebras from certain Hopf algebras

2021 ◽  
pp. 2350012
Author(s):  
Masahico Saito ◽  
Emanuele Zappala
Keyword(s):  
Tensor Product ◽  
Hopf Algebras ◽  
Frobenius Algebra ◽  
Compatibility Conditions ◽  
Ribbon Graphs ◽  
Frobenius Algebras ◽  
Ternary Operation ◽  
Compact Surfaces ◽  
Baxter Operator

A braided Frobenius algebra is a Frobenius algebra with a Yang–Baxter operator that commutes with the operations, that are related to diagrams of compact surfaces with boundary expressed as ribbon graphs. A heap is a ternary operation exemplified by a group with the operation [Formula: see text], that is ternary self-distributive. Hopf algebras can be endowed with the algebra version of the heap operation. Using this, we construct braided Frobenius algebras from a class of certain Hopf algebras that admit integrals and cointegrals. For these Hopf algebras we show that the heap operation induces a Yang–Baxter operator on the tensor product, which satisfies the required compatibility conditions. Diagrammatic methods are employed for proving commutativity between Yang–Baxter operators and Frobenius operations.

Generalized Frobenius Algebras and Hopf Algebras

2014 ◽  
Vol 66 (1) ◽  
pp. 205-240 ◽  
Author(s):  
Miodrag Cristian Iovanov
Keyword(s):  
Hopf Algebras ◽  
Topological Algebra ◽  
Homological Algebra ◽  
General Concept ◽  
Frobenius Algebra ◽  
Theoretic Approach ◽  
Topological Algebras ◽  
Infinite Dimensional ◽  
Finite Case ◽  
Frobenius Algebras

Abstract“Co-Frobenius” coalgebras were introduced as dualizations of Frobenius algebras. We previously showed that they admit left-right symmetric characterizations analogous to those of Frobenius algebras. We consider the more general quasi-co-Frobenius (QcF) coalgebras. The first main result in this paper is that these also admit symmetric characterizations: a coalgebra is QcF if it is weakly isomorphic to its (left, or right) rational dual Rat(C*) in the sense that certain coproduct or product powers of these objects are isomorphic. Fundamental results of Hopf algebras, such as the equivalent characterizations of Hopf algebras with nonzero integrals as left (or right) co-Frobenius, QcF, semiperfect or with nonzero rational dual, as well as the uniqueness of integrals and a short proof of the bijectivity of the antipode for such Hopf algebras all follow as a consequence of these results. This gives a purely representation theoretic approach to many of the basic fundamental results in the theory of Hopf algebras. Furthermore, we introduce a general concept of Frobenius algebra, which makes sense for infinite dimensional and for topological algebras, and specializes to the classical notion in the finite case. This will be a topological algebra A that is isomorphic to its complete topological dual Aν. We show that A is a (quasi)Frobenius algebra if and only if A is the dual C* of a (quasi)co-Frobenius coalgebra C. We give many examples of co-Frobenius coalgebras and Hopf algebras connected to category theory, homological algebra and the newer q-homological algebra, topology or graph theory, showing the importance of the concept.

Frobenius algebra with relaxed associativity constraint

2018 ◽  
Vol 27 (07) ◽  
pp. 1841008
Author(s):  
Zbigniew Oziewicz ◽  
William Stewart Page
Keyword(s):  
Associative Algebra ◽  
Monoidal Category ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Frobenius Algebra ◽  
Frobenius Algebras ◽  
Frobenius Structures ◽  
Necessary And Sufficient

Frobenius algebra is formulated within the Abelian monoidal category of operad of graphs. A not necessarily associative algebra [Formula: see text] is said to be a Frobenius algebra if there exists a [Formula: see text]-module isomorphism. A new concept of a solvable Frobenius algebra is introduced: an algebra [Formula: see text] is said to be a solvable Frobenius algebra if it possesses a nonzero one-sided [Formula: see text]-module morphism with nontrivial radical. In the category of operad of graphs, we can express the necessary and sufficient conditions for an algebra to be a solvable Frobenius algebra. The notion of a solvable Frobenius algebra makes it possible to find all commutative nonassociative Frobenius algebras (Conjecture 10.1), and to find all Frobenius structures for commutative associative Frobenius algebras. Frobenius algebra allows [Formula: see text]-permuted opposite algebra to be extended to [Formula: see text]-permuted algebras.

scholarly journals Twin TQFTs and Frobenius Algebras

2013 ◽  
Vol 2013 ◽  
pp. 1-25
Author(s):  
Carmen Caprau
Keyword(s):  
Monoidal Category ◽  
Topological Quantum Field Theory ◽  
Algebra Homomorphism ◽  
Frobenius Algebra ◽  
Quantum Field ◽  
Generators And Relations ◽  
Symmetric Monoidal Category ◽  
Frobenius Algebras ◽  
Topological Quantum ◽  
Algebraic Description

We introduce the category of singular 2-dimensional cobordisms and show that it admits a completely algebraic description as the free symmetric monoidal category on atwin Frobenius algebra, by providing a description of this category in terms of generators and relations. A twin Frobenius algebra(C,W,z,z∗)consists of a commutative Frobenius algebraC, a symmetric Frobenius algebraW, and an algebra homomorphismz:C→Wwith dualz∗:W→C, satisfying some extra conditions. We also introduce a generalized 2-dimensional Topological Quantum Field Theory defined on singular 2-dimensional cobordisms and show that it is equivalent to a twin Frobenius algebra in a symmetric monoidal category.

scholarly journals Homotopy composition of cospans

2016 ◽  
Vol 19 (05) ◽  
pp. 1650047
Author(s):  
Joachim Kock ◽  
David I. Spivak
Keyword(s):  
Frobenius Algebra ◽  
Finite Sets ◽  
Frobenius Algebras

It is well known that the category of finite sets and cospans, composed by pushout, contains the universal special commutative Frobenius algebra. In this paper, we observe that the same construction yields also general commutative Frobenius algebras, if just the pushouts are changed to homotopy pushouts.

Khovanov homology and diagonalizable Frobenius algebras

2020 ◽  
Vol 29 (01) ◽  
pp. 1950095
Author(s):  
Paul Turner
Keyword(s):  
Elementary Proof ◽  
Khovanov Homology ◽  
Frobenius Algebra ◽  
Link Homology ◽  
Frobenius Algebras

We give a short elementary proof that a Khovanov-type link homology constructed from a diagonalizable Frobenius algebra is degenerate.

scholarly journals When Hopf algebras are Frobenius algebras

1971 ◽  
Vol 18 (4) ◽  
pp. 588-596 ◽  
Author(s):  
Bodo Pareigis
Keyword(s):  
Hopf Algebras ◽  
Frobenius Algebras

scholarly journals Comodules over weak multiplier bialgebras

2014 ◽  
Vol 25 (05) ◽  
pp. 1450037 ◽  
Author(s):  
Gabriella Böhm
Keyword(s):  
Tensor Product ◽  
Hopf Algebras ◽  
Monoidal Category ◽  
Base Algebra ◽  
Finite Dimensional ◽  
Linear Maps ◽  
Multiplier Hopf Algebras ◽  
Hopf Modules ◽  
Total Algebra ◽  
Module Structures

This is a sequel paper of [Weak multiplier bialgebras, Trans. Amer. Math. Soc., in press] in which we study the comodules over a regular weak multiplier bialgebra over a field, with a full comultiplication. Replacing the usual notion of coassociative coaction over a (weak) bialgebra, a comodule is defined via a pair of compatible linear maps. Both the total algebra and the base (co)algebra of a regular weak multiplier bialgebra with a full comultiplication are shown to carry comodule structures. Kahng and Van Daele's integrals [The Larson–Sweedler theorem for weak multiplier Hopf algebras, in preparation] are interpreted as comodule maps from the total to the base algebra. Generalizing the counitality of a comodule to the multiplier setting, we consider the particular class of so-called full comodules. They are shown to carry bi(co)module structures over the base (co)algebra and constitute a monoidal category via the (co)module tensor product over the base (co)algebra. If a regular weak multiplier bialgebra with a full comultiplication possesses an antipode, then finite-dimensional full comodules are shown to possess duals in the monoidal category of full comodules. Hopf modules are introduced over regular weak multiplier bialgebras with a full comultiplication. Whenever there is an antipode, the Fundamental Theorem of Hopf Modules is proven. It asserts that the category of Hopf modules is equivalent to the category of firm modules over the base algebra.

Sign in / Sign up

Export Citation Format

Share Document