Schreieder–Kotschick equivalence conjecture for holomorphic 1-forms

About 5 years old · traced to

Let XX be a smooth complex projective variety. A global holomorphic 1-form without zeros means an element of H0(X,ΩX1)H^0(X,\Omega_X^1) whose zero locus is empty. A smooth fibre bundle structure over the circle means a smooth locally trivial fibration from XX to the circle; equivalently, XX admits a smooth real closed 1-form without zeros. For a finite étale morphism τ ⁣:X′→X\tau\colon X'\to X and ω∈H0(X,ΩX1)\omega\in H^0(X,\Omega_X^1), consider the complex

(H∙(X′,C),∧τ∗ω).(H^{\bullet}(X',\mathbb{C}),\wedge\tau^*\omega).

Schreieder–Kotschick conjecture. The following three statements are equivalent: (1) XX admits a global holomorphic 1-form without zeros; (2) XX admits a smooth real closed 1-form without zeros, or equivalently a smooth fibre bundle structure over the circle; (3) there exists ω∈H0(X,ΩX1)\omega\in H^0(X,\Omega_X^1) such that, for every finite étale morphism τ ⁣:X′→X\tau\colon X'\to X, the complex (H∙(X′,C),∧τ∗ω)(H^{\bullet}(X',\mathbb{C}),\wedge\tau^*\omega) is exact. This conjecture connects the existence of nowhere-vanishing holomorphic forms with the topology of Albanese maps and generic vanishing phenomena. The paper studies the equivalence and establishes related results, but the supplied text does not state that the conjecture is resolved.

References

Primary source

Yajnaseni Dutta, Feng Hao and Yongqiang Liu, “Generic Vanishing, 1-forms, and Topology of Albanese Maps”, arXiv:2104.07074 (2024).

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.