Purity and exterior-power basis conjecture for the hypergeometric cohomology of YY

Let wZr+1w\in Z_{r+1}, and let (Ω(Y),ω~)(\Omega^{\bullet}(Y),\nabla_{\tilde{\omega}}) be the complex whose degree-rr cohomology contains the classes represented by the forms

ψj1ψjr,1j1<<jrN2.\psi_{j_{1}}\wedge\cdots\wedge\psi_{j_{r}},\quad 1\leq j_{1}<\cdots<j_{r}\leq N-2.

Here the 11-forms ψ1,,ψN2Ω1(Y)\psi_{1},\dots,\psi_{N-2}\in\Omega^{1}(Y) depend holomorphically on ww.

Purity and exterior-power basis conjecture. For every wZr+1w\in Z_{r+1}, the cohomology of (Ω(Y),ω~)(\Omega^{\bullet}(Y),\nabla_{\tilde{\omega}}) is pure,

dimCHr(Ω(Y),ω~)=(N2r),\dim_{\mathbb{C}}H^{r}(\Omega^{\bullet}(Y),\nabla_{\tilde{\omega}})=\binom{N-2}{r},

and the displayed rr-forms give a basis of Hr(Ω(Y),ω~)H^{r}(\Omega^{\bullet}(Y),\nabla_{\tilde{\omega}}).

The preceding discussion establishes the basis assertion for Veronese points and linear independence on a Zariski-open subset containing the Veronese image. The conjecture extends this conclusion to every point of Zr+1Z_{r+1} and asserts purity and the stated dimension throughout.

Sources & referencesView supporting material

Primary source

Hironobu Kimura, “On the exterior power structure of the cohomology groups for the general hypergeometric integral”, arXiv:2506.09382 (2025).

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.