We study multiplicities of jumping numbers of multiplier ideals in a smooth variety of arbitrary dimension. We prove that the multiplicity function is a quasi-polynomial, hence proving that the Poincaré series is a rational function. We further study when the various components of the quasi-polynomial have the highest possible degree and relate it to jumping numbers contributed by Rees valuations. Finally, we study the special case of monomial ideals.
In this paper we make a systematic study of the multiplicity of the jumping points associated to the mixed multiplier ideals of a family of ideals in a complex surface with rational singularities. In particular we study the behaviour of the multiplicity by small perturbations of the jumping points. We also introduce a Poincaré series for mixed multiplier ideals and prove its rationality. Finally, we study the set of divisors that contribute to the log-canonical wall.
We study the multiplicity of the jumping numbers of an $\mathfrak m$-primary ideal $\mathfrak a$ in a two-dimensional local ring with a rational singularity. The formula we provide for the multiplicities leads to a very simple and efficient method to detect whether a given rational number is a jumping number. We also give an explicit description of the Poincaré series of multiplier ideals associated to $\mathfrak a$ proving, in particular, that it is a rational function.
In this article we give an explicit formula for the jumping numbers of an ideal of finite colenght in a two-dimensional regular local ring with an algebraically closed residue field. For this purpose, we associate a certain numerical semigroup to each vertex of the dual graph of a log-resolution of the ideal.
We show that the $F$-jumping numbers of a pair $(X, \mathfrak a)$ in positive characteristic have no limit points whenever the symbolic Rees algebra of $-K_X$ is finitely generated outside an isolated collection of points. We also give a characteristic zero version of this result, as well as a generalization of the Hartshorne-Speiser-Lyubeznik-Gabber stabilization theorem describing the non-$F$-pure locus of a variety.
Given a smooth complex algebraic variety $X$ and a nonzero regular function $f$ on $X$, we give an effective estimate for the difference between the jumping numbers of $f$ and the $F$-jumping numbers of a reduction $f_p$ of $f$ to characteristic $p\gg 0$, in terms of the roots of the Bernstein-Sato polynomial $b_f$ of $f$. As an application, we show that if $b_f$ has no roots of the form $-{\rm lct}(f)-n$, with $n$ a positive integer, then the $F$-pure threshold of $f_p$ is equal to the log canonical threshold of $f$ for $p\gg 0$ with $(p-1){\rm lct}(f)\in {\mathbf Z}$.
The aim of this paper is to study jumping numbers and multiplier ideals of any ideal in a two-dimensional local ring with a rational singularity. In particular we reveal which information encoded in a multiplier ideal determines the next jumping number. This leads to an algorithm to compute sequentially the jumping numbers and the whole chain of multiplier ideals in any desired range. As a consequence of our method we develop the notion of jumping divisor that allows to describe the jump between two consecutive multiplier ideals. In particular we find a unique minimal jumping divisor that is s…
The aim of this paper is to generalize the algorithm to compute jumping numbers on rational surfaces described in [AAD14] to varieties of dimension at least 3. Therefore, we introduce the notion of $π$-antieffective divisors, generalizing antinef divisors. Using these divisors, we present a way to find a small subset of the `classical' candidate jumping numbers of an ideal, containing all the jumping numbers. Moreover, many of these numbers are automatically jumping numbers, and in many other cases, it can be easily checked.
We investigate some necessary and sufficient conditions for an exceptional divisor to contribute jumping numbers of an effective divisor on a variety of arbitrary dimension, inspired by the results for curves on surfaces by Smith and Thompson and Tucker. In particular, we construct an example of an exceptional divisor that is not contracted in the log canonical model, and does not contribute any jumping numbers.
We study the structure of $D$-modules over a ring $R$ which is a direct summand of a polynomial or a power series ring $S$ with coefficients over a field. We relate properties of $D$-modules over $R$ to $D$-modules over $S$. We show that the localization $R_f$ and the local cohomology module $H^i_I(R)$ have finite length as $D$-modules over $R$. Furthermore, we show the existence of the Bernstein-Sato polynomial for elements in $R$. In positive characteristic, we use this relation between $D$-modules over $R$ and $S$ to show that the set of $F$-jumping numbers of an ideal $I\subseteq R$ is con…
Formulas of F-thresholds and F-jumping coefficients on toric rings
Mustata，Takagi和Watanabe在[F-thresholds and Bernstein-Sato polynomials]中定义了F-阈值，它们是特征$p$环上理想对的不变量.证明了正则局部环上测试理想的F-阈值等于跳跃数。本文给出了复曲面环上F-阈值的一个公式。这个公式是[Huneke，Mustata，Takagi and Watanabe：F-thresholds，tight closure，整闭包，and multiplicity bounds]中例子的推广。我们证明了F-跳跃系数与F-阈值之间存在一个不等式。特别是，我们观察到F-纯阈值和F-阈值之间的比较。作为应用，我们证明了由单纯锥定义的复曲面环的正则性特征，以及在某些情况下F-阈值的合理性。
Let $\mathfrak a \subset \mathscr O_X$ be a coherent ideal sheaf on a normal complex variety $X$, and let $c \ge 0$ be a real number. De Fernex and Hacon associated a multiplier ideal sheaf to the pair $(X, \mathfrak a^c)$ which coincides with the usual notion whenever the canonical divisor $K_X$ is $\mathbb Q$-Cartier. We investigate the properties of the jumping numbers associated to these multiplier ideals. We show that the set of jumping numbers of a pair is unbounded, countable and satisfies a certain periodicity property. We then prove that the jumping numbers form a discrete set of real…
We extend the study of jumping numbers of multiplier ideals due to Ein-Lazarsfeld-Smith-Varolin from the algebraic case to the case of general plurisubharmonic functions. While many properties from Ein-Lazarsfeld-Smith-Varolin are shown to generalize to the plurisubharmonic case, important properties such as periodicity and discreteness do not hold any more. Previously only two particular examples with a cluster point (i.e. failure of discreteness) of jumping numbers were known, due to Guan-Li and to Ein-Lazarsfeld-Smith-Varolin respectively. We generalize them to all toric plurisubharmonic fu…
We show that the set of cluster points of jumping numbers of a toric plurisubharmonic function in $\mathbf{C}^n$ is discrete for every $n \ge 1$. We also give a precise characterization of the set of those cluster points. These generalize a recent result of D. Kim and H. Seo from $n=2$ to arbitrary dimension. Our method is to analyze the asymptotic behaviors of Newton convex bodies associated to toric plurisubharmonic functions.
In the present article, we establish an equality condition in the restriction formula on jumping numbers by giving a sharp lower bound of the dimension of the support of a related coherent sheaf. As applications, we obtain equality conditions in the restriction formula on complex singularity exponents by giving the dimension, the regularity and the transversality of the support, and we also obtain some sharp equality conditions in the fundamental subadditivity property on complex singularity exponents. We also obtain two sharp relations on jumping numbers.
Mustaţă defined Bernstein-Sato polynomials in prime characteristic for principal ideals and proved that the roots of these polynomials are related to the $F$-jumping numbers of the ideal. This approach was later refined by Bitoun. Here we generalize these techniques to develop analogous notions for the case of arbitrary ideals and prove that these have similar connections to $F$-jumping numbers.
The theory of mixed multiplicities of filtrations by $m$-primary ideals in a ring is introduced in a recent paper by Cutkosky, Sarkar and Srinivasan. In this paper, we consider the positivity of mixed multiplicities of filtrations. We show that the mixed multiplicities of filtrations must be nonnegative real numbers and give examples to show that they could be zero or even irrational. When $R$ is analytically irreducible, and $\mathcal I(1),\ldots,\mathcal I(r)$ are filtrations of $R$ by $m_R$-primary ideals, we show that all of the mixed multiplicities $e_R(\mathcal I(1)^{[d_1]},\ldots,\mathc…
We show that each direct summand of the associated graded module of the test module filtration $τ(M, f^λ)_{λ\geq 0}$ admits a natural Cartier structure. If $λ$ is an $F$-jumping number, then this Cartier structure is nilpotent on $τ(M, f^{λ-\varepsilon})/τ(M, f^λ)$ if and only if the denominator of $λ$ is divisible by $p$. We also show that these Cartier structures coincide with certain Cartier structures that are obtained by considering certain $\mathcal{D}$-modules associated to $M$ that were used to construct Bernstein-Sato polynomials. Moreover, we point out that the zeros of the Bernstein…
Let R be the local ring of a point on a variety X over an algebraically closed field k. We make a connection between the notion of mixed (Samuel) multiplicity of m-primary ideals in R and intersection theory of subspaces of rational functions on X which deals with the number of solutions of systems of equations. From this we readily deduce several properties of mixed multiplicities. In particular, we prove a (reverse) Alexandrov-Fenchel inequality for mixed multiplicities due to Teissier and Rees-Sharp. As an application in convex geometry we obtain a proof of a (reverse) Alexandrov-Fenchel in…
This work concerns finite free complexes with finite length homology over a commutative noetherian local ring $R$. The focus is on complexes that have length $\mathrm{dim}\, R$, which is the smallest possible value, and in particular on free resolutions of modules of finite length and finite projective dimension. Lower bounds are obtained on the Euler characteristic of such short complexes when $R$ is a strict complete intersection, and also on the Dutta multiplicity, when $R$ is the localization at its maximal ideal of a standard graded algebra over a field of positive prime characteristic. T…
We fix a counting function of multiplicities of algebraic points in a projective hypersurface over a number field, and take the sum over all algebraic points of bounded height and fixed degree. An upper bound for the sum with respect to this counting function will be given in terms of the degree of the hypersurface, the dimension of the singular locus, the upper bounds of height, and the degree of the field of definition.
We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees bounded by a fixed constant $d$. We prove that if a Specht module, $\mathbb{S}^λ$, appears with positive multiplicity in the isotypic decomposition of the cohomology modules of such sets, then the rank of the partition $λ$ is bounded by $O(d)$. This implies a polynomial (in the dimension of the ambient space) bound on the number of such modules. Furthermore, we …
