Ideals of analytic deviation one with respect to a Cohen-Macaulay module

Let (A, m) be a Cohen-Macaulay local ring, M a Cohen-Macaulay A-module of dimension d ≥ 1 and I a proper ideal of analytic deviation one with respect to M. In this paper we study the Cohen-Macaulayness of associated graded module of a Cohen-Macaulay module. We show that if I is generically a complete intersection of analytic deviation one and reduction number at most one with respect to M then G _I (M) is Cohen-Macaulay. When analytic spread of I with respect to M equals d we prove a similar result when reduction number of an ideal is atmost two.     

A ∞-modules over A ∞-algebras and Hochschild cohomology for modules over algebras

For each left graded module M over a graded algebra A, a Hochschild cochain complex S*(A, M) whose homology is responsible for the existence of nontrivial structures of A _∞-modules over A _∞-algebras on the given module is constructed.     

Rigid resolutions and big Betti numbers

The Betti-numbers of a graded ideal I in a polynomial ring and the Betti-numbers of its generic initial ideal Gin(I) are compared. In characteristic zero it is shown that if these Betti-numbers coincide in some homological degree, then they coincide in all higher homological degrees. We also compare the Betti-numbers of componentwise linear ideals which are contained in each other and have the same Hilbert polynomial.     

Weakly Koszul-like modules

The Koszul-like property for any finitely generated graded modules over a Koszul-like algebra is investigated and the notion of weakly Koszul-like module is introduced. We show that a finitely generated graded module M is a weakly Koszul-like module if and only if it can be approximated by Koszul-like graded submodules, which is equivalent to the fact that G(M) is a Koszul-like module, where G(M) denotes the associated graded module of M. As applications, the relationships between minimal graded projective resolutions of M and G(M), and Koszul-like submodules are established. Moreover, the Koszul dual of a weakly Koszul-like module is proved to be generated in degree 0 as a graded E(A)-module.     

(<Emphasis Type="Italic">p, λ</Emphasis>)-Koszul algebras and modules

In this paper, the notions of (p, λ)-Koszul algebra and (p, λ)-Koszul module are introduced. Some criteria theorems for a positively graded algebra A to be (p, λ)-Koszul are given. The notion of weakly (p, λ)-Koszul module is defined as well and let WK _λ ^p (A) denote the category of weakly (p, λ)-Koszul modules. We show that M ∈ WK _λ ^p (A) if and only if it can be approximated by (p, λ)-Koszul submodules, which is equivalent to that G(M) is a (p, λ)-Koszul module, where G(M) denotes the associated graded module of M. As applications, the relationships of the minimal graded projective resolutions of M, G(M) and (p, λ)-Koszul submodules are established. In particular, for a module M ∈ WK _λ ^p (A) we prove that ⊕ _i≥0 Ext _A ⁱ (M,A ₀) ∈ gr ₀(E(A)), we also get as a consequence that the finitistic dimension conjecture is valid in WK _λ ^p (A) under certain conditions.     

The homological degree of a module

A homological degree of a graded module is an extension of the usual notion of multiplicity tailored to provide a numerical signature for the module even when is not Cohen-Macaulay. We construct a degree, , that behaves well under hyperplane sections and the modding out of elements of finite support. When carried out in a local algebra this degree gives a simulacrum of complexity à la Castelnuovo-Mumford's regularity. Several applications for estimating reduction numbers of ideals and predictions on the outcome of Noether normalizations are given.

     

OD-characterization of all simple groups whose orders are less than 108

Let M be a simple group whose order is less than 10⁸. In this paper, we prove that if G is a finite group with the same order and degree pattern as M, then the following statements hold: (a) If M ≠ A ₁₀, U ₄(2), then G ≅ M; (b) If M = A ₁₀, then G ≅ A ₁₀ or J ₂ × ℤ₃; (c) If M = U ₄(2), then G is isomorphic to a 2-Frobenius group or U ₄(2). In particular, all simple groups whose orders are less than 10⁸ but A ₁₀ and U ₄(2) are OD-characterizable. As a consequence of this result, we can give a positive answer to a conjecture put forward by W. J. Shi and J. X. Bi in 1990 [Lecture Notes in Mathematics, Vol. 1456, 171–180].      

Universal homogeneous derivations of graded ϵ-commutative algebras

Let K be a commutative ring, let ? be an abelian group, and let ?:?x?→K be a commutation factor over ?.A ? graded K-algebra is said to be ?-commutative if its ?-bracket is identically zero, (K,?) derivations from a given ?-commutative ?-graded K-algebra A into bimodules are studied. It is proved that for each λ?? there exists a universal initial (k,?)-derivation of degree λ of A. For each λ?? a natural module of (K, ?, λ)-differentials of A along with a differential map is constructed. It is proved that each derivation of A canonically equipps this module with a structure of differential module. Applications and examples are given. It is shown that the first order exterior differentials which are known from the theory of smooth graded manifolds are universal initial homogeneous derivations of the sort considered hereby.     

Cohen–Macaulay Modules and Holonomic Modules Over Filtered Rings

We study Gorenstein dimension and grade of a module M over a filtered ring whose associated graded ring is a commutative Noetherian ring. An equality or an inequality between these invariants of a filtered module and its associated graded module is the most valuable property for an investigation of filtered rings. We prove an inequality G?dim M ≤ G?dim gr M and an equality grade M = grade gr M, whenever Gorenstein dimension of gr M is finite (Theorems 2.3 and 2.8). We would say that the use of G-dimension adds a new viewpoint for studying filtered rings and modules. We apply these results to a filtered ring with a Cohen–Macaulay or Gorenstein associated graded ring and study a Cohen–Macaulay, perfect, or holonomic module.     

Betti numbers of lex ideals over some Macaulay-Lex rings

Let A=K[x ₁,…,x _n ] be a polynomial ring over a field K and M a monomial ideal of A. The quotient ring R=A/M is said to be Macaulay-Lex if every Hilbert function of a homogeneous ideal of R is attained by a lex ideal. In this paper, we introduce some new Macaulay-Lex rings and study the Betti numbers of lex ideals of those rings. In particular, we prove a refinement of the Frankl–Füredi–Kalai Theorem which characterizes the face vectors of colored complexes. Additionally, we disprove a conjecture of Mermin and Peeva that lex-plus-M ideals have maximal Betti numbers when A/M is Macaulay-Lex.     

Arithmetic degree and associated graded modules

We prove that the arithmetic degree of a graded or local ring A is bounded above by the arithmetic degree of any of its associated graded rings with respect to ideal I in A. In particular, if Spec(A) is equidimensional and has an embedded component (i.e., A has an embedded associated prime ideal), then the normal cone of Spec(A) along V(I) has an embedded component too. This extends a result of W. M. Ruppert about embedded components of the tangent cone.Mathematics Subject Classification (2000): Primary 13H15, 13A30; Secondary 13D45, 14Q99     

On Quiver Grassmannians and Orbit Closures for Gen-Finite Modules

We show that endomorphism rings of cogenerators in the module category of a finite-dimensional algebra A admit a canonical tilting module, whose tilted algebra B is related to A by a recollement. Let M be a gen-finite A-module, meaning there are only finitely many indecomposable modules generated by M. Using the canonical tilts of endomorphism algebras of suitable cogenerators associated to M, and the resulting recollements, we construct desingularisations of the orbit closure and quiver Grassmannians of M, thus generalising all results from previous work of Crawley-Boevey and the second author in 2017. We provide dual versions of the key results, in order to also treat cogen-finite modules.

     

Retractions and Gorenstein Homological Properties

