Source author record

Mircea Mustata

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.AC math.CV math.RA

Catalog footprint

Research overview

28works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

On a conjecture of Bitoun and Schedler

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.

preprint2022arXiv

Hodge filtration on local cohomology, Du Bois complex, and local cohomological dimension

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.

preprint2022arXiv

The Du Bois complex of a hypersurface and the minimal exponent

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}$ .

preprint2020arXiv

Hodge ideals for Q-divisors, V-filtration, and minimal exponent

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.

preprint2020arXiv

The Hilbert series of Hodge ideals of hyperplane arrangements

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.

preprint2019arXiv

Hodge filtration, minimal exponent, and local vanishing

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.

preprint2015arXiv

The volume of a set of arcs on a variety

In this paper, we give a definition of volume for subsets in the space of arcs of an algebraic variety, and study its properties. Our main result relates the volume of a set of arcs on a Cohen-Macaulay variety to its jet-codimension, a notion which generalizes the codimension of a cylinder in the arc space of a smooth variety.

preprint2014arXiv

The dimension of jet schemes of singular varieties

Given a scheme X over a field k, a generalized jet scheme parametrizes maps from Spec(A) to X, where A is a finite-dimensional, local algebra over k. We give an overview of known results concerning the dimensions of these schemes when A has embedding dimension one, when they are related to invariants of singularities in birational geometry. We end with a discussion of more general jet schemes.

preprint2013arXiv

An algebraic approach to the openness conjecture of Demailly and Kollar

We reduce the Openness Conjecture of Demailly and Kollár on the singularities of plurisubharmonic functions to a purely algebraic statement.

preprint2013arXiv

On the numerical dimension of pseudo-effective divisors in positive characteristic

Let X be a smooth projective variety over an algebraically closed field of positive characteristic. We prove that if D is a pseudo-effective R-divisor on X which is not numerically equivalent to the negative part in its divisorial Zariski decomposition, then the numerical dimension of D is positive. In characteristic zero, this was proved by Nakayama using vanishing theorems.

preprint2013arXiv

Weight functions on non-archimedean analytic spaces and the Kontsevich-Soibelman skeleton

We associate a weight function to pairs consisting of a smooth and proper variety X over a complete discretely valued field and a differential form on X of maximal degree. This weight function is a real-valued function on the non-archimedean analytification of X. It is piecewise affine on the skeleton of any regular model with strict normal crossings of X, and strictly ascending as one moves away from the skeleton. We apply these properties to the study of the Kontsevich-Soibelman skeleton of such a pair, and we prove that this skeleton is connected when X has geometric genus one. This result can be viewed as an analog of the Shokurov-Kollar connectedness theorem in birational geometry.

preprint2012arXiv

A Frobenius variant of Seshadri constants

We define and study a version of Seshadri constant for ample line bundles in positive characteristic. We prove that lower bounds for this constant imply the global generation or very ampleness of the corresponding adjoint line bundle. As a consequence, we deduce that the criterion for global generation and very ampleness of adjoint line bundles in terms of usual Seshadri constants holds also in positive characteristic.

preprint2012arXiv

Estimates for F-jumping numbers and bounds for Hartshorne-Speiser-Lyubeznik numbers

Given an ideal J on a smooth variety in characteristic zero, we estimate the F-jumping numbers of the reductions of J to positive characteristic in terms of the jumping numbers of J and the characteristic. We apply one of our estimates to bound the Hartshorne-Speiser-Lyubeznik invariant for the reduction to positive characteristic of a hypersurface singularity.

preprint2012arXiv

The augmented base locus in positive characteristic

Let L be a nef line bundle on a projective scheme X in positive characteristic. We prove that the augmented base locus of L is equal to the union of the irreducible closed subsets V of X such that the restriction of L to V is not big. For a smooth variety in characteristic zero, this was proved by Nakamaye using vanishing theorems.

preprint2012arXiv

The non-nef locus in positive characteristic

We give an analogue in positive characteristic of the description of the non-nef locus from \cite{ELMNP}. In this case, the role of the asymptotic multiplier ideals is played by the asymptotic test ideals. The key ingredient is provided by a uniform global generation statement involving twists by such ideals.

