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

About 1 year old · traced to

Let w∈Zr+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,1≤j1<⋯<jr≤N−2.\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,…,ψN−2∈Ω1(Y)\psi_{1},\dots,\psi_{N-2}\in\Omega^{1}(Y) depend holomorphically on ww.

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

dim⁡CHr(Ω∙(Y),∇ω~)=(N−2r),\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.

References

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.