Hom(ComplexMap,ComplexMap) -- the map of complexes between Hom complexes

Synopsis

Function: Hom
Usage:

h = Hom(f,g)
Inputs:
- f, a map of complexes,
- g, a map of complexes,
Optional inputs:
- DegreeLimit => ..., default value null,
- MinimalGenerators => ..., default value true,
- Strategy => ..., default value null,
Outputs:
- h, a map of complexes,

Description

The maps $f : C \to D$ and $g : E \to F$ of chain complexes induces the map $h = Hom(f,g) : Hom(D,E) \to Hom(C,F)$ defined by $\phi \mapsto g \phi f$.

i1 : S = ZZ/101[a..c];

i2 : C = freeResolution coker vars S

      1      3      3      1
o2 = S  <-- S  <-- S  <-- S
                           
     0      1      2      3

o2 : Complex

i3 : D = (freeResolution coker matrix{{a^2,a*b,b^3}})[-1]

      1      3      2
o3 = S  <-- S  <-- S
                    
     1      2      3

o3 : Complex

i4 : f = randomComplexMap(D,C)

                   1
o4 = 0 : 0 <----- S  : 0
              0

          1                                                3
     1 : S  <-------------------------------------------- S  : 1
               | 24a-36b-30c -29a+19b+19c -10a-29b-8c |

          3                           3
     2 : S  <----------------------- S  : 2
               {2} | -22 -24 -16 |
               {2} | -29 -38 39  |
               {3} | 0   0   0   |

          2                  1
     3 : S  <-------------- S  : 3
               {3} | 21 |
               {4} | 0  |

o4 : ComplexMap

i5 : E = (dual C)[-3]

      1      3      3      1
o5 = S  <-- S  <-- S  <-- S
                           
     0      1      2      3

o5 : Complex

i6 : F = (dual D)[-3]

      2      3      1
o6 = S  <-- S  <-- S
                    
     0      1      2

o6 : Complex

i7 : g = randomComplexMap(F,E)

          2                            1
o7 = 0 : S  <------------------------ S  : 0
               {-3} | 34          |
               {-4} | 19a-47b-39c |

          3                                                     3
     1 : S  <------------------------------------------------- S  : 1
               {-2} | -18          -47        45           |
               {-2} | -13          38         -34          |
               {-3} | -43a-15b-28c 2a+16b+22c -48a-47b+47c |

          1         3
     2 : S  <----- S  : 2
               0

                   1
     3 : 0 <----- S  : 3
              0

o7 : ComplexMap

i8 : h = Hom(f,g)

           2                              2
