Abstract
We study relative and logarithmic characteristic cycles associated to holonomic \({\mathscr {D}}\)-modules. As applications, we obtain: (1) an alternative proof of Ginsburg’s log characteristic cycle formula for lattices of regular holonomic \({\mathscr {D}}\)-modules following ideas of Sabbah and Briancon–Maisonobe–Merle, and (2) the constructibility of the log de Rham complexes for lattices of holonomic \({\mathscr {D}}\)-modules, which is a natural generalization of Kashiwara’s constructibility theorem.
Similar content being viewed by others
Notes
The V-filtration in loc. cit. is the \({\mathbb {Q}}\)-indexed one. One can refine the \({\mathbb {Z}}\)-index to the \({\mathbb {Q}}\)-index by a standard procedure using b-functions.
In the literature, some authors define the Kashiwara–Malgrange filtration on \({\mathscr {D}}_X\) as the decreasing filtration, that is, \(V_Y^k{\mathscr {D}}_X:=V^Y_{-k}{\mathscr {D}}_X\).
References
Björk, J.-E.: Analytic \({\cal{D}}\)-modules and applications, Mathematics and its Applications, vol. 247. Kluwer Academic Publishers Group, Dordrecht (1993)
Briançon, J., Maisonobe, P., Merle, M.: Équations fonctionnelles associées à des fonctions analytiques. Tr. Mat. Inst. Steklova 238, 86–96 (2002)
Budur, N., Mustaţǎ, M., Saito, M.: Bernstein–Sato polynomials of arbitrary varieties. Compos. Math. 142(3), 779–797 (2006)
Budur, N., Saito, M.: Multiplier ideals, V-filtration, and spectrum. J. Algebr. Geom. 14, 269–282 (2005)
Budur, N.: Bernstein-sato ideals and local systems. Annales de l’Institut Fourier 65(2), 549–603 (2015)
Budur, N., van der Veer, R., Wu, L., Zhou, P.: Zero loci of Bernstein–Sato ideals, Invent. Math. 1–28 (2021)
Budur, N., van der Veer, R., Lei, W., Zhou, P.: Zero loci of Bernstein–Sato ideals II. Sel. Math. New Ser. 27, 32 (2021)
Calderón-Moreno, F.J.: Logarithmic differential operators and logarithmic de Rham complexes relative to a free divisor. Ann. Sci. l’E.N.S. 32(5), 701–714 (1999)
Calderón-Moreno, F., Narváez-Macarro, L.: The module \({\cal{D}}f^s\) for locally quasi-homogeneous free divisors. Compos. Math. 134(1), 59–74 (2002)
D’Agnolo, A., Kashiwara, M.: Riemann–Hilbert correspondence for holonomic D-modules. Publ. Math. l’IHÉS 123(1), 69–197 (2016)
Ein, L., Lazarsfeld, R., Smith, K.E., Varolin, D., et al.: Jumping coefficients of multiplier ideals. Duke Math. J. 123(3), 469–506 (2004)
Fernandes, T.M., Sabbah, C.: Riemann–Hilbert correspondence for mixed twistor D-modules. arXiv:1609.04192 (2016) (preprint)
Fiorot, L.: Teresa Monteiro Fernandes, and Claude Sabbah, Relative regular Riemann–Hilbert correspondence. Proceedings of the London Mathematical Society (2020)
Ginsburg, V.: Characteristic varieties and vanishing cycles. Invent. Math. 84(2), 327–402 (1986)
Ginsburg, V.: Admissible modules on a symmetric space. Astérisque (173–174), 9–10, 199–255 (1989). Orbites unipotentes et représentations, III
Ginsburg, V.: Vanishing cycle sheaves and holonomic systems of differential equations, Algebraic geometry (Tokyo/Kyoto, 1982), Lecture Notes in Math., vol. 1016. Springer, Berlin, pp. 134–142 (1983)
Ginsburg, V.: \(D\)-modules and microlocal calculus, Translations of Mathematical Monographs, vol. 217, American Mathematical Society, Providence (2003). Translated from the 2000 Japanese original by Mutsumi Saito, Iwanami Series in Modern Mathematics
Ginsburg, V.: \(B\)-functions and holonomic systems. Rationality of roots of \(b\)-functions. Invent. Math. 38(1), 33–53 (1976/1977)
Ginsburg, V.: L’Idéal de Bernstein d’un arrangement libre d’hyperplans linéaires. arXiv:1610.03356 (2016) (preprint)
Ginsburg, V.: Hodge ideals for Q-divisors, V-filtration, and minimal exponent. Forum Math. Sigma 8 (2020)
Ginsburg, V.: Hodge ideals for Q-divisors: birational approach. Journal de l’École polytechnique 6, 283–328 (2019)
Ginsburg, V.: Proximité évanescente. II. Équations fonctionnelles pour plusieurs fonctions analytiques. Compos. Math. 64(2), 213–241 (1987)
Grothendieck, A.: On the de Rham cohomology of algebraic varieties. Publications Mathématiques de l’Institut des Hautes Études Scientifiques 29(1), 95–103 (1966)
Hotta, R., Takeuchi, K., Tanisaki, T.: \(D\)-modules, perverse sheaves, and representation theory, Progress in Mathematics, vol. 236. Birkhäuser Boston, Inc., Boston (2008). Translated from the 1995 Japanese edition by Takeuchi
Kashiwara, M., Kawai, T.: On holonomic systems for \(\prod _{l=1}^n(f_l+\sqrt{-1}{O})^{\lambda _l}\). Publ. Res. Inst. Math. Sci. 15(2), 551–575 (1979)
Kashiwara, M.: On the maximally overdetermined system of linear differential equations, I. Publ. Res. Inst. Math. Sci. 10(2), 563–579 (1975)
Kashiwara, M., Schapira, P.: Sheaves on manifolds: With a short history. les débuts de la théorie des faisceaux, by Christian Houzel, vol. 292. Springer Science & Business Media (2013)
Kato, K., Nakayama, C.: Log betti cohomology, log étale cohomology, and log de Rham cohomology of log schemes over C. Kodai Math. J. 22(2), 161–186 (1999)
Kollár, J.: Singularities of pairs, Proceedings of Symposia in Pure Mathematics, vol. 62. American Mathematical Society, pp. 221–288 (1997)
Koppensteiner, C.: The de Rham functor for logarithmic D-modules. Select. Math. 26(3), 1–44 (2020)
Koppensteiner, C., Talpo, M.: Holonomic and perverse logarithmic D-modules. Adv. Math. 346, 510–545 (2019)
Laumon, G.: Sur la catégorie dérivée des \({\cal{D}}\)-modules filtrés, Algebraic geometry (Tokyo/Kyoto, 1982), Lecture Notes in Math., vol. 1016. Springer, Berlin, pp. 151–237 (1983)
Lazarsfeld, R.: Positivity in algebraic geometry. II, vol. 49. Springer 18(385), 8 (2004)
Maisonobe, P.: Filtration Relative, l’Idéal de Bernstein et ses pentes. arXiv:1610.03354 (2016) (preprint)
Malgrange, B.: Polynômes de Bernstein-Sato et cohomologie évanescente, Analysis and topology on singular spaces, II, III (Luminy, 1981), Astérisque, vol. 101, Soc. Math. France, Paris, pp. 243–267 (1983)
Mustaţă, M., Popa, M.: Hodge ideals. Mem. Am. Math. Soc. 262(1268) (2019)
Nadler, D., Zaslow, E.: Constructible sheaves and the Fukaya category. J. Am. Math. Soc. 22 (2009)
Ogus, A.: On the logarithmic Riemann–Hilbert correspondence. Doc. Math. 655 (2003)
Sabbah, C.: Proximité évanescente. I. La structure polaire d’un \({\cal{D}}\)-module. Compos. Math. 62(3), 283–328 (1987)
Saito, M.: Hodge ideals and microlocal V-filtration. arXiv:1612.08667 (2016) (preprint)
Schapira, P.: Microdifferential Systems in the Complex Domain, vol. 269. Springer Science & Business Media, New York (2012)
Schapira, P., Schneiders, J.-P.: Elliptic pairs I. Relative finiteness and duality. Astérisque (224), 5–60 (1994)
Stevens, J.: On canonical singularities as total spaces of deformations, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, vol. 58. Springer, p. 275 (1988)
Wu, L.: Riemann–Hilbert correspondence for Alexander complexes. arXiv:2104.06941 (2021) (preprint)
Wu, L., Zhou, P.: Log D-modules and index theorems, Forum of Mathematics, Sigma, vol. 9. Cambridge University Press, Cambridge (2021)
Acknowledgements
The author thanks Peng Zhou and Nero Budur for useful discussions, Claude Sabbah for answering questions and Yajnaseni Dutta and Ruijie Yang for useful comments. He is grateful to an anonymous referee for very useful comments in improving the exposition. The author was supported an FWO postdoctoral fellowship.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Wu, L. Characteristic cycles associated to holonomic \({\mathscr {D}}\)-modules. Math. Z. 301, 2059–2098 (2022). https://doi.org/10.1007/s00209-022-02974-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-022-02974-0