Construction of CPs-Stratified Algebras

The results of [7 Dlab , V. , Ringel , C. M. ( 1992 ). The module theoretical approach to quasi-hereditary algebras. In: Tachikawa, H., Brenner, S. eds. Representations of Algebras and Related Topics, London Math. Society Lecture Note Series 168:200–224 . [Google Scholar]] and [2 Ágoston , I. , Dlab , V. , Lukács , E. ( 2011 ). Constructions of stratified algebras . Comm. Algebra 39 : 2545 – 2553 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] gave a recursive construction for all quasi-hereditary and standardly stratified algebras starting with local algebras and suitable bimodules. Using the notion of stratifying pairs of subcategories, introduced in [3 Ágoston , I. , Lukács , E. Stratifying pairs of subcategories for CPS-stratified algebras . To appear in Journal of Algebra and Its Applications , p. 11 . [Google Scholar]], we generalize these earlier results to construct recursively all CPS-stratified algebras.     

Stratifying Systems via Relative Projective Modules

ABSTRACT

In this paper we point out that the “Process of standardization”, given in Dlab and Ringel (1992 Dlab , V. , Ringel , C. M. ( 1992 ). The module theoretical approach to quasi-hereditary algebras . Repr. Theory and Related Topics, London Math. Soc. LNS 168 : 200 – 224 . [Google Scholar]), and also the “Comparison method” given in Platzeck and Reiten (2001 Platzeck , M. I. , Reiten , I. ( 2001 ). Modules of finite projective dimension for standardly stratified algebras . Comm. in Algebra 29 : 973 – 986 . [CROSSREF] [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]) can be generalized. To do so, we introduce the concept of relative projective stratifying system and prove a result from which the Theorem 2 in Dlab and Ringel (1992 Dlab , V. , Ringel , C. M. ( 1992 ). The module theoretical approach to quasi-hereditary algebras . Repr. Theory and Related Topics, London Math. Soc. LNS 168 : 200 – 224 . [Google Scholar]) and Proposition 2.1 in Ringel (1991 Ringel , C. M. ( 1991 ). The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences . Math. Z. 208 : 209 – 223 .[Crossref], [Web of Science ®] , [Google Scholar]) follows.

     

Standard Koszul standardly stratified algebras

In this paper, we prove that every standard Koszul (not necessarily graded) standardly stratified algebra is also Koszul. This generalizes a similar result of [3 Ágoston, I., Dlab, V., Lukács, E. (2003). Quasi-hereditary extension algebras. Algebras Represent. Theory 6:97–117.[Crossref], [Web of Science ®] , [Google Scholar]] on quasi-hereditary algebras.     

Larson–Sweedler Theorem and Some Properties of Discrete Type in (G-Cograded) Multiplier Hopf Algebras

We extend the Larson–Sweedler theorem to group-cograded multiplier Hopf algebras introduced in Abd El-hafez et al. (2004 Abd El-hafez , A. T. , Delvaux , L. , Van Daele , A. ( 2004 ). Group-cograded multiplier Hopf (?-)algebra. Math. QA/0404026 . To appear in Algebras and Representation Theory . [CSA]  [Google Scholar]), by showing that a group-cograded multiplier bialgebra with finite-dimensional unital components is a group-cograded multiplier Hopf algebra if and only if it possesses a nondegenerate left cointegral. We also generalize the theory of multiplier Hopf algebras of discrete type in Van Daele and Zhang (1999 Van Daele , A. , Zhang , Y. ( 1999 ). Multiplier Hopf algebras of discrete type . J. Algebra 214 : 400 – 417 . [CSA] [CROSSREF]  [Google Scholar]) to group-cograded multiplier Hopf algebras. Our results are applicable to Hopf group-coalgebras in the sense of Turaev (2000 Turaev , V. G. ( 2000 ). Homotopy field theory in dimension 3 and crossed group-categories . Preprint GT/0005291. [CSA]  [Google Scholar]). Finally, we study regular multiplier Hopf algebras of η -discrete type.     

Schur Algebras of Classical Groups II