o8 = -3 : S  <-------------------------- S  : -3
                {-6} | 7           0 |
                {-7} | -5a+23b-11c 0 |

           9                                                                                    9
     -2 : S  <-------------------------------------------------------------------------------- S  : -2
                {-5} | -41          24           0 0          0           0          0 0 0 |
                {-6} | -14a+24b+50c -46a+50b+20c 0 0          0           0          0 0 0 |
                {-5} | -8           21           0 0          0           0          0 0 0 |
                {-6} | 49a+17b+27c  -15a-32b-33c 0 0          0           0          0 0 0 |
                {-5} | -39          13           0 0          0           0          0 0 0 |
                {-6} | -a+45b+18c   34a-15b-6c   0 0          0           0          0 0 0 |
                {-5} | 0            0            0 26         23          36         0 0 0 |
                {-5} | 0            0            0 30         -10         -7         0 0 0 |
                {-6} | 0            0            0 6a-12b+18c 42a+33b-43c 2a+23b-23c 0 0 0 |

           16                                                                                                                                             16
     -1 : S   <----------------------------------------------------------------------------------------------------------------------------------------- S   : -1
                 {-4} | 8a-12b-10c                    0            0            0            0           0            0            0 0 0 0 0 0 0 0 0 |
                 {-5} | -49a2+6ab-25b2+9ac-14bc-42c2  0            0            0            0           0            0            0 0 0 0 0 0 0 0 0 |
                 {-4} | 24a+40b+40c                   0            0            0            0           0            0            0 0 0 0 0 0 0 0 0 |
                 {-5} | -46a2+7ab+16b2-23ac-18bc-34c2 0            0            0            0           0            0            0 0 0 0 0 0 0 0 0 |
                 {-4} | -37a+24b+31c                  0            0            0            0           0            0            0 0 0 0 0 0 0 0 0 |
                 {-5} | 12a2+20ab+50b2+36ac-8bc+9c2   0            0            0            0           0            0            0 0 0 0 0 0 0 0 0 |
                 {-4} | 0                             -8           24           20           17          50           8            0 0 0 0 0 0 0 0 0 |
                 {-4} | 0                             -17          -28          41           -27         9            -24          0 0 0 0 0 0 0 0 0 |
                 {-5} | 0                             37a+27b+10c  -44a-49b+21c 46a+24b-24c  35a+31b+4c  43a+41b-32c  -22a+50b-50c 0 0 0 0 0 0 0 0 0 |
                 {-4} | 0                             28           17           31           -23         -32          7            0 0 0 0 0 0 0 0 0 |
                 {-4} | 0                             9            -3           8            -11         -30          -21          0 0 0 0 0 0 0 0 0 |
                 {-5} | 0                             22a-44b-35c  -48a+20b-23c 41a+17b-17c  18a-36b-47c 25a-2b-28c   6a-32b+32c   0 0 0 0 0 0 0 0 0 |
                 {-4} | 0                             -15          45           -13          5           -15          38           0 0 0 0 0 0 0 0 0 |
                 {-4} | 0                             6            -2           39           -2          -33          -13          0 0 0 0 0 0 0 0 0 |
                 {-5} | 0                             -19a+38b+44c -32a+47b-49c -40a+45b-45c 40a+21b+19c -23a+18b+50c 47a-15b+15c  0 0 0 0 0 0 0 0 0 |
                 {-3} | 0                             0            0            0            0           0            0            0 0 0 0 0 0 0 0 0 |

          14                                                                                                                                   14
     0 : S   <------------------------------------------------------------------------------------------------------------------------------- S   : 0
                {-3} | 0                              0                              0                              0 0 0 0 0 0 0 0 0 0 0 |
                {-4} | 0                              0                              0                              0 0 0 0 0 0 0 0 0 0 0 |
                {-3} | -28a+42b+35c                   -17a-25b-4c                    -31a-4b-37c                    0 0 0 0 0 0 0 0 0 0 0 |
                {-3} | -9a-37b-14c                    3a+46b-29c                     -8a+12b+10c                    0 0 0 0 0 0 0 0 0 0 0 |
                {-4} | -22a2-24ab+35b2+12ac+44bc+32c2 48a2+9ab+30b2-37ac+41bc+47c2   -41a2-6ab-25b2+43ac+21bc+4c2   0 0 0 0 0 0 0 0 0 0 0 |
                {-3} | 17a-39b-39c                    50a+16b+16c                    8a+47b+47c                     0 0 0 0 0 0 0 0 0 0 0 |
                {-3} | -27a-45b-45c                   9a+15b+15c                     -24a-40b-40c                   0 0 0 0 0 0 0 0 0 0 0 |
                {-4} | 35a2+22ab+18b2-5ac-9bc-27c2    43a2-22ab+b2+6ac+15bc+14c2     -22a2+47ab+16b2+48ac-16c2      0 0 0 0 0 0 0 0 0 0 0 |
                {-3} | -22a+17b+43c                   -35a+50b-28c                   -46a+8b+44c                    0 0 0 0 0 0 0 0 0 0 0 |
                {-3} | 29a-27b+3c                     24a+9b-c                       37a-24b-31c                    0 0 0 0 0 0 0 0 0 0 0 |
                {-4} | 26a2-17ab+31b2+18ac+23bc+22c2  -20a2-16ab+41b2-34ac+42bc+26c2 -25a2+44ab+50b2+15ac+23bc+28c2 0 0 0 0 0 0 0 0 0 0 0 |
                {-2} | 0                              0                              0                              0 0 0 0 0 0 0 0 0 0 0 |
                {-2} | 0                              0                              0                              0 0 0 0 0 0 0 0 0 0 0 |
                {-2} | 0                              0                              0                              0 0 0 0 0 0 0 0 0 0 0 |

          6         6
     1 : S  <----- S  : 1
               0

          1         1
     2 : S  <----- S  : 2
               0

o8 : ComplexMap

i9 : assert isWellDefined h

i10 : assert(source h === Hom(D,E))

i11 : assert(target h === Hom(C,F))

We illustrate the defining property of the map $h$ on a random element $\phi$ in degree zero.

