Macaulay2 » Documentation
Packages » IncidenceCorrespondenceCohomology » splittingFdr
next | previous | forward | backward | up | index | toc

splittingFdr -- Computes the torus equivariant splitting type of the bundles $\mathcal{F}^d_r$ introduced in [KMRR,24]

Description

This function computes the splitting type as a direct sum of line bundles for $\mathcal{F}^d_r$ over a field of characteristic p using Theorem 3.2 [KMRR,24].

The user inputs the prime p and the integers d and r.

The output is a list whose entries are either integers if Multidegree is false, or lists of three integers if Multidegree is true. When Multidegree is false, the integers in the list are the twists for the line bundles occurring in the decomposition. When Multidegree is true, for each element of the list, the first entry is the corresponding twist for the line bundle, and the second and third entries are the multidegrees arising from a torus action upon choosing coordinates for $\mathbb{P^1}$.

i1 : p = 5;
i2 : d = 8; r = 6;
i4 : splittingFdr(p,d,r)

o4 = {-3, -3, -4, -4, -4, 0}

o4 : List

We compute the same example but now we also see the multidegrees.

i5 : p = 5;
i6 : d = 8; r= 6;
i8 : splittingFdr(p,d,r, Multidegree=>true)

o8 = {{-3, 8, 3}, {-3, 3, 8}, {-4, 7, 5}, {-4, 6, 6}, {-4, 5, 7}, {0, 4, 4}}

o8 : List
i9 : p = 0;
i10 : d = 8; r= 6;
i12 : splittingFdr(p,d,r, Multidegree=>true)

o12 = {{-3, 8, 3}, {-3, 7, 4}, {-3, 6, 5}, {-3, 5, 6}, {-3, 4, 7}, {-3, 3,
      -----------------------------------------------------------------------
      8}}

o12 : List

Ways to use splittingFdr:

  • splittingFdr(ZZ,ZZ,ZZ)

For the programmer

The object splittingFdr is a method function with options.


The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/IncidenceCorrespondenceCohomology.m2:1277:0.