We study Schur algebras of classical groups over an algebraically closed field of characteristic different from 2. We prove that Schur algebras are generalized Schur algebras (in Donkin's sense) in types A, C, and D, while this does not hold in type B. Consequently Schur algebras of types A, C, and D are integral quasi-hereditary by Donkin [7 Donkin , S. ( 1986 ). Schur algebras and related algebras I . J. Algebra 104 : 310 – 328 . [Google Scholar], 9 Donkin , S. ( 1994 ). Schur algebras and related algebras III: integral representations . Math. Proc. Camb. Phil. Soc. 116 : 37 – 55 . [Google Scholar]]. By using the coalgebra approach we put Schur algebras of a fixed classical group into a certain inverse system. We find that the corresponding hyperalgebra is contained in the inverse limit as a subalgebra. Moreover in types A, C, and D, the surjections in the inverse systems are compatible with the integral quasi-hereditary structure of Schur algebras.     

Right and left solvable extensions of an associative Leibniz algebra

A sequence of nilpotent Leibniz algebras denoted by N_n,18 is introduced. Here n denotes the dimension of the algebra defined for n≥4; the first term in the sequence is ?₁₈ in the list of four-dimensional nilpotent Leibniz algebras introduced by Albeverio et al. [4 Albeverio, S., Omirov, B. A., Rakhimov, I. S. (2006). Classification of 4-dimensional nilpotent complex Leibniz algebras. Extr. Math. 21(3):197–210. [Google Scholar]]. Then all possible right and left solvable indecomposable extensions over the field ? are constructed so that N_n,18 serves as the nilradical of the corresponding solvable algebras. The construction continues Winternitz’ and colleagues’ program established to classify solvable Lie algebras using special properties rather than trying to extend one dimension at a time.     

The minimal non-Koszul A(Γ)

The algebras A(Γ), where Γ is a directed layered graph, were first constructed by Gelfand et al. [5 Gelfand, I., Serconek, S., Retakh, V., Wilson, R. L. (2005). On a class of algebras associated to directed graphs. Selecta Math. (N.S.) 11(2):281–295.[Crossref], [Web of Science ®] , [Google Scholar]]. These algebras are generalizations of the algebras Q_n, which are related to factorizations of non-commutative polynomials. It was originally conjectured that these algebras were Koszul. In 2008, Cassidy and Shelton found a counterexample to this claim, a non-Koszul A(Γ) corresponding to a graph Γ with 18 edges and 11 vertices. We produce an example of a directed layered graph Γ with 13 edges and 9 vertices, which produces a non-Koszul A(Γ). We also show this is the minimal example with this property.     

Support Varieties for Modules Over Stacked Monomial Algebras

Let Λ be a finite-dimensional (D, A)-stacked monomial algebra. In this article, we give necessary and sufficient conditions for the variety of a simple Λ-module to be nontrivial. This is then used to give structural information on the algebra Λ, as it is shown that if the variety of every simple module is nontrivial, then Λ is a D-Koszul monomial algebra. We also provide examples of (D, A)-stacked monomial algebras which are not self-injective but nevertheless satisfy the finite generation conditions (Fg1) and (Fg2) of [4 Erdmann , K. , Holloway , M. , Snashall , N. , Solberg , Ø. , Taillefer , R. ( 2004 ). Support varieties for selfinjective algebras . K-Theory 33 : 67 – 87 .[Crossref] , [Google Scholar]], from which we can characterize all modules with trivial variety.     

On an Ingelstam's Theorem

A well-known Ingelstam's Theorem asserts that every real Hilbert space A with an associative unital product satisfying ‖ xy‖ ≤ ‖ x‖ ‖ y‖ and ‖ 1‖ = 1 is isomorphic to the reals ?, or the complex numbers ?, or the quaternions ?. This note deals with a nonunital and nonassociative extension of the Ingelstam Theorem. So the assumptions about associativity and existence of unity are weakened to the existence of a nonzero central idempotent e such that ‖ ex‖ = ‖e‖ ‖ x‖ for all x, and that in A holds a determined kind of algebraic identity strictly weaker that alternativeness. We prove that, up to isomorphisms, there are only seven algebras satisfying these assumptions, even without the requirement of completeness. On the other hand, Section 3 presents another characterization of the obtained algebras with the flavor of one of the main theorems in Bhatt et al. (1998 Bhatt , S. J. , Karia , D. J. , Kulkarni , S. H. , Shimpi , M. E. ( 1998 ). A note on the Gelfand-Mazur theorem . Proc. Amer. Math. Soc. 126 ( 10 ): 2999 – 3005 .[Crossref], [Web of Science ®] , [Google Scholar]).     

The h-Vector of a Relatively Compressed Level Algebra

The purpose of this note is to supply an upper and a lower bound (which are in general sharp) for the h-vector of a level algebra which is relatively compressed with respect to any arbitrary level algebra A.

The useful concept of relatively compressed algebra was recently introduced in Migliore et al. (2005 Migliore , J. , Miró-Roig , R. , Nagel , U. ( 2005 ). Minimal resolution of relatively compressed level algebras . J. Algebra 284 ( 1 ): 337 – 370 .[Crossref] , [Google Scholar]) (whose investigations mainly focused on the particular case of A a complete intersection). The key idea of this note is the simple observation that the level algebras which are relatively compressed with respect to A coincide (after an obvious isomorphism) with the generic level quotients of suitable truncations of A. Therefore, we are able to apply to relatively compressed algebras the main result of our recent work, Zanello (2007 Zanello , F. ( 2007 ). Partial derivatives of a generic subspace of a vector space of forms: quotients of level algebras of arbitrary type . Trans. Amer. Math. Soc. 359 ( 6 ): 2675 – 2686 .[Crossref], [Web of Science ®] , [Google Scholar]).     

Leibniz Algebras with Invariant Bilinear Forms and Related Lie Algebras

In ([11 Benayadi, S., Hidri, S. (2014). Quadratic Leibniz algebras. Journal of Lie Theory 24:737–759.[Web of Science ®] , [Google Scholar]]), we have studied quadratic Leibniz algebras that are Leibniz algebras endowed with symmetric, nondegenerate, and associative (or invariant) bilinear forms. The nonanticommutativity of the Leibniz product gives rise to other types of invariance for a bilinear form defined on a Leibniz algebra: the left invariance, the right invariance. In this article, we study the structure of Leibniz algebras endowed with nondegenerate, symmetric, and left (resp. right) invariant bilinear forms. In particular, the existence of such a bilinear form on a Leibniz algebra 𝔏 gives rise to a new algebra structure ☆ on the underlying vector space 𝔏. In this article, we study this new algebra, and we give information on the structure of this type of algebras by using some extensions introduced in [11 Benayadi, S., Hidri, S. (2014). Quadratic Leibniz algebras. Journal of Lie Theory 24:737–759.[Web of Science ®] , [Google Scholar]]. In particular, we improve the results obtained in [22 Lin, J., Chen, Z. (2010). Leibniz algebras with pseudo-Riemannian bilinear forms. Front. Math. China 5(1):103–115.[Crossref], [Web of Science ®] , [Google Scholar]].     

Self-Dual Hopf Quivers

ABSTRACT

We study self-dual coradically graded pointed Hopf algebras with a help of the dual Gabriel theorem for pointed Hopf algebras (van Oystaeyen and Zhang, 2004 van Oystaeyen , F. , Zhang , P. ( 2004 ). Quiver Hopf algebras . J. Algebra 280 ( 2 ): 577 – 589 . [CSA] [CROSSREF]  [Google Scholar]). The co-Gabriel Quivers of such Hopf algebras are said to be self-dual. An explicit classification of self-dual Hopf quivers is obtained. We also prove that finite dimensional pointed Hopf algebras with self-dual graded versions are generated by group-like and skew-primitive elements as associative algebras. This partially justifies a conjecture of Andruskiewitsch and Schneider (2000 Andruskiewitsch , N. , Schneider , H.-J . ( 2000 ). Finite quantum groups and Cartan matrices . Adv. Math. 154 : 1 – 45 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]) and may help to classify finite dimensional self-dual coradically graded pointed Hopf algebras.     