preprint2011arXiv

A finiteness property of graded sequences of ideals

Given a graded sequence of ideals (a_m) on a smooth variety $X$ having finite log canonical threshold, suppose that for every m we have a divisor E_m over X that computes the log canonical threshold of a_m, and such that the log discrepancies of the divisors E_m are bounded. We show that in this case the set of divisors E_m is finite.

preprint2011arXiv

IMPANGA lecture notes on log canonical thresholds

These are lecture notes from the IMPANGA 2010 Summer school. They give an introduction to log canonical thresholds, covering some basic properties, examples, and some recent results and open questions.

preprint2011arXiv

Log canonical thresholds, F-pure thresholds, and non-standard extensions

We present a new relation between an invariant of singularities in characteristic zero (the log canonical threshold) and an invariant of singularities defined via the Frobenius morphism in positive characteristic (the F-pure threshold). We show that the set of limit points of sequences of the form (c_p), where c_p is the F-pure threshold of an ideal on an n-dimensional smooth variety in characteristic p, coincides with the set of log canonical thresholds of ideals on n-dimensional smooth varieties in characteristic zero. We prove this by combining results of Hara and Yoshida with non-standard constructions.

preprint2011arXiv

Multiplier ideals via Mather discrepancy

We define a version of multiplier ideals, the Mather multiplier ideals, on a variety with arbitrary singularities, using the Mather discrepancy and the Jacobian ideal. In this context we prove a relative vanishing theorem, thus obtaining restriction theorems and a subadditivity and summation theorems. The Mather multiplier ideals also satisfy a Skoda type result. As an application, we obtain a Briancon-Skoda type formula for the integral closures of ideals on a variety with arbitrary singularities.

preprint2011arXiv

Ordinary varieties and the comparison between multiplier ideals and test ideals

We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s of X to positive characteristic such that the action of the Frobenius morphism on the top Zariski cohomology of the structure sheaf of X_s is bijective. We also consider a conjecture relating certain invariants of singularities in characteristic zero (the multiplier ideals) with invariants in positive characteristic (the test ideals). We prove that the former conjecture implies the latter one in the case of ambient nonsingular varieties.

preprint2011arXiv

Ordinary varieties and the comparison between multiplier ideals and test ideals II

We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s to positive characteristic such that the action of the Frobenius morphism on the top Zariski cohomology of the structure sheaf on X_s is bijective. We also consider the conjecture relating the multiplier ideals of an ideal J on a nonsingular variety in characteristic zero, and the test ideals of the reductions of J to positive characteristic. We prove that the latter conjecture implies the former one. The converse was proved in a joint paper of the author with V. Srinivas.

preprint2011arXiv

Sequences of LCT-polytopes

To r ideals on a germ of smooth variety X one attaches a rational polytope in the r-dimensional Euclidean space (the LCT-polytope) that generalizes the notion of log canonical threshold in the case of one ideal. We study these polytopes, and prove a strong form of the Ascending Chain Condition in this setting: we show that if a sequence P_m of such LCT-polytopes converges to a compact subset Q in the Hausdorff metric, then Q is equal to the intersection of all but finitely many of the P_m. Furthermore, Q is an LCT-polytope.

preprint2011arXiv

Valuations and asymptotic invariants for sequences of ideals

We study asymptotic jumping numbers for graded sequences of ideals, and show that every such invariant is computed by a suitable real valuation of the function field. We conjecture that every valuation that computes an asymptotic jumping number is necessarily quasi-monomial. This conjecture holds in dimension two. In general, we reduce it to the case of affine space and to graded sequences of valuation ideals. Along the way, we study the structure of a suitable valuation space.

preprint2010arXiv

Log canonical thresholds on varieties with bounded singularities

We consider pairs (X,A), where X is a variety with klt singularities and A is a formal product of ideals on X with exponents in a fixed set that satisfies the Descending Chain Condition. We also assume that X has (formally) bounded singularities, in the sense that it is, formally locally, a subvariety in a fixed affine space defined by equations of bounded degree. We prove in this context a conjecture of Shokurov, predicting that the set of log canonical thresholds for such pairs satisfies the Ascending Chain Condition.

