弱Hopf代数与正则幺半群

本文定义了弱Ｈｏｐｆ代数并研究了弱Ｈｏｐｆ代数的弱对极与类群元幺半群的关系．首先,本文给出弱Ｈｏｐｆ代数的一些基本性质;然后,对类群元幺半群是逆半群或纯正半群的某些弱Ｈｏｐｆ代数,描述了其弱对极的一些性质;最后,给出一类其类群元幺半群为正则半群的弱Ｈｏｐｆ代数．     

Antipodes and incidence coalgebras

We introduce the notion of a reduced incidence coalgebra of a family of locally finite partially ordered sets and describe how bialgebras and Hopf algebras arise as such coalgebras. In the case when a reduced incidence coalgebra is a Hopf algebra, we give explicit recursive and closed formulas for the antipode, each of which generalizes a corresponding formula from the theory of Möbius functions. We give applications to the inversion of ordinary formal power series and inversion of Dirichlet series. We also formulate the classical Lagrange inversion formula as a combinatorial formula for the antipode of a Hopf algebra arising from the family of finite partition lattices.     

Multiplier Hopf Monoids

The notion of multiplier Hopf monoid in any braided monoidal category is introduced as a multiplier bimonoid whose constituent fusion morphisms are isomorphisms. In the category of vector spaces over the complex numbers, Van Daele’s definition of multiplier Hopf algebra is re-obtained. It is shown that the key features of multiplier Hopf algebras (over fields) remain valid in this more general context. Namely, for a multiplier Hopf monoid A, the existence of a unique antipode is proved — in an appropriate, multiplier-valued sense — which is shown to be a morphism of multiplier bimonoids from a twisted version of A to A. For a regular multiplier Hopf monoid (whose twisted versions are multiplier Hopf monoids as well) the antipode is proved to factorize through a proper automorphism of the object A. Under mild further assumptions, duals in the base category are shown to lift to the monoidal categories of modules and of comodules over a regular multiplier Hopf monoid. Finally, the so-called Fundamental Theorem of Hopf modules is proved — which states an equivalence between the base category and the category of Hopf modules over a multiplier Hopf monoid.     

Supercharacters,symmetric functions in noncommuting variables,and related Hopf algebras

We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras.     

The Second Indicator and the Trace of the Antipode for Representations of a Class of Hopf Algebras of Andruskiewitch-Schneider Type

We give definition of the second indicator for any finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0 with the square of antipode an inner automorphism. We derive a closed formula for the trace of the antipode on endomorphism algebras of simple self-dual modules of nilpotent type liftings of quantum linear spaces and compute the value of their second indicators. Uniqueness of indicators is examined.     

Quantum Clifford Hopf gebra for quantum field theory

We give arguments for the necessity to employ quantum Clifford Hopf gebras in quantum field theory. The role of the antipode is examined, Feynman diagrams are re-interpreted as tangles of graphical calculus. Regularization due to the design of convolution Hopf gebras is given as a program for future research.     

Structure of the Loday–Ronco Hopf algebra of trees

Loday and Ronco defined an interesting Hopf algebra structure on the linear span of the set of planar binary trees. They showed that the inclusion of the Hopf algebra of non-commutative symmetric functions in the Malvenuto–Reutenauer Hopf algebra of permutations factors through their Hopf algebra of trees, and these maps correspond to natural maps from the weak order on the symmetric group to the Tamari order on planar binary trees to the boolean algebra.We further study the structure of this Hopf algebra of trees using a new basis for it. We describe the product, coproduct, and antipode in terms of this basis and use these results to elucidate its Hopf-algebraic structure. In the dual basis for the graded dual Hopf algebra, our formula for the coproduct gives an explicit isomorphism with a free associative algebra. We also obtain a transparent proof of its isomorphism with the non-commutative Connes–Kreimer Hopf algebra of Foissy, and show that this algebra is related to non-commutative symmetric functions as the (commutative) Connes–Kreimer Hopf algebra is related to symmetric functions.     

Iterative character constructions for algebra groups

We construct a family of orthogonal characters of an algebra group which decompose the supercharacters defined by Diaconis and Isaacs (2008) [6]. Like supercharacters, these characters are given by nonnegative integer linear combinations of Kirillov functions and are induced from linear supercharacters of certain algebra subgroups. We derive a formula for these characters and give a condition for their irreducibility; generalizing a theorem of Otto (2010) [20], we also show that each such character has the same number of Kirillov functions and irreducible characters as constituents. In proving these results, we observe as an application how a recent computation by Evseev (2010) [7] implies that every irreducible character of the unitriangular group UTn(q) of unipotent n×n upper triangular matrices over a finite field with q elements is a Kirillov function if and only if n?12. As a further application, we discuss some more general conditions showing that Kirillov functions are characters, and describe some results related to counting the irreducible constituents of supercharacters.     

