Polynomiality conjecture for indecomposable parabolic-bundle counts

Let m=(m1,,mf)Z0f\mathbf{m}=(m_1,\dots,m_f)\in\mathbb{Z}_{\geq 0}^f satisfy i=1fmi=n\sum_{i=1}^f m_i=n. For d=(d1,,dr)Z0r\mathbf{d}=(d_1,\dots,d_r)\in\mathbb{Z}_{\geq 0}^r and μ=(μ1,,μr)(Pn)r\boldsymbol{\mu}=(\mu^1,\dots,\mu^r)\in(\mathcal{P}_n)^r, let Aμ,DE(q)\mathcal{A}_{\boldsymbol{\mu},D}^{\mathcal{E}}(q) count geometrically indecomposable parabolic structures of the prescribed types on a vector bundle E\mathcal{E} of type m\mathbf{m}.

Polynomiality conjecture. There exists a polynomial Aμ;dm(t)Z[t]A_{\boldsymbol{\mu};\mathbf{d}}^{\mathbf{m}}(t)\in\mathbb{Z}[t] such that for every finite field Fq\mathbb{F}_q and every divisor D=i=1raiD=\sum_{i=1}^r\mathfrak{a}_i on PFq1\mathbb{P}^1_{\mathbb{F}_q} with deg(ai)=di\deg(\mathfrak{a}_i)=d_i, one has

Aμ;dm(q)=Aμ,DE(q),A_{\boldsymbol{\mu};\mathbf{d}}^{\mathbf{m}}(q)=\mathcal{A}_{\boldsymbol{\mu},D}^{\mathcal{E}}(q),

where E\mathcal{E} is a vector bundle of type m\mathbf{m}.

This conjecture would make the counting function for geometrically indecomposable parabolic structures polynomial in qq; the source derives it from the preceding nilpotent-count conjecture.

Sources & referencesView supporting material

Primary source

Emmanuel Letellier, “Higgs bundles and indecomposable parabolic bundles over the projective line”, arXiv:1609.04875 (2016).

Additional references

2 papers in this index state this conjecture (2012–2016). The statement above is taken from the most recent of them; the others are arXiv:1203.1572.

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.