Reflexivity and Ring Homomorphisms of Finite Flat Dimension

In this article we present a systematic study of the reflexivity properties of homologically finite complexes with respect to semidualizing complexes in the setting of nonlocal rings. One primary focus is the descent of these properties over ring homomorphisms of finite flat dimension, presented in terms of inequalities between generalized G-dimensions. Most of these results are new even when the ring homomorphism is local. The main tool for these analyses is a nonlocal version of the amplitude inequality of Iversen, Foxby, and Iyengar. We provide numerous examples demonstrating the need for certain hypotheses and the strictness of many inequalities.     

Injective Modules over Prüfer v-Multiplication Domains

Let R be an integral domain with quotient field F. It is shown that R is a strongly discrete Prüfer v-multiplication domain if and only if there exists a bijection between the set of the prime w-ideals and the set of isomorphism classes of GV-torsionfree indecomposable injective R-modules and every indecomposable injective R-module, viewed as a module over its endomorphism ring, is uniserial. It is also shown that the w-closure of any GV-torsionfree homomorphic image of F is injective if and only if R is a Prüfer v-multiplication domain satisfying an almost maximality-type property.     

Gröbner basis and free resolution of the ideal of 2-minors of a 2 × n matrix of linear forms *

We give a Gröbner basis for the ideal of 2-minors of a 2 × n utiatrix of linear forms. The minimal free resolution of such an ideal is obtained in [4] when the corresponding Kronecker-Weierstrass normal form has no iiilpotent blocks. For the general case, using this result, the Grobner basis and the Eliahou-Kervaire resolution for stable monomial ideals, we obtain a free resolution with the expected regularity. For a specialization of the defining ideal of ordinary pinch points, as a special case of these ideals, we provide a minimal free resolution explicitly in terms of certain Koszul complex.     

On Gorenstein Projective Dimensions of Unbounded Complexes

Let R → S be a ring homomorphism and X be a complex of R-modules. Then the complex of S-modules S?_R~L X in the derived category D(S) is constructed in the natural way. This paper is devoted to dealing with the relationships of the Gorenstein projective dimension of an R-complex X(possibly unbounded) with those of the S-complex S?_R~L X.It is shown that if R is a Noetherian ring of finite Krull dimension and φ : R → S is a faithfully flat ring homomorphism, then for any homologically degree-wise finite complex X, there is an equality Gpd_RX = GpdS(S?_R~L X). Similar result is obtained for Ding projective dimension of the S-complex S?_R~L X.     

Injective and automorphism-invariant non-singular modules

Every automorphism-invariant non-singular right A-module is injective if and only if the factor ring of the ring A with respect to its right Goldie radical is a right strongly semiprime ring.     

Change of grading,injective dimension and dualizing complexes

Let G,H be groups, φ:G→H a group morphism, and A a G-graded algebra. The morphism φ induces an H-grading on A, and on any G-graded A-module, which thus becomes an H-graded A-module. Given an injective G-graded A-module, we give bounds for its injective dimension when seen as H-graded A-module. Following ideas by Van den Bergh, we give an application of our results to the stability of dualizing complexes through change of grading.     

Amenable representations and finite injective von Neumann algebras

Let be the unitary group of a finite, injective von Neumann algebra . We observe that any subrepresentation of a group representation into is amenable in the sense of Bekka; this yields short proofs of two known results-one by Robertson, one by Haagerup-concerning group representations into .

     

Covers of algebraic varieties III. The discriminant of a cover of degree 4 and the trigonal construction

For each Gorenstein cover of degree we define a scheme and a generically finite map of degree called the discriminant of . Using this construction we deal with smooth degree covers with . Moreover we also generalize the trigonal construction of S. Recillas.