Testing the Gorenstein and regular property for Stanley-Reisner rings using Sage

asked 3 years ago

klaaa gravatar image

updated 3 years ago

slelievre gravatar image

Sage can construct the Stanley-Reisner ring of a simplicial complex:

sage: X = SimplicialComplex([[0, 1, 2], [0, 2, 3]])

sage: X.stanley_reisner_ring()
Quotient of Multivariate Polynomial Ring in x0, x1, x2, x3
over Integer Ring by the ideal (x1*x3)

Such rings in Sage have a method to check whether they are Cohen-Macaulay:

sage: X.is_cohen_macaulay(QQ)
True

A natural question in commutative algebra is whether a Cohen-Macaulay ring is a Gorenstein ring or even a regular ring.

Question: Is there a method to check for the Gorenstein (and regular) property for a given commutative ring (or at least for Stanley-Reisner rings) with Sage?

Preview: (hide)

Comments

1

This is not my field, but if I understand correctly then the Stanley-Reisner ring over Q is Gorenstein if the top Betti number of a minimal free resolution equals one, i.e. if sum(X.stanley_reisner_ring(QQ).defining_ideal()._singular_().mres(0).betti()._sage_().column(-1)) == 1.

rburing gravatar imagerburing ( 3 years ago )

@rburing thank you very much for the comment. This is also not my field. Do you have a reference for this characterisation of Gorenstein? The definition I know is that all localisations (which are local rings) of the ring must be Gorenstein, meaning that the regular module has finite injective dimension.

klaaa gravatar imageklaaa ( 3 years ago )
1

The characterization I mentioned is the definition in Cohen-Macaulay Complexes by Stanley (1977). I don't know where the proof of the equivalence is contained.

rburing gravatar imagerburing ( 3 years ago )