An Auslander-type result for Gorenstein-projective modules

An artin algebra A is said to be CM-finite if there are only finitely many, up to isomorphisms, indecomposable finitely generated Gorenstein-projective A-modules. We prove that for a Gorenstein artin algebra, it is CM-finite if and only if every its Gorenstein-projective module is a direct sum of finitely generated Gorenstein-projective modules. This is an analogue of Auslander's theorem on algebras of finite representation type [M. Auslander, A functorial approach to representation theory, in: Representations of Algebras, Workshop Notes of the Third Internat. Conference, in: Lecture Notes in Math., vol. 944, Springer-Verlag, Berlin, 1982, pp. 105-179; M. Auslander, Representation theory of artin algebras II, Comm. Algebra (1974) 269-310].     

Hopf Extensions of CM-finite Artin Algebras

Let H be a finite-dimensional Hopf algebra over a field k, and A a left $H\mbox{-}$ module $k\mbox{-}$ algebra. We show that A#H is a CM-finite algebra if and only if A is a CM-finite algebra preserving global dimension of their relative Auslander algebras when A/A ^H is an $H^{*}\mbox{-}$ Galois extension and A#H/A is separable. As application, we describe all the finitely-generated Gorenstein-projective modules over a triangular matrix artin algebra $\Lambda=\left(\begin{smallmatrix} A^{H}& A\\ 0&A\#H \end{smallmatrix}\right)$ , and obtain a criteria for Λ being Gorenstein. We also show that Hopf extensions can induce recollements between categories $A\#H\mbox{-}{\rm Mod}$ and $A^{H}\mbox{-}{\rm Mod}$ .     

Isomorphism of Hilbert modules over stably finite C-algebras

It is shown that if A is a stably finite C^∗-algebra and E is a countably generated Hilbert A-module, then E gives rise to a compact element of the Cuntz semigroup if and only if E is algebraically finitely generated and projective. It follows that if E and F are equivalent in the sense of Coward, Elliott and Ivanescu (CEI) and E is algebraically finitely generated and projective, then E and F are isomorphic. In contrast to this, we exhibit two CEI-equivalent Hilbert modules over a stably finite C^∗-algebra that are not isomorphic.     

Derived representation type and Gorenstein projective modules of an algebra under crossed product

Let H and its dual H* be finite dimensional semisimple Hopf algebras. In this paper, we firstly prove that the derived representation types of an algebra A and the crossed product algebra A#σH are coincident. This is an improvement of the conclusion about representation type of an algebra in Li and Zhang [Sci China Ser A, 2006, 50: 1-13]. Secondly, we give the relationship between Gorenstein projective modules over A and that over A#σH. Then, using this result, it is proven that A is a finite dimensional CM-finite Gorenstein algebra if and only if so is A#σH.     

Algebras with finitely many conjugacy classes of left ideals versus algebras of finite representation type

Let A be a finite dimensional algebra over an algebraically closed field with the radical nilpotent of index 2. It is shown that A has finitely many conjugacy classes of left ideals if and only if A is of finite representation type provided that all simple A-modules have dimension at least 6.     

Finitely Related Clones and Algebras with Cube Terms

Aichinger et al. (2011) have proved that every finite algebra with a cube-term (equivalently, with a parallelogram-term; equivalently, having few subpowers) is finitely related. Thus finite algebras with cube terms are inherently finitely related??every expansion of the algebra by adding more operations is finitely related. In this paper, we show that conversely, if A is a finite idempotent algebra and every idempotent expansion of A is finitely related, then A has a cube-term. We present further characterizations of the class of finite idempotent algebras having cube-terms, one of which yields, for idempotent algebras with finitely many basic operations and a fixed finite universe A, a polynomial-time algorithm for determining if the algebra has a cube-term. We also determine the maximal non-finitely related idempotent clones over A. The number of these clones is finite.     

A characterization of Azumaya algebras

Let R be a commutative ring with identity 1, and A a finitely generated R-algebra. It is shown that A is an Azumaya R-algebra if and only if every stalk of the Pierce sheaf induced by A is an Azumaya algebra.     

Continuous fields of C*-algebras over finite dimensional spaces

