arXiv subjects
Publications and source records attributed to Mircea Mustata.
With an assumption on the codimension of the singular locus of a complex hypersurface $D$ in smooth variety $X$, we show that if $\underline{\Omega}^m_D \cong \Omega^m_D$, then $\underline{\Omega}^i_D \cong \Omega^i_D$ for all $0 \leq i \leq m$. We also discuss an analogue of this statement in positive characteristic.
This note points out a gap in the proof of one of the technical results in the paper "Asymptotic Invariants of Base Loci", that appeared in Ann. Inst. Fourier (Grenoble) 56 (2006), 1701-1734. We provide a correct proof of this result.
Suppose that $X$ is a smooth complex algebraic variety of dimension $\geq 3$ and $f$ defines a hypersurface $Z$ in $X$, with a unique singular point $P$. Bitoun and Schedler conjectured that the ${\mathcal D}$-module generated by $\tfrac{1}{f}$ has length equal to $g_P(Z)+2$, where $g_{P}(Z)$ is the reduced genus of $Z$ at $P$. We prove that this length is always $\geq g_P(Z)+2$ and equality holds if and only if $\tfrac{1}{f}$ lies in the ${\mathcal D}$-module generated by $I_0(f)\tfrac{1}{f}$, where $I_0(f)$ is the multiplier ideal ${\mathcal J}(f^{1-ε})$, with $0<ε\ll 1$. In particular, we see that the conjecture holds if the pair $(X,Z)$ is log canonical. We can also recover, with an easy proof, the result of Bitoun and Schedler saying that the conjecture holds for weighted homogeneous isolated singularities. On the other hand, we give an example (a polynomial in $3$ variables with an ordinary singular point of multiplicity $4$) for which the conjecture does not hold.
We study the Hodge filtration on the local cohomology sheaves of a smooth complex algebraic variety along a closed subscheme Z in terms of log resolutions, and derive applications regarding the local cohomological dimension, the Du Bois complex, local vanishing, and reflexive differentials associated to Z.
We show that k-rational singularities of local complete intersections are k-Du Bois. For hypersurfaces, we characterize k-rationality in terms of the minimal exponent. We also establish some local vanishing results for k-rational and k-Du Bois singularities. Some of these results have been independently obtained in [FL2].
We study the Du Bois complex $\underlineΩ_Z^\bullet$ of a hypersurface $Z$ in a smooth complex algebraic variety in terms its minimal exponent $\widetildeα(Z)$. The latter is an invariant of singularities, defined as the negative of the greatest root of the reduced Bernstein-Sato polynomial of $Z$, and refining the log canonical threshold. We show that if $\widetildeα(Z)\geq p+1$, then the canonical morphism $Ω_Z^p\to \underlineΩ_Z^p$ is an isomorphism, where $\underlineΩ_Z^p$ is the $p$-th associated graded piece of the Du Bois complex with respect to the Hodge filtration. On the other hand, if $Z$ is singular and $\widetildeα(Z)>p\geq 2$, we obtain non-vanishing results for some of the higher cohomologies of $\underlineΩ_Z^{n-p}$.
We prove a conjecture of Teissier asserting that if $f$ has an isolated singularity at $P$ and $H$ is a smooth hypersurface through $P$, then $\widetildeα_P(f)\geq \widetildeα_P(f\vert_H)+\frac{1}{θ_P(f)+1}$, where $\widetildeα_P(f)$ and $\widetildeα_P(f\vert_H)$ are the minimal exponents at $P$ of $f$ and $f\vert_H$, respectively, and $θ_P(f)$ is an invariant obtained by comparing the integral closures of the powers of the Jacobian ideal of $f$ and of the ideal defining $P$. The proof builds on the approaches of Loeser and Elduque-Mustata. The new ingredients are a result concerning the behavior of Hodge ideals with respect to finite maps and a result about the behavior of certain Hodge ideals for families of isolated singularities with constant Milnor number. In the opposite direction, we show that for every $f$, if $H$ is a general hypersurface through $P$, then $\widetildeα_P(f)\leq \widetildeα_P(f\vert_H)+\frac{1}{{\rm mult}_P(f)}$, extending a result of Loeser from the case of isolated singularities.
By building on a method introduced by Kashiwara and refined by Lichtin, we give upper bounds for the roots of certain b-functions associated to a regular function f in terms of a log resolution of singularities. As applications, we recover with more elementary methods a result of Budur and Saito describing the multiplier ideals of f in terms of the V-filtration of f and a result of the second named author with Popa giving a lower bound for the minimal exponent of f in terms of a log resolution.
For a smooth germ of algebraic variety $(X,0)$ and a hypersurface $(f=0)$ in $X$, with an isolated singularity at $0$, Teissier conjectured a lower bound for the Arnold exponent of $f$ in terms of the Arnold exponent of a hyperplane section $f\vert_H$ and the invariant $θ_0(f)$ of the hypersurface. By building on an approach due to Loeser, we prove the conjecture in the case of log canonical thresholds.
Given a reduced effective divisor D on a smooth variety X, we describe the generating function for the classes of the Hodge ideals of D in the Grothendieck group of coherent sheaves on X in terms of the motivic Chern class of the complement of the support of D. As an application, we compute the generating function for the Hilbert series of Hodge ideals of a hyperplane arrangement in terms of the Poincare polynomial of the arrangement.
We explicitly compute the Hodge ideals of Q-divisors in terms of the V-filtration induced by a local defining equation, inspired by a result of Saito in the reduced case. We deduce basic properties of Hodge ideals in this generality, and relate them to Bernstein-Sato polynomials. As a consequence of our study we establish general properties of the minimal exponent, a refined version of the log canonical threshold, and bound it in terms of discrepancies on log resolutions, addressing a question of Lichtin and Kollár.
We define and study Hodge ideals associated to a coherent ideal sheaf J on a smooth complex variety, via algebraic constructions based on the already existing concept of Hodge ideals associated to Q-divisors. We also define the generic minimal exponent of J, extending the standard invariant for hypersurfaces. We relate it to Hodge ideals, and show that it is a root of the Bernstein-Sato polynomial of J.
We bound the generation level of the Hodge filtration on the localization along a hypersurface in terms of its minimal exponent. As a consequence, we obtain a local vanishing theorem for sheaves of forms with log poles. These results are extended to Q-divisors, and are derived from a result of independent interest on the generation level of the Hodge filtration on nearby and vanishing cycles.
We show that given an ideal I generated by regular functions f_1,...,f_r on the smooth complex variety X, the Bernstein-Sato polynomial of I is equal to the reduced Bernstein-Sato polynomial of the function g=\sum_{i=1}^rf_iy_i on the product of X with an r-dimensional affine space. By combining this with results from [BMS], we relate invariants and properties of I to those of g. We also use the result on Bernstein-Sato polynomials to show that the Strong Monodromy Conjecture for Igusa zeta functions of principal ideals implies a similar statement for arbitrary ideals.
We show that if f is a nonzero, noninvertible function on a smooth complex variety X and J_f is the Jacobian ideal of f, then lct(f, J_f^2)>1 if and only if the hypersurface defined by f has rational singularities. Moreover, if this is not the case, then lct(f, J_f^2)=lct(f). We give two proofs, one relying on arc spaces and one that shows that the minimal exponent of f is at least as large as lct(f, J_f^2). In the case of a polynomial over the algebraic closure of Q, we also prove an analogue of this latter inequality, with the minimal exponent replaced by the motivic oscillation index moi(f).
We develop the theory of Hodge ideals for Q-divisors by means of log resolutions, extending our previous work on reduced hypersurfaces. We prove local (non-)triviality criteria and a global vanishing theorem, as well as other analogues of standard results from the theory of multiplier ideals, and we derive a new local vanishing theorem. The connection with the V-filtration is analyzed in a sequel.
Given an n-dimensional variety Z with rational singularities, we conjecture that for a resolution of singularities whose reduced exceptional divisor E has simple normal crossings, the (n-1)-th higher direct image of the sheaf of differential forms with log poles along E vanishes. We prove this when Z has isolated singularities and when it is a toric variety. We deduce that for a divisor D with isolated rational singularities on a smooth complex n-dimensional variety X, the generation level of Saito's Hodge filtration on the localization of the structure sheaf along D is at most n-3.
We use methods from birational geometry to study M. Saito's Hodge filtration on the localization along a hypersurface. This filtration leads to a sequence of ideal sheaves, called Hodge ideals, the first of which is a multiplier ideal. We analyze their local and global properties, and use them for applications related to the singularities and Hodge theory of hypersurfaces and their complements.