Piecewise-Koszul algebras

It is a small step toward the Koszul-type algebras.The piecewise-Koszul algebras are, in general,a new class of quadratic algebras but not the classical Koszul ones,simultaneously they agree with both the classical Koszul and higher Koszul algebras in special cases.We give a criteria theorem for a graded algebra A to be piecewise-Koszul in terms of its Yoneda-Ext algebra E(A),and show an A_∞-structure on E(A).Relations between Koszul algebras and piecewise-Koszul algebras are discussed.In particular,our results are related to the third question of Green-Marcos.     

有限复杂度的Koszul代数

首先给出了Koszul代数的张量积的复杂度,然后研究了Koszul遗传代数上的Koszul单列模,并证明了Koszul遗传代数上的Koszul模M的Koszul合成列在同构意义下是唯一的.     

Quasi-hereditary covers of higher zigzag algebras of type A

In this paper we define and study some quasi-hereditary covers for higher zigzag algebras of type A. We show how these algebras satisfy three different Koszul properties: they are Koszul in the classical sense, standard Koszul and Koszul with respect to the standard module Δ, according to the definition given in [24]. This last property gives rise to a well defined duality and we compute the Δ-Koszul dual as the path algebra of a quiver with relations.     

Notes on piecewise-Koszul algebras

The relationships between piecewise-Koszul algebras and other “Koszul-type” algebras are discussed. The Yoneda-Ext algebra and the dual algebra of a piecewise-Koszul algebra are studied, and a sufficient condition for the dual algebra A ^! to be piecewise-Koszul is given. Finally, by studying the trivial extension algebras of the path algebras of Dynkin quivers in bipartite orientation, we give explicit constructions for piecewise-Koszul algebras with arbitrary “period” and piecewise-Koszul algebras with arbitrary “jump-degree”.     

Derivation Simple Color Algebras and Semisimple Lie Color Algebras

Let K be an algebraically closed field of arbitrary characteristic and Γ an abelian multiplicative group equipped with a bicharacter ε: Γ × Γ → K*. It is proved that, for any finite-dimensional derivation simple color algebra A over K, there exists a simple color algebra S and a color vector space V such that A? S? S^ε(V), where S^ε(V) is the ε-symmetric algebra of V. As an application of this result, a necessary and sufficient condition such that a Lie color algebra is semisimple is obtained.     

Symmetry in the vanishing of Ext over stably symmetric algebras

A Frobenius algebra over a field k is called symmetric if the Nakayama automorphism is an inner automorphism. A stably symmetric algebra is defined to be a generalization of a symmetric k-algebra. In this paper we will study symmetry in the vanishing of Ext for such algebras R, namely, for all finitely generated R-modules M and N, for all i0 if and only if for all i0. We show that a certain class of noetherian stably symmetric Gorenstein algebras, such as the group algebra of a finite group and the exterior algebra Λ(kⁿ) when n is odd, have this symmetry using Serre duality. We also show that every exterior algebra Λ(kⁿ), whether n is even or odd, has this symmetry for graded modules using Koszul duality.     

On tortkara triple systems

The commutator [a,b] = ab?ba in a free Zinbiel algebra (dual Leibniz algebra) is an anticommutative operation which satisfies no new relations in arity 3. Dzhumadildaev discovered a relation T(a,b,c,d) which he called the tortkara identity and showed that it implies every relation satisfied by the Zinbiel commutator in arity 4. Kolesnikov constructed examples of anticommutative algebras satisfying T(a,b,c,d) which cannot be embedded into the commutator algebra of a Zinbiel algebra. We consider the tortkara triple product [a,b,c] = [[a,b],c] in a free Zinbiel algebra and use computer algebra to construct a relation TT(a,b,c,d,e) which implies every relation satisfied by [a,b,c] in arity 5. Thus, although tortkara algebras are defined by a cubic binary operad (with no Koszul dual), the corresponding triple systems are defined by a quadratic ternary operad (with a Koszul dual). We use computer algebra to construct a relation in arity 7 satisfied by [a,b,c] which does not follow from the relations of lower arity. It remains an open problem to determine whether there are further new identities in arity n≥9.     

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.     

Compact DG modules and Gorenstein DG algebras

When the base connected cochain DG algebra is cohomologically bounded, it is proved that the difference between the amplitude of a compact DG module and that of the DG algebra is just the projective dimension of that module. This yields the unboundedness of the cohomology of non-trivial regular DG algebras. When A is a regular DG algebra such that H(A) is a Koszul graded algebra, H(A) is proved to have the finite global dimension. And we give an example to illustrate that the global dimension of H(A) may be infinite, if the condition that H(A) is Koszul is weakened to the condition that A is a Koszul DG algebra. For a general regular DG algebra A, we give some equivalent conditions for the Gorensteiness. For a finite connected DG algebra A, we prove that D^c(A) and D^c(A ^op) admit Auslander-Reiten triangles if and only if A and A ^op are Gorenstein DG algebras. When A is a non-trivial regular DG algebra such that H(A) is locally finite, D^c(A) does not admit Auslander-Reiten triangles. We turn to study the existence of Auslander-Reiten triangles in D_lf^b(A) and D_lf^b (A ^op) instead, when A is a regular DG algebra. This work was supported by the National Natural Science Foundation of China (Grant No. 10731070) and the Doctorate Foundation of Ministry of Education of China (Grant No. 20060246003)     

On Galois Algebras Satisfying the Fundamental Theorem

Let B be a Galois algebra over a commutative ring R with Galois group G such that B ^H is a separable subalgebra of B for each subgroup H of G. Then it is shown that B satisfies the fundamental theorem if and only if B is one of the following three types: (1) B is an indecomposable commutative Galois algebra, (2) B = Re ⊕ R(1 ? e) where e and 1 ? e are minimal central idempotents in B, and (3) B is an indecomposable Galois algebra such that for each separable subalgebra A, V _B (A) = ?∑ _g∈G(A) J _g , and the centers of A and B ^G(A) are the same where V _B (A) is the commutator subring of A in B, J _g  = {b ∈ B | bx = g(x)b for each x ∈ B} for a g ∈ G, and G(A) = {g ∈ G | g(a) = a for all a ∈ A}.     

Cyclic Homology of Hopf Comodule Algebras and Hopf Module Coalgebras

Abstract

In this paper we construct a cylindrical module A ? ? for an ?-comodule algebra A, where the antipode of the Hopf algebra ? is bijective. We show that the cyclic module associated to the diagonal of A ? ? is isomorphic with the cyclic module of the crossed product algebra A ? ?. This enables us to derive a spectral sequence for the cyclic homology of the crossed product algebra. We also construct a cocylindrical module for Hopf module coalgebras and establish a similar spectral sequence to compute the cyclic cohomology of crossed product coalgebras.     

Solvability of universal bol 2-loops

ABSTRACT

Let (A, ^?) be a structurable algebra. Then the opposite algebra (A ^op , ^?) is structurable, and we show that the triple system B ^op _A(x, y, z):=V^opx,y(z)=x(y¯z)+z(y¯x)?y(x¯z), x, y, z ∈ A, is a Kantor triple system (or generalized Jordan triple system of the second order) satisfying the condition (A). Furthermore, if A=𝔸₁?𝔸₂ denotes tensor products of composition algebras, (^?) is the standard conjugation, and (^∧) denotes a certain pseudoconjugation on A, we show that the triple systems B ^op _𝔸1?𝔸2 ( x , y¯^∧, z) are models of compact Kantor triple systems. Moreover these triple systems are simple if (dim𝔸₁, dim𝔸₂) ≠ (2, 2). In addition, we obtain an explicit formula for the canonical trace form for compact Kantor triple systems defined on tensor products of composition algebras.     

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.     

Koszulity for graded skew PBW extensions

Pre-Koszul and Koszul algebras were defined by Priddy [15 Priddy, S. (1970). Koszul resolutions. Trans. Am. Math. Soc. 152:39–60.[Crossref] , [Google Scholar]]. There exist some relations between these algebras and the skew PBW extensions defined in [8 Gallego, C., Lezama, O. (2011). Gröbner bases for ideals of σ-PBW extensions. Comm. Algebra 39(1):50–75.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]]. In [24 Suárez, H., Reyes, A. (submitted for publications). Koszulity for skew PBW extensions over fields. [Google Scholar]] we gave conditions to guarantee that skew PBW extensions over fields it turns out homogeneous pre-Koszul or Koszul algebra. In this paper we complement these results defining graded skew PBW extensions and showing that if R is a finite presented Koszul 𝕂-algebra then every graded skew PBW extension of R is Koszul.     

Complements to the Almost Complete Tilting A (m)-Modules

Let A be a finite dimensional hereditary algebra over an algebraically closed field and A ^(m) be the mth replicated algebra of A. We prove that if T is a faithful almost complete tilting A ^(m)-module with pd _{A ^(m)} T ≤ m, then T has exactly m + 1 indecomposable nonisomorphic complements with projective dimensions at most m. Moreover, we give an explicit distribution of the complements to T.     

The Bar-Radical of a Class of Almost Alternative Baric Algebras

In this article we prove that, if (U, ω) is a finite dimensional baric algebra of (γ, δ) type over a field F of characteristic ≠ 2,3,5 such that γ² ? δ² + δ = 1 and δ ≠ 0,1, then rad(U) = R(U) ∩ (bar(U))², where R(U) is the nilradical (maximal nil ideal) of U.