Let X be a finite dimensional compact metrizable space. We study a technique which employs semiprojectivity as a tool to produce approximations of C(X)-algebras by C(X)-subalgebras with controlled complexity. The following applications are given. All unital separable continuous fields of C*-algebras over X with fibers isomorphic to a fixed Cuntz algebra On, n∈{2,3,…,∞}, are locally trivial. They are trivial if n=2 or n=∞. For n?3 finite, such a field is trivial if and only if (n−1)[A₁]=0 in K₀(A), where A is the C*-algebra of continuous sections of the field. We give a complete list of the Kirchberg algebras D satisfying the UCT and having finitely generated K-theory groups for which every unital separable continuous field over X with fibers isomorphic to D is automatically locally trivial or trivial. In a more general context, we show that a separable unital continuous field over X with fibers isomorphic to a KK-semiprojective Kirchberg C*-algebra is trivial if and only if it satisfies a K-theoretical Fell type condition.     

<Emphasis Type="Italic">N</Emphasis>-homogeneous <Emphasis Type="Italic">C</Emphasis>*-algebras generated by idempotents

In this paper we consider n-homogeneous C*-algebras generated by idempotents. We prove that a finitely generated unital n-homogeneous (when n is greater than or equals 2) C*-algebra A can be generated by a finite set of idempotents if and only if the algebra A contains at least one nontrivial idempotent.     

Hereditarily finitely based monoids of extensive transformations

It is shown that the monoid E _n of extensive transformations of a chain of order n is hereditarily finitely based if and only if n ≤ 3. It follows that the submonoid OE _n of order-preserving transformations in E _n is also hereditarily finitely based if and only if n ≤ 3.     

Gorenstein-Projective Modules over T_（m,n）（A）

A new class of Gorenstein algebras T _m,n (A) is introduced, their module categories are described, and all the Gorenstein-projective T _m,n (A)-modules are explicitly determined.     

Poincaré series and an application to Weyl algebras

Let A n be the n-th Weyl algebra over a field of characteristic 0 and M a finitely generated module over A n . By further exploring the relationship between the Poincar′e series and the dimension and the multiplicity of M , we are able to prove that the tensor product of two finitely generated modules over A n has the multiplicity equal to the product of the multiplicities of both modules. It turns out that we can compute the dimensions and the multiplicities of some homogeneous subquotient modules of A n .     

Bourgain algebras and tightness in some algebras of analytic functions

We prove that the Bourgain algebra of the polydisk algebra A(Δn) is A(Δn) itself and disprove the tightness of some algebras of analytic functions; in particular that of H^∞(BE).     

Semilocal Group Algebras

Let k[G] be a semilocal group algebra. It is shown that if k is an algebraically closed field, then every finitely generated flat k[G]-module is projective.     

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.     

Unibranch orbit closures in module varieties

Let A be a finite dimensional associative algebra over an algebraically closed field such that there are, up to isomorphism, only finitely many indecomposable left A-modules. We show that the orbit closures in the associated module varieties are unibranch.     

On deformations of crossed products

Let A∗Γ be a crossed product algebra, where A is semisimple, finitely generated over its center and Γ is a finite group. We give a necessary and sufficient condition in terms of the outer action of Γ on A for the existence of a multi-parametric semisimple deformation of the form A((t₁,…,t_n))∗Γ (with the induced outer action). The main tool in the proof is the solution of the so-called twisting problem. We also give an example which shows that the condition is not sufficient if one drops the condition on the finite generation of A over its center.     

Weakly Koszul-like modules

The Koszul-like property for any finitely generated graded modules over a Koszul-like algebra is investigated and the notion of weakly Koszul-like module is introduced. We show that a finitely generated graded module M is a weakly Koszul-like module if and only if it can be approximated by Koszul-like graded submodules, which is equivalent to the fact that G(M) is a Koszul-like module, where G(M) denotes the associated graded module of M. As applications, the relationships between minimal graded projective resolutions of M and G(M), and Koszul-like submodules are established. Moreover, the Koszul dual of a weakly Koszul-like module is proved to be generated in degree 0 as a graded E(A)-module.