Generalized monodromy conjecture in dimension two

monodromy monodromy conjecture plane curve singularity resolution graph semigroup condition splice decomposition splice diagram surface singularity topological zeta function

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Singularities of curves, local rings (14H20) Singularities of surfaces or higher-dimensional varieties (14J17) Local complex singularities (32S05) Complex surface and hypersurface singularities (32S25) Monodromy; relations with differential equations and (D)-modules (complex-analytic aspects) (32S40)

Abstract: The aim of the article is an extension of the Monodromy Conjecture of Denef and Loeser in dimension two, incorporating zeta functions with differential forms and targeting all monodromy eigenvalues, and also considering singular ambient spaces. That is, we treat in a conceptual unity the poles of the (generalized) topological zeta function and the monodromy eigenvalues associated with a complex analytic function germ f defined on a normal surface singularity (X,0). The article targets the `right' extension in the case when the link of (X,0) is a homology sphere. As a first step, we prove a splice decomposition formula for the topological zeta function Z(f,w;s) for any f and analytic differential form w, which will play the key technical localization tool in the later definitions and proofs. Then, we define a set of `allowed' differential forms via a local restriction along each splice component. For plane curves we show the following three guiding properties: (1) if s' is any pole of Z(f,w;s) with w allowed, then exp(2pi is') is a monodromy eigenvalue of f; (2) the `standard' form is allowed; (3) every monodromy eigenvalue of f is obtained as in (1) for some allowed w and some s'. For general (X,0) we prove (1) unconditionally, and (2)-(3) under an additional (necessary) assumption, which generalizes the semigroup condition of Neumann-Wahl. Several examples illustrate the definitions and support the basic assumptions.

Review text

The monodromy conjecture asserts for an isolated singularity \(f:({\mathbb C}^n,0)\to ({\mathbb C},0)\) that a pole \(s_0\) of the topological zeta-function of \(f\) is a logarithm of an eigen value of the monodromy (i.e., \(\exp(2\pi i s_0)\) is an eigenvalue). Not all eigenvalues occur in this way: others are obtained from poles of zeta-functions for pairs \((f,\omega)\) with \(\omega\) an \(n\)-form on \({\mathbb C}^n\). This construction can give too many values. The goal of the authors is to define a collection of allowed differential forms \(\omega\) such thatNEWLINENEWLINE1) \(\exp(2\pi i s_0)\) is a monodromy eigenvalue for any pole \(s_0\) of \(Z(f,\omega;s)\),NEWLINENEWLINE2) the standard volume form is allowedNEWLINENEWLINE3) every monodromy eigenvalue can be obtained this way.NEWLINENEWLINEThey achieve this goal for \(n=2\). The description of allowed forms is combinatorial, using splice diagrams. To be able to use induction the results are extended to singular ambient spaces, with integral sphere homology link. A splice formula for the topological zeta-function is given. Property (1) is proved unconditionally, but (2) and (3) only under the semi-group condition (satisfied for splice diagrams of plane curves), generalising to the present context the semigroup condition of Neumann and Wahl.

Recommendations

Cites work

Cited in

(19)

This page was built for publication: Generalized monodromy conjecture in dimension two

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