Yetter-Drinfeld modules over weak bialgebras

We discuss properties of Yetter-Drinfeld modules over weak bialgebras over commutative rings. The categories of left-left, left-right, right-left and right-right Yetter-Drinfeld modules over a weak Hopf algebra are isomorphic as braided monoidal categories. Yetter-Drinfeld modules can be viewed as weak Doi-Hopf modules, and, a fortiori, as weak entwined modules. IfH is finitely generated and projective, then we introduce the Drinfeld double using duality results between entwining structures and smash product structures, and show that the category of Yetter-Drinfeld modules is isomorphic to the category of modules over the Drinfeld double. The category of finitely generated projective Yetter-Drinfeld modules over a weak Hopf algebra has duality.     

On the Schröder–Bernstein property for modules

The well known Schröder–Bernstein Theorem states that any two sets with one to one maps into each other are isomorphic. The question of whether any two (subisomorphic or) direct summand subisomorphic algebraic structures are isomorphic, has long been of interest. Kaplansky asked whether direct summands subisomorphic abelian groups are always isomorphic? The question generated a great deal of interest. The study of this question for the general class of modules has been somewhat limited. We extend the study of this question for modules in this paper. We say that a module Msatisfies the Schröder–Bernstein property (S-B property) if any two direct summands of M which are subisomorphic to direct summands of each other, are isomorphic. We show that a large number of classes of modules satisfy the S-B property. These include the classes of quasi-continuous, directly finite, quasi-discrete and modules with ACC on direct summands. It is also shown that over a Noetherian ring R, every extending module satisfies the S-B property. Among applications, it is proved that the class of rings R for which every R-module satisfies the S-B property is precisely that of pure-semisimple rings. We show that over a commutative domain R, any two quasi-continuous subisomorphic R-modules are isomorphic if and only if R is a PID. We study other conditions related to the S-B property and obtain characterizations of certain classes of rings via those conditions. Examples which delimit and illustrate our results are provided.     

IG-projective modules

This paper concerns finitely generated modules over Artin algebras. We introduce the notion of an IG-projective module and use this to prove that if, over such an algebra R$R$, each simple module is strongly Gorenstein projective, then any indecomposable R$R$-module is either projective or simple. We also prove that if R$R$ is local and the simple module is IG-projective, then 1-self-orthogonal modules are projective.     

An extension of a theorem of Frobenius and Stickelberger to modules of projective dimension one over a factorial domain

Let R be a Cohen–Macaulay ring. A quasi-Gorenstein R-module is an R-module such that the grade of the module and the projective dimension of the module are equal and the canonical module of the module is isomorphic to the module itself. After discussing properties of finitely generated quasi-Gorenstein modules, it is shown that this definition allows for a characterization of diagonal matrices of maximal rank over a Cohen–Macaulay factorial domain R extending a theorem of Frobenius and Stickelberger to modules of projective dimension 1 over a commutative factorial Cohen–Macaulay domain.     

On Modules Which are Isomorphic to Relatively Divisible or Pure Submodules of Each Other

Abstract

In this note, we provide a generalization of a well-known result of module theory which states that two injective modules are isomorphic when they are isomorphic to submodules of each other. More precisely, we show here that two RD-injective (respectively, pure-injective) modules over an integral domain are isomorphic if they are isomorphic to relatively divisible (respectively, pure) sub- modules of each other.     

The bicategories of corings

To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projective on one side, together with a map of corings over the same base ring, lead to the notion of a module-morphism, which extends the notion of a morphism of corings (over different base rings). A module-morphism of corings induces functors between the categories of comodules. These functors are termed pull-back and push-out functors, respectively, and thus relate categories of comodules of different corings. We study when the pull-back functor is fully faithful and when it is an equivalence. A generalised descent associated to a morphism of corings is introduced. We define a category of module-morphisms, and show that push-out functors are naturally isomorphic to each other if and only if the corresponding module-morphisms are mutually isomorphic. All these topics are studied within a unifying language of bicategories and the extensive use is made of interpretation of corings as comonads in the bicategory Bim of bimodules and module-morphisms as 1-cells in the associated bicategories of comonads in Bim.     

Center construction and duality of category of Hom-Yetter-Drinfeld modules over monoidal Hom-Hopf algebras

Let (H,α) be a monoidal Hom-Hopf algebra. In this paper, we will study the category of Hom-Yetter-Drinfeld modules. First, we show that the category of left-left Hom-Yetter-Drinfeld modules _H^HH Y D is isomorphic to the center of the category of left (H,α)-Hom-modules. Also, by the center construction, we get that the categories of left-left, left-right, right-left, and right-right Hom-Yetter-Drinfeld modules are isomorphic as braided monoidal categories. Second, we prove that the category of finitely generated projective left-left Hom-Yetter-Drinfeld modules has left and right duality.     

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.     

