Quasi-d-Koszul Modules and Applications

Let R be a Noetherian semiperfect algebra. A necessary and sufficient condition for a finitely generated R-module to be quasi-d-Koszul is given, which improves one of the main results in [1]. The authors also give a necessary and sufficient condition for the Minimal Horseshoe Lemma holding in mod（R）. As an application, it is proved that the ＂Minimal Horseshoe Lemma＂ is true in the category of quasi-d-Koszul modules under certain conditions.     

Frobenius morphisms and stable module categories of repetitive algebras

Let k be the algebraic closure of a finite field F_q and A be a finite dimensional k-algebra with a Frobenius morphism F.In the present paper we establish a relation between the stable module category of the repetitive algebra  of A and that of the repetitive algebra of the fixed-point algebra A~F.As an application,it is shown that the derived category of A~F is equivalent to the subcategory of F-stable objects in the derived category of A when A has a finite global dimension.     

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 .     

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 .     

双诱导映射■集合范畴的L_b-余等值子和L_b-正则满态射(英文)

In this paper,it gives the definition of the category of ■-sets and bi-induced maps whose true value set is a Locale,a complete Heyting algebra.In this category it defines the L_b-monomorphisms and the L_b-epimorphisms.Especially,it gives the definition,the judgmental theorem of L_b-coequalizers.Furthermore,it defines L_b-regular epimorphisms and proves the judgmental theorem.At the end it concludes a result:the category of ■-sets and bi-induced maps is finitely cocomplete.     

The lower and upper bounds of the degree distribution of a graded algebra

For a graded algebra,the minimal projective resolution often reveals amounts of information.All generated degrees of modules in the minimal resolution of the trivial module form a sequence,which can be called the degree distribution of the algebra.We try to find lower and upper bounds of the degree distribution,introduce the notion of(s,t)-(homogeneous) determined algebras and construct such algebras with the aid of algebras with pure resolutions.In some cases,the Ext-algebra of an(s,t)-(homogeneous) determined algebra is finitely generated.     

Low Dimensional Cohomology of Hom-Lie Algebras and q-deformed W（2, 2） Algebra

This paper aims to study low dimensional cohomology of Hom-Lie algebras and the qdeformed W(2, 2) algebra. We show that the q-deformed W(2, 2) algebra is a Hom-Lie algebra. Also,we establish a one-to-one correspondence between the equivalence classes of one-dimensional central extensions of a Hom-Lie algebra and its second cohomology group, leading us to determine the second cohomology group of the q-deformed W(2, 2) algebra. In addition, we generalize some results of derivations of finitely generated Lie algebras with values in graded modules to Hom-Lie algebras.As application, we compute all αk-derivations and in particular the first cohomology group of the q-deformed W(2, 2) algebra.     

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.     

Selfinjective Koszul algebras of finite complexity

In this paper, we study selfinjective Koszul algebras of finite complexity. We prove that the complexity is a nonnegative integer when it is finite; and that the category Yt of modules with complexity less or equal to t, is resolving and coresolving. We show that for each 0 ≤ 1 ≤ m there exist a family of modules of complexity 1 parameterized by G（l, m）, the Grassmannian of l-dimensional subspaces of an m-dimensional vector space V, for the exterior algebra of V. Using complexity, we also give a new approach to the representation theory of a tame symmetric algebra with vanishing radical cube over an algebraically closed field of characteristic 0, via skew group algebra of a finite subgroup of SL（2, C） over the exterior algebra of a 2-dimensional vector space.     

The Elements in Crystal Bases Corresponding to Exceptional Modules

According to the Ringel-Green theorem, the generic composition algebra of the Hall algebra provides a realization of the positive part of the quantum group. Furthermore, its Drinfeld double can be identified with the whole quantum group, in which the BGP- reflection functors coincide with Lusztig＇s symmetries. It is first asserted that the elements corresponding to exceptional modules lie in the integral generic composition algebra, hence in the integral form of the quantum group. Then it is proved that these elements lie in the crystal basis up to a sign. Eventually, it is shown that the sign can be removed by the geometric method. The results hold for any type of Cartan datum.     

On the Category of Koszul Modules of Complexity One of an Exterior Algebra

In this paper, we prove that there is a natural equivalence between the category F1（x） of Koszul modules of complexity 1 with filtration of given cyclic modules as the factor modules of an exterior algebra A = ∧V of an m-dimensional vector space, and the category of the finite-dimensional locally nilpotent modules of the polynomial algebra of m - 1 variables.     

