Separate polynomiality of symmetric-power Chern coefficients

From papers

Let An,d:={αZ0n:α=d}A_{n,d}:=\{\alpha\in\mathbb Z_{\ge0}^n:|\alpha|=d\} and yα:=α1x1++αnxny_\alpha:=\alpha_1x_1+\cdots+\alpha_nx_n. Define the Chern classes by

αAn,d(1+yα)=k0ck(n,d).\prod_{\alpha\in A_{n,d}}(1+y_\alpha)=\sum_{k\ge0}c_k(n,d).

For each partition λk\lambda\vdash k, write

ck(n,d)=λkfλ(n,d)eλ.c_k(n,d)=\sum_{\lambda\vdash k}f_\lambda(n,d)e_\lambda.

Separate polynomiality conjecture. For each fixed kk and each partition λk\lambda\vdash k, the coefficient fλ(n,d)f_\lambda(n,d) is polynomial in dd for fixed nn, and polynomial in nn for fixed dd.

This conjecture asserts separate polynomial dependence on the rank and degree parameters, a stronger structural property than merely having a closed formula. The source gives no resolution status.

Progress summary

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

Sources & referencesView supporting material

Primary source

Gergely Bérczi and László M. Fehér, “Positivity in classical enumerative geometry: a case study in synchronized AI-assisted mathematics”, arXiv:2605.25271 (2026).

Solutions 0

No solutions have been posted yet.