arXiv subjects

Bradley Dirks

Publications and source records attributed to Bradley Dirks.

23 records · Page 2Linked to original sources

arXiv2023

The minimal exponent and $k$-rationality for local complete intersections

We show that if $Z$ is a local complete intersection subvariety of a smooth complex variety $X$, of pure codimension $r$, then $Z$ has $k$-rational singularities if and only if $\widetildeα(Z)>k+r$, where $\widetildeα(Z)$ is the minimal exponent of $Z$. We also characterize this condition in terms of the Hodge filtration on the intersection cohomology Hodge module of $Z$. Furthermore, we show that if $Z$ has $k$-rational singularities, then the Hodge filtration on the local cohomology sheaf $\mathcal{H}^r_Z(\mathcal{O}_X)$ is generated at level $\dim(X)-\lceil \widetildeα(Z)\rceil-1$ and, assuming that $k\geq 1$ and $Z$ is singular, of dimension $d$, that $\mathcal{H}^k(\underlineΩ_Z^{d-k})\neq 0$. All these results have been known for hypersurfaces in smooth varieties.

math.AG↗

arXiv2023

On $V$-filtration, Hodge filtration and Fourier transform

For $i : Z \to X$ a closed immersion of smooth varieties, we study how the $V$-filtration along $Z$ and the Hodge filtration on a mixed Hodge module $M$ on $X$ interact with each other. We also give a formula for the functors $i^*$, $i^!$ in terms of this $V$-filtration. As applications, we obtain results on the Hodge filtration of monodromic mixed Hodge modules and we give a Hodge theoretic proof of Skoda's theorem on multiplier ideals. Finally, we use the results to study the Fourier-Laplace transform of a monodromic mixed Hodge module.

math.AG↗

arXiv2021

Minimal exponents of hyperplane sections: a conjecture of Teissier

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.

math.AG↗

arXiv2021

Upper bounds for roots of B-functions, following Kashiwara and Lichtin

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.

math.AG↗

arXiv2020

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.

math.AG↗