模与余模间的对偶

本文讨论模的对偶余模，把代数的（有限）对偶余代数的有关结论完整地推广到模的对偶余模上．作为这个理论的应用，我们给出一个例子说明Ｈ－模代数Ａ的对偶Ａ°不一定是Ｈ°－余模余代数     

Cosemisimple Coextensions and Homological Dimension of Smash Coproducts

Let H be a finite dimensional cosemisimple Hopf algebra, C a left H-comodule coalgebra and let C = C/C（H^＊）^＋ be the quotient coalgebra and the smash coproduct of C and H. It is shown that if C/C is a eosemisimple coextension and C is an injective right C-comodule, then gl. dim（the smash coproduct of C and H） = gl. dim（C） = gl. dim（C）, where gl. dim（C） denotes the global dimension of coalgebra C.     

对偶余模函子()°和余反射余模

本文给出对偶余模M°的结构刻划及（）°作为逆变函子的左正合性．同时引入余反射余模描述余反射余代数，由此研究余反射余代数的同调性质，证明当char（F）＝0时，F[x1，...，xn]°上的Serre猜测是成立的，即F[x1，...，xn]°的有限余生成内射余模均为余自由的．     

余代数上余倾斜余模的结构

研究了余代数上余倾斜余模的结构特征,证明了每个余倾斜余模都可以写成不可分解的两两非同构的余模的直和形式,每个余倾斜余模包含所有的内射不可分解模作为直和项.最后构造了余倾斜余模的两个例子.     

On Gorenstein coalgebras

We investigate the comodule representation category over the Morita-Takeuchi context coalgebra Γ and study the Gorensteinness of Γ. Moreover, we determine explicitly all Gorenstein injective comodules over the Morita-Takeuchi context coalgebra Γ and discuss the localization in Gorenstein coalgebras. In particular, we describe its Gabriel quiver and carry out some examples when the Morita-Takeuchi context coalgebra is basic.     

Abelian categories, almost split sequences, and comodules

The following are equivalent for a skeletally small abelian Hom-finite category over a field with enough injectives and each simple object being an epimorphic image of a projective object of finite length.

(a) Each indecomposable injective has a simple subobject.

(b) The category is equivalent to the category of socle-finitely copresented right comodules over a right semiperfect and right cocoherent coalgebra such that each simple right comodule is socle-finitely copresented.

(c) The category has left almost split sequences.

     

Cotensor Coalgebras in Monoidal Categories

We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an Abelian monoidal category ?. If ? is also cocomplete, complete, and AB5, we show that such a cotensor coalgebra exists and satisfies a meaningful universal property which resembles the classical one. Here the lack of the coradical filtration is filled by considering a direct limit of a filtration consisting of wedge products. We prove that this coalgebra is formally smooth whenever the comodule is relative injective and the coalgebra itself is formally smooth.     

交换群上Hopf路余代数的结构分类

设G是群, kG是域k上的群代数. 对任意Hopf箭向Q=(G, r), 利用右kZ_u(C) -模的直积范畴∏_C∈K(G) MkZ_u(C)与kG-Hopf双模范畴^kG_kG M^kG_kG之间的同构, 可由^u(C)(kQ₁)¹上的右kZ_u(C) -模结构导出在箭向余模kQ₁上的kG-Hopf双模结构. 该文讨论在群G分别是2阶循环群与克莱茵四元群时的Hopf路余代数kQ^c的同构分类及其子Hopf代数kG[kQ₁]结构.     

Quasi-co-Frobenius Coalgebras. II

Abstract

We prove new characterizations of Quasi-co-Frobenius (QcF) coalgebras and co-Frobenius coalgebras. Among them, we prove that a coalgebra is QcF if and only if C generates every left and every right C-comodule. We also prove that every QcF coalgebra is Morita-Takeuchi equivalent to a co-Frobenius coalgebra.     

Calabi–Yau Coalgebras

We present a method for constructing the minimal injective resolution of a simple comodule of a path coalgebra of quivers with relations. Dual to the Calabi–Yau condition of algebras, we introduce the concept of a Calabi–Yau coalgebra, and then describe the Calabi–Yau coalgebras of low global dimensions.     

Homological Dimension of Coalgebras and Crossed Coproducts

Let H be a Hopf k-algebra. We study the global homological dimension of the underlying coalgebra structure of H. We show that gl.dim(H) is equal to the injective dimension of the trivial right H-comodule k. We also prove that if D = C H is a crossed coproduct with invertible , then gl.dim(D) gl.dim(C) + gl.dim(H). Some applications of this result are obtained. Moreover, if C is a cocommutative coalgebra such that C ^* is noetherian, then the global dimension of the coalgebra C coincides with the global dimension of the algebra C ^*.     

Hopf-cyclic homology and cohomology with coefficients