△-tame quasi-hereditary algebras

Let (K, M,H) be an upper triangular bimodule problem. Briistle and Hille showed that the opposite algebra A of the endomorphism algebra of a projective generator P of the matrices category of (K., M, H) is quasi-hereditary, and there is an equivalence between the category of△-good modules of A and Mat(K, M). In this note, based on the tame theorem for bimodule problems, we show that if the algebra A associated with an upper triangular bimodule problem is of△-tame representation type, then the category F(△) has the homogeneous property, i.e. almost all modules in F(△) are isomorphic to their Auslander-Reiten translations. Moreover, if (K, M,H)is an upper triangular bipartite bimodule problem, then A is of△-tame representation type if and only if F(△) is homogeneous.     

Stone''''s representation theorem in fuzzy topology

In this paper, a complete solution to the problem of Stone's repesentation theorem in fuzzy topology is given for a class of completely distributive lattices. Precisely, it is proved that if L is a frame such that 0 ∈ L is a prime or 1 ∈ L is a coprime, then the category of distributive lattices is dually equivalent to the category of coherent L-locales and that if L is moreover completely distributive, then the category of distributive lattices is dually equivalent to the category of coherent stratified L-topological spaces.     

Grbner bases in difference-differential modules and difference-differential dimension polynomials

In this paper we extend the theory of Grbner bases to difference-differential modules and present a new algorithmic approach for computing the Hilbert function of a finitely generated difference-differential module equipped with the natural filtration. We present and verify algorithms for construct-ing these Grbner bases counterparts. To this aim we introduce the concept of "generalized term order" on Nm ×Zn and on difference-differential modules. Using Grbner bases on difference-differential mod-ules we present a direct and algorithmic approach to computing the difference-differential dimension polynomials of a difference-differential module and of a system of linear partial difference-differential equations.     

Higher Level Orderings on Modules

The aim of this paper is to investigate higher level orderings on modules over commutative rings. On the basis of the theory of higher level orderings on fields and commutative rings, some results involving existence of higher level orderings are generalized to the category of modules over commutative rings. Moreover, a strict intersection theorem for higher level orderings on modules is established.     

Some Results for Formal Local Cohomology Modules

Let （R, m） be a commutative Noetherian local ring, I an ideal of R and M a finitely generated R-module. Let limnHm^i（M/I^nM）be the ith formal local cohomology module of M with respect to I.In this paper, we discuss some properties of formal local cohomology modules limnHm^i（M/I^nM）,which are analogous to the finiteness and Artinianness of local cohomology modules of a finitely generated module.     

On double vector bundles

In this paper, we construct a category of short exact sequences of vector bundles and prove that it is equivalent to the category of double vector bundles. Moreover, operations on double vector bundles can be transferred to operations on the corresponding short exact sequences. In particular, we study the duality theory of double vector bundles in term of the corresponding short exact sequences. Examples including the jet bundle and the Atiyah algebroid are discussed.     

The double Ringel-Hall algebra on a hereditary abelian finitary length category

In this paper, we study the category H (ρ) of semi-stable coherent sheaves of a fixed slope ρ over a weighted projective curve. This category has nice properties: it is a hereditary abelian finitary length category. We will define the Ringel-Hall algebra of H (ρ) and relate it to generalized Kac-Moody Lie algebras. Finally we obtain the Kac type theorem to describe the indecomposable objects in this category, i.e. the indecomposable semi-stable sheaves.     

群Yetter-Drinfel'd范畴中的Hopf代数

In this note we first show that if H is a finite-dimensional Hopf algebra in a group Yetter-Drinfel＇d category L^LyD（π） over a crossed Hopf group-coalgebra L, then its dual H^＊ is also a Hopf algebra in the category L^LyD（π）. Then we establish the fundamental theorem of Hopf modules for H in the category L^LyD（π）.     

本刊英文版Vol.30(2014),No.10论文摘要(英文)

<正>on Double Vector Bundles Zhuo CHEN Zhang Ju LIU Yun He SHENG Abstract In this paper,we construct a category of short exact sequences of vector bundles and prove that it is equivalent to the category of double vector bundles.Moreover,operations on double vector bundles can be transferred to operations on the corresponding short exact sequences.In particular,we study the duality theory of double vector bundles in term of