The Higgs-bundle curve-semistability characterization

Let (Y,H)(Y,H) be a complex polarized variety, and let (F,ϕ)(F,\phi) be a Higgs bundle on YY. For a pair (C,f)(C,f), where CC is an irreducible, nonsingular, projective curve and f:CYf:C\to Y is a morphism, write f(F,ϕ)f^*(F,\phi) for the pull-back Higgs sheaf; say that (F,ϕ)(F,\phi) is curve-semistable if f(F,ϕ)f^*(F,\phi) is semistable for every such pair.

Curve-semistability characterization. The following are equivalent:

(i)(F,ϕ) is semistable with vanishing discriminant in H4(Y,Q);(ii)(F,ϕ) is curve-semistable.\begin{array}{ll} \text{(i)} & (F,\phi)\text{ is semistable with vanishing discriminant in }H^4(Y,\mathbb Q);\\ \text{(ii)} & (F,\phi)\text{ is curve-semistable.} \end{array}

This is the Higgs-sheaf analogue of the characterization of semistable locally free sheaves with vanishing discriminant by curve-semistability. The implication from (i) to (ii) was proved, while the converse is the remaining direction of the stated equivalence.

Sources & referencesView supporting material

Primary source

Ugo Bruzzo and Vitantonio Peragine, “Semistable Higgs bundles on elliptic surfaces”, arXiv:2008.08340 (2021).

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.