i12 : e = randomComplexMap(source h, complex(S^1))

           14                                                                                                            1
o12 = 0 : S   <-------------------------------------------------------------------------------------------------------- S  : 0
                 {-2} | 19a2-16ab+15b2+7ac-23bc+39c2                                                                |
                 {-2} | 43a2-17ab+48b2-11ac+36bc+35c2                                                               |
                 {-2} | 11a2-38ab+40b2+33ac+11bc+46c2                                                               |
                 {-3} | -28a3+a2b+22ab2-7b3-3a2c-47abc+2b2c-23ac2+29bc2-47c3                                        |
                 {-3} | 15a3-37a2b-10ab2+39b3-13a2c+30abc+27b2c-18ac2-22bc2+32c3                                    |
                 {-3} | -9a3-32a2b+24ab2-15b3-20a2c-30abc+39b2c-48ac2+33c3                                          |
                 {-3} | -49a3-33a2b+17ab2-39b3-19a2c-20abc+36b2c+44ac2+9bc2-39c3                                    |
                 {-3} | 4a3+13a2b+22ab2-8b3-26a2c-49abc+43b2c-11ac2-8bc2+36c3                                       |
                 {-3} | -3a3-22a2b+41ab2-6b3-30a2c+16abc+35b2c-28ac2-9bc2-35c3                                      |
                 {-4} | 6a4+40a3b-31a2b2-41ab3+30b4+3a3c+25a2bc-49ab2c-47b3c-2a2c2-13abc2+27b2c2+4ac3-40bc3+37c4    |
                 {-4} | -35a4-31a3b-31a2b2-48ab3-49b4-39a3c-48a2bc+30ab2c+28b3c-29a2c2-37abc2-18b2c2+47ac3+46bc3+c4 |
                 {-4} | 40a4-22a3b+7a2b2-17ab3+8b4+10a3c+30a2bc-13ab2c+8b3c+13a2c2+3abc2-29b2c2-41ac3+30bc3-46c4    |
                 {-3} | 49a3-18a2b+23ab2+18b3+42a2c-28abc-16b2c+15ac2-46bc2+12c3                                    |
                 {-4} | -18a4+27a3b+23a2b2+44ab3-21a3c-37a2bc-39ab2c-47b3c-23a2c2+20abc2-28b2c2+19ac3+47bc3-28c4    |

o12 : ComplexMap

i13 : phi = homomorphism e

           3                                              1
o13 = 1 : S  <------------------------------------------ S  : 1
                {-2} | 19a2-16ab+15b2+7ac-23bc+39c2  |
                {-2} | 43a2-17ab+48b2-11ac+36bc+35c2 |
                {-2} | 11a2-38ab+40b2+33ac+11bc+46c2 |

           3                                                                                                                                                                                                                              3
      2 : S  <-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- S  : 2
                {-1} | -28a3+a2b+22ab2-7b3-3a2c-47abc+2b2c-23ac2+29bc2-47c3     -49a3-33a2b+17ab2-39b3-19a2c-20abc+36b2c+44ac2+9bc2-39c3 6a4+40a3b-31a2b2-41ab3+30b4+3a3c+25a2bc-49ab2c-47b3c-2a2c2-13abc2+27b2c2+4ac3-40bc3+37c4    |
                {-1} | 15a3-37a2b-10ab2+39b3-13a2c+30abc+27b2c-18ac2-22bc2+32c3 4a3+13a2b+22ab2-8b3-26a2c-49abc+43b2c-11ac2-8bc2+36c3    -35a4-31a3b-31a2b2-48ab3-49b4-39a3c-48a2bc+30ab2c+28b3c-29a2c2-37abc2-18b2c2+47ac3+46bc3+c4 |
                {-1} | -9a3-32a2b+24ab2-15b3-20a2c-30abc+39b2c-48ac2+33c3       -3a3-22a2b+41ab2-6b3-30a2c+16abc+35b2c-28ac2-9bc2-35c3   40a4-22a3b+7a2b2-17ab3+8b4+10a3c+30a2bc-13ab2c+8b3c+13a2c2+3abc2-29b2c2-41ac3+30bc3-46c4    |

           1                                                                                                                                                             2
      3 : S  <--------------------------------------------------------------------------------------------------------------------------------------------------------- S  : 3
                | 49a3-18a2b+23ab2+18b3+42a2c-28abc-16b2c+15ac2-46bc2+12c3 -18a4+27a3b+23a2b2+44ab3-21a3c-37a2bc-39ab2c-47b3c-23a2c2+20abc2-28b2c2+19ac3+47bc3-28c4 |

o13 : ComplexMap

i14 : psi = homomorphism'(g * phi * f)

           14                                                                                                            1
o14 = 0 : S   <-------------------------------------------------------------------------------------------------------- S  : 0
                 {-3} | 0                                                                                           |
                 {-4} | 0                                                                                           |
                 {-3} | 12a3-22a2b-46ab2-23b3-37a2c+32abc-27b2c-5ac2+31bc2+28c3                                     |
                 {-3} | -29a3-14a2b-48ab2+12b3-46a2c-7abc+23b2c+38ac2+6bc2+10c3                                     |
                 {-4} | -17a4+50a3b+49a2b2+15ab3-45b4+4a3c+22a2bc+47ab2c+34b3c-16a2c2-16abc2+8b2c2-20ac3-34bc3+47c4 |
                 {-3} | 36a3+48a2b+26ab2+43b3-6a2c-47abc+13b2c+45ac2-41bc2-11c3                                     |
                 {-3} | 14a3+36a2b+42ab2-40b3-13a2c-43abc-16b2c-6ac2-16bc2-40c3                                     |
                 {-4} | 50a4+39a3b+a2b2+39ab3+49b4+40a3c-35a2bc-35ab2c-21b3c+22a2c2+47abc2+29b2c2+39ac3+12bc3+14c4  |
                 {-3} | -5a3+4a2b-24ab2+46b3+22a2c+22abc+33b2c-17ac2-45bc2-6c3                                      |
                 {-3} | -30a3-42a2b+16ab2-24b3+25a2c-36abc+44b2c-45ac2+35bc2-31c3                                   |
                 {-4} | -35a4+44a3b+2a2b2-33ab3-11b4+36a3c+11a2bc+7ab2c+49b3c-17a2c2+49abc2-10b2c2-16ac3+22bc3+26c4 |
                 {-2} | 0                                                                                           |
                 {-2} | 0                                                                                           |
                 {-2} | 0                                                                                           |

o14 : ComplexMap

i15 : assert(h*e == psi)

If either of the arguments is a Complex, that argument is understood to be the identity map on that complex.

i16 : assert(Hom(f, C) == Hom(f, id_C))

i17 : assert(Hom(C, f) == Hom(id_C, f))

If either of the arguments is a Module or a Ring, that argument is understood to be the identity map on the complex having a unique non-zero term in in homological degree 0. The ring must be the underlying ring of the map of complexes.

i18 : assert(Hom(f, S) == Hom(f, id_(complex S)))

i19 : assert(Hom(S, f) == Hom(id_(complex S), f))

i20 : M = S^1/(a^2, b^2, c^2)

o20 = cokernel | a2 b2 c2 |

                             1
o20 : S-module, quotient of S

i21 : assert(Hom(f, M) == Hom(f, id _ (complex M)))

i22 : assert(Hom(M, f) == Hom(id _ (complex M), f))

If either of the arguments is a Matrix, that argument is understood to be a map of complexes whose source and target have a unique non-zero entry in homological degree 0.

i23 : m = vars S;

              1      3
o23 : Matrix S  <-- S

i24 : h1 = Hom(f, m)

            1                                  6
o24 = -3 : S  <------------------------------ S  : -3
                 {-3} | 21a 21b 21c 0 0 0 |

            3                                                    9
      -2 : S  <------------------------------------------------ S  : -2
                 {-2} | -22a -22b -22c -29a -29b -29c 0 0 0 |
                 {-2} | -24a -24b -24c -38a -38b -38c 0 0 0 |
                 {-2} | -16a -16b -16c 39a  39b  39c  0 0 0 |

            3                                                                3
      -1 : S  <------------------------------------------------------------ S  : -1
                 {-1} | 24a2-36ab-30ac  24ab-36b2-30bc  24ac-36bc-30c2  |
                 {-1} | -29a2+19ab+19ac -29ab+19b2+19bc -29ac+19bc+19c2 |
                 {-1} | -10a2-29ab-8ac  -10ab-29b2-8bc  -10ac-29bc-8c2  |

o24 : ComplexMap

i25 : assert(h1 == Hom(f, map(complex target m, complex source m, i -> m)))

i26 : m = vars S;

              1      3
o26 : Matrix S  <-- S

i27 : h2 = Hom(m, f)

           3                                                              3
o27 = 1 : S  <---------------------------------------------------------- S  : 1
                {-1} | 24a2-36ab-30ac -29a2+19ab+19ac -10a2-29ab-8ac |
                {-1} | 24ab-36b2-30bc -29ab+19b2+19bc -10ab-29b2-8bc |
                {-1} | 24ac-36bc-30c2 -29ac+19bc+19c2 -10ac-29bc-8c2 |

           9                              3
      2 : S  <-------------------------- S  : 2
                {1} | -22a -24a -16a |
                {1} | -29a -38a 39a  |
                {2} | 0    0    0    |
                {1} | -22b -24b -16b |
                {1} | -29b -38b 39b  |
                {2} | 0    0    0    |
                {1} | -22c -24c -16c |
                {1} | -29c -38c 39c  |
                {2} | 0    0    0    |

           6                   1
      3 : S  <--------------- S  : 3
                {2} | 21a |
                {3} | 0   |
                {2} | 21b |
                {3} | 0   |
                {2} | 21c |
                {3} | 0   |

o27 : ComplexMap

i28 : assert(h2 == Hom(map(complex target m, complex source m, i -> m), f))

XXX write this text after writing doc for homomorphism and homomorphism'.

i29 : e = randomComplexMap(source h, complex(S^1, Base => -1))

            16                                                                                                                                                         1
o29 = -1 : S   <----------------------------------------------------------------------------------------------------------------------------------------------------- S  : -1
                  {-3} | 6a3-9a2b+28ab2+5b3-33a2c-29abc-37b2c+26ac2-33bc2-28c3                                                                                    |
                  {-4} | 42a4+44a3b+4a2b2-20ab3-4b4+30a3c+22a2bc-13ab2c+12b3c+5a2c2-29abc2+3b2c2+15ac3+9bc3-2c4                                                   |
                  {-4} | 20a4-26a3b+16a2b2+28ab3-4b4+33a3c+10a2bc-6ab2c-14b3c+31a2c2+21abc2-33b2c2-30ac3-42bc3-44c4                                               |
                  {-4} | -5a4-16a3b-39a2b2-32ab3-45b4-35a3c-4a2bc-23ab2c+18b3c-24a2c2-18abc2-28b2c2+27ac3+42bc3-11c4                                              |
                  {-4} | 8a4+42a3b+5a2b2+28ab3-46b4+49a3c-38a2bc-33ab2c+2b3c-26a2c2+9abc2-19b2c2-7ac3+43bc3-28c4                                                  |
                  {-4} | -50a4-29a3b-49a2b2+28ab3+42b4-26a3c+34a2bc+36ab2c+37b3c+31a2c2-40abc2+34b2c2+45ac3+5bc3+16c4                                             |
                  {-4} | -31a4-49a3b+43a2b2-40ab3-29b4-a3c+48a2bc-47ab2c-44b3c+8a2c2+19abc2-42b2c2-45ac3-17bc3-23c4                                               |
                  {-5} | -4a5-2a4b-8a3b2+38a2b3-42ab4-31b5+34a4c+27a3bc+37a2b2c+24ab3c+37b4c+7a3c2-24a2bc2-24ab2c2+4b3c2+25a2c3-47abc3+5b2c3+12ac4+36bc4-16c5     |
                  {-5} | 6a5-43a4b-50a3b2+5a2b3+10ab4-3b5-27a4c-6a3bc-21a2b2c-15ab3c-28b4c+43a3c2+23a2bc2+47ab2c2-50b3c2-47a2c3+15abc3+17b2c3-11ac4-30bc4-37c5    |
                  {-5} | 10a5+10a4b-42a3b2-39a2b3-10ab4+14b5+34a4c+34a3bc-40a2b2c-37ab3c-37b4c-44a3c2-29a2bc2-36ab2c2+10b3c2+50a2c3+32abc3+33b2c3-3ac4+26bc4-18c5 |
                  {-4} | 49a4-41a3b+14a2b2-36ab3-29b4+38a3c+6a2bc-40ab2c+21b3c+50a2c2-33abc2+46b2c2-19ac3+10bc3-16c4                                              |
                  {-4} | 4a4+45a3b+20a2b2+41ab3-41b4-39a3c+25a2bc+47ab2c+46b3c+11a2c2-17abc2-35b2c2-47ac3-39bc3+33c4                                              |
                  {-4} | 13a4+32a3b-41a2b2-34ab3+44b4-26a3c-17a2bc-24b3c-17a2c2+39abc2+15b2c2-35ac3-20bc3+28c4                                                    |
                  {-5} | -37a5-41a4b+45a3b2-46a2b3+49ab4+46b5-12a4c+22a3bc+4a2b2c-20ab3c+26b4c-49a3c2+22a2bc2-45ab2c2-13b3c2+7a2c3+36abc3+29b2c3-43ac4+10bc4+3c5  |
                  {-5} | -47a5+2a4b-49a2b3+24ab4+16b5-50a4c+9a3bc+20a2b2c-38ab3c+16b4c-49a3c2-49a2bc2+41ab2c2+22b3c2-34a2c3+15abc3+17b2c3+10ac4-8bc4-41c5         |
                  {-5} | -36a5+13a4b+21a3b2+11ab4-43b5-42a4c-50a3bc+43a2b2c-29ab3c+48b4c+35a3c2+47a2bc2-18ab2c2+24b3c2-16a2c3-3abc3-23b2c3+42ac4-46bc4-36c5       |

o29 : ComplexMap

i30 : phi = homomorphism e

           1                                                                      1
o30 = 0 : S  <------------------------------------------------------------------ S  : 1
                {-3} | 6a3-9a2b+28ab2+5b3-33a2c-29abc-37b2c+26ac2-33bc2-28c3 |

           3                                                                                                                                                                                                                                                                                                                                                  3
      1 : S  <---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- S  : 2
                {-2} | 42a4+44a3b+4a2b2-20ab3-4b4+30a3c+22a2bc-13ab2c+12b3c+5a2c2-29abc2+3b2c2+15ac3+9bc3-2c4      8a4+42a3b+5a2b2+28ab3-46b4+49a3c-38a2bc-33ab2c+2b3c-26a2c2+9abc2-19b2c2-7ac3+43bc3-28c4      -4a5-2a4b-8a3b2+38a2b3-42ab4-31b5+34a4c+27a3bc+37a2b2c+24ab3c+37b4c+7a3c2-24a2bc2-24ab2c2+4b3c2+25a2c3-47abc3+5b2c3+12ac4+36bc4-16c5     |
                {-2} | 20a4-26a3b+16a2b2+28ab3-4b4+33a3c+10a2bc-6ab2c-14b3c+31a2c2+21abc2-33b2c2-30ac3-42bc3-44c4  -50a4-29a3b-49a2b2+28ab3+42b4-26a3c+34a2bc+36ab2c+37b3c+31a2c2-40abc2+34b2c2+45ac3+5bc3+16c4 6a5-43a4b-50a3b2+5a2b3+10ab4-3b5-27a4c-6a3bc-21a2b2c-15ab3c-28b4c+43a3c2+23a2bc2+47ab2c2-50b3c2-47a2c3+15abc3+17b2c3-11ac4-30bc4-37c5    |
                {-2} | -5a4-16a3b-39a2b2-32ab3-45b4-35a3c-4a2bc-23ab2c+18b3c-24a2c2-18abc2-28b2c2+27ac3+42bc3-11c4 -31a4-49a3b+43a2b2-40ab3-29b4-a3c+48a2bc-47ab2c-44b3c+8a2c2+19abc2-42b2c2-45ac3-17bc3-23c4   10a5+10a4b-42a3b2-39a2b3-10ab4+14b5+34a4c+34a3bc-40a2b2c-37ab3c-37b4c-44a3c2-29a2bc2-36ab2c2+10b3c2+50a2c3+32abc3+33b2c3-3ac4+26bc4-18c5 |

           3                                                                                                                                                                                                                                                    2
      2 : S  <------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ S  : 3
                {-1} | 49a4-41a3b+14a2b2-36ab3-29b4+38a3c+6a2bc-40ab2c+21b3c+50a2c2-33abc2+46b2c2-19ac3+10bc3-16c4 -37a5-41a4b+45a3b2-46a2b3+49ab4+46b5-12a4c+22a3bc+4a2b2c-20ab3c+26b4c-49a3c2+22a2bc2-45ab2c2-13b3c2+7a2c3+36abc3+29b2c3-43ac4+10bc4+3c5 |
                {-1} | 4a4+45a3b+20a2b2+41ab3-41b4-39a3c+25a2bc+47ab2c+46b3c+11a2c2-17abc2-35b2c2-47ac3-39bc3+33c4 -47a5+2a4b-49a2b3+24ab4+16b5-50a4c+9a3bc+20a2b2c-38ab3c+16b4c-49a3c2-49a2bc2+41ab2c2+22b3c2-34a2c3+15abc3+17b2c3+10ac4-8bc4-41c5        |
                {-1} | 13a4+32a3b-41a2b2-34ab3+44b4-26a3c-17a2bc-24b3c-17a2c2+39abc2+15b2c2-35ac3-20bc3+28c4       -36a5+13a4b+21a3b2+11ab4-43b5-42a4c-50a3bc+43a2b2c-29ab3c+48b4c+35a3c2+47a2bc2-18ab2c2+24b3c2-16a2c3-3abc3-23b2c3+42ac4-46bc4-36c5      |

