On a Conjecture of Bitoun and Schedler

DOI10.1093/IMRN/RNAC369arXiv2207.02047OpenAlexW4319733200WikidataQ123022356 ScholiaQ123022356MaRDI QIDQ6182610FDOQ6182610

Sebastián Olano, Mircea Mustaţă

Publication date: 25 January 2024

Published in: IMRN. International Mathematics Research Notices (Search for Journal in Brave)

Abstract: Suppose that $X$ is a smooth complex algebraic variety of dimension $geq3$ and $f$ defines a hypersurface $Z$ in $X$, with a unique singular point $P$. Bitoun and Schedler conjectured that the $mathcalD$-module generated by $frac1f$ has length equal to $g_P(Z)+2$, where $g_P(Z)$ is the reduced genus of $Z$ at $P$. We prove that this length is always $geq{g}_P(Z)+2$ and equality holds if and only if $frac1f$ lies in the $mathcalD$-module generated by $I_0(f)frac1f$, where $I_0(f)$ is the multiplier ideal $mathcalJ(f^{1-epsilon})$, with $0<epsilonll1$. In particular, we see that the conjecture holds if the pair $(X,Z)$ is log canonical. We can also recover, with an easy proof, the result of Bitoun and Schedler saying that the conjecture holds for weighted homogeneous isolated singularities. On the other hand, we give an example (a polynomial in $3$ variables with an ordinary singular point of multiplicity $4$) for which the conjecture does not hold.

Full work available at URL: https://arxiv.org/abs/2207.02047

Mathematics Subject Classification ID

Algebraic geometry (14-XX) Several complex variables and analytic spaces (32-XX)

This page was built for publication: On a Conjecture of Bitoun and Schedler

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6182610)