Table of Contents
Fetching ...

A Study of Good and Bad Artinian Gorenstein local Rings

Anjan Gupta, Shrikant Shekhar

Abstract

We say that a local ring $R$ is good, in the sense of Roos, if all finitely generated $R$-modules have rational Poincaré series that share a common denominator; otherwise, $R$ is said to be bad. An important class of good rings is the class of generalized Golod rings. In this paper, we show that connected sums of Artinian Gorenstein generalized Golod rings are good. We provide a criterion for decomposing Artinian Gorenstein local rings as connected sums. As a key application, we prove that a Gorenstein local ring $R$ with maximal ideal $\mathfrak{m}$ is good under either of the following conditions: (1) the multiplicity of $R$ is at most $12$ and its $h$-vector is different from $(1, 5, 5, 1)$, (2) $\mathfrak{m}^4$ = 0 and $\mathfrak{m}^2$ is generated by at most four elements. The above result records partial progress towards resolving a question posed by L.~Avramov. We also present examples of bad Artinian Gorenstein local rings of any multiplicity greater than or equal to $18$. In all these cases, the results establishing that the rings are good are obtained by showing that the rings are generalized Golod rings.

A Study of Good and Bad Artinian Gorenstein local Rings

Abstract

We say that a local ring is good, in the sense of Roos, if all finitely generated -modules have rational Poincaré series that share a common denominator; otherwise, is said to be bad. An important class of good rings is the class of generalized Golod rings. In this paper, we show that connected sums of Artinian Gorenstein generalized Golod rings are good. We provide a criterion for decomposing Artinian Gorenstein local rings as connected sums. As a key application, we prove that a Gorenstein local ring with maximal ideal is good under either of the following conditions: (1) the multiplicity of is at most and its -vector is different from , (2) = 0 and is generated by at most four elements. The above result records partial progress towards resolving a question posed by L.~Avramov. We also present examples of bad Artinian Gorenstein local rings of any multiplicity greater than or equal to . In all these cases, the results establishing that the rings are good are obtained by showing that the rings are generalized Golod rings.

Paper Structure

This paper contains 9 sections, 14 theorems, 79 equations.

Key Result

Lemma 2.1

Let $(R, \mathfrak{m}, k)$ be a local ring and $(A, \partial)$ be an augmented DG algebra over $R$ with augmentation map $\epsilon : A \twoheadrightarrow k$. Assume further that each $\mathop{\mathrm{H}}\limits_i(A)$ is a finitely generated $R$-module. Let $A^* = A \langle W\rangle$, $W = \{W_i\}_{i

Theorems & Definitions (29)

  • Lemma 2.1
  • Theorem 2.2
  • Definition 2.3
  • Definition 2.4
  • Lemma 3.1
  • proof
  • Proposition 3.2
  • proof
  • Lemma 3.3
  • proof
  • ...and 19 more