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 CCC'\twoheadrightarrow C, the K(C)/kK(C')/k-trace morphism

τK(C)/k:(TrK(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.

Sources & referencesView supporting material

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.