addFiltration replaces the filtration matrices in E by the matrices in the List L. The matrices in L must be $1$ by $k$ matrices over ZZ, where $k$ is the rank of the vector bundle E. The list has to contain one matrix for each ray of the underlying fan over which E is defined. Note that in E the rays are already sorted and that the filtration matrices in L will be assigned to the rays in that order. To see the order, use rays(ToricVectorBundle).
"The filtration on the vector bundle over a ray is given by the filtration matrix for this ray in the following way: The first index $j$, such that the $i$-th basis vector in the basis over this ray appears in the $j$-th step of the filtration, is the $i$-th entry of the filtration matrix. OR in other words, the $j$-th step step in the filtration is given by all columns of the basis matrix for which the corresponding entry in the filtration matrix is less or equal to $j$."
The matrices need not satisfy the compatability condition. This can be checked with isVectorBundle.
i1 : E = toricVectorBundle(2,pp1ProductFan 2) o1 = {dimension of the variety => 2 } number of affine charts => 4 number of rays => 4 rank of the vector bundle => 2 o1 : ToricVectorBundleKlyachko |
i2 : details E o2 = HashTable{| -1 | => (| 1 0 |, 0)} | 0 | | 0 1 | | 0 | => (| 1 0 |, 0) | -1 | | 0 1 | | 0 | => (| 1 0 |, 0) | 1 | | 0 1 | | 1 | => (| 1 0 |, 0) | 0 | | 0 1 | o2 : HashTable |
i3 : F = addFiltration(E,{matrix{{1,3}},matrix{{-1,3}},matrix{{2,-3}},matrix{{0,-1}}}) o3 = {dimension of the variety => 2 } number of affine charts => 4 number of rays => 4 rank of the vector bundle => 2 o3 : ToricVectorBundleKlyachko |
i4 : details F o4 = HashTable{| -1 | => (| 1 0 |, | 2 -3 |)} | 0 | | 0 1 | | 0 | => (| 1 0 |, | 1 3 |) | -1 | | 0 1 | | 0 | => (| 1 0 |, | -1 3 |) | 1 | | 0 1 | | 1 | => (| 1 0 |, | 0 -1 |) | 0 | | 0 1 | o4 : HashTable |
i5 : isVectorBundle F o5 = true |
This means that for example over the first ray the first basis vector of the filtration of F appears at the filtration step 1 and the second at 3.
The object addFiltration is a method function.