Co-Poisson structures on polynomial Hopf algebras

The Hopf dual H° of any Poisson Hopf algebra H is proved to be a co-Poisson Hopf algebra provided H is noetherian. Without noetherian assumption, unlike it is claimed in literature, the statement does not hold. It is proved that there is no nontrivial Poisson Hopf structure on the universal enveloping algebra of a non-abelian Lie algebra. So the polynomial Hopf algebra, viewed as the universal enveloping algebra of a finite-dimensional abelian Lie algebra, is considered. The Poisson Hopf structures on polynomial Hopf algebras are exactly linear Poisson structures. The co-Poisson structures on polynomial Hopf algebras are characterized. Some correspondences between co-Poisson and Poisson structures are also established.     

Effect Algebras as Presheaves on Finite Boolean Algebras

For an effect algebra A, we examine the category of all morphisms from finite Boolean algebras into A. This category can be described as a category of elements of a presheaf R(A) on the category of finite Boolean algebras. We prove that some properties (being an orthoalgebra, the Riesz decomposition property, being a Boolean algebra) of an effect algebra A can be characterized in terms of some properties of the category of elements of the presheaf R(A). We prove that the tensor product of effect algebras arises as a left Kan extension of the free product of finite Boolean algebras along the inclusion functor. The tensor product of effect algebras can be expressed by means of the Day convolution of presheaves on finite Boolean algebras.     

Weak rigid monoidal category

We define the right regular dual of an object X in a monoidal category C; and give several results regarding the weak rigid monoidal category. Based on the definition of the right regular dual, we construct a weak Hopf algebra structure of H = End(F) whenever (F; J) is a fiber functor from category C to Vec and every X ∈ C has a right regular dual. To conclude, we give a weak reconstruction theorem for a kind of weak Hopf algebra.     

Miyamoto involutions in axial algebras of Jordan type half

Nonassociative commutative algebras A, generated by idempotents e whose adjoint operators ad _e : A → A, given by x ? xe, are diagonalizable and have few eigenvalues, are of recent interest. When certain fusion (multiplication) rules between the associated eigenspaces are imposed, the structure of these algebras remains rich yet rather rigid. For example, vertex operator algebras give rise to such algebras. The connection between the Monster algebra and Monster group extends to many axial algebras which then have interesting groups of automorphisms.Axial algebras of Jordan type η are commutative algebras generated by idempotents whose adjoint operators have a minimal polynomial dividing (x-1)x(x-η), where η ? {0, 1} is fixed, with well-defined and restrictive fusion rules. The case of η ≠1/2 was thoroughly analyzed by Hall, Rehren and Shpectorov in a recent paper, in which axial algebras were introduced. Here we focus on the case where η = 1/2, which is less understood and is of a different nature.     

The Cohen Macaulay Property for Noncommutative Rings

Let R be a noetherian ring which is a finite module over its centre Z(R). This paper studies the consequences for R of the hypothesis that it is a maximal Cohen Macaulay Z(R)-module. A number of new results are proved, for example projectivity over regular commutative subrings and the direct sum decomposition into equicodimensional rings in the affine case, and old results are corrected or improved. The additional hypothesis of homological grade symmetry is proposed as the appropriate extra lever needed to extend the classical commutative homological hierarchy to this setting, and results are proved in support of this proposal. Some speculations are made in the final section about how to extend the definition of the Cohen-Macaulay property beyond those rings which are finite over their centres.     

Cleft extensions of Koszul twisted Calabi–Yau algebras

Let H be a twisted Calabi–Yau (CY) Hopf algebra and σ a 2-cocycle on H. Let A be an N-Koszul twisted CY algebra such that A is a graded H^σ- module algebra. We show that the cleft extension A#_σH is also a twisted CY algebra. This result has two consequences. Firstly, the smash product of an N-Koszul twisted CY algebra with a twisted CY Hopf algebra is still a twisted CY algebra. Secondly, the cleft objects of a twisted CY Hopf algebra are all twisted CY algebras. As an application of this property, we determine which cleft objects of U(D, λ), a class of pointed Hopf algebras introduced by Andruskiewitsch and Schneider, are Calabi–Yau algebras.     

On generalized left derivations in rings and Banach algebras

