Related papers: An algorithm for Hodge ideals

In this paper, we prove a Beilinson-type formula for the V-filtration of Kashiwara and Malgrange on a complex mixed Hodge module, using Hodge filtrations on the localization. Our formula expresses the V-filtration as the filtered D-module…

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…

We give a Hodge-theoretic interpretation of the multiplier ideal of an effective divisor on a smooth complex variety. More precisely, we show that the associated graded coherent sheaf with respect to the jumping-number filtration can be…

We associate a family of ideal sheaves to any Q-effective divisor on a complex manifold, called higher multiplier ideals, using the theory of mixed Hodge modules and V-filtrations. This family is indexed by two parameters, an integer…

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…

We give an explicit formula for the Hodge filtration on the $\mathscr{D}_X$-module $O_X(*Z)f^{1-\alpha}$ associated to the effective $\mathbb{Q}$-divisor $D=\alpha\cdot Z$, where $0<\alpha\le1$ and $Z=(f=0)$ is an irreducible hypersurface…

We consider the Hodge filtration on the sheaf of meromorphic functions along free divisors for which the logarithmic comparison theorem holds. We describe the Hodge filtration steps as submodules of the order filtration on a cyclic…

We show that the Hodge ideals in the sense of Mustata and Popa are quite closely related to the induced microlocal V-filtration on the structure sheaf, defined by using the microlocalization of the V-filtration of Kashiwara and Malgrange.…

We use methods from birational geometry to study the Hodge and weight filtrations on the localization along a hypersurface. We focus on the lowest piece of the Hodge filtration of the submodules arising from the weight filtration. This…

We study the Hodge and weight filtrations on the localization along a hypersurface, using methods from birational geometry and the $V$-filtration induced by a local defining equation. These filtrations give rise to ideal sheaves called…

We prove results concerning the behavior of Hodge ideals under restriction to hypersurfaces or fibers of morphisms, and addition. The main tool is the description of restriction functors for mixed Hodge modules by means of the…

We determine explicitly the Hodge ideals for the determinant hypersurface as an intersection of symbolic powers of determinantal ideals. We prove our results by studying the Hodge and weight filtrations on the mixed Hodge module O_X(*Z) of…

We present an algorithm for computing discriminants and prime ideal decomposition in number fields. The algorithm is a refinement of a p-adic factorization method based on Newton polygons of higher order. The running-time and memory…

We extend previous work to the case of $\mathbb{Q}$-divisors. Namely, for certain parametrically prime holomorphic functions $f$ and $\alpha \geq 0$, we obtain an explicit expression for the Hodge filtration on…

Musta\c{t}\u{a} a and Popa introduce the notion of Hodge ideals for an effective $\mathbb{Q}$-divisor $D$ and prove a vanishing theorem for Hodge ideals, which generalizes Nadel vanishing for multiplier ideals. However, their proof needs an…

We propose new quantum algorithms to solve the regulator and the principal ideal problem in a real-quadratic number field. We improve the algorithms proposed by Hallgren by using two different techniques. The first improvement is the usage…

We develop a probabilistic algorithm for computing elimination ideals of likelihood equations, which is for larger models by far more efficient than directly computing Groebner bases or the interpolation method proposed in the first…

For an ideal $I\subseteq\mathbb{R}[x]$ given by a set of generators, a new semidefinite characterization of its real radical $I(V_\mathbb{R}(I))$ is presented, provided it is zero-dimensional (even if $I$ is not). Moreover we propose an…

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 $\pi$-antieffective divisors, generalizing…

This paper presents some algorithmic techniques to compute explicitly the noetherian operators associated to a class of ideals and modules over a polynomial ring. The procedures we include in this work can be easily encoded in computer…