Generalized Denef–Jacobs–Veys vanishing conjecture

About 2 years old · traced to

Let XX be a smooth irreducible complex projective variety, let (Ei)i∈S(E_i)_{i\in S} be a finite set of mutually distinct prime divisors on XX, and let a=(ai)i∈S\bm a=(a_i)_{i\in S} with ai∈Qa_i\in\mathbb Q satisfy

∑i∈S(ai−1)Ei∼QKX.\sum_{i\in S}(a_i-1)E_i\sim_{\mathbb Q}K_X.

Set U=X∖⋃i∈SEiU=X\setminus\bigcup_{i\in S}E_i, and let L(a)\mathcal L(\bm a) be the rank-one local system on UU whose monodromy around each EiE_i is e2π−1aie^{2\pi\sqrt{-1}a_i}. Assume that a good log resolution of (X,∑i(ai−1)Ei)(X,\sum_i(a_i-1)E_i) exists and is an isomorphism over UU. Generalized vanishing conjecture. If

H∗(U,L(a))=0,H^*(U,\mathcal L(\bm a))=0,

then

PV⁡(X,a)=0.\operatorname{PV}(X,\bm a)=0.

This is proposed as a more natural version of the preceding vanishing conjecture, allowing divisors that need not have normal crossings. The source gives no resolution of the conjecture, so its status remains open.

References

Primary source

Nero Budur, Quan Shi and Huaiqing Zuo, “Motivic principal value integrals for hyperplane arrangements”, arXiv:2411.01305 (2026).

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.