Generalized Denef–Jacobs–Veys vanishing conjecture

From papers

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

iS(ai1)EiQKX.\sum_{i\in S}(a_i-1)E_i\sim_{\mathbb Q}K_X.

Set U=XiSEiU=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(ai1)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.

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

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

Solutions 0

No solutions have been posted yet.