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.     

Stratified modules over an extension algebra

Let A be a standard Koszul standardly stratified algebra and X an A-module. The paper investigates conditions which imply that the module Ext* _A (X) over the Yoneda extension algebra A* is filtered by standard modules. In particular, we prove that the Yoneda extension algebra of A is also standardly stratified. This is a generalization of similar results on quasi-hereditary and on graded standardly stratified algebras.     

Characteristic modules and tensor products over quasi-hereditary algebras

Let A be a monomial quasi-hereditary algebra with a pure strong exact Borel subalgebra B.It is proved that the category of induced good modules over B is contained in the category of good modules over A;that the characteristic module of A is an induced module of that of B via the exact functor-(?)_B A if and only if the induced A-module of an injective B-module remains injective as a B-module.Moreover,it is shown that an exact Borel subalgebra of a basic quasi-hereditary serial algebra is right serial and that the characteristic module of a basic quasi-hereditary serial algebra is exactly the induced module of that of its exact Borel subalgebra.     

DG Poisson algebra and its universal enveloping algebra

We introduce the notions of differential graded (DG) Poisson algebra and DG Poisson module. Let A be any DG Poisson algebra. We construct the universal enveloping algebra of A explicitly, which is denoted by A^ue. We show that A^ue has a natural DG algebra structure and it satisfies certain universal property. As a consequence of the universal property, it is proved that the category of DG Poisson modules over A is isomorphic to the category of DG modules over A^ue. Furthermore, we prove that the notion of universal enveloping algebra A^ue is well-behaved under opposite algebra and tensor product of DG Poisson algebras. Practical examples of DG Poisson algebras are given throughout the paper including those arising from differential geometry and homological algebra.     

Factorization of cp-rank-3 completely positive matrices

A symmetric positive semi-definite matrix A is called completely positive if there exists a matrix B with nonnegative entries such that A = BB^?. If B is such a matrix with a minimal number p of columns, then p is called the cp-rank of A. In this paper we develop a finite and exact algorithm to factorize any matrix A of cp-rank 3. Failure of this algorithm implies that A does not have cp-rank 3. Our motivation stems from the question if there exist three nonnegative polynomials of degree at most four that vanish at the boundary of an interval and are orthonormal with respect to a certain inner product.     

Integral Bases for the Universal Enveloping Algebras of Cartan Map Superalgebras

Let ?? be a finite dimensional complex simple Lie superalgebra of Cartan type and A be a commutative, associative algebra with unity over ?. We refer to the Lie superalgebras of the form ?? ? A as Cartan map superalgebras. In this paper, following Bagci and Chamberlin (J. of Pure and Applied Algebra 218(8), 1563–1576, 2014), we define an integral form for the universal enveloping algebra of the Cartan map superalgebras, and exhibit an explicit integral basis for this integral form.     

The Nodal Cubic is a Quantum Homogeneous Space

The cusp was recently shown to admit the structure of a quantum homogeneous space, that is, its coordinate ring B can be embedded as a right coideal subalgebra into a Hopf algebra A such that A is faithfully flat as a B-module. In the present article such a Hopf algebra A is constructed for the coordinate ring B of the nodal cubic, thus further motivating the question which affine varieties are quantum homogeneous spaces.     

Δ-Filtrations and Projective Resolutions for the Auslander–Dlab–Ringel Algebra

The ADR algebra R _A of an Artin algebra A is a right ultra strongly quasihereditary algebra (RUSQ algebra). In this paper we study the Δ-filtrations of modules over RUSQ algebras and determine the projective covers of a certain class of R _A -modules. As an application, we give a counterexample to a claim by Auslander–Platzeck–Todorov, concerning projective resolutions over the ADR algebra.     

Characteristic Modules of Dual Extensions and Groebner Bases

Let C be a finite dimensional directed algebra over an algebraically closed field k and A=A(C) the dual extension of C. The characteristic modules of A are constructed explicitly for a class of directed algebras, which generalizes the results of Xi. Furthermore, it is shown that the characteristic modules of dual extensions of a certain class of directed algebras admit the left Groebner basis theory in the sense of E. L. Green.     

Possible isolation number of a matrix over nonnegative integers

