Mozgovoy's motivic ADHM formula for twisted Higgs-bundle moduli

Let XX be a smooth complex projective curve of genus g2g\geq 2, let LL be a line bundle on XX with deg(L)=2g2+p\deg(L)=2g-2+p for p>0p>0, and let rr and dd be coprime positive integers. Write ML(X,r,d)\mathcal{M}_L(X,r,d) for the moduli space of semistable LL-twisted Higgs bundles on XX of rank rr and degree dd. For each integer n1n\geq 1, define

Hn(t)=λP(n)sd(λ)(ta(s)l(s)La(s))pt(1g)(2l(s)+1)ZX(th(s)La(s)),\mathcal{H}_n(t)=\sum_{\lambda\in\mathcal{P}(n)}\prod_{s\in d(\lambda)}(-t^{a(s)-l(s)}\mathbb{L}^{a(s)})^p t^{(1-g)(2l(s)+1)}Z_X(t^{h(s)}\mathbb{L}^{a(s)}),

where P(n)\mathcal{P}(n) is the set of ordered partitions of nn, d(λ)d(\lambda) is the set of boxes of the partition, a(s)a(s) and l(s)l(s) are its arm and leg lengths, and h(s)=a(s)+l(s)+1h(s)=a(s)+l(s)+1. Define Hr(t)H_r(t) by

r1Hr(t)Tr=(1t)(1Lt)j1k1(1)k+1μ(j)jk(n1ψj[Hn(t)]Tjn)k.\sum_{r\geq 1}H_r(t)T^r=(1-t)(1-\mathbb{L}t)\sum_{j\geq 1}\sum_{k\geq 1}\frac{(-1)^{k+1}\mu(j)}{jk}\left(\sum_{n\geq 1}\psi_j[\mathcal{H}_n(t)]T^{jn}\right)^k.

Mozgovoy's motivic ADHM conjecture. For every r1r\geq 1, Hr(t)H_r(t) is a polynomial in tt and

[ML(X,r,d)]=Mg,r,pADHM:=(1)prLr2(g1)+pr(r+1)2Hr(1).[\mathcal{M}_L(X,r,d)]=M_{g,r,p}^{\operatorname{ADHM}}:=(-1)^{pr}\mathbb{L}^{r^2(g-1)+p\frac{r(r+1)}{2}}H_r(1).

This formula is a conjectural solution to the motivic ADHM recursion and predicts the motive of the moduli space of coprime-rank-and-degree twisted Higgs bundles. The source attributes the conjecture to Mozgovoy; no resolution status is supplied.

Sources & referencesView supporting material

Primary source

Daniel Sanchez, David Alfaya and Jaime Pizarroso, “Motives meet SymPy: studying λ-ring expressions in Python”, arXiv:2501.00563 (2024).

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.