next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
DGAlgebras :: isGolodHomomorphism

isGolodHomomorphism -- Determines if the canonical map from the ambient ring is Golod

Synopsis

Description

This function determines if the canonical map from ambient R --> R is Golod. It does this by computing an acyclic closure of ambient R (which is a DGAlgebra), then tensors this with R, and determines if this DG Algebra has a trivial Massey operation up to a certain homological degree provided by the option GenDegreeLimit.

i1 : R = ZZ/101[a,b,c,d]/ideal{a^4+b^4+c^4+d^4}

o1 = R

o1 : QuotientRing
i2 : isGolodHomomorphism(R,GenDegreeLimit=>5)
Computing generators in degree 1 :      -- used 0.00796051 seconds
Computing generators in degree 2 :      -- used 0.00690312 seconds
Computing generators in degree 3 :      -- used 0.00665818 seconds
Computing generators in degree 4 :      -- used 0.00618326 seconds
Computing generators in degree 5 :      -- used 0.00127962 seconds

o2 = true

If R is a Golod ring, then ambient R R is a Golod homomorphism.

i3 : Q = ZZ/101[a,b,c,d]/ideal{a^4,b^4,c^4,d^4}

o3 = Q

o3 : QuotientRing
i4 : R = Q/ideal (a^3*b^3*c^3*d^3)

o4 = R

o4 : QuotientRing
i5 : isGolodHomomorphism(R,GenDegreeLimit=>5)
Computing generators in degree 1 :      -- used 0.0117818 seconds
Computing generators in degree 2 :      -- used 0.0158429 seconds
Computing generators in degree 3 :      -- used 0.0302652 seconds
Computing generators in degree 4 :      -- used 0.0684473 seconds
Computing generators in degree 5 :      -- used 0.234922 seconds

o5 = true

The map from Q to R is Golod by a result of Avramov and Levin.

Caveat

Currently, it does not try to find a full trivial Massey operation on acyclicClosure(Q) ** R, it just computes them to second order. Since there is not currently an example of a ring (or a homomorphism) that is not Golod yet has trivial product on its homotopy fiber, this is ok for now.

Ways to use isGolodHomomorphism :