We associate to a localizable module a left retraction of algebras; it is a homological ring epimorphism that preserves singularity categories. We study the behavior of left retractions with respect to Gorenstein homological properties (for example, being Gorenstein algebras or CM-free algebras). We apply the results to Nakayama algebras. It turns out that for a connected Nakayama algebra A, there exists a connected self-injective Nakayama algebra A′ such that there is a sequence of left retractions linking A to A′; in particular, the singularity category of A is triangle equivalent to the stable category of A′. We classify connected Nakayama algebras with at most three simple modules according to Gorenstein homological properties.     

A note on nonstable monomorphisms¶of vector bundles

In this paper we consider the question of the existence of a nonstable vector bundle monomorphism u:α→β over a closed, connected and smooth manifold M, when dimension of α= 3, dimension of β= dimension of M=n≡ 0(4). The singularity method provides the full obstruction to this problem and under some homological hypothesis we can compute it in terms of well known invariants. Received: 31 May 1999     

Jacobian criteria for complete intersections. The graded case

Summary LetP be a positively graded polynomial ring over a fieldk of characteristic zero, letI be a homogeneous ideal ofP, and setR=P/I. The paper investigates the homological properties of someR-modules canonically associated withR, among them the module _R/k of Kähler differentials and the conormal moduleI/I ².It is shown that a subexponential bound on the Betti numbers of any of these modules implies thatI is generated by aP-regular sequence. In particular, the finiteness of the projective dimension of the conormal module impliesR is a complete intersection. Similarly, the finiteness of the projective dimension of the differential module impliesR is a reduced complete intersection. This provides strong converses to some well-known properties of complete intersections, and establishes special cases of conjectures of Vasconcelos.The proofs of these results make extensive use of differential graded homological algebra. The crucial step is to show that any homomorphism of complexes from the minimal cotangent complexL _R/k of André and Quillen into the minimal free resolution of the irrelevant maximal ideal m ofR, which extends the Euler map _R/k , is a split embedding of gradedR-modules.Oblatum 14-IV-1993 & 9-IX-1993Dedicated to Professor Ernst Kunz on his sixtieth birthdayThe first author was partly supported by a grant from NSF. During the peparation of this paper the second author was supported by Purdue University, whose hospitality he wishes to acknowledge     

On rings with associated elements

A principal right ideal of a ring is called uniquely generated if any two elements of the ring that generate the same principal right ideal must be right associated (i.e., if for all a,b in a ring R, aR = bR implies a = bu for some unit u of R). In the present paper, we study “uniquely generated modules” as a module theoretic version of “uniquely generated ideals,” and we obtain a characterization of a unit-regular endomorphism ring of a module in terms of certain uniquely generated submodules of the module among some other results: End(M) is unit-regular if and only if End(M) is regular and all M-cyclic submodules of a right R-module M are uniquely generated. We also consider the questions of when an arbitrary element of a ring is associated to an element with a certain property. For example, we consider this question for the ring R[x;σ]∕(xⁿ⁺¹), where R is a strongly regular ring with an endomorphism σ be an endomorphism of R.     

Some criteria for the Cohen-Macaulay property and local cohomology

Let a be an ideal of a commutative Noetherian ring R and M be a finitely generated R-module of dimension d. We characterize Cohen-Macaulay rings in term of a special homological dimension. Lastly, we prove that if R is a complete local ring, then the Matlis dual of top local cohomology module Ha^d（M） is a Cohen-Macaulay R-module provided that the R-module M satisfies some conditions.     

The Hilbert function of a maximal Cohen-Macaulay module

We study Hilbert functions of maximal CM modules over CM local rings. When A is a hypersurface ring with dimension d>0, we show that the Hilbert function of M with respect to is non-decreasing. If A=Q/(f) for some regular local ring Q, we determine a lower bound for e₀(M) and e₁(M) and analyze the case when equality holds. When A is Gorenstein a relation between the second Hilbert coefficient of M, A and S^A(M)= (Syz^A₁(M*))* is found when G(M) is CM and depthG(A)≥d−1. We give bounds for the first Hilbert coefficients of the canonical module of a CM local ring and analyze when equality holds. We also give good bounds on Hilbert coefficients of M when M is maximal CM and G(M) is CM.