The structural formula conjecture for cohomology characters

Fix nn and pp. For each m1m\geq1 and 0in30\leq i\leq n-3, let Pi(m)AP_i(m)\in A be a character of degree 2m2+ni2m-2+n-i, with P0(m)=Prim(m)P_0(m)=\mathrm{Prim}(m). Let FrF^r denote the rr-fold Frobenius transform and sλs_\lambda the Schur function.

Structural formula conjecture. For de>0d\geq e>0,

κ(d,e)=r,m,iFrPi(m)seprm,0,,0n2,d+pr(2mn+i)+n1,\kappa(d,e)=\sum_{r,m,i}F^rP_i(m)\cdot s_{e-p^rm,\underbrace{0,\ldots,0}_{n-2},d+p^r(2-m-n+i)+n-1},

where the sum ranges over triples (r,m,i)(r,m,i) for which the displayed Schur-function arguments are weakly decreasing.

This conjecture proposes the general form of all computed cohomology characters, but the source states that the complexity of the problem prevents an exact formula and supplies no proof.

Sources & referencesView supporting material

Primary source

Evan M. O'Dorney, “Even-carry polynomials and cohomology of line bundles on the incidence correspondence in positive characteristic”, arXiv:2404.04166 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.