Nagai's conjecture on monodromy nilpotency for hyper-Kähler varieties

From papers

Let Δ\Delta be the open unit disk, let π ⁣:XΔ\pi\colon\mathcal{X}\to\Delta be a degeneration of hyper-Kähler varieties of dimension 2n2n over Δ=Δ{0}\Delta^*=\Delta\setminus\{0\}, and let X=π1(t)X=\pi^{-1}(t) be a smooth fiber for tΔt\in\Delta^*. For each ii, let NiN_i be the (log-)monodromy operator on the Betti cohomology Hi(X,Q)H^i(X,\mathbb{Q}). For a nilpotent linear operator NEnd(V)N\in\operatorname{End}(V), define its nilpotency index by

ν(N)min{mZ0Nm+1=0}.\nu(N)\coloneqq\min\{m\in\mathbb{Z}_{\geq 0}\mid N^{m+1}=0\}.

Nagai's conjecture. The monodromy operators satisfy

ν(N2i)=iν(N2)\nu(N_{2i})=i\nu(N_2)

for every 0in0\leq i\leq n. Nagai's conjecture predicts a precise relation among monodromy nilpotency indices in the even-degree cohomology of degenerating hyper-Kähler varieties; its arithmetic analogues are formulated for \ell-adic and pp-adic monodromy operators. The source gives no evidence of a resolution.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Kazuhiro Ito, Tetsushi Ito, Teruhisa Koshikawa, Teppei Takamatsu and Haitao Zou, “Arithmetic monodromy of hyper-Kähler varieties over p-adic fields”, arXiv:2507.13713 (2025).

Additional references

4 papers in this index state this conjecture (2017–2025). The statement above is taken from the most recent of them; the others are arXiv:2108.01587, arXiv:2108.10193, arXiv:1704.02731.

Solutions 0

No solutions have been posted yet.