Let H be a Hopf algebra and A an H-simple right H-comodule algebra. It is shown that under certain hypotheses every (H,A)-Hopf module is either projective or free as an A-module and A is either a quasi-Frobenius or a semisimple ring. As an application it is proved that every weakly finite (in particular, every finite dimensional) Hopf algebra is free both as a left and a right module over its f...

We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the embeddability problem and prove important reductions and special cases of the order ideal conjecture. In particular we derive that in any local ring R of mixed...

We study the properties of tilting modules in the context of properly stratified algebras. In particular, we answer the question when the Ringel dual of a properly stratified algebra is properly stratified itself, and show that the class of properly stratified algebras for which the characteristic tilting and cotilting modules coincide is closed under taking the Ringel dual. Studying stratified...

These are notes for a talk at a topology seminar at ND. 1. GENERAL FACTS In the sequel, for simplicity we denote the complex projective space CPN by PN , and we denote the projective coordinates by [~z] = [z0, . . . , zN ]. A smooth projective variety is a connected compact complex submanifold of some projective space PN . All the smooth projective varieties are Kähler manifolds, but the conver...

We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify two special cases of a question of Takahashi and White.

We provide an upper bound of the dimension of the maximal projective submodule of the Lie module of the symmetric group of n letters in prime characteristic p, where n = pk with p k.

In this paper, from an arbitrary smooth projective curve of genus at least two, we construct a non-Gorenstein Cohen-Macaulay normal domain and a nonfree totally reflexive module over it.