Schreieder–Kotschick equivalence conjecture for holomorphic 1-forms

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 τ ⁣:XX\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 τ ⁣:XX\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.

Sources & referencesView supporting material

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.