Macaulay2 » Documentation
Packages » VersalDeformations :: obstructions
next | previous | forward | backward | up | index | toc

obstructions -- outputs the obstruction equations of a NestedDeformation

Description

i1 : R=QQ[x,y];
i2 : F0Y=basis(3,R);

             1      4
o2 : Matrix R  <-- R
i3 : F0X=basis(2,R);

             1      3
o3 : Matrix R  <-- R
i4 : D=nestedHilbertScheme(F0X,F0Y);
i5 : obstructions D

o5 = | 0                                                        
     | 0                                                        
     | 0                                                        
     | 0                                                        
     | t_1t_2+t_1t_3-t_5t_7-t_3t_8-t_1t_9+t_9t_10-t_10t_11-t_7t_
     | t_2^2-t_2t_3+t_3^2+2t_1t_4-t_1t_5-t_6t_7-t_4t_8-t_2t_9+t_
     | t_3^2+t_1t_4-t_5t_10-t_3t_11-t_1t_12+t_10t_12+t_11t_13-t_
     | t_2t_4+t_1t_6-t_6t_10-t_4t_11-t_2t_12+t_11t_12-t_8t_15+t_
     | t_3t_5+t_1t_6-t_5t_13-t_3t_14+t_13t_14-t_1t_15+t_10t_15-t
     | t_4^2+t_3t_6-t_12^2-t_6t_13-t_4t_14+t_12t_14-t_2t_15+t_9t
     | t_4^2-t_4t_5+t_5^2-t_2t_6+2t_3t_6-t_12^2+t_12t_14-t_14^2+
     | t_4t_6+t_5t_6-t_12t_15-t_14t_15-t_6t_16+t_15t_16-t_4t_17+
     ------------------------------------------------------------------------
                                                                             
                                                                             
                                                                             
                                                                             
     12+t_8t_13-t_10t_13+t_7t_16                                             
     9t_11-t_11^2-t_8t_12+t_10t_12+t_11t_13-t_13^2+t_8t_14-2t_10t_14-t_7t_15+
     13^2-t_10t_14-t_7t_15+t_10t_16                                          
     10t_15-t_7t_18                                                          
     _10t_17-t_7t_18                                                         
     _15-t_11t_15+t_13t_15-t_10t_18                                          
     t_9t_15-2t_11t_15+t_13t_15-t_5t_16+t_14t_16-t_3t_17+t_11t_17-t_13t_17-t_
     t_12t_17-t_2t_18+t_9t_18-t_13t_18                                       
     ------------------------------------------------------------------------
                            |
                            |
                            |
                            |
                            |
     t_10t_16+t_7t_17       |
                            |
                            |
                            |
                            |
     1t_18+t_8t_18-t_10t_18 |
                            |

                        12                 1
o5 : Matrix (R[t ..t  ])   <-- (R[t ..t  ])
                1   18             1   18

Ways to use obstructions:

  • obstructions(NestedDeformation)

For the programmer

The object obstructions is a method function.


The source of this document is in VersalDeformations.m2:1995:0.