Finitary Incidence Algebras

It is well known that incidence algebras can be defined only for locally finite partially ordered sets (Doubilet et al., 1972 Doubilet , P. , Rota , G.-C. , Stanley , R. ( 1972 ). On the foundations of combinatorial theory (VI): The idea of generating function . In: Proc. of the Sixth Berkely Symp. on Math. Stat. and Probab . v. II , Univ. of Calif. Press , pp. 267 – 318 . [Google Scholar]; Stanley 1986 Stanley , R. P. ( 1986 ). Enumerative Combinatorics . v. 1 . Monterey, CA : Wadsworth &; Brooks/Cole .[Crossref] , [Google Scholar]). At the same time, for example, the poset of cells of a noncompact cell partition of a topological space is not locally finite. On the other hand, some operations, such as the order sum and the order product (Stanley, 1986 Stanley , R. P. ( 1986 ). Enumerative Combinatorics . v. 1 . Monterey, CA : Wadsworth &; Brooks/Cole .[Crossref] , [Google Scholar]), do not save the locally finiteness. So it is natural to try to generalize the concept of incidence algebra.

In this article, we consider the functions in two variables on an arbitrary poset (finitary series), for which the convolution operation is defined. We obtain the generalization of incidence algebra—finitary incidence algebra and describe its properties: invertibility, the Jackobson radical, idempotents, regular elements. As a consequence a positive solution of the isomorphism problem for such algebras is obtained.     