preprint2010arXiv

The Monodromy Conjecture for hyperplane arrangements

The Monodromy Conjecture asserts that if c is a pole of the local topological zeta function of a hypersurface, then exp(2πi c) is an eigenvalue of the monodromy on the cohomology of the Milnor fiber. A stronger version of the conjecture asserts that every pole is a root of the Bernstein-Sato polynomial of the hypersurface. In this note we prove the weak version of the conjecture for hyperplane arrangements. Furthermore, we reduce the strong version to the following conjecture: -n/d is always a root of the Bernstein-Sato polynomial of an indecomposable essential central hyperplane arrangement of d hyperplanes in the affine n-space.

preprint2010arXiv

Toward an inductive description of singularities of pairs

Motivated by Shokurov's ACC Conjecture for log canonical thresholds, we propose an inductive point of view on singularities of pairs, in the case when the ambient variety is smooth. Our main result characterizes the log canonicity of a pair in dimension N+1 by the log canonicity of another pair (not effective, in general) in dimension N.

preprint2009arXiv

Positivity for toric vector bundles

We show that an equivariant vector bundle on a complete toric variety is nef or ample if and only if its restriction to every invariant curve is nef or ample, respectively. Furthermore, we show that nef toric vector bundles have a nonvanishing global section at every point, and deduce that the underlying vector bundle is trivial if and only if its restriction to every invariant curve is trivial. We apply our methods and results to study, in particular, the vector bundles M_L that arise as the kernel of the evaluation map on sections of L, when L is an ample line bundle. We give examples of twists of such bundles that are ample but not globally generated.

preprint2000arXiv

D-modules on Smooth Toric Varieties

Let X be a smooth toric variety. David Cox introduced the homogeneous coordinate ring S of X and its irrelevant ideal B. Extending well-known results on projective space, Cox established the following: (1) the category of quasi-coherent sheaves on X is equivalent to the category of graded S-modules modulo B-torsion, (2) the variety X is a geometric quotient of Spec(S) V(B) by a suitable torus action. We provide the D-module version of these results. More specifically, let A denote the ring of differential operators on Spec(S). We show that the category of D-modules on X is equivalent to a subcategory of graded A-modules modulo B-torsion. Additionally, we prove that the characteristic variety of a D-module is a geometric quotient of an open subset of the characteristic variety of the associated A-module and that holonomic D-modules correspond to holonomic A-modules.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Mircea Mustata

Research overview

Is this your work?

28 publications

On a conjecture of Bitoun and Schedler

Hodge filtration on local cohomology, Du Bois complex, and local cohomological dimension

The Du Bois complex of a hypersurface and the minimal exponent

Hodge ideals for Q-divisors, V-filtration, and minimal exponent

The Hilbert series of Hodge ideals of hyperplane arrangements

Hodge filtration, minimal exponent, and local vanishing

The volume of a set of arcs on a variety

The dimension of jet schemes of singular varieties

An algebraic approach to the openness conjecture of Demailly and Kollar

On the numerical dimension of pseudo-effective divisors in positive characteristic

Weight functions on non-archimedean analytic spaces and the Kontsevich-Soibelman skeleton

A Frobenius variant of Seshadri constants

Estimates for F-jumping numbers and bounds for Hartshorne-Speiser-Lyubeznik numbers

The augmented base locus in positive characteristic

The non-nef locus in positive characteristic

A finiteness property of graded sequences of ideals

IMPANGA lecture notes on log canonical thresholds

Log canonical thresholds, F-pure thresholds, and non-standard extensions

Multiplier ideals via Mather discrepancy

Ordinary varieties and the comparison between multiplier ideals and test ideals

Ordinary varieties and the comparison between multiplier ideals and test ideals II

Sequences of LCT-polytopes

Valuations and asymptotic invariants for sequences of ideals

Log canonical thresholds on varieties with bounded singularities

The Monodromy Conjecture for hyperplane arrangements

Toward an inductive description of singularities of pairs

Positivity for toric vector bundles

D-modules on Smooth Toric Varieties

See the researcher in context

Building this map preview