i1 : X = abstractProjectiveSpace' 3
o1 = X
o1 : a flag bundle with subquotient ranks {3, 1}
|
i2 : L = OO_X(1) o2 = L o2 : an abstract sheaf of rank 1 on X |
i3 : chern L
o3 = 1 + h
QQ[][H ..H , h]
1,1 1,3
o3 : ----------------------------------------------------
(- H - h, - H - H h, - H - H h, -H h)
1,1 1,2 1,1 1,3 1,2 1,3
|
i4 : ch L
1 2 1 3
o4 = 1 + h + -h + -h
2 6
QQ[][H ..H , h]
1,1 1,3
o4 : ----------------------------------------------------
(- H - h, - H - H h, - H - H h, -H h)
1,1 1,2 1,1 1,3 1,2 1,3
|