A resolution (minimal model) of the PROP for bialgebras

This paper is concerned with a minimal resolution of the PROP for bialgebras (Hopf algebras without unit, counit and antipode). We prove a theorem about the form of this resolution (Theorem 15) and give, in Section 5, a lot of explicit formulas for the differential.     

Subcoalgebras and endomorphisms of free Hopf algebras

For a matrix coalgebra C over some field, we determine all small subcoalgebras of the free Hopf algebra on C, the free Hopf algebra with a bijective antipode on C, and the free Hopf algebra with antipode S satisfying on C for some fixed d. We use this information to find the endomorphisms of these free Hopf algebras, and to determine the centers of the categories of Hopf algebras, Hopf algebras with bijective antipode, and Hopf algebras with antipode of order dividing 2d.     

Multiplier Hopf algebroids: Basic theory and examples

Multiplier Hopf algebroids are algebraic versions of quantum groupoids that generalize Hopf algebroids to the non-unital case and weak (multiplier) Hopf algebras to non-separable base algebras. The main structure maps of a multiplier Hopf algebroid are a left and a right comultiplication. We show that bijectivity of two associated canonical maps is equivalent to the existence of an antipode, discusses invertibility of the antipode, and presents some examples and special cases.     

On the Structure of Weak Hopf Algebras

We study the group of group-like elements of a weak Hopf algebra and derive an analogue of Radford's formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo, a trivial automorphism. We find a sufficient condition in terms of Tr(S²) for a weak Hopf algebra to be semisimple, discuss relation between semisimplicity and cosemisimplicity, and apply our results to show that a dynamical twisting deformation of a semisimple Hopf algebra is cosemisimple.     

On the order of the antipode of hopf algebras

In this paper we consider a conjecture on the order of the antipode of semisimple Hopf algebras in the Yetter-Drinfeld category and study a related property of the ordinary Hopf algebras. We show that most known examples of finite-dimensional semisimple Hopf algebras satisfy this property.     

A Trace-Like Invariant for Representations of Hopf Algebras

We introduce an invariant for the irreducible representations of finite dimensional Hopf algebras, defined as the trace of a map induced by the antipode on the endomorphisms of each corresponding simple module. We also compute the value of this invariant for the representations of two families of non-semisimple Hopf algebras.     

弱 Hopf 超代数 wsldq(m|n)

该文依据弱Hopf代数的定义给出弱Hopf超代数的定义. 进而利用弱反极取代Hopf代数中反极的方法, 构造一类不是Hopf超代数的弱Hopf超代数wsl^d_q(m|n), 并给出了wsl^d_q(m|n)的PBW基.     

The Hopf algebra of uniform block permutations

We introduce the Hopf algebra of uniform block permutations and show that it is self-dual, free, and cofree. These results are closely related to the fact that uniform block permutations form a factorizable inverse monoid. This Hopf algebra contains the Hopf algebra of permutations of Malvenuto and Reutenauer and the Hopf algebra of symmetric functions in non-commuting variables of Gebhard, Rosas, and Sagan. These two embeddings correspond to the factorization of a uniform block permutation as a product of an invertible element and an idempotent one. Aguiar supported in part by NSF grant DMS-0302423. Orellana supported in part by the Wilson Foundation.     

Larson–Sweedler theorem and the role of grouplike elements in weak Hopf algebras

We extend the Larson–Sweedler theorem [Amer. J. Math. 91 (1969) 75] to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf algebra is autonomous monoidal with semisimple unit and invertible modules. We also reveal the connection of invertible modules to left and right grouplike elements in the dual weak Hopf algebra. Defining distinguished left and right grouplike elements, we derive the Radford formula [Amer. J. Math. 98 (1976) 333] for the fourth power of the antipode in a weak Hopf algebra and prove that the order of the antipode is finite up to an inner automorphism by a grouplike element in the trivial subalgebra A^T of the underlying weak Hopf algebra A.     

Hopf modules,Frobenius functors and (one-sided) Hopf algebras

We investigate the property of being Frobenius for some functors strictly related with Hopf modules over a bialgebra and how this property reflects on the latter. In particular, we characterize one-sided Hopf algebras with anti-(co)multiplicative one-sided antipode as those for which the free Hopf module functor is Frobenius. As a by-product, this leads us to relate the property of being an FH-algebra (in the sense of Pareigis) for a given bialgebra with the property of being Frobenius for certain naturally associated functors.     

The Bijectivity of the Antipode Revisited

We provide a very short approach to several fundamental results for Hopf algebras with nonzero integrals. Besides being short, our approach is the first to prove the bijectivity of the antipode without using the uniqueness of the integrals of Hopf algebras and to obtain the uniqueness of integrals as a corollary in a way similar to the classical theory of the Haar measure on compact groups.