1 Introduction
The theory of b-functions initiated by Bernstein and Sato independently is certainly on a crossroad of various branches of mathematics, such as generalized functions, singularity theory, prehomogeneous vector spaces, D-modules, number theory, algebraic geometry, and computer algebra. We often call them Bernstein–Sato polynomials. To see the breadth of their influence to mathematics, we can now consult, for example, the excellent survey articles by [Reference Àlvarez Montaner, Jeffries and Núñez-Betancourt2] and [Reference Budur6].
Let us briefly recall the definitions of classical Bernstein–Sato polynomials and some related results. For this purpose, let $X$ be a complex manifold, and let $\mathcal {O}_X$ be the sheaf of holomorphic functions on it. Denote by $\mathcal {D}_X$ the sheaf of differential operators with holomorphic coefficients on $X$ . Let $f \in \mathcal {O}_X$ be a holomorphic function defined on a neighborhood of a point $x_0 \in X$ such that $f(x_0)=0$ . Then the (local) Bernstein–Sato polynomial $b_f(s) \in \mathbb {C} [s]$ of $f$ (at $x_0 \in X$ ) is the nonzero polynomial $b(s) \not = 0$ of the lowest degree satisfying the equation
for some $P(s) \in \mathcal {D}_X [s]$ . In the algebraic and analytic cases, the existence of such $b(s) \not = 0$ was proved by Bernstein and Björk, respectively. Then Kashiwara [Reference Kashiwara18] proved that the roots of the Bernstein–Sato polynomial $b_f(s)$ are negative rational numbers. Later Oaku found an algorithm to calculate them. See [Reference Oaku30] for the details. One of the most striking results on $b_f(x)$ is the Kashiwara–Malgrange theorem in [Reference Kashiwara19] and [Reference Malgrange23], which asserts that the set of the eigenvalues of the local (Milnor) monodromies of $f$ at various points $x \in f^{-1}(0)$ close to $x_0 \in f^{-1}(0)$ is equal to the one $\{ \exp (2 \pi i \alpha ) \ | \ \alpha \in (b_f)^{-1}(0) \}$ . Motivated by it, Denef and Loeser formulated their celebrated monodromy conjecture in [Reference Denef and Loeser11]. Later in [Reference Sabbah33] and [Reference Sabbah34], Sabbah developed a theory of b-functions of several variables. More precisely, he considered several holomorphic functions $f_1, f_2, \ldots , f_k \in \mathcal {O}_X$ ( $k \geq 1$ ) and proved the existence of a nonzero polynomial $b(s) \in \mathbb {C} [s]= \mathbb {C} [s_1,s_2, \ldots , s_k]$ of k variables $s=(s_1, s_2, \ldots , s_k)$ satisfying the equation
for some $P(s) \in \mathcal {D}_X [s] = \mathcal {D}_X [s_1,s_2, \ldots , s_k]$ (see also [Reference Gyoja16] for a different proof and some additional results). The nonzero ideal $I \subset \mathbb {C} [s]$ , thus, obtained is now called the Bernstein–Sato ideal of $f=(f_1, f_2, \ldots , f_k)$ . The geometric meaning of this $I$ was clarified only recently in [Reference Budur, van der Veer, Wu and Zhou10]. Moreover by Budur–Mustata–Saito [Reference Budur, Mustata and Saito8], the theory of b-functions has been also generalized to higher-codimensional subvarieties, that is, to arbitrary ideals $\mathcal {J} \subset \mathcal {O}_X$ of $\mathcal {O}_X$ . Their b-functions are related to the monodromies of the Verdier specializations along $\mathcal {J}$ (see [Reference Budur6] and [Reference Budur, Mustata and Saito8] for details).
The aim of this short note is to define Bernstein–Sato polynomials for meromorphic functions and study their basic properties. For two holomorphic functions $F, G \in \mathcal {O}_X$ such that $F \not = 0$ , $G \not = 0$ defined on a neighborhood of a point $x_0 \in X$ and coprime to each other such that $F(x_0)=0$ , let us consider the meromorphic function
associated with them. Let $D=F^{-1}(0) \cup G^{-1}(0) \subset X$ be the divisor defined by $F \cdot G \in \mathcal {O}_X$ , and let
be the localization of $\mathcal {O}_X$ along $D \subset X$ . Recall that this sheaf is endowed with the structure of a left $\mathcal {D}_X$ -module. Then the polynomial ring $( \mathcal {O}_X [ \frac {1}{FG} ] )[s]$ over it is naturally a left $\mathcal {D}_X [s]$ -module. As in the classical case where $G=1$ and $f$ is holomorphic, on the rank-one free module
over it, we define naturally a structure of a left $\mathcal {D}_X [s]$ -module and can consider its $\mathcal {D}_X [s]$ -submodule $\mathcal {D}_X [s] f^s \subset \mathcal {L}$ generated by $f^s \in \mathcal {L}$ . However, in order to prove a Kashiwara–Malgrange-type theorem (see Theorem 1.4) for b-functions on the geometric monodromies of $f$ in our meromorphic setting, we have to consider also other types of $\mathcal {D}_X [s]$ -submodules of $\mathcal {L}$ . Considering
for various integers $m \geq 0$ and $k \geq 0$ , we obtain the following result.
Theorem 1.1. Let $m \geq 0$ be a nonnegative integer. Then there exists a nonzero polynomial $b(s) \in \mathbb {C} [s]$ such that
that is, there exist $P_1(s), P_2(s), \ldots , P_N(s) \in \mathcal {D}_X [s]$ for which we have
Although the proof of Theorem 1.1 relies on the classical theory of Kashiwara and Malgrange, we need some new ideas to formulate and prove it. See §2 for details. This could be the reason why Bernstein–Sato polynomials for meromorphic functions were not defined nor studied before.
Definition 1.2. For $m \geq 0$ , we denote by $b_{f,m}^{\mathrm {mero}}(s) \in \mathbb {C} [s]$ , the minimal polynomial (i.e., the nonzero polynomial of the lowest degree) satisfying the equation in Theorem 1.1 and call it the Bernstein–Sato polynomial or the b-function of $f$ of order $m$ .
By a theorem of Sabbah [Reference Sabbah33], there exists a nonzero polynomial $b(s_1,s_2) \not = 0$ of two variables $s_1, s_2$ such that
for some $P(s_1,s_2) \in \mathcal {D}_X [s_1,s_2]$ . Then, by setting $s_1=s$ and $s_2=-s-m-2$ , we obtain the desired condition
This important remark is due to Oaku. However, for the given $F(x), G(x) \in \mathcal {O}_X$ , it would not be so easy to verify that the polynomial $b(s, -s-m-2) \in \mathbb {C} [s]$ of s thus obtained is nonzero. Recall that by Bahloul [Reference Bahloul3], [Reference Bahloul4], Bahloul–Oaku [Reference Bahloul and Oaku5], Oaku–Takayama [Reference Oaku and Takayama31], and Ucha–Castro [Reference Ucha and Castro-Jiménez37], we have algorithms to compute the Bernstein–Sato ideal $I \subset \mathbb {C} [s_1,s_2]$ at least when $F$ and $G$ are polynomials. Motivated by this observation, instead of the equation (1.7), one may also consider the simpler one
Then, of course, the minimal polynomial $b(s) \not = 0$ satisfying that it is divided by our b-function $b_{f,m}^{\mathrm {mero}}(s)$ , but from the proof of Theorem 1.4, it looks that we do not have a Kashiwara–Malgrange-type result as in it by this simpler definition of b-functions. This explains the reason why the right-hand side of the equation (1.7) is not so simple. Note also that if $G=1$ and $f= \frac {F}{G}=F$ is holomorphic, we have $f \in \mathcal {O}_X \subset \mathcal {D}_X$ , and for any $m \geq 0$ , our b-function $b_{f,m}^{\mathrm {mero}}(s)$ coincides with the classical one $b_f(s) \in \mathbb {C} [s]$ introduced by Bernstein and Sato. But in the meromorphic case, the relation among $b_{f,m}^{\mathrm {mero}}(s)$ for various $m \geq 0$ is not very clear so far. See Lemma 3.3 for a weak relation among their roots. Nevertheless, we can prove a Kashiwara–Malgrange-type result as follows. First, recall the following theorem due to [Reference Gusein-Zade, Luengo and Melle-Hernández15].
Theorem 1.3. (Gusein-Zade, Luengo, and Melle-Hernández [Reference Gusein-Zade, Luengo and Melle-Hernández15]) For any point $x \in F^{-1}(0)$ close to the point $x_0$ , there exists $\varepsilon _0> 0$ such that for any $0< \varepsilon < \varepsilon _0$ and the open ball $B(x; \varepsilon ) \subset X$ of radius $\varepsilon>0$ with center at $x$ (in a local chart of $X$ ) the restriction
of $f: X \setminus G^{-1}(0) \longrightarrow \mathbb {C}$ is a locally trivial fibration over a sufficiently small punctured disk in $\mathbb {C}$ with center at the origin $0 \in \mathbb {C}$ .
We call the fiber in this theorem the Milnor fiber of the meromorphic function $f(x)= \frac {F(x)}{G(x)}$ at $x \in F^{-1}(0)$ and denote it by $M_x$ . As in the holomorphic case (see [Reference Milnor26]), we obtain also its Milnor monodromy operators
Then we have the following result. Let $\mathrm {E}_{f,x_0} \subset \mathbb {C}^*$ be the set of the eigenvalues of the monodromies $\Phi _{j,x}$ of $f$ at the points $x \in F^{-1}(0)$ close to $x_0$ and $j \geq 0$ .
Theorem 1.4. Let $m \geq 0$ be a nonnegative integer. Then we have
If we assume, moreover, that $m \geq 2 \mathrm {dim} X$ , then we have an equality
Combining Theorem 1.4 with the results in [Reference Nguyen and Takeuchi29] and [Reference Raibaut32], one may formulate a monodromy conjecture for rational functions, like the original one in [Reference Denef and Loeser11]. For previous works in this direction, see, for example, [Reference González Villa and Lemahieu14] and [Reference Veys and Zuniga-Galindo38]. Note that if in a coordinate system F and G depend on separated variables, we can easily see that our $b_{f,m}^{\mathrm {mero}}(s)$ coincides with the b-function $b_F(s)$ of the holomorphic function F. At the moment, except for such trivial cases, we cannot calculate $b_{f,m}^{\mathrm {mero}}(s)$ explicitly. Instead, by [Reference Nguyen and Takeuchi29, Th. 3.3 and Cor. 3.4], for many $f= \frac {F}{G}$ , we can calculate $\mathrm {E}_{f,x_0}$ completely. Namely, for $m \geq 2 \mathrm {dim} X$ , the roots of $b_{f,m}^{\mathrm {mero}}(s)$ of such $f$ can be determined up to some shifts of integers and multiplicities. Moreover, in §4, we also give an upper bound
for the roots of $b_{f,m}^{\mathrm {mero}}(s)$ described in terms of resolutions of singularities $\pi : Y \longrightarrow X$ of the divisor $D \subset X$ such that $\pi ^{-1}(D) \subset Y$ is normal crossing. If $G=1$ and $f$ is holomorphic, this corresponds to the negativity of the roots of b-functions proved by Kashiwara [Reference Kashiwara18]. Indeed, in particular, for $m=0$ , our upper bound means that the roots of $b_{f,0}^{\mathrm {mero}}(s)$ are negative rational numbers. Moreover, by defining a reduced b-function $\tilde {b}_{f}^{\mathrm {mero}} (s)$ of $f$ , we obtain also a lower bound
This $\tilde {b}_{f}^{\mathrm {mero}} (s)$ could be a candidate for the b-function of the meromorphic function $f$ . However to our regret, as we shall see in Proposition 4.5, it has much less information on the singularities of $f$ than $b_{f,m}^{\mathrm {mero}}(s)$ . See §4 for details. Finally, in §5, we introduce multiplier ideal sheaves for the meromorphic function $f= \frac {F}{G}$ and show that their jumping numbers are contained in the set
This is an analog for meromorphic functions of the main theorem of Ein–Lazarsfeld–Smith–Varolin [Reference Ein, Lazarsfeld, Smith and Varolin13]. See Corollary 5.4 for details.
After we posted this paper to the arXiv, we were informed from the authors Àlvarez Montaner, González Villa, León-Cardenal, and Núñez-Betancourt of [Reference Àlvarez Montaner, González Villa, León-Cardenal and Núñez-Betancourt1] that they were also developing a theory of b-functions for meromorphic functions similar to but different from ours. Among other things, for the meromorphic function $f= \frac {F}{G}$ , they define their b-function $b_{F/G}(s) \in \mathbb {C} [s]$ to be the minimal polynomial $b(s) \not = 0$ satisfying the equation
and apply it to the studies of the analytic continuations of archimedean local zeta functions and multiplier ideals associated with $f= \frac {F}{G}$ . Moreover, in [Reference Àlvarez Montaner, González Villa, León-Cardenal and Núñez-Betancourt1, Th. 6.7], they obtain a result on the jumping numbers of multiplier ideals similar to Corollary 5.4. Since our $b_{f,0}^{\mathrm {mero}}(s)$ divides their $b_{F/G}(s)$ , it is not clear if Corollary 5.4 follows from [Reference Àlvarez Montaner, González Villa, León-Cardenal and Núñez-Betancourt1, Th. 6.7]. In addition, our b-function $b_{f,0}^{\mathrm {mero}}(s)$ satisfies a nice relationship with the V-filtration of a holonomic D-module (see Theorem 5.3). From this, we see also that the minimal jumping number $\alpha>0$ is equal to the negative of the largest root of $b_{f,0}^{\mathrm {mero}}(s)$ (see Corollary 5.4). Altogether, the results in [Reference Àlvarez Montaner, González Villa, León-Cardenal and Núñez-Betancourt1] look very useful and complementary to ours. Especially for some basic properties of the multiplier ideals, we refer to [Reference Àlvarez Montaner, González Villa, León-Cardenal and Núñez-Betancourt1, §§6 and 7].
2 Proof of Theorem 1.1
We follow the classical arguments of Gyoja [Reference Kashiwara18], Kashiwara [Reference Malgrange23], Malgrange [Reference Gyoja16], and Sabbah [Reference Mebkhout and Sabbah25]. For the theory of D-modules, we refer to [Reference Dimca12], [Reference Hotta, Takeuchi and Tanisaki17], [Reference Kashiwara20], [Reference Kashiwara and Schapira21], and [Reference Mebkhout and Sabbah25] and use freely the notions and the terminologies in them. Let $\mathbb {C} [s,t]$ be the $\mathbb {C}$ -algebra generated by the two elements $s,t$ satisfying the relation $ts=(s+1)t$ , that is, $[t,s]=t$ . Similarly, we define $\mathbb {C} [s, t^{\pm }]$ , $\mathcal {D}_X [s,t]$ and $\mathcal {D}_X [s, t^{\pm }]$ . Then there exists a natural isomorphism
of $\mathbb {C}$ -algebras (see [Reference Gyoja16]) and the one
of $\mathcal {D}_X$ -algebras associated with it. In the product space $X \times \mathbb {C}$ , we define a hypersurface $Z \subset X \times \mathbb {C}$ by
Note that Z is the closure of the graph of the meromorphic function $f= \frac {F}{G}: X \setminus G^{-1}(0) \longrightarrow \mathbb {C}$ in $X \times \mathbb {C}$ . Let
be the first local cohomology sheaf of $\mathcal {O}_{X \times \mathbb {C}}$ along $Z \subset X \times \mathbb {C}$ and define a regular holonomic $\mathcal {D}_{X \times \mathbb {C}}$ -module $\mathcal {M}$ by
which is endowed with the canonical section
Unlike the classical case where $f$ is holomorphic, this section does not necessarily generate $\mathcal {M}$ over $\mathcal {D}_{X \times \mathbb {C}}$ (see Lemma 3.2). Nevertheless, as in [Reference Malgrange23] and [Reference Gyoja16], for any nonnegative integer $m \geq 0$ , there exists an isomorphism
( $\frac {1}{G^m} f^{s} \longmapsto \frac {1}{G^m} \delta (t-f(x))$ ) on a neighborhood of $F^{-1}(0) \subset X$ which is linear over $\mathcal {D}_X [s, t^{\pm }] \simeq ( \mathcal {D}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t, \partial _t]) [ \frac {1}{t}]$ . Since there is no nonzero section of $\mathcal {M}$ supported in $G^{-1}(0) \times \mathbb {C} \subset X \times \mathbb {C}$ by Hilbert’s nullstellensatz, to show (2.7), it suffices to compare the annihilators of the generators of its both sides on $X \setminus G^{-1}(0)$ . Here, the right-hand side of (2.7) is understood to be a subsheaf of $( \mathcal {M} |_{ \{ t=0 \} } ) [ \frac {1}{t}]$ and the multiplication by t on it corresponds to the action $s \longmapsto s+1$ on the left-hand side (see, e.g., [Reference Gyoja16] for details). Restricting the isomorphism (2.7) to a subsheaf, we obtain an isomorphism
Now, let us consider the V-filtration $\{ V_j( \mathcal {D}_{X \times \mathbb {C}} ) \}_{j \in \mathbb {Z}}$ of $\mathcal {D}_{X \times \mathbb {C}}$ along the hypersurface $\{ t=0 \} = X \times \{ 0 \} \subset X \times \mathbb {C}$ . Similarly, we define a filtration $\{ V_j( \mathcal {D}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t, \partial _t] ) \}_{j \in \mathbb {Z}}$ of $\mathcal {D}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t, \partial _t] \subset \mathcal {D}_{X \times \mathbb {C}} |_{ \{ t=0 \} }$ . Denote the section
of $\mathcal {M} |_{ \{ t=0 \} }$ simply by $\sigma _m$ . Then, by $t \cdot \delta (t-f)=f \cdot \delta (t-f)$ , we obtain isomorphisms
This implies that the $V_0( \mathcal {D}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t, \partial _t] )$ -module
is isomorphic to
Here, we used the identification
given by $- \partial _t t \longmapsto s$ . Moreover, by Lemma 2.1, there also exists an isomorphism
By the classical result on the specializability of $\mathcal {M}$ along $\{ t=0 \}$ , there exists a nonzero polynomial $b(s) \in \mathbb {C} [s]$ such that
This condition is equivalent to the one that the image
is zero. Note that the sheaf homomorphism
is $\mathcal {O}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t]$ -linear and the above one in (2.17) is obtained by applying the tensor product $( \mathcal {O}_{X \times \mathbb {C}} |_{ \{ t=0 \} } ) \otimes _{\mathcal {O}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t]} ( \cdot )$ to it. Since $\mathcal {O}_{X \times \mathbb {C}} |_{ \{ t=0 \} } $ is flat over $\mathcal {O}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t]$ , we thus obtain an isomorphism
By $\mathcal {G} \simeq 0$ and the faithfully flatness of $\mathcal {O}_{X \times \mathbb {C}} |_{ \{ t=0 \} } $ over $\mathcal {O}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t]$ , we obtain also
It follows from the previous description (2.13) of $\mathcal {K}$ that we have the desired condition
This completes the proof. $\Box $
Lemma 2.1. There exists an isomorphism $( \mathcal {O}_{X \times \mathbb {C}} |_{ \{ t=0 \} } ) \otimes _{\mathcal {O}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t]} \mathcal {K} \simeq \mathcal {K}^{\infty }$ .
Proof. By our construction of the regular holonomic $\mathcal {D}_{X \times \mathbb {C}}$ -module $\mathcal {M}$ in the proof of Theorem 1.1, there exists a natural morphism
of $\mathcal {O}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t]$ -modules. Since $F, G \in \mathcal {O}_X$ are coprime each other, the same is true also for $tG-F, G \in \mathcal {O}_{X \times \mathbb {C}}$ , and hence the morphism $\Phi $ is injective. Therefore, for $j=0,-1$ , the $V_{0}( \mathcal {D}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t, \partial _t] )$ -module $V_{j}( \mathcal {D}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t, \partial _t] ) \sigma _m \subset \mathcal {M} |_{ \{ t=0 \} }$ is isomorphic to the image of the morphism
By the isomorphisms
and the flatness of $\mathcal {O}_{X \times \mathbb {C}} |_{ \{ t=0 \} } $ over $\mathcal {O}_X \otimes _{\mathbb {C}_X} \mathbb {C}_X[t]$ , we obtain isomorphisms
Then the assertion immediately follows.
3 Proof of Theorem 1.4
First of all, we shall recall the classical theory of Kashiwara–Malgrange filtrations. For more precise explanations on them, we refer to [Reference Kashiwara19] and [Reference Mebkhout and Sabbah25]. We assume first that $\mathcal {M}$ is a general regular holonomic $\mathcal {D}_{X \times \mathbb {C}}$ -module on the product of a complex manifold X and $\mathbb {C}_t$ . Set $\theta =t \partial _t \in \mathcal {D}_{X \times \mathbb {C}}$ and for a section $\sigma \in \mathcal {M}$ of $\mathcal {M}$ denote by $p_{\sigma }(s) \in \mathbb {C} [s]$ the minimal polynomial such that
Furthermore, we set
On the set $\mathbb {C}$ of complex numbers, let us consider the lexicographic order $\geq $ defined by
Then, for $\alpha \in \mathbb {C}$ , we define a $V_0( \mathcal {D}_{X \times \mathbb {C}} )$ -submodule $V_{\alpha }( \mathcal {M} )$ of $\mathcal {M}$ by
We can easily see that there exists a finite subset $A \subset \{ z \in \mathbb {C} \ | \ -1 \leq z <0 \}$ such that, for any section $\sigma \in \mathcal {M}$ of $\mathcal {M}$ , we have
Moreover, for each element $\alpha \in A$ of such $A$ , the filtration $\{ V_{\alpha +j}( \mathcal {M} ) \}_{j \in \mathbb {Z}}$ of $\mathcal {M}$ is a good V-filtration. For $\alpha \in A+ \mathbb {Z}$ , we set
and
Then $\mathrm {gr}^V_{\alpha }( \mathcal {M} )$ is a regular holonomic $\mathcal {D}_X$ -module and we can easily show that there exists $N \gg 0$ such that
The following lemma is well known to the specialists.
Lemma 3.1. Let $\sigma \in \mathcal {M}$ be a section of $\mathcal {M}$ such that $\mathcal {D}_{X \times \mathbb {C}} \sigma = \mathcal {M}$ . Then:
-
(i) For any section $\tau \in \mathcal {M}$ of $\mathcal {M}$ , we have
(3.9) $$ \begin{align} \mathrm{ord}_{ \{ t=0 \} } ( \tau ) \subset \mathrm{ord}_{ \{ t=0 \} } ( \sigma ) + \mathbb{Z}. \end{align} $$ -
(ii) For any $\lambda \in \mathrm {ord}_{ \{ t=0 \} } ( \sigma )$ , we have
(3.10) $$ \begin{align} \mathrm{gr}^V_{- \lambda -1}( \mathcal{M} ) \not= 0. \end{align} $$ -
(iii) Conversely, if $\mathrm {gr}^V_{\alpha }( \mathcal {M} ) \not = 0$ , then we have
(3.11) $$ \begin{align} - \alpha -1 \in \mathrm{ord}_{ \{ t=0 \} } ( \sigma ) + \mathbb{Z}. \end{align} $$
Now, we return to the situation in the proof of Theorem 1.1. Namely, for the meromorphic function $f= \frac {F}{G}$ , we have
and
Then we have the following result, whose proof is inspired from Sabbah’s exposition [Reference Sabbah35].
Lemma 3.2. Assume that $m \geq 2 \mathrm {dim} X$ . Then $\mathcal {M}$ is generated by the section $\sigma _m \in \mathcal {M}$ over $\mathcal {D}_{X \times \mathbb {C}}$ , that is, $\mathcal {M} = \mathcal {D}_{X \times \mathbb {C}} \sigma _m$ .
Proof. Set $g:=(tG(x)-F(x)) \cdot G(x) \in \mathcal {O}_{X \times \mathbb {C}}$ , and let $b_g(s) \in \mathbb {C} [s]$ be its Bernstein–Sato polynomial. Then by [Reference Saito36, Th. 0.4], for any root $\alpha \in \mathbb {Q}$ of $b_g(s)$ , we have
Moreover, for any $k \geq 1$ , there exists $P_k(s) \in \mathcal {D}_{X \times \mathbb {C}} [s]$ such that
Set $n:= \mathrm {dim} X$ . Then, by substituting $s$ in the above formula by $-n$ , we see that for any $k \geq 1$ the meromorphic function $g^{-n-k}$ is a nonzero constant multiple of $P_k(-n) g^{-n}$ . This implies that
is generated by its section
over $\mathcal {D}_{X \times \mathbb {C}}$ . On the other hand, the section $\partial _t^{n-1} \sigma _m \in \mathcal {M}$ of $\mathcal {M}$ is a nonzero constant multiple of
Therefore, if $m \geq 2n= 2 \mathrm {dim} X$ , it generates $\mathcal {M}$ over $\mathcal {D}_{X \times \mathbb {C}}$ .
Now, let us prove Theorem 1.4. By the proof of Theorem 1.1 and the correspondence $s \longleftrightarrow - \partial _t t = - \theta -1$ , the Bernstein–Sato polynomial $b_{f,m}^{\mathrm {mero}}(s)$ of $f$ coincides with $p_{\sigma _m}(-s-1)$ . This, in particular, implies that we have
Note also that for the $\mathcal {D}_X$ -module $\mathcal {M}$ in the proof of Theorem 1.1, we have an isomorphism
and the nearby cycle sheaf $\psi _t(\mathrm {DR}_{X \times \mathbb {C}} ( \mathcal {M} ) )$ coincides with the meromorphic nearby cycle $\psi _f^{\mathrm {mero}} ( \mathbb {C}_X )$ introduced in [Reference Nguyen and Takeuchi29] up to some shift. Assume first that $m \geq 2 \mathrm {dim} X$ . Then, by Lemma 3.2, the section $\sigma _m \in \mathcal {M}$ generates $\mathcal {M}$ over $\mathcal {D}_{X \times \mathbb {C}}$ and the second assertion of Theorem 1.4 follows from Lemma 3.1, Kashiwara’s isomorphism
and [Reference Nguyen and Takeuchi29, Lem. 2.1 (iii)]. If we do not have the condition $m \geq 2 \mathrm {dim} X$ , by considering the $\mathcal {D}_{X \times \mathbb {C}}$ -submodule $\mathcal {D}_{X \times \mathbb {C}} \sigma _m \subset \mathcal {M}$ instead of $\mathcal {M}$ itself, we obtain the first assertion of Theorem 1.4. This completes the proof. $\Box $
By the proofs of Theorems 1.1 and 1.4, we obtain the following weak relation among the roots of the b-functions $b_{f,m}^{\mathrm {mero}}(s)$ for various $m \geq 0$ .
Lemma 3.3. Let $m, m^{\prime } \geq 0$ be two nonnegative integers such that $m \geq m^{\prime }$ . Then, for some $l \gg 0$ , we have an inclusion
Proof. By the proofs of Theorems 1.1 and 1.4, we have $b_{f,m}^{\mathrm {mero}}(s)=p_{\sigma _m}(-s-1)$ and $b_{f,m^{\prime }}^{\mathrm {mero}}(s)= p_{\sigma _{m^{\prime }}}(-s-1)$ . Moreover, by our assumption $m \geq m^{\prime }$ , we have
Set $\mathcal {N} := \mathcal {D}_{X \times \mathbb {C}} \sigma _m$ and $\mathcal {N}^{\prime } := \mathcal {D}_{X \times \mathbb {C}} \sigma _{m^{\prime }}$ . Then the V-filtration $\{ V_j( \mathcal {D}_{X \times \mathbb {C}} ) \sigma _m \}_{j \in \mathbb {Z}}$ (resp. $\{ V_j( \mathcal {D}_{X \times \mathbb {C}} ) \sigma _{m^{\prime }} \}_{j \in \mathbb {Z}}$ ) of $\mathcal {N}$ (resp. $\mathcal {N}^{\prime }$ ) is good. By Artin-Rees’s lemma, the V-filtration $\{ U_j( \mathcal {N}^{\prime } ) \}_{j \in \mathbb {Z}}$ of $\mathcal {N}^{\prime }$ defined by
is also good and satisfies the condition $\sigma _{m^{\prime }} \in U_0( \mathcal {N}^{\prime } )$ . Then there exists $l \gg 0$ such that
This implies that we have
Then the assertion immediately follows.
4 Upper and lower bounds for the roots of b-functions
Recall that in [Reference Kashiwara18], Kashiwara proved that if $f$ is holomorphic, the roots of the Bernstein–Sato polynomial $b_f(s)$ are negative rational numbers. In this section, we prove an analogous result for the meromorphic function $f= \frac {F}{G}$ . We can easily prove that the roots of our b-function $b_{f,m}^{\mathrm {mero}}(s)$ are rational numbers, but their negativity does not follow from our proof. For this reason, here we only give an upper bound
for the set $(b_{f,m}^{\mathrm {mero}})^{-1}(0)$ in terms of resolutions of singularities $\pi $ of $D \subset X$ . The precise statement is as follows. Let $\pi : Y \longrightarrow X$ be a resolution of singularities of the divisor $D= F^{-1}(0) \cup G^{-1}(0) \subset X$ , which means that $\pi : Y \longrightarrow X$ is a proper morphism of n-dimensional complex manifolds such that $\pi ^{-1}(D) \subset Y$ is normal crossing and $\pi |_{Y \setminus \pi ^{-1}(D)}: Y \setminus \pi ^{-1}(D) \longrightarrow X \setminus D$ is an isomorphism. Then we define a meromorphic function g on Y by
From now on, we fix a nonnegative integer $m \geq 0$ and consider the (local) Bernstein–Sato polynomials of $g$ of order $m$ . At each point $q \in \pi ^{-1}(D)$ of the normal crossing divisor $\pi ^{-1}(D)$ , there exists a local coordinate system $y=(y_1,y_2, \ldots , y_n)$ such that $q=(0,0, \ldots , 0)$ and
Then we have
It follows that the set $K_q \subset \mathbb {Q}$ of the roots of the (local) Bernstein–Sato polynomial of $g$ at $q$ is explicitly given by
(see, e.g., [Reference Kashiwara20, Lem. 6.10]). It is clear that this set $K_q$ does not depend on the choice of the local coordinates. For the point $x_0 \in D$ , its inverse image $\pi ^{-1}(x_0) \subset \pi ^{-1}(D)$ being compact, we obtain a finite subset
Theorem 4.1. For any $m \geq 0$ , the roots of the (local) Bernstein–Sato polynomial $b_{f,m}^{\mathrm {mero}}(s)$ of $f$ at $x_0 \in D$ are contained in the set
In particular, for $m=0$ , the roots of $b_{f,0}^{\mathrm {mero}}(s)$ are negative rational numbers.
Proof. Our proof is similar to the one in [Reference Kashiwara18] for the case where $f$ is holomorphic. But we also need some new ideas to treat the meromorphic case. Recall that for the section $\sigma := \sigma _m \in \mathcal {M}$ (see (2.5)) of the regular holonomic $\mathcal {D}_{X \times \mathbb {C}}$ -module $\mathcal {M}$ , we denote by $p_{\sigma }(s) \in \mathbb {C} [s]$ , the minimal polynomial $p(s) \not = 0$ such that
and we have $b_{f,m}^{\mathrm {mero}}(s) = p_{\sigma }(-s-1)$ . Let $i: Y \longrightarrow Y \times X$ ( $y \longmapsto (y, \pi (y))$ ) be the graph embedding by $\pi $ and $p: Y \times X \rightarrow X$ ( $(y, x) \longmapsto x$ ), the projection such that $\pi = p \circ i$ . We set also
so that we have $\tilde {\pi } := \pi \times \mathrm {id}_{\mathbb {C}} = \tilde {p} \circ \tilde {i}$ . As in the case of the meromorphic function $f= \frac {F}{G}$ , we define a regular holonomic $\mathcal {D}_{Y \times \mathbb {C}}$ -module $\mathcal {N}$ associated with $g= \frac {F \circ \pi }{G \circ \pi }$ and its section
Then the roots of its minimal polynomial $p_{\tau }(s) \in \mathbb {C} [s]$ such that
is contained in the set $\{ -r-1 \ | \ r \in K \} \subset \mathbb {Q}$ . Since $\tilde {\pi } : Y \times \mathbb {C} \longrightarrow X \times \mathbb {C}$ is an isomorphism over $(Y \setminus \pi ^{-1}(D)) \times \mathbb {C} \simeq (X \setminus D) \times \mathbb {C}$ , the section $\tau \in \mathcal {N}$ is naturally identified with $\sigma \in \mathcal {M}$ there. Let
be the direct image of $\mathcal {N}$ by $\tilde {i}$ and
its section defined by $\tau \in \mathcal {N}$ . Then it is easy to see that the minimal polynomial $p_{\widetilde {\tau }}(s) \in \mathbb {C} [s]$ such that
is equal to $p_{\tau }(s)$ . Let us consider the $\mathcal {D}_{Y \times \mathbb {C}}$ -submodule $\mathcal {N}_0:= \mathcal {D}_{Y \times \mathbb {C}} \tau \subset \mathcal {N}$ of $\mathcal {N}$ generated by $\tau \in \mathcal {N}$ . Then we have $\widetilde {\tau } \in \mathbf {D} \tilde {i}_* \mathcal {N}_0 \subset \mathbf {D} \tilde {i}_* \mathcal {N}$ and $\mathcal {D}_{(Y \times X) \times \mathbb {C}} \widetilde {\tau } = \mathbf {D} \tilde {i}_* \mathcal {N}_0$ . Hence, we can define a good V-filtration $\{ U_j( \mathbf {D} \tilde {i}_* \mathcal {N}_0 ) \}_{j \in \mathbb {Z}}$ of $\mathbf {D} \tilde {i}_* \mathcal {N}_0$ by
Then it is easy to see that, for any $j \in \mathbb {Z}$ , we have
Let us consider the relationship between $p_{\widetilde {\tau }}(s) = p_{\tau }(s)$ and $p_{\sigma }(s)= b_{f,m}^{\mathrm {mero}}(-s-1)$ . For this purpose, let
be the zeroth direct image of $\mathbf {D} \tilde {i}_* \mathcal {N}_0$ by $\tilde {p}$ and as in Gyoja [Reference Gyoja16, §4.2] define its section $\sigma ^{\prime } \in \mathcal {M}^{\prime }$ to be the image of a section $1_{X \leftarrow Y} \otimes \tau \in \tilde {p}_* [ \Omega ^n_{Y \times X/X} \otimes _{\mathcal {O}_{Y \times X}} \mathbf {D} \tilde {i}_* \mathcal {N}_0 ]$ by the morphism
For the construction of $1_{X \leftarrow Y} \otimes \tau $ , see [Reference Gyoja16, §4.2] for details. Note that on the open subset $(X \setminus D) \times \mathbb {C}$ of $X \times \mathbb {C}$ , we have $\mathcal {M}^{\prime } = \mathcal {D}_{X \times \mathbb {C}} \sigma = \mathcal {M}$ and $\sigma ^{\prime }$ coincides with $\sigma $ . For $j \in \mathbb {Z}$ , we denote by $U_j( \mathcal {M}^{\prime } ) \subset \mathcal {M}^{\prime }=H^0 \mathbf {D} \tilde {p}_* ( \mathbf {D} \tilde {i}_* \mathcal {N}_0 )$ the image of the natural morphism
Then, by the proof of [Reference Mebkhout and Sabbah25, Th. 4.8.1(1)], $\{ U_j( \mathcal {M}^{\prime } ) \}_{j \in \mathbb {Z}}$ is a good V-filtration of $\mathcal {M}^{\prime }$ ; and for any $j \in \mathbb {Z}$ , we have
Moreover, by our construction, the section $\sigma ^{\prime } \in \mathcal {M}^{\prime }$ is contained in $U_0( \mathcal {M}^{\prime } )$ . Let
be the $\mathcal {D}_{X \times \mathbb {C}}$ -submodule of $\mathcal {M}^{\prime }$ generated by $\sigma ^{\prime }$ . Then, by Artin–Rees’s lemma, the V-filtration $\{ U_j( \mathcal {M}^{\prime \prime } ) \}_{j \in \mathbb {Z}}$ of $\mathcal {M}^{\prime \prime }$ defined by
is also good, and hence there exists $l \gg 0$ such that
Combining these results together, we get
This implies that the minimal polynomial $p_{\sigma ^{\prime }} (s) \in \mathbb {C} [s]$ for the section $\sigma ^{\prime } \in \mathcal {M}^{\prime }$ divides the product
Now, according to Kashiwara [Reference Kashiwara20], there exists an adjunction morphism
of $\mathcal {D}_{X \times \mathbb {C}}$ -modules. Since $\mathbf {D} \widetilde {\pi }^* \mathcal {M}$ is isomorphic to $\mathcal {N}$ (use, e.g., the Riemann–Hilbert correspondence) and $\mathcal {N}_0 \subset \mathcal {N}$ , we obtain a morphism
of $\mathcal {D}_{X \times \mathbb {C}}$ -modules. Then the section $\Psi ( \sigma ^{\prime } ) \in \mathcal {M}$ of $\mathcal {M}$ coincides with $\sigma \in \mathcal {M}$ on the open subset $(X \setminus D) \times \mathbb {C} \subset X \times \mathbb {C}$ . Moreover, by the isomorphism $\mathcal {M} \simeq \mathcal {D}_X [ \partial _t ]$ on the open subset $(X \setminus G^{-1}(0)) \times \mathbb {C} \subset X \times \mathbb {C}$ , this coincidence can be extended to $(X \setminus G^{-1}(0)) \times \mathbb {C}$ . Here, we used the classical theorem on the unique continuation of holomorphic functions. Since we have $\mathcal {M} \simeq \mathcal {M} [ \frac {1}{G} ]$ , by Hilbert’s nullstellensatz, we get $\Psi ( \sigma ^{\prime } ) = \sigma $ on the whole $X \times \mathbb {C}$ . This implies that the minimal polynomial $p_{\sigma } (s) = b_{f,m}^{\mathrm {mero}}(-s-1)$ divides the one $p_{\sigma ^{\prime }} (s)$ . Now the assertion is clear. This completes the proof.
We have seen that the roots of our b-functions $b_{f,m}^{\mathrm {mero}}(s)$ are rational numbers. Let $\rho : \mathbb {Q} \longrightarrow \mathbb {Q} / \mathbb {Z}$ be the quotient map. Then Lemma 3.3 means that the subset $A_m:= \rho \ \{ (b_{f,m}^{\mathrm {mero}})^{-1}(0) \} \subset \mathbb {Q} / \mathbb {Z}$ increases with respect to $m \geq 0$ . By Theorem 1.4, this sequence is stationary for $m \geq 2 \mathrm {dim} X$ .
Next, we shall give a lower bound for the subsets $(b_{f,m}^{\mathrm {mero}})^{-1}(0) \subset \mathbb {Q}$ . In the proof of Theorem 1.1, we have seen that the minimal polynomial of $s$ acting on the $\mathcal {D}_X$ -module
is equal to our b-function $b_{f,m}^{\mathrm {mero}}(s)$ . Localizing it along the hypersurface $G^{-1}(0) \subset X$ , we obtain a new $\mathcal {D}_X$ -module
on which $s$ still acts. Obviously, we have $b_{f,m}^{\mathrm {mero}}(s)=0$ on $\mathcal {K} [ \frac {1}{G} ]$ . By this observation, we obtain the following result. We denote the localized ring $\mathcal {D}_X [ \frac {1}{G} ]$ simply by $\widetilde {\mathcal {D}}_X$ .
Theorem 4.2. Let $m \geq 0$ be a nonnegative integer. Then there exists a nonzero polynomial $b(s) \in \mathbb {C} [s]$ satisfying the equation
for some $\tilde {P} (s) \in \widetilde {\mathcal {D}}_X [s]$ .
Definition 4.3. For $m \geq 0$ , we denote by $\tilde {b}_{f,m}^{\mathrm {mero}}(s) \in \mathbb {C} [s]$ the minimal polynomial satisfying the equation in Theorem 4.2 and call it the reduced Bernstein–Sato polynomial or the reduced b-function of $f$ of order $m$ .
Since $\tilde {P} (s) \in \widetilde {\mathcal {D}}_X [s]$ in the equation (4.28) can be rewritten as
in fact, the condition on $b(s)$ in Theorem 4.2 is equivalent to the existence of some $\tilde {Q} (s) \in \widetilde {\mathcal {D}}_X [s]$ satisfying the simpler equation
independent of $m \geq 0$ . This shows that we have
Therefore, we denote $\tilde {b}_{f,m}^{\mathrm {mero}}(s)$ simply by $\tilde {b}_{f}^{\mathrm {mero}}(s)$ . Then, by our construction, for any $m \geq 0$ , our b-function $b_{f,m}^{\mathrm {mero}}(s)$ is divided by the reduced one $\tilde {b}_{f}^{\mathrm {mero}}(s)$ . We thus obtain a lower bound
for the subset $(b_{f,m}^{\mathrm {mero}})^{-1}(0) \subset \mathbb {Q}$ . Several authors studied (global) b-functions on algebraic varieties. In particular, the result in [Reference Mebkhout and La Narváez-Macarro24] ensures the existence of b-functions on smooth affine varieties (see [Reference Àlvarez Montaner, Jeffries and Núñez-Betancourt2] for a review on this subject). Since for algebraic $X$ and $f= \frac {F}{G}$ , the variety $X \setminus G^{-1}(0)$ is affine, our Theorem 4.2 could be considered as an analytic counterpart of their result in a very special case.
Remark 4.4. It looks that the $\mathcal {D}_X$ -modules $\mathcal {K}$ and $\mathcal {K} [ \frac {1}{G} ]$ above are regular holonomic, but we could not prove it. We conjecture that they are regular holonomic.
From now on, we consider the special case where the meromorphic function $f= \frac {F}{G}$ is quasi-homogeneous. More precisely, for a local coordinate system $x=(x_1,x_2, \ldots , x_n)$ of X such that $x_0= \{ x=0 \}$ , we assume that there exist a vector field $v= \sum _{i=1}^n w_i x_i \partial _{x_i} \in \mathcal {D}_X$ ( $w=(w_1,w_2, \ldots , w_n) \in \mathbb {Z}_{\geq 0}^n \setminus \{ 0 \}$ is a weight vector) and $d_1,d_2 \in \mathbb {Z}_{>0}$ with $d:=d_1-d_2 \not = 0$ such that
Let us calculate $\tilde {b}_{f}^{\mathrm {mero}}(s)$ of such f following the arguments in [Reference Kashiwara20, §6.4]. First, by the condition $vf=d \cdot f$ ( $d \not = 0$ ), we have isomorphisms
and for our reduced b-function $\tilde {b}_{f}^{\mathrm {mero}}(s)$ , there exists $\tilde {P} \in \widetilde {\mathcal {D}}_X$ such that
In this situation, by the proof of [Reference Kashiwara20, Lem. 6.6], we see that $\mathcal {K} [ \frac {1}{G} ]$ is a holonomic $\mathcal {D}_X$ -module and Theorem 4.2 can be proved also by using the trick in the proof of [Reference Kashiwara20, Th. 6.7]. If we set $s=-1$ in (4.35), we obtain
Restricting this equality to the subset $F^{-1}(0) \setminus G^{-1}(0) \subset X \setminus G^{-1}(0)$ , we see that $\tilde {b}_{f}^{\mathrm {mero}}(-1)=0$ . Namely, for a nonzero polynomial $\tilde {\beta }_{f}^{\mathrm {mero}}(s) \in \mathbb {C} [s]$ , we have
On the other hand, by (4.36), we have $\tilde {P}(1)=0$ , and hence $\tilde {P} \in \sum _{i=1}^n \widetilde {\mathcal {D}}_X \partial _{x_i}$ . Namely, there exist $\tilde {Q}_i \in \widetilde {\mathcal {D}}_X$ ( $1 \leq i \leq n$ ) such that $\tilde {P} = \sum _{i=1}^n \tilde {Q}_i \partial _{x_i}$ . Moreover, if we set
then we have
Therefore, we obtain
Conversely, for $\tilde {Q}_i \in \widetilde {\mathcal {D}}_X$ ( $1 \leq i \leq n$ ) satisfying this equality, the differential operator $\tilde {P} = \sum _{i=1}^n \tilde {Q}_i \partial _{x_i} \in \widetilde {\mathcal {D}}_X$ satisfies the one (4.35). Consequently, our $\tilde {\beta }_{f}^{\mathrm {mero}}(s) \not = 0$ is the minimal polynomial $b(s) \in \mathbb {C} [s]$ satisfying the condition $b(s)f^s \in \sum _{i=1}^n \widetilde {\mathcal {D}}_X f_if^s$ . Since we have
$\sum _{i=1}^n \widetilde {\mathcal {D}}_X f_if^s$ is a $\widetilde {\mathcal {D}}_X [s]$ -submodule of $\widetilde {\mathcal {D}}_X f^s \simeq \widetilde {\mathcal {D}}_X [s] f^s$ . Set $h_i:= F_{x_i}G-FG_{x_i}=G^2f_i\in \mathcal {O}_X$ ( $1 \leq i \leq n$ ). Then the $\widetilde {\mathcal {D}}_X$ -module
has an action of $s$ and the minimal polynomial of $s$ on it is equal to $\tilde {\beta }_{f}^{\mathrm {mero}}(s)$ .
Proposition 4.5. Let $f= \frac {F}{G}$ be as above and assume moreover that $f^{-1}(0)=F^{-1}(0) \setminus G^{-1}(0) \subset X \setminus G^{-1}(0)$ is smooth. Then $\widetilde {\mathcal {R}}=0$ and $\tilde {b}_{f}^{\mathrm {mero}}(s)=s+1$ .
Proof. Let us consider the coherent $\mathcal {D}_X$ -module
and its localization
Note that $\widetilde {\mathcal {R}}$ is a quotient of $\widetilde {\mathcal {S}}$ . Since $f= \frac {F}{G}$ is quasi-homogeneous of degree $d=d_1-d_2 \not = 0$ , there is no singular point of f in $X \setminus (F^{-1}(0) \cup G^{-1}(0))$ . Then by the smoothness of $f^{-1}(0)=F^{-1}(0) \setminus G^{-1}(0) \subset X \setminus G^{-1}(0)$ , we have
This implies that the support of the coherent $\mathcal {D}_X$ -module $\mathcal {S}$ is contained in $G^{-1}(0) \subset X$ . Then, by Hilbert’s nullstellensatz, we get $\widetilde {\mathcal {S}}=0$ ; and hence, $\widetilde {\mathcal {R}}=0$ .
By using [Reference Nguyen and Takeuchi29, Th. 3.3 and Cor. 3.4], we can construct many examples of $f= \frac {F}{G}$ satisfying the conditions in Proposition 4.5 and having a monodromy eigenvalue $\not = 1$ at the point $x_0 \in X$ . By Theorem 1.4, for such $f$ , we thus obtain
Namely, in the situation of Proposition 4.5 the reduced b-function $\tilde {b}_{f}^{\mathrm {mero}}(s)$ captures only the tiny (trivial) part $s+1$ of $b_{f,m}^{\mathrm {mero}}(s)$ for $m \geq 2 \mathrm {dim} X$ .
5 Multiplier ideals for meromorphic functions
In this section, we define multiplier ideal sheaves for the meromorphic function $f= \frac {F}{G}$ and study their basic properties. Recall that multiplier ideals for holomorphic functions were introduced by Nadel [Reference Nadel28]. For their precise properties, we refer to the excellent book [Reference Lazarsfeld22] by Lazarsfeld. For the meromorphic function $f= \frac {F}{G}$ , we define them as follows. Denote by $\mathrm {L}^1_{\mathrm {loc}}$ , the set of locally integrable functions on X.
Definition 5.1. For a positive real number $\alpha>0$ , we define an ideal $\mathcal {J} (X, f)_{\alpha } \subset \mathcal {O}_X$ of $\mathcal {O}_X$ by
and call it the multiplier ideal of $f$ of order $\alpha>0$ .
Let $\pi : Y \longrightarrow X$ be a resolution of singularities of the divisor $D= F^{-1}(0) \cup G^{-1}(0) \subset X$ as in §4. Here, we assume, moreover, that the meromorphic function $g= \frac {F \circ \pi }{G \circ \pi }$ has no point of indeterminacy on the whole $Y$ . Such a resolution $\pi : Y \longrightarrow X$ always exists. Let $\mathrm {div} \ g$ be the divisor on $Y$ defined by $g$ . Then there exist two effective divisors $(\mathrm {div} \ g)_+$ and $(\mathrm {div} \ g)_-$ such that
By our assumption, their supports, which we denote by $g^{-1}(0)$ and $g^{-1}( \infty )$ , respectively, are disjoint from each other. By using such a resolution $\pi : Y \longrightarrow X$ , we can easily see that for $\alpha ^{\prime }> \alpha >0$ , we have $\mathcal {J} (X, f)_{\alpha ^{\prime }} \subset \mathcal {J} (X, f)_{\alpha }$ . Then, as in the case where f is holomorphic, we can define the jumping numbers of the multiplier ideals $\{ \mathcal {J} (X, f)_{\alpha } \}_{\alpha> 0}$ . In the situation as above, we have $g^{-1}( \infty ) \subset (G \circ \pi )^{-1}(0)$ but $g: Y \setminus (G \circ \pi )^{-1}(0) \longrightarrow \mathbb {C}$ can be extended to a holomorphic function $\tilde {g} : Y \setminus g^{-1}( \infty ) \longrightarrow \mathbb {C}$ . Let
be the graph embedding defined by $\tilde {g}$ . From now, we shall use the terminologies of mixed Hodge modules. For example, regarding the holonomic $\mathcal {D}_{X \times \mathbb {C}}$ -module $\mathcal {M}$ as a mixed Hodge module on $X \times \mathbb {C}$ , for $\alpha \in \mathbb {Q}$ and $p \in \mathbb {Z}$ , we set
We denote the normal crossing divisor $(G \circ \pi )^{-1}(0)$ in $Y$ by $E$ and consider the regular holonomic $\mathcal {D}_Y$ -module $\mathcal {O}_Y(*E)$ as a mixed Hodge module. Then its Hodge filtration $\{ F_p \mathcal {O}_Y(*E) \}_{p \in \mathbb {Z}}$ satisfies the condition
Moreover, $F_0 \mathcal {O}_Y(*E) \subset \mathcal {O}_Y(*E)$ is the subsheaf of $\mathcal {O}_Y(*E)$ consisting of meromorphic functions on $Y$ having poles of order $\leq 1$ only along $E \subset Y$ . See Mustata–Popa [Reference Mustata and Popa27, Chap. D] for the details about the Hodge filtration of $\mathcal {O}_Y(*E)$ . We denote the restriction of $F_0 \mathcal {O}_Y(*E) \simeq \mathcal {O}_Y(E)$ to $Y \setminus g^{-1}( \infty )$ simply by $\mathcal {E}$ . Then the following proposition can be proved just by following the arguments in Budur–Saito [Reference Budur and Saito9] (see also [Reference Budur7, §§3 and 4] for more precise explanations). We set $Y^{\circ }:= Y \setminus g^{-1}( \infty )$ and
Let $K_{Y/X}$ be the relative canonical divisor of $\pi : Y \longrightarrow X$ .
Proposition 5.2. Let $\alpha>0$ be a positive real number. Then, for $0< \varepsilon \ll 1$ , there exists an isomorphism
Now, let $\mathrm {pr}_X: X \times \mathbb {C} \longrightarrow X$ be the projection. Then there exists an injective homomorphism of sheaves
by which we regard $\mathcal {O}_X$ as a subsheaf of $(\mathrm {pr}_X)_* \mathcal {M}$ . By Proposition 5.2 and the local integrability condition in Definition 5.1, we obtain the following analog for meromorphic functions of Budur–Saito [Reference Budur and Saito9, Th. 0.1] (see also [Reference Budur7] for details). Note that by Proposition 5.2, for any $\alpha>0$ , we have
Theorem 5.3. Let $\alpha>0$ be a positive real number. Then we have
By this theorem and
(see the proof of Lemma 3.3), we immediately obtain the following generalization of the celebrated theorem of Ein–Lazarsfeld–Smith–Varolin [Reference Ein, Lazarsfeld, Smith and Varolin13] to meromorphic functions.
Corollary 5.4. The jumping numbers of the multiplier ideals $\{ \mathcal {J} (X, f)_{\alpha } \}_{\alpha>0}$ are contained in the set
Moreover, the minimal jumping number $\alpha>0$ is equal to the negative of the largest root of $b_{f,0}^{\mathrm {mero}}(s)$ .
Acknowledgments
The author thanks Professors Núñez-Betancourt, Kakehi, Oaku, Sabbah, and Schapira for some useful discussions during the preparation of this paper. He is also grateful to the anonymous referee whose comments and suggestions were very helpful.