o30 : ComplexMap

i31 : assert(degree phi == -1)

i32 : psi = homomorphism'(g * phi * f)

            16                                                                                                                                                        1
o32 = -1 : S   <---------------------------------------------------------------------------------------------------------------------------------------------------- S  : 0
                  {-4} | 48a4-43a3b+29a2b2+7ab3+41b4-21a3c-49a2bc-26ab2c-10b3c+33a2c2+17abc2-42b2c2+21ac3-41bc3-23c4                                             |
                  {-5} | 9a5-28a4b+40a3b2+47a2b3+37ab4-24b5-46a4c+48a3bc+14a2b2c-46ab3c+47b4c-5a3c2+29a2bc2-32ab2c2+22b3c2-38a2c3-15abc3-11b2c3-31ac4-40bc4-36c5 |
                  {-4} | 43a4+24a3b+9a2b2+28ab3-2b4-47a3c+48a2bc-19ab2c+33b3c+11a2c2-3abc2+28b2c2-36ac3-16bc3-9c4                                                |
                  {-5} | 27a5-49a4b-43a3b2+24a2b3-22ab4-21b5-34a4c-10a3bc-16a2b2c-29ab3c+25b4c-35a3c2+35a2bc2-32b3c2-6a2c3-30abc3-10b2c3-38ac4+10bc4+43c5        |
                  {-4} | -20a4-28a3b-40a2b2-18ab3+19b4-7a3c+2a2bc+26ab2c-26b3c+35a2c2+37abc2-20b2c2+24ac3+22bc3+41c4                                             |
                  {-5} | -29a5+12a4b-49a3b2-32a2b3-15ab4+48b5+22a4c+34a3bc+22a2b2c-12ab3c+29b4c-14a3c2-30a2bc2-6ab2c2+4b3c2+5abc3+46b2c3+34ac4+28bc4-50c5        |
                  {-4} | -43a4-25a2b2+31ab3+21b4-17a3c+8a2bc-41ab2c+46b3c-18a2c2-6abc2-32b2c2-44ac3-bc3-9c4                                                      |
                  {-4} | 13a4+14a3b+14a2b2+13ab3+45b4+42a3c-32a2bc-29ab2c+39b3c-37a2c2+27abc2+37b2c2+33ac3+17bc3+45c4                                            |
                  {-5} | -37a5+19a4b-33a3b2+21a2b3-34ab4-25b5-19a4c+28a3bc-9a2b2c+40ab3c-18b4c-34a3c2+31a2bc2-4ab2c2+48b3c2+23a2c3-33abc3-7b2c3+12ac4+43bc4+48c5 |
                  {-4} | 35a4+14a3b+20a2b2+33ab3-44b4+14a3c-24a2bc+18ab2c+27b3c-11a2c2-9abc2+33b2c2-39ac3-24bc3+38c4                                             |
                  {-4} | 18a4-35a3b-14a2b2-20ab3-24b4-49a3c+41a2bc-13ab2c-15b3c-42a2c2+32abc2-27b2c2+12ac3-26bc3+34c4                                            |
                  {-5} | -18a5-38a4b-13a3b2+32a2b3+25ab4+13b5-7a4c+19a3bc-28a2b2c+50ab3c-3b4c+20a3c2-50a2bc2+6ab2c2-28b3c2-a2c3+abc3+9b2c3+23ac4-15bc4-13c5      |
                  {-4} | 48a4-11a3b+26a2b2-26ab3+18b4-34a3c-17a2bc-45ab2c-29b3c+28a2c2-49abc2-34b2c2-3ac3-47bc3-31c4                                             |
                  {-4} | 34a4-10a3b+24a2b2+35ab3+39b4+27a3c+3a2bc+41ab2c+48b3c-23a2c2+36abc2-31b2c2+14ac3+29bc3-21c4                                             |
                  {-5} | -13a5-3a4b-6a3b2+16a2b3-44ab4-19b5-41a4c-25a3bc-8a2b2c-31ab3c-36b4c-4a3c2+32a2bc2+6ab2c2-20b3c2-50a2c3-17abc3-28b2c3-43ac4-6bc4-39c5    |
                  {-3} | 0                                                                                                                                       |