The purpose of this paper is to establish some results concerning generalized left derivations in rings and Banach algebras. In fact, we prove the following results: Let R be a 2-torsion free semiprime ring, and let \({G: R \longrightarrow R}\) be a generalized Jordan left derivation with associated Jordan left derivation \({\delta: R \longrightarrow R}\). Then every generalized Jordan left derivation is a generalized left derivation on R. This result gives an affirmative answer to the question posed as a remark in Ashraf and Ali (Bull. Korean Math. Soc. 45:253–261, 2008). Also, the study of generalized left derivation has been made which acts as a homomorphism or as an anti-homomorphism on some appropriate subset of the ring R. Further, we introduce the notion of generalized left bi-derivation and prove that if a prime ring R admits a generalized left bi-derivation G with associated left bi-derivation B then either R is commutative or G is a right bi-centralizer (or bi-multiplier) on R. Finally, it is shown that every generalized Jordan left derivation on a semisimple Banach algebra is continuous.     

Quaternion rings and octonion rings

In this paper, for rings R, we introduce complex rings ?(R), quaternion rings ?(R), and octonion rings O(R), which are extension rings of R; R ? ?(R) ? ?(R) ? O(R). Our main purpose of this paper is to show that if R is a Frobenius algebra, then these extension rings are Frobenius algebras and if R is a quasi-Frobenius ring, then ?(R) and ?(R) are quasi-Frobenius rings and, when Char(R) = 2, O(R) is also a quasi-Frobenius ring.     

Fixed Points of Set Functors: How Many Iterations are Needed?

The initial algebra for a set functor can be constructed iteratively via a well-known transfinite chain, which converges after a regular infinite cardinal number of steps or at most three steps. We extend this result to the analogous construction of relatively initial algebras. For the dual construction of the terminal coalgebra Worrell proved that if a set functor is α-accessible, then convergence takes at most α + α steps. But until now an example demonstrating that fewer steps may be insufficient was missing. We prove that the functor of all α-small filters is such an example. We further prove that for β ≤ α the functor of all α-small β-generated filters requires precisely α + β steps and that a certain modified power-set functor requires precisely α steps. We also present an example showing that whether a terminal coalgebra exists at all does not depend solely on the object mapping of the given set functor. (This contrasts with the fact that existence of an initial algebra is equivalent to existence of a mere fixed point.)     

Noncommutative mixed (Artin) motives and their motivic Hopf dg algebras

This article is the sequel to (Marcolli and Tabuada in Sel Math 20(1):315–358, 2014). We start by developing a theory of noncommutative (=NC) mixed motives with coefficients in any commutative ring. In particular, we construct a symmetric monoidal triangulated category of NC mixed motives, over a base field k, and a full subcategory of NC mixed Artin motives. Making use of Hochschild homology, we then apply Ayoub’s weak Tannakian formalism to these motivic categories. In the case of NC mixed motives, we obtain a motivic Hopf dg algebra, which we describe explicitly in terms of Hochschild homology and complexes of exact cubes. In the case of NC mixed Artin motives, we compute the associated Hopf dg algebra using solely the classical category of mixed Artin–Tate motives. Finally, we establish a short exact sequence relating the Hopf algebra of continuous functions on the absolute Galois group with the motivic Hopf dg algebras of the base field k and of its algebraic closure. Along the way, we describe the behavior of Ayoub’s weak Tannakian formalism with respect to orbit categories and relate the category of NC mixed motives with Voevodsky’s category of mixed motives.     

Simple Functors of Admissible Linear Categories

Generalizing an idea used by Bouc, Thévenaz, Webb and others, we introduce the notion of an admissible R-linear category for a commutative unital ring R. Given an R-linear category \(\mathcal {L}\), we define an \(\mathcal {L}\)-functor to be a functor from \(\mathcal {L}\) to the category of R-modules. In the case where \(\mathcal {L}\) is admissible, we establish a bijective correspondence between the isomorphism classes of simple functors and the equivalence classes of pairs (G, V) where G is an object and V is a module of a certain quotient of the endomorphism algebra of G. Here, two pairs (F, U) and (G, V) are equivalent provided there exists an isomorphism F ← G effecting transport to U from V. We apply this to the category of finite abelian p-groups and to a class of subcategories of the biset category.     

Dualities and the duality density theorems

Dualities \({\langle,\, \rangle:S \times T \rightarrow K}\) for modules S =  _R S, T = T _D and bimodule K =  _R K _D over rings R, D are non-degenerate left dense K-pairings of S, T intertwined per adjoint, classification, and Galois correspondence theorems. Dualities are abundant per density theorems inspired by those of Jacobson and Chevalley. Duality theory generalizes classical duality theory and leads to a theory of duality semi-simplicity of rings R and R-modules S. The finite dimensional duality semi-simple algebras R are classified in terms of semi-simple algebras and bipolar algebras.     

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.     

The formal theory of Hopf algebras Part II: The case of Hopf algebras

Abstract

The category Hopf_R of Hopf algebras over a commutative unital ring R is analyzed with respect to its categorical properties. The main results are: (1) For every ring R the category Hopf_R is locally presentable, it is coreflective in the category of bialgebras over R, over every R-algebra there exists a cofree Hopf algebra. (2) If, in addition, R is absoluty flat, then Hopf_R is reflective in the category of bialgebras as well, and there exists a free Hopf algebra over every R-coalgebra. Similar results are obtained for relevant subcategories of Hopf_R. Moreover it is shown that, for every commutative unital ring R, the so-called “dual algebra functor” has a left adjoint and that, more generally, universal measuring coalgebras exist.     

DISTINGUISHED PRE-NICHOLS ALGEBRAS

We formally define and study the distinguished pre-Nichols algebra \( \tilde{B} \)(V) of a braided vector space of diagonal type V with finite-dimensional Nichols algebra B(V). The algebra \( \tilde{B} \)(V) is presented by fewer relations than B(V), so it is intermediate between the tensor algebra T(V) and B(V). Prominent examples of distinguished pre-Nichols algebras are the positive parts of quantized enveloping (super)algebras and their multiparametric versions. We prove that these algebras give rise to new examples of Noetherian pointed Hopf algebras of finite Gelfand-Kirillov dimension. We investigate the kernel (in the sense of Hopf algebras) of the projection from \( \tilde{B} \)(V) to B(V), generalizing results of De Concini and Procesi on quantum groups at roots of unity.     

Koszulity and Koszul modules of dual extension algebras

Let A and B be algebras, and let T be the dual extension algebra of A and B. We provide a different method to prove that T is Koszul if and only if both A and B are Koszul. Furthermore, we prove that an algebra is Koszul if and only if one of its iterated dual extension algebras is Koszul, if and only if all its iterated dual extension algebras are Koszul. Finally, we give a necessary and sufficient condition for a dual extension algebra to have the property that all linearly presented modules are Koszul modules, which provides an effective way to construct algebras with such a property.     

Duality Features of Left Hopf Algebroids

We explore special features of the pair (U ^?,U _?) formed by the right and left dual over a (left) bialgebroid U in case the bialgebroid is, in particular, a left Hopf algebroid. It turns out that there exists a bialgebroid morphism S ^? from one dual to another that extends the construction of the antipode on the dual of a Hopf algebra, and which is an isomorphism if U is both a left and right Hopf algebroid. This structure is derived from Phùng’s categorical equivalence between left and right comodules over U without the need of a (Hopf algebroid) antipode, a result which we review and extend. In the applications, we illustrate the difference between this construction and those involving antipodes and also deal with dualising modules and their quantisations.     

Vanishing of stable homology with respect to a semidualizing module

We investigate stable homology of modules over a commutative noetherian ring R with respect to a semidualzing module C, and give some vanishing results that improve/extend the known results. As a consequence, we show that the balance of the theory forces C to be trivial and R to be Gorenstein.     

Homotopical Morita theory for corings

A coring (A,C) consists of an algebra A in a symmetric monoidal category and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf–Galois extensions and descent theory, as well as in the study of Hopf algebroids. In this paper, we address the question of when two corings (A,C) and (B,D) in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules V _A ^C and V _B ^D are Quillen equivalent. As an illustration of the general theory, we examine homotopical Morita theory for corings in the category of chain complexes over a commutative ring.