next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SpecialFanoFourfolds :: rationalMap(RationalMap,Ring)

rationalMap(RationalMap,Ring) -- induced automorphism of the Grassmannian

Synopsis

Description

i1 : K = ZZ/33331;
i2 : phi = rationalMap apply(5, i -> random(1,ring PP_K^4))

o2 = -- rational map --
     source: Proj(K[x0 , x0 , x0 , x0 , x0 ])
                      0    1    2    3    4
     target: Proj(K[x0 , x0 , x0 , x0 , x0 ])
                      0    1    2    3    4
     defining forms: {
                      - 456x0  - 6898x0  + 3783x0  - 6635x0  + 8570x0 ,
                             0         1         2         3         4
                      
                      16659x0  + 8444x0  - 9579x0  + 5071x0  - 7531x0 ,
                             0         1         2         3         4
                      
                      - 10808x0  + 5864x0  - 670x0  + 5026x0  - 8829x0 ,
                               0         1        2         3         4
                      
                      9534x0  + 5107x0  - 5324x0  + 9398x0  - 12849x0 ,
                            0         1         2         3          4
                      
                      - 2637x0  - 3107x0  + 10866x0  + 5398x0  - 8480x0
                              0         1          2         3         4
                     }

o2 : RationalMap (linear rational map from PP^4 to PP^4)
i3 : rationalMap(phi,Grass(1,4,K))

o3 = -- rational map --
     source: subvariety of Proj(K[p   , p   , p   , p   , p   , p   , p   , p   , p   , p   ]) defined by
                                   0,1   0,2   1,2   0,3   1,3   2,3   0,4   1,4   2,4   3,4
             {
              p   p    - p   p    + p   p   ,
               2,3 1,4    1,3 2,4    1,2 3,4
              
              p   p    - p   p    + p   p   ,
               2,3 0,4    0,3 2,4    0,2 3,4
              
              p   p    - p   p    + p   p   ,
               1,3 0,4    0,3 1,4    0,1 3,4
              
              p   p    - p   p    + p   p   ,
               1,2 0,4    0,2 1,4    0,1 2,4
              
              p   p    - p   p    + p   p
               1,2 0,3    0,2 1,3    0,1 2,3
             }
     target: subvariety of Proj(K[p   , p   , p   , p   , p   , p   , p   , p   , p   , p   ]) defined by
                                   0,1   0,2   1,2   0,3   1,3   2,3   0,4   1,4   2,4   3,4
             {
              p   p    - p   p    + p   p   ,
               2,3 1,4    1,3 2,4    1,2 3,4
              
              p   p    - p   p    + p   p   ,
               2,3 0,4    0,3 2,4    0,2 3,4
              
              p   p    - p   p    + p   p   ,
               1,3 0,4    0,3 1,4    0,1 3,4
              
              p   p    - p   p    + p   p   ,
               1,2 0,4    0,2 1,4    0,1 2,4
              
              p   p    - p   p    + p   p
               1,2 0,3    0,2 1,3    0,1 2,3
             }
     defining forms: {
                      4426p    + 9587p    + 1346p    - 5668p    + 14321p    - 9511p    - 9914p    + 15661p    + 6009p    + 10170p   ,
                           0,1        0,2        1,2        0,3         1,3        2,3        0,4         1,4        2,4         3,4
                      
                      359p    - 4932p    + 3585p    - 8116p    + 5255p    + 2261p    - 9316p    + 15373p    + 6523p    + 8680p   ,
                          0,1        0,2        1,2        0,3        1,3        2,3        0,4         1,4        2,4        3,4
                      
                      - 2311p    + 609p    - 16020p    + 11866p    + 4089p    - 16282p    + 6646p    + 7580p    - 545p    + 11795p   ,
                             0,1       0,2         1,2         0,3        1,3         2,3        0,4        1,4       2,4         3,4
                      
                      7847p    - 8399p    + 6389p    + 10063p    - 11291p    - 5423p    + 14120p    + 1886p    - 14628p    + 12584p   ,
                           0,1        0,2        1,2         0,3         1,3        2,3         0,4        1,4         2,4         3,4
                      
                      6070p    + 521p    - 2292p    - 11389p    - 3809p    + 3483p    + 5771p    - 7708p    - 8663p    - 13880p   ,
                           0,1       0,2        1,2         0,3        1,3        2,3        0,4        1,4        2,4         3,4
                      
                      - 11609p    + 714p    - 192p    - 1933p    + 10817p    - 3470p    - 3374p    + 7715p    + 546p    - 2844p   ,
                              0,1       0,2       1,2        0,3         1,3        2,3        0,4        1,4       2,4        3,4
                      
                      - 7741p    - 12106p    - 4311p    + 7286p    + 12267p    - 10312p    + 1156p    - 5344p    - 10224p    + 4640p   ,
                             0,1         0,2        1,2        0,3         1,3         2,3        0,4        1,4         2,4        3,4
                      
                      5250p    + 1108p    - 5109p    + 4740p    + 7269p    - 16404p    - 5513p    - 10587p    + 6514p    - 16572p   ,
                           0,1        0,2        1,2        0,3        1,3         2,3        0,4         1,4        2,4         3,4
                      
                      13923p    - 14862p    + 7515p    + 8821p    + 6296p    + 81p    + 7886p    + 2842p    - 8705p    + 5481p   ,
                            0,1         0,2        1,2        0,3        1,3      2,3        0,4        1,4        2,4        3,4
                      
                      10556p    - 3341p    - 12945p    - 14270p    + 4479p    - 114p    - 5831p    - 1696p    + 11021p    - 3528p
                            0,1        0,2         1,2         0,3        1,3       2,3        0,4        1,4         2,4        3,4
                     }

o3 : RationalMap (linear rational map from 6-dimensional subvariety of PP^9 to 6-dimensional subvariety of PP^9)