Pseudo-unitarizable weight modules over generalized Weyl algebras

We define a notion of pseudo-unitarizability for weight modules over a generalized Weyl algebra (of rank one, with commutative coefficient ring R), which is assumed to carry an involution of the form X^∗=Y, R^∗⊆R. We prove that a weight module V is pseudo-unitarizable iff it is isomorphic to its finitistic dual V^?. Using the classification of weight modules by Drozd, Guzner and Ovsienko, we obtain necessary and sufficient conditions for an indecomposable weight module to be isomorphic to its finitistic dual, and thus to be pseudo-unitarizable. Some examples are given, including U_q(sl₂) for q a root of unity.     

Generalizations of projectivity and supplements revisited for superfluous ideals

We (re)introduce four ideal-related generalizations of classic module-theoretic notions: the ideal-superfluity, projective ideal-covers, the ideal-projectivity, and ideal-supplements. For a superfluous ideal I, the main theorem asserts the equivalence between the conditions: “I-supplements are direct summands in finitely generated projective modules”; “finitely generated I-projective modules are projective”; “projective modules with finitely generated factors modulo I are finitely generated”; “finitely generated flat modules with projective factors modulo I are projective.” Moreover, we provide a property of the ideal I which is sufficient for the equivalence to hold true. The property is expressed in terms of idempotent-lifting in matrix rings.     

半群S-分次环与冲积R#S~*

设S为任意半群,本文以S-集为基础,讨论了S-集分次模的一些性质并得到范畴(S,A,R)-gr的一个有限生成投射生成子集合;对于冲积R#S*,主要证明了在一定条件下, unital左R#S*-模范畴和分次R-模范畴是同构的.     

F-rings need not be ∏-homogeneous

We give examples of F-rings A with the property that an infinite direct product of copies of a fixed finitely generated indecomposable projective left A-module P admits a finitely generated indecomposable projective summand Q with Q not isomorphic to P.     

A Generalization of Auslander's Last Theorem

Before his death, Auslander announced that every finitely generated module over a local Gorenstein ring has a minimal Cohen–Macaulay approximation. Yoshimo extended Auslander's result to local Cohen–Macaulay rings admitting a dualizing module.Over a local Gorenstein ring the finitely generated maximal Cohen–Macaulay modules are the finitely generated Gorenstein projective modules so in fact Auslander's theorem says finitely generated modules over such rings have Gorenstein projective covers. We extend Auslander's theorem by proving that over a local Cohen–Macaulay ring admitting a dualizing module all finitely generated modules of finite G-dimension (in Auslander's sense) have a Gorenstein projective cover. Since all finitely generated modules over a Gorenstein ring have finite G-dimension, we recover Auslander's theorem when R is Gorenstein.     

Differential projective modules over differential rings

Differential modules over a commutative differential ring which are projective as ring modules, with differential homomorphisms, form an additive category. Every projective ring module is shown occurs as the underlying module of a differential module. Differential modules, projective as ring modules, are shown to be direct summands of differential modules free as ring modules; those which are differential direct summands of differential direct sums of the ring being induced from the subring of constants. Every differential module finitely generated and projective as a ring module is shown to have this form after a faithfully flat finitely presented differential extension of the base.     

COPURE INJECTIVE MODULES

Abstract

A module is said to be copure injective if it is injective with respect to all modules A ? B with B/A injective. We first characterize submodules that have the extension property with respect to copure injective modules. Then we characterize commutative rings with finite self injective dimension in terms of copure injective modules. Finally, we show that the quotient categories of reduced copure injective modules and reduced h- divisible modules are isomorphic.     

Toric degenerations and vector bundles

There are many affine subalgebras of polynomial rings with highly non-trivial projective modules, whose initial algebras (toric degenerations) are still finitely generated and have all projective modules free.

     

关于Grothendieck群的几点注记

作者在本文中围绕Ｇｒｏｔｈｅｎｄｉｅｃｋ群对几个问题进行了讨论，主要结果有：１．一切有限生成Ｒ－模的同构类作成一个集合；２．在任意由Ｒ－模作成的集合中稳定同的关系是合同关系；３．Ｇｒｏｔｈｅｎｄｉｅｃｋ群的同构不变性成立。     

Non-finitely generated projective modules over generalized Weyl algebras

We classify infinitely generated projective modules over generalized Weyl algebras. For instance, we prove that over such algebras every projective module is a direct sum of finitely generated modules.