Table of Contents
Fetching ...

V-filtrations and minimal exponents for locally complete intersection singularities

Qianyu Chen, Bradley Dirks, Mircea Mustaţă, Sebastián Olano

Abstract

We define and study a notion of minimal exponent for a locally complete intersection subscheme $Z$ of a smooth complex algebraic variety $X$, extending the invariant defined by Saito in the case of hypersurfaces. Our definition is in terms of the Kashiwara-Malgrange $V$-filtration associated to $Z$. We show that the minimal exponent describes how far the Hodge filtration and order filtration agree on the local cohomology $H^r_Z({\mathcal O}_X)$, where $r$ is the codimension of $Z$ in $X$. We also study its relation to the Bernstein-Sato polynomial of $Z$. Our main result describes the minimal exponent of a higher codimension subscheme in terms of the invariant associated to a suitable hypersurface; this allows proving the main properties of this invariant by reduction to the codimension $1$ case. A key ingredient for our main result is a description of the Kashiwara-Malgrange $V$-filtration associated to any ideal $(f_1,\ldots,f_r)$ in terms of the microlocal $V$-filtration associated to the hypersurface defined by $\sum_{i=1}^rf_iy_i$.

V-filtrations and minimal exponents for locally complete intersection singularities

Abstract

We define and study a notion of minimal exponent for a locally complete intersection subscheme of a smooth complex algebraic variety , extending the invariant defined by Saito in the case of hypersurfaces. Our definition is in terms of the Kashiwara-Malgrange -filtration associated to . We show that the minimal exponent describes how far the Hodge filtration and order filtration agree on the local cohomology , where is the codimension of in . We also study its relation to the Bernstein-Sato polynomial of . Our main result describes the minimal exponent of a higher codimension subscheme in terms of the invariant associated to a suitable hypersurface; this allows proving the main properties of this invariant by reduction to the codimension case. A key ingredient for our main result is a description of the Kashiwara-Malgrange -filtration associated to any ideal in terms of the microlocal -filtration associated to the hypersurface defined by .
Paper Structure (7 sections, 23 theorems, 179 equations)

This paper contains 7 sections, 23 theorems, 179 equations.

Key Result

Theorem 1.1

With the above notation, if $g=\sum_{i=1}^rf_iy_i\in\mathcal{O}_Y(Y)$, then

Theorems & Definitions (68)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Theorem 1.6
  • Corollary 1.7
  • Remark 2.1
  • Lemma 3.1
  • proof
  • Proposition 3.2
  • ...and 58 more