Let $X$ be a complex analytic manifold. Given a closed subspace $Y\subset X$ of pure codimension $p\geq 1$,
we consider the sheaf of local algebraic
cohomology $H^p_{[Y]}({\cal O}_X)$, and ${\cal L}(Y,X)\subset H^p_{[Y]}({\cal O}_X)$
the intersection homology ${\cal D}_X$-Module of Brylinski-Kashiwara.
We give here an algebraic characterization of the spaces $Y$ such that
${\cal L}(Y,X)$ coincides with $H^p_{[Y]}({\cal O}_X)$, in terms of Bernstein-Sato functional equations.
References
D. Barlet, Familles analytiques de cycles et classes fondamentales relatives, in Functions of several complex variables, IV (Sem. François Norguet, 1977--1979) (French), 1--24, Lecture Notes in Math., 807, Springer, Berlin, 1980.
Mathematical Reviews (MathSciNet):
MR592784
--------, Multiple poles at negative integers for $\int\sb Af\sp \lambda\square$ in the case of an almost isolated singularity, Publ. Res. Inst. Math. Sci. 35 (1999), no. 4, 571--584.
D. Barlet and M. Kashiwara, Le réseau $L\sp 2$ d'un système holonome régulier, Invent. Math. 86 (1986), no. 1, 35--62.
Mathematical Reviews (MathSciNet):
MR853444
M. Blickle and R. Bondu, Local cohomology multiplicities in terms of étale cohomology, Ann. Inst. Fourier (Grenoble) 55 (2005), no. 7, 2239--2256.
J.-E. Björk, Analytic $\mathcalD$-modules and applications, Mathematics and its Applications, 247, Kluwer Acad. Publ., Dordrecht, 1993.
J. L. Brylinski, La classe fondamentale d'une variété algébrique engendre le $D$-module qui calcule sa cohomologie d'intersection, Astérisque (1983), 101--102.
N. Budur, M. Mustaţ\v a and M. Saito, Bernstein-Sato polynomials of arbitrary varieties, Compos. Math. 142 (2006), no. 3, 779--797.
A. Grothendieck, On the de Rham cohomology of algebraic varieties, Inst. Hautes Études Sci. Publ. Math. No. 29 (1966), 95--103.
Mathematical Reviews (MathSciNet):
MR199194
M. Kashiwara, $B$-functions and holonomic systems. Rationality of roots of $B$-functions, Invent. Math. 38 (1976/77), no. 1, 33--53.
Mathematical Reviews (MathSciNet):
MR430304
--------, On the holonomic systems of linear differential equations. II, Invent. Math. 49 (1978), no. 2, 121--135.
Mathematical Reviews (MathSciNet):
MR511186
--------, Vanishing cycle sheaves and holonomic systems of differential equations, in Algebraic geometry (Tokyo/Kyoto, 1982), 134--142, Lecture Notes in Math., 1016, Springer, Berlin, 1983.
Mathematical Reviews (MathSciNet):
MR726425
--------, The Riemann-Hilbert problem for holonomic systems, Publ. Res. Inst. Math. Sci. 20 (1984), no. 2, 319--365.
Mathematical Reviews (MathSciNet):
MR743382
P. Maisonobe and Z. Mebkhout, Le théorème de comparaison pour les cycles évanescents, in Éléments de la théorie des systèmes différentiels géométriques, 311--389, Soc. Math. France, Paris, 2004.
B. Malgrange, Le polynôme de Bernstein d'une singularité isolée, in Fourier integral operators and partial differential equations (Colloq. Internat., Univ. Nice, Nice, 1974), 98--119. Lecture Notes in Math., 459, Springer, Berlin, 1975.
Mathematical Reviews (MathSciNet):
MR419827
--------, Polynômes de Bernstein-Sato et cohomologie évanescente, in Analysis and topology on singular spaces, II, III (Luminy, 1981), 243--267, Astérisque, 101-102, Soc. Math. France, Paris, 1983.
Mathematical Reviews (MathSciNet):
MR737934
D. Massey, Intersection cohomology, monodromy, and the Milnor fiber, arXiv:math.AG/0404312.
Z. Mebkhout, Local cohomology of analytic spaces, Publ. Res. Inst. Math. Sci. 12 (1976/77), Supplement, 247--256.
Mathematical Reviews (MathSciNet):
MR454056
--------, Une équivalence de catégories, Compositio Math. 51 (1984), no. 1, 51--62, Une autre équivalence de Catégorie, ibid. 63--88.
Mathematical Reviews (MathSciNet):
MR734785
J. Milnor, Singular points of complex hypersurfaces, Ann. of Math. Stud., 61, Princeton Univ. Press, Princeton, N.J., 1968.
Mathematical Reviews (MathSciNet):
MR239612
M. Saito, Mixed Hodge modules, Publ. Res. Inst. Math. Sci. 26 (1990), no. 2, 221--333.
--------, On microlocal $b$-function, Bull. Soc. Math. France 122 (1994), no. 2, 163--184.
T. Torrelli, Équations fonctionnelles pour une fonction sur un espace singulier, Thèse, Université de Nice-Sophia Antipolis, 1998.
--------, Équations fonctionnelles pour une fonction sur une intersection complète quasi homogène à singularité isolée, C. R. Acad. Sci. Paris Sér. I Math. 330 (2000), no. 7, 577--580.
--------, Polynômes de Bernstein associés à une fonction sur une intersection complète à singularité isolée, Ann. Inst. Fourier (Grenoble) 52 (2002), no. 1, 221--244.
--------, Bernstein polynomials of a smooth function restricted to an isolated hypersurface singularity, Publ. Res. Inst. Math. Sci. 39 (2003), no. 4, 797--822.
T. Torrelli, On meromorphic functions defined by a differential system of order 1, Bull. Soc. Math. France 132 (2004), no. 4, 591--612.
A. N. Varchenko, Asymptotic Hodge structure in the vanishing cohomology, Math. USSR Izvestijà 18 (1982) 469--512.
U. Walther, Bernstein-Sato polynomial versus cohomology of the Milnor fiber for generic hyperplane arrangements, Compos. Math. 141 (2005), no. 1, 121--145.
T. Yano, On the theory of $b$-functions, Publ. Res. Inst. Math. Sci. 14 (1978), no. 1, 111--202.
Mathematical Reviews (MathSciNet):
MR499664