Following the idea of an invariant differential complex, we construct general-type cyclic modules that provide the common denominator of known cyclic theories. The cyclicity of these modules is governed by Hopf-algebraic structures. We prove that the existence of a cyclic operator forces a modification of the Yetter–Drinfeld compatibility condition leading to the concept of a stable anti-Yetter–Drinfeld module. This module plays the role of the space of coefficients in the thus obtained cyclic cohomology of module algebras and coalgebras, and the cyclic homology and cohomology of comodule algebras. Along the lines of Connes and Moscovici, we show that there is a pairing between the cyclic cohomology of a module coalgebra acting on a module algebra and closed 0-cocycles on the latter. The pairing takes values in the usual cyclic cohomology of the algebra. Similarly, we argue that there is an analogous pairing between closed 0-cocycles of a module coalgebra and the cyclic cohomology of a module algebra. To cite this article: P.M. Hajac et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Representation-Directed Incidence Coalgebras of Intervally Finite Posets and the Tame-Wild Dichotomy

Incidence coalgebras C = K ^□ I of intervally finite posets I that are representation-directed are characterized in the article, and the posets I with this property are described. In particular, it is shown that the coalgebra C = K ^□ I is representation-directed if and only if the Euler quadratic form q _C : ?^(I) → ? of C is weakly positive. Every such a coalgebra C is tame of discrete comodule type and gl. dimC ≤ 2. As a consequence, we get a characterization of the incidence coalgebras C = K ^□ I that are left pure semisimple in the sense that every left C-comodule is a direct sum of finite dimensional subcomodules. It is shown that every such coalgebra C = K ^□ I is representation-directed and gl. dimC ≤ 2. Finally, the tame-wild dichotomy theorem is proved, for the coalgebras K ^□ I that are right semiperfect.     

Doi–Hopf Modules Associated to Comodule Coalgebras

To any right comodule coalgebra C over a Hopf algebra H we associate a left H-comodule algebra A. Under certain conditions, in particular in the case where H has nonzero integrals, we show that the category of right C, H-comodules is isomorphic to a certain subcategory of the category of Doi–Hopf modules associated to A. As an application, we investigate the connection between C and the smash coproduct C ? H being right semiperfect.     

Coactions on Spaces of Morphisms

We study certain comodule structures on spaces of linear morphisms between H-comodules, where H is a Hopf algebra over the field k. We apply the results to show that H has non-zero integrals if and only if there exists a non-zero finite dimensional injective right H-comodule. Using this approach, we prove an extension of a result of Sullivan, by showing that if H is involutory and has non-zero integrals, and there exists an injective indecomposable right comodule whose dimension is not a multiple of char(k), then H is cosemisimple. Also we prove without using character theory that if H is cosemisimple and M is an absolutely irreducible right H-comodule, then char(k) does not divide dim(M).     

Covering Coalgebras and Dual Non-singularity

Localisation is an important technique in ring theory and yields the construction of various rings of quotients. Colocalisation in comodule categories has been investigated by some authors (see Jara et al., Commun. Algebra, 34(8):2843–2856, 2006 and Nastasescu and Torrecillas, J. Algebra, 185:203–220, 1994). Here we look at possible coalgebra covers π : D → C that could play the rôle of a coalgebra colocalisation. Codense covers will dualise dense (or rational) extensions; a maximal codense cover construction for coalgebras with projective covers is proposed. We also look at a dual non-singularity concept for modules which turns out to be the comodule-theoretic property that turns the dual algebra of a coalgebra into a non-singular ring. As a corollary we deduce that hereditary coalgebras and hence path coalgebras are non-singular in the above sense. We also look at coprime coalgebras and Hopf algebras which are non-singular as coalgebras.     

Vertex coalgebras, comodules, cocommutativity and coassociativity

We introduce the notion of vertex coalgebra, a generalization of vertex operator coalgebras. Next we investigate forms of cocommutativity, coassociativity, skew-symmetry, and an endomorphism, D^∗, which hold on vertex coalgebras. The former two properties require grading. We then discuss comodule structure. We conclude by discussing instances where graded vertex coalgebras appear, particularly as related to Primc’s vertex Lie algebra and (universal) enveloping vertex algebras.     

Goldie dimension of a sum of modules

The formula dim(A+B)=dim(A)+dim(B)-dim(A∩B) works when ‘dim’ stands for the dimension of subspaces A,B of any vector space. In general, however, it does no longer hold if 'dim' means the uniform (or Goldie) dimension of submodules A,B of a module M over a ring R, and in fact the left hand side may be infinite while the right hand side is finite. In this paper we shall give a characterization of those modules M in which the formula holds for any two submodules A,B, as well as some conditions in the ring R which guarantee that dim(A+B) is finite whenever A and B are finite dimensional R-modules.