The Jacobian module, the Milnor fiber, and the D-module generated by f^s

DOI10.1007/S00222-016-0684-2zbMATH Open1370.14022arXiv1504.07164OpenAlexW3104035047MaRDI QIDQ517432FDOQ517432

Authors: Uli Walther 

Publication date: 23 March 2017

Published in: Inventiones Mathematicae (Search for Journal in Brave)

Abstract: For a germ $f$ on a complex manifold $X$, we introduce a complex derived from the Liouville form acting on logarithmic differential forms, and give an exactness criterion. We use this Liouville complex to connect properties of the $D$-module generated by $f^s$ to homological data of the Jacobian ideal; specifically we show that for a large class of germs the annihilator of $f^s$ is generated by derivations. Through local cohomology, we connect the cohomology of the Milnor fiber to the Jacobian module via logarithmic differentials. In particular, we consider (not necessarily reduced) hyperplane arrangements: we prove a conjecture of Terao on the annihilator of $1/f$; we confirm in many cases a corresponding conjecture on the annihilator of $f^s$ but we disprove it in general; we show that the Bernstein--Sato polynomial of an arrangement is not determined by its intersection lattice; we prove that arrangements for which the annihilator of $f^s$ is generated by derivations fulfill the Strong Monodromy Conjecture, and that this includes as very special cases all arrangements of Coxeter and of crystallographic type, and all multi-arrangements in dimension 3.

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

Recommendations

• A Jacobian module for disentanglements and applications to Mond's conjecture
• \(D\)-modules generated by rational powers of holomorphic functions
• Bernstein-Sato varieties and annihilation of powers
• Holonomic \(D\)-modules associated with a simple line singularity and the vertical monodromy
• Relative conormal spaces. II: Differential modules

zbMATH Keywords

Milnor fiberhyperplane arrangementsD-moduleJacobian moduleLiouville complexLiouville form

Mathematics Subject Classification ID

Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Singularities of surfaces or higher-dimensional varieties (14J17) Sheaves of differential operators and their modules, (D)-modules (32C38) Local cohomology and commutative rings (13D45) de Rham cohomology and algebraic geometry (14F40) Relations with arrangements of hyperplanes (32S22) Differential forms in global analysis (58A10) Configurations and arrangements of linear subspaces (14N20)

Cites Work

• SINGULAR
• Théorie de Hodge. II. (Hodge theory. II)
• Théorie de Hodge. III
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck
• Tangents to an analytic variety
• Zeta functions and Bernstein-Sato polynomials for ideals in dimension two
• Title not available (Why is that?)
• Title not available (Why is that?)
• The monodromy conjecture for hyperplane arrangements
• B-functions and holonomic systems. Rationality of roots of B-functions
• Approximation complexes of blowing-up rings
• Twenty-four hours of local cohomology
• Linear free divisors and the global logarithmic comparison theorem
• Simple Hironaka resolution in characteristic zero
• Solvable group representations and free divisors whose complements are \(K(\pi,1)\)'s
• Title not available (Why is that?)
• Complexes, duality and Chern classes of logarithmic forms along hyperplane arrangements
• Singularity invariants related to Milnor fibers: survey
• Critical points and resonance of hyperplane arrangements
• Logarithmic differential operators and logarithmic de rham complexes relative to a free divisor
• On the formal structure of logarithmic vector fields
• Multiplier ideals, \(b\)-function, and spectrum of a hypersurface singularity
• Bernstein–Sato polynomial versus cohomology of the Milnor fiber for generic hyperplane arrangements
• Algebras generated by reciprocals of linear forms
• Title not available (Why is that?)
• Differential Operators on Hyperplane Arrangements
• Linearity conditions on the Jacobian ideal and logarithmic--meromorphic comparison for free divisors
• La théorie du polynôme de Bernstein-Sato pour les algèbres de Tate et de Dwork-Monsky-Washnitzer
• On microlocal $b$-function
• \(\mathcal A\)-codimension and the vanishing topology of discriminants
• Free divisors and rational cuspidal plane curves
• On the local zeta functions and the \(b\)-functions of certain hyperplane arrangements
• A vanishing theorem for a class of logarithmic \({\mathcal D}\)-modules
• On the logarithmic comparison theorem for integrable logarithmic connections
• Title not available (Why is that?)
• Title not available (Why is that?)
• On meromorphic functions defined by a differential system of order $1$
• Gorenstein-duality for one-dimensional almost complete intersections -- with an application to non-isolated real singularities
• Bernstein-Sato polynomials of hyperplane arrangements
• Bernstein-Sato ideals and local systems

Cited In (22)

• Title not available (Why is that?)
• The Hessian polynomial and the Jacobian ideal of a reduced hypersurface in \(\mathbb{P}^n\)
• Bernstein-Sato Polynomials in Commutative Algebra
• Inverse limits of Macaulay's inverse systems
• Logarithmic comparison theorems
• Bernstein-Sato varieties and annihilation of powers
• A note on Bernstein-Sato varieties for tame divisors and arrangements
• Line and rational curve arrangements, and Walther's inequality
• A Jacobian module for disentanglements and applications to Mond's conjecture
• Bernstein-Sato ideals and hyperplane arrangements
• Plane curves with three syzygies, minimal Tjurina curves, and nearly cuspidal curves
• On free and plus-one generated curves arising from free curves by addition-deletion of a line
• Computing the monodromy and pole order filtration on Milnor fiber cohomology of plane curves
• Zero loci of Bernstein-Sato ideals
• Monodromy conjecture for log generic polynomials
• Poles of the complex zeta function of a plane curve
• Arrangements, matroids and logarithmic vector fields. Abstracts from the workshop held June 16--21, 2024
• Jet schemes of quasi-homogeneous hypersurfaces and motivic monodromy conjecture for isolated quasi-homogeneous hypersurface singularities
• Logarithmic vector fields and freeness of divisors and arrangements: new perspectives and applications. Abstracts from the workshop held January 24--30, 2021 (online meeting)
• Geometric construction of polylogarithms
• Local Cohomology—An Invitation
• Bernstein-Sato polynomials of hyperplane arrangements

Uses Software

• Macaulay2
• Plural
• SINGULAR

This page was built for publication: The Jacobian module, the Milnor fiber, and the \(D\)-module generated by \(f^s\)

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