getBoundaryPreimage(DGModule,List) -- Lift a list of boundaries sharing a hom-degree through the module differential

Function: getBoundaryPreimage
Usage:

(lifted, lifts) = getBoundaryPreimage(M, boundaryList)
Inputs:
- M, an instance of the type DGModule, A free DG module over a DGAlgebra.
- boundaryList, a list, A list of elements of M.natural, each either 0 or homogeneous of a common hom-degree.
Outputs:
- seq, a sequence, A pair (lifted, lifts). If lifted is true, then lifts#i satisfies d_M(lifts#i) = boundaryList#i for every i; otherwise lifts is the list of per-entry residues.

Description

The list form of getBoundaryPreimage(DGModule,Vector) solves multiple preimage problems in a single // call. Zero entries are permitted and contribute zero columns; all nonzero entries must share a hom-degree. When every boundary lifts, the returned list preserves the order of boundaryList.

i1 : R = QQ[x]

o1 = R

o1 : PolynomialRing

i2 : A = koszulComplexDGA R

o2 = {Ring => R                    }
      Underlying algebra => R[T   ]
                               1,1
      Differential => {x}

o2 : DGAlgebra

i3 : M = freeDGModule(A, {0, 1})

o3 = {Base ring => R                       }
      DG algebra => R[T   ]
                       1,1
                                 2
      Natural module => (R[T   ])
                            1,1
      Generator degrees => {{0, 0}, {1, 0}}
      Differentials on gens => {0, 0}

o3 : DGModule

i4 : natGens = apply(rank M.natural, i -> (M.natural)_i)

o4 = {| 1 |, | 0 |}
      | 0 |  | 1 |

o4 : List

i5 : setDiff(M, {0, x * natGens#0})

o5 = {Base ring => R                       }
      DG algebra => R[T   ]
                       1,1
                                 2
      Natural module => (R[T   ])
                            1,1
      Generator degrees => {{0, 0}, {1, 0}}
      Differentials on gens => {0, | x |}
                                   | 0 |

o5 : DGModule

i6 : b = x * natGens#0

o6 = | x |
     | 0 |

              2
o6 : (R[T   ])
         1,1

i7 : (ok, lifts) = getBoundaryPreimage(M, {b, 0_(M.natural)})

o7 = (true, {| T_(1,1) |, 0})
             |    0    |

o7 : Sequence

i8 : assert(ok === true)

i9 : assert(diff(M, lifts#0) == b)

i10 : assert(diff(M, lifts#1) == 0)

Ways to use this method:

getBoundaryPreimage(DGModule,List) -- Lift a list of boundaries sharing a hom-degree through the module differential

The source of this document is in DGAlgebras/doc.m2:7207:0.

getBoundaryPreimage(DGModule,List) -- Lift a list of boundaries sharing a hom-degree through the module differential

Description

See also

Ways to use this method: