Quasi-adjunction faces and characteristic-variety components conjecture

From papers

Let XX be a smooth projective variety, let D=DiD=\sum D_i be a divisor, and let U=XDU=X-D. Let S\mathcal S be the collection of non-normal crossings of DD. A global face of quasi-adjunction F\mathcal F is a face of the intersection of the corresponding global polytopes of quasi-adjunction. If DPicX\mathcal D\in\operatorname{Pic}X is a contributing divisor with H1(AFΩXn+1D)0H^1(\mathcal A_{\mathcal F}\otimes\Omega_X^{n+1}\otimes\mathcal D)\ne0, set

k=dimH1(AFΩXn+1D).k={\rm \dim} H^1(\mathcal A_{\mathcal F}\otimes\Omega_X^{n+1}\otimes\mathcal D).

Quasi-adjunction characteristic-variety conjecture. The Zariski closure of exp(F)CharH1(U,Z)\exp(\mathcal F)\subset\operatorname{Char}H_1(U,\mathbb Z) is a component of the characteristic variety VkV_k.

The conjecture identifies components arising from global faces of quasi-adjunction and is supported in the paper by results for curves and for hypersurfaces with isolated singularities. The source explicitly says that it is unknown whether such components are all essential components of the characteristic variety.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.