Budur's multivariable monodromy conjecture

Let f=(f1,f2,,fr){\bf f}=(f_1,f_2,\dots,f_r) be an rr-tuple of polynomials in C[x1,x2,,xn]\mathbb{C}[x_1,x_2,\dots,x_n], and let Di=(fi=0)D_i=(f_i=0) and D=i=1rDiD=\sum_{i=1}^rD_i. For a log resolution μ ⁣:(Y,F)(X,D)\mu\colon (Y,F)\to (X,D), where X=CnX=\mathbb{C}^n and FF has irreducible components EiE_i indexed by iSi\in S, write

μDj=iaijEi,KY/X=ikiEi.\mu^*D_j=\sum_i a_{ij}E_i,\qquad K_{Y/X}=\sum_i k_iE_i.

Define the topological zeta function and its pole locus by

Zf(s)=ISχ(EIo)iI1j=1raijsj+ki+1,Z_{\bf f}({\bf s})=\sum_{I\subseteq S}\chi(E_I^o)\prod_{i\in I}\frac{1}{\sum_{j=1}^r a_{ij}s_j+k_i+1},

where EIo=iIEiiSIEiE_I^o=\bigcap_{i\in I}E_i\setminus\bigcup_{i\in S\setminus I}E_i, and let PL(Zf(s))\textup{PL}(Z_{\bf f}({\bf s})) be the pole locus of Zf(s)Z_{\bf f}({\bf s}). Let BfB_{\bf f} denote the multivariable Bernstein–Sato ideal, and write Z(Bf)Z(B_{\bf f}) for its zero locus.

Budur's multivariable monodromy conjecture.

PL(Zf(s))Z(Bf).\textup{PL}(Z_{\bf f}({\bf s}))\subseteq Z(B_{\bf f}).

This is a multivariable analogue of the monodromy conjecture, relating poles of the topological zeta function to the zero locus of the Bernstein–Sato ideal. The source attributes this formulation to Budur's Conjecture 1.17 and gives no resolution status.

Sources & referencesView supporting material

Primary source

Lei Wu, “Bernstein-Sato ideals and hyperplane arrangements”, arXiv:2005.13502 (2020).

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.