Automorphisms of Generalized Down-Up Algebras

A generalization of down-up algebras was introduced by Cassidy and Shelton (2004 Cassidy , T. , Shelton , B. ( 2004 ). Basic properties of generalized down-up algebras . J. Algebra 279 ( 1 ): 402 – 421 .[Crossref], [Web of Science ®] , [Google Scholar]), the so-called “generalized down-up algebras”. We describe the automorphism group of conformal Noetherian generalized down-up algebras L(f, r, s, γ) such that r is not a root of unity, listing explicitly the elements of the group. In the last section, we apply these results to Noetherian down-up algebras, thus obtaining a characterization of the automorphism group of Noetherian down-up algebras A(α, β, γ) for which the roots of the polynomial X ² ? α X ? β are not both roots of unity.     

Gröbner–Shirshov Basis of Quantum Group of Type G 2

By using the generating sequence and relations given by Ringel for his Ringel–Hall algebra in [8 Ringel , C. M. ( 1996 ). PBW-bases of quantum groups . J. Reine Angew. Math. 470 : 51 – 88 .[Web of Science ®] , [Google Scholar]], we give a Gröbner–Shirshov basis for quantum group of type G ₂.     

Graded Left Symmetric Pseudo-algebras

In the present article, we introduce G-graded left symmetric H-pseudoalgebras, where G is a grading group, and H is a cocommutative Hopf algebra. Some results about associative H-pseudoalgebras in [23 Retakh , A. ( 2004 ). Unital associative pseudoalgebras and their representations . J. Algebra 227 : 769 – 805 .[Crossref] , [Google Scholar]] are generalized. The commutator algebras of the G-graded left symmetric H-pseudo-algebras are Lie H-pseudoalgebras, which are classified when the grading group is trivial in [3 Bakalov , B. , D'Andrea , A. , Kac , V. G. ( 2001 ). Theory of finite pseudoalgebras . Adv. in Math. 162 : 1 – 140 .[Crossref], [Web of Science ®] , [Google Scholar]]. We investigate the left symmetric structure of Lie H-pseudoalgebras W(𝔟), S(𝔟), and He defined in [3 Bakalov , B. , D'Andrea , A. , Kac , V. G. ( 2001 ). Theory of finite pseudoalgebras . Adv. in Math. 162 : 1 – 140 .[Crossref], [Web of Science ®] , [Google Scholar]].     

On Free Sabinin Algebras

Sabinin algebras are algebraic objects that capture the local structure of analytic loops in the same way in which Lie algebras capture the local structure of Lie groups. They were introduced by Sabinin and Mibeev [13 Sabinin , L. V. , Miheev , P. O. (1987). On the infinitesimal theory of local analytic loops. Dokl. Akad. Nauk SSSR 297:801–804 (in Russian). English trans.: Soviet Math. Dokl. (1988), 36:545–548. [Google Scholar]].

In 1962, Shirshov [20 Shtern , A. S. ( 1986 ). Free Lie superalgebras . Sibirsk. Mat. Z. 27 : 170 – 174 (in Russian) . [Google Scholar]] suggested a scheme for choosing bases of a free Lie algebra that generalizes the Hall and Lyndon–Shirshov bases. In this article, we generalize the Shirshov scheme for the case of Sabinin algebras.     

Application of Full Quivers of Representations of Algebras,to Polynomial Identities

In [7 Belov , A. , Rowen , L. H. , Vishne , U. Full quivers of representations of algebras. To appear in Trans. Amer. Math. Soc.  [Google Scholar]] we introduced the notion of full quivers of representations of algebras, which are more explicit than quivers of algebras, and better suited for algebras over finite fields. Here, we consider full quivers as a combinatorial tool in order to describe PI-varieties of algebras. We apply the theory to clarify the proofs of diverse topics in the literature: Determining which relatively free algebras are weakly Noetherian, determining when relatively free algebras are finitely presented, presenting a quick proof for the rationality of the Hilbert series of a relatively free PI-algebra, and explaining counterexamples to Specht's conjecture for varieties of Lie algebras.