Quasi-adjunction eigenspace formula for finite covers

Let XX be a smooth projective variety, let DXD\subset X be a divisor, and let GG be a finite quotient of the fundamental group. Let χCharπ1(XD)\chi\in\operatorname{Char}\pi_1(X-D) be a character of GG, let UˉG\bar U_G be a GG-equivariant compactification of the unbranched cover of XDX-D with Galois group GG, and let hχn,0(UˉG)h^{n,0}_{\chi}(\bar U_G) denote the χ\chi-eigenspace dimension for the action of GG on Hn,0(UG)H^{n,0}(U_G). Let F\mathcal F be a contributing global face of quasi-adjunction, and let DPic(X)D\in\operatorname{Pic}(X) be the divisor corresponding to the lift of χ\chi.

Quasi-adjunction eigenspace conjecture. Then hχn,0(UˉG)=0h^{n,0}_{\chi}(\bar U_G)=0 unless the lift of χ\chi belongs to a contributing global face of quasi-adjunction F\mathcal F; in the latter case,

hχn,0(UˉG)=dimH1(AFΩXnO(D)).h^{n,0}_{\chi}(\bar U_G)={\rm \dim} H^1(\mathcal A_{\mathcal F}\otimes\Omega_X^n\otimes\mathcal O(D)).

The source presents this as a consequence of the preceding quasi-adjunction conjecture. Its notation depends on the referenced branched-cover lemma, and the supplied passage gives no independent resolution status.

Sources & referencesView supporting material

Primary source

A. Libgober, “Homotopy groups of complements to ample divisors”, arXiv:math/0404341 (2004).

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.