o32 : ComplexMap

i33 : i = map(complex S^1, source e, id_(source e), Degree => 1)

           1             1
o33 = 0 : S  <--------- S  : -1
                | 1 |

o33 : ComplexMap

i34 : assert(h*e == psi*i)

i35 : assert((degree h, degree e, degree psi, degree i) === (0, 0, -1, 1))

This routine is functorial.

i36 : D' = (freeResolution coker matrix{{a^2,a*b,c^3}})[-1]

       1      3      3      1
o36 = S  <-- S  <-- S  <-- S
                            
      1      2      3      4

o36 : Complex

i37 : f' = randomComplexMap(D', D)

           1              1
o37 = 1 : S  <---------- S  : 1
                | 50 |

           3                                 3
      2 : S  <----------------------------- S  : 2
                {2} | 10 29 44a-44b-24c |
                {2} | -2 37 -33a-6b-47c |
                {3} | 0  0  -46         |

           3                               2
      3 : S  <--------------------------- S  : 3
                {3} | -27 38a+43b-33c |
                {5} | 0   0           |
                {5} | 0   0           |

o37 : ComplexMap

i38 : Hom(f' * f, g) == Hom(f, id_F) * Hom(f', g)

o38 = true

i39 : Hom(f' * f, g) == Hom(f, g) * Hom(f', id_E)

o39 = true

i40 : F' = dual (freeResolution coker matrix{{a^2,a*b,a*c,b^3}})[-3]

       1      4      4      1
o40 = S  <-- S  <-- S  <-- S
                            
      0      1      2      3

o40 : Complex

i41 : g' = randomComplexMap(F', F)

           1                                2
o41 = 0 : S  <---------------------------- S  : 0
                {-4} | 25a+15b-42c -25 |

           4                                                                                     3
      1 : S  <--------------------------------------------------------------------------------- S  : 1
                {-3} | -10a+25b+24c              -26a-17b-14c                  -3           |
                {-3} | -27a-28b-24c              18a-12b-12c                   21           |
                {-3} | -30a+43b-25c              2a-25b-46c                    38           |
                {-4} | 7a2+7ab+37b2+9ac-4bc+30c2 27a2-44ab+20b2-40ac+18bc-32c2 -48a-33b-34c |

           4                                                                         1
      2 : S  <--------------------------------------------------------------------- S  : 2
                {-2} | 39a2-6ab+18b2-18ac+37bc-17c2                             |
                {-2} | 34a2+7ab+36b2-44ac+48bc+46c2                             |
                {-2} | 38a2+27ab+12b2-5ac+39bc-41c2                             |
                {-3} | 17a3-40a2b+28ab2-33b3+35a2c+17abc-21b2c+23ac2+39bc2-43c3 |

o41 : ComplexMap

i42 : Hom(f, g' * g) == Hom(f, g') * Hom(id_D, g)

o42 = true

i43 : Hom(f, g' * g) == Hom(id_C, g') * Hom(f, g)

o43 = true

Ways to use this method:

Hom(Complex,ComplexMap)
Hom(Complex,Matrix)
Hom(ComplexMap,Complex)
Hom(ComplexMap,ComplexMap) -- the map of complexes between Hom complexes
Hom(ComplexMap,Matrix)
Hom(ComplexMap,Module)
Hom(ComplexMap,Ring)
Hom(Matrix,Complex)
Hom(Matrix,ComplexMap)
Hom(Module,ComplexMap)
Hom(Ring,ComplexMap)

Hom(ComplexMap,ComplexMap) -- the map of complexes between Hom complexes

Synopsis

Description

See also

Ways to use this method: