Trace conjecture for non-nef Hodge bundles

Let X/C\mathcal{X}/C be an abelian scheme and suppose it does not admit an isotrivial abelian subscheme. If

μmin⁡(f∗ΩX/C1)<0,\mu_{\min}(f_*\Omega^1_{\mathcal{X}/C})<0,

then for some finite étale cover C′↠CC'\twoheadrightarrow C, the K(C′)/kK(C')/k-trace morphism

τK(C′)/k:(Tr⁡K(C′)/kXK(C′))K(C′)⟶XK(C′)\tau_{K(C')/k}: (\operatorname{Tr}_{K(C')/k}\mathcal{X}_{K(C')})_{K(C')}\longrightarrow X_{K(C')}

is nonzero and cannot be descended to kk. Trace conjecture for non-nef Hodge bundles. Thus non-nefness of the Hodge bundle should force a nontrivial, non-descendable trace after a finite étale cover. This would make the relationship between Hodge-bundle non-nefness and trace nontriviality precise; the claim is presented as a conjecture and its resolution is not stated in the source.

References

Primary source

Haochen Cheng, “Non-liftability of Families of Abelian Varieties with Small l-adic Local System”, arXiv:2604.17059 (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.