Let ?₊ be the semiring of all nonnegative integers and A an m × n matrix over ?₊. The rank of A is the smallest k such that A can be factored as an m × k matrix times a k×n matrix. The isolation number of A is the maximum number of nonzero entries in A such that no two are in any row or any column, and no two are in a 2 × 2 submatrix of all nonzero entries. We have that the isolation number of A is a lower bound of the rank of A. For A with isolation number k, we investigate the possible values of the rank of A and the Boolean rank of the support of A. So we obtain that the isolation number and the Boolean rank of the support of a given matrix are the same if and only if the isolation number is 1 or 2 only. We also determine a special type of m×n matrices whose isolation number is m. That is, those matrices are permutationally equivalent to a matrix A whose support contains a submatrix of a sum of the identity matrix and a tournament matrix.     

Simultaneous decomplexification of a pair of complex matrices by a similarity transformation

The following question is treated: Under what conditions can complex n-by-n matrices A and B be made real by the same similarity transformation? It is shown that if the algebra generated by A and B contains a matrix with a simple real spectrum, then the problem of the simultaneous decomplexification of a matrix pair can be reduced to the decomplexification of a single matrix by a diagonal similarity transformation. From this result, sufficient conditions are derived for the possibility of simultaneous decomplexification. An example illustrating these conditions is given.     

Approximations and Mittag-Leffler conditions the applications

A classic result by Bass says that the class of all projective modules is covering if and only if it is closed under direct limits. Enochs extended the if-part by showing that every class of modules C, which is precovering and closed under direct limits, is covering, and asked whether the converse is true. We employ the tools developed in [18] and give a positive answer when C = A, or C is the class of all locally A^≤ω-free modules, where A is any class of modules fitting in a cotorsion pair (A, B) such that B is closed under direct limits. This setting includes all cotorsion pairs and classes of locally free modules arising in (infinite-dimensional) tilting theory. We also consider two particular applications: to pure-semisimple rings, and Artin algebras of infinite representation type.     

Irreducible <Emphasis Type="Italic">A</Emphasis><Stack><Subscript>1</Subscript><Superscript>(1)</Superscript></Stack>-modules from modules over two-dimensional non-abelian Lie algebra

For any module V over the two-dimensional non-abelian Lie algebra b and scalar α ∈ C, we define a class of weight modules F ^α (V) with zero central charge over the affine Lie algebra A ₁ ⁽¹⁾ . These weight modules have infinitedimensional weight spaces if and only if V is infinite dimensional. In this paper, we will determine necessary and sufficient conditions for these modules F ^α(V) to be irreducible. In this way, we obtain a lot of irreducible weight A ₁ ⁽¹⁾ -modules with infinite-dimensional weight spaces.     

A gradual rank increasing process for matrix completion

The matrix completion problem is easy to state: let A be a given data matrix in which some entries are unknown. Then, it is needed to assign “appropriate values” to these entries. A common way to solve this problem is to compute a rank-k matrix, B _k , that approximates A in a least squares sense. Then, the unknown entries in A attain the values of the corresponding entries in B _k . This raises the question of how to determine a suitable matrix rank. The method proposed in this paper attempts to answer this question. It builds a finite sequence of matrices \(B_{k}, k = 1, 2, \dots \), where B _k is a rank-k matrix that approximates A in a least squares sense. The computational effort is reduced by using B _k-1 as starting point in the computation of B _k . The ability of B _k to serve as substitute for A is measured with two objective functions: a “training” function that measures the distance between the known part of A and the corresponding part of B _k , and a “probe” function that assesses the quality of the imputed entries. Watching the changes in these functions as k increases enables us to find an optimal matrix rank. Numerical experiments illustrate the usefulness of the proposed approach.     

A Construction of Totally Reflexive Modules

We construct infinite families of pairwise non-isomorphic indecomposable totally reflexive modules of high multiplicity. Under suitable conditions on the totally reflexive modules M and N, we find infinitely many non-isomorphic indecomposable modules arising as extensions of M by N. The construction uses the bimodule structure of \({Ext^{1}_{R}}((M,N)\) over the endomorphism rings of N and M. Our results compare with a recent theorem of Celikbas, Gheibi and Takahashi, and broaden the scope of that theorem.     

Approximations and Mittag-Leffler conditions the tools

Mittag-Leffler modules occur naturally in algebra, algebraic geometry, and model theory, [20], [14], [19]. If R is a non-right perfect ring, then it is known that in contrast with the classes of all projective and flat modules, the class of all flat Mittag-Leffler modules is not deconstructible [16], and it does not provide for approximations when R has cardinality ≤ ?₀, [8]. We remove the cardinality restriction on R in the latter result. We also prove an extension of the Countable Telescope Conjecture [23]: a cotorsion pair (A, B) is of countable type whenever the class B is closed under direct limits.In order to prove these results, we develop new general tools combining relative Mittag-Leffler conditions with set-theoretic homological algebra. They make it possible to trace the above facts to their ultimate, countable, origins in the properties of Bass modules. These tools have already found a number of applications: e.g., they yield a positive answer to Enochs’ problem on module approximations for classes of modules associated with tilting [4], and enable investigation of new classes of flat modules occurring in algebraic geometry [26]. Finally, the ideas from Section 3 have led to the solution of a long-standing problem due to Auslander on the existence of right almost split maps [22].     

On the positive commutator in the radical

In this paper we prove that a positive commutator between a positive compact operator A and a positive operator B is in the radical of the Banach algebra generated by A and B. Furthermore, on every at least three-dimensional Banach lattice we construct finite rank operators A and B satisfying \(AB\ge BA\ge 0\) such that the commutator \(AB-BA\) is not contained in the radical of the Banach algebra generated by A and B. These two results now completely answer to two open questions published in (Bra?i? et al., Positivity 14:431–439, 2010). We also obtain relevant results in the case of the Volterra and the Donoghue operator.     

Characterization of 2-Local Derivations and Local Lie Derivations on Some Algebras

We prove that each 2-local derivation from the algebra M_n(A ) (n > 2) into its bimodule M_n(M) is a derivation, where A is a unital Banach algebra and M is a unital A -bimodule such that each Jordan derivation from A into M is an inner derivation, and that each 2-local derivation on a C*-algebra with a faithful traceable representation is a derivation. We also characterize local and 2-local Lie derivations on some algebras such as von Neumann algebras, nest algebras, the Jiang–Su algebra, and UHF algebras.     

Twisted Generalized Weyl Algebras and Primitive Quotients of Enveloping Algebras

To each multiquiver Γ we attach a solution to the consistency equations associated to twisted generalized Weyl (TGW) algebras. This generalizes several previously obtained solutions in the literature. We show that the corresponding algebras \(\mathcal {A}({\Gamma })\) carry a canonical representation by differential operators and that \(\mathcal {A}({\Gamma })\) is universal among all TGW algebras with such a representation. We also find explicit conditions in terms of Γ for when this representation is faithful or locally surjective. By forgetting some of the structure of Γ one obtains a Dynkin diagram, D(Γ). We show that the generalized Cartan matrix of \(\mathcal {A}({\Gamma })\) coincides with the one corresponding to D(Γ) and that \(\mathcal {A}({\Gamma })\) contains graded homomorphic images of the enveloping algebra of the positive and negative part of the corresponding Kac-Moody algebra. Finally, we show that a primitive quotient U/J of the enveloping algebra of a finite-dimensional simple Lie algebra over an algebraically closed field of characteristic zero is graded isomorphic to a TGW algebra if and only if J is the annihilator of a completely pointed (multiplicity-free) simple weight module. The infinite-dimensional primitive quotients in types A and C are closely related to \(\mathcal {A}({\Gamma })\) for specific Γ. We also prove one result in the affine case.     

Invariants of the action of a semisimple Hopf algebra on PI-algebra

We extend several classical results in the theory of invariants of finite groups to the case of action of a finite-dimensional Hopf algebra H on an algebra satisfying a polynomial identity. In particular, we prove that an H-module algebra A over an algebraically closed field k is integral over the subalgebra of invariants, if H is a semisimple and cosemisimple Hopf algebra. We show that for char k > 0, the algebra Z\({\left( A \right)^{{H_0}}}\) is integral over the subalgebra of central invariants Z(A)^H, where Z(A) is the center of algebra A, H⁰ is the coradical of H. This result allowed us to prove that the algebra A is integral over the subalgebra Z(A)^H in some special case. We also construct a counterexample to the integrality of the algebra \({A^{{H_0}}}\) over the subalgebra of invariants A^H for a pointed Hopf algebra over a field of non-zero characteristic.