English

Length of $D_Xf^{-\alpha}$ in the isolated singularity case

Algebraic Geometry 2024-07-17 v6

Abstract

Let ff be a convergent power series of nn variables having an isolated singularity at 0. For a rational number α\alpha, setting (X,0)=(Cn,0)(X,0)=({\mathbb C}^n,0), we show that the length of the DX{\mathcal D}_X-module DXfα{\mathcal D}_Xf^{-\alpha} is given by ν~α+rfδ~α+1\widetilde{\nu}_{\alpha}+r_f\widetilde{\delta}_{\alpha}+1. Here rfr_f is the number of local irreducible components of f1(0)f^{-1}(0) (with rf=1r_f=1 for n>2n>2), ν~α\widetilde{\nu}_{\alpha} is the dimension of the graded piece GrVα{\rm Gr}_V^{\alpha} of the VV-filtration on the saturation of the Brieskorn lattice modulo the image of N:=ttαN:=\partial_tt-\alpha on GrVα{\rm Gr}_V^{\alpha} of the Gauss-Manin system, and δ~α:=1\widetilde{\delta}_{\alpha}:=1 if αZ>0\alpha\in{\mathbb Z}_{>0}, and 0 otherwise. This theorem can be proved also by employing a generalization a recent formula of T. Bitoun in the integral exponent case. The theorem generalizes an assertion by T. Bitoun and T. Schedler in the weighted homogeneous case where the saturation coincides with the Brieskorn lattice and N=0N=0. In the semi-weighted-homogeneous case, our theorem implies some sufficient conditions for their conjecture about the length of DXf1{\mathcal D}_Xf^{-1} to hold or to fail.

Keywords

Cite

@article{arxiv.2208.08977,
  title  = {Length of $D_Xf^{-\alpha}$ in the isolated singularity case},
  author = {Morihiko Saito},
  journal= {arXiv preprint arXiv:2208.08977},
  year   = {2024}
}

Comments

Section 4 generalizing a formula of T. Bitoun is improved