Abstract:We extend the Hirzebruch-Milnor class of a hypersurface $X$ to the case where the normal bundle is nontrivial and $X$ cannot be defined by a global function, using the associated line bundle and the graded quotients of the monodromy filtration. The earlier definition requiring a global defining function of $X$ can be applied rarely to projective hypersurfaces with non-isolated singularities. Indeed, it is surprisingly difficult to get a one-parameter smoothing with total space smooth without destroying the singularities by blowing-ups (except certain quite special cases). As an application, assuming the singular locus is a projective variety, we show that the minimal exponent of a hypersurface can be captured by the spectral Hirzebruch-Milnor class, and higher du~Bois and rational singularities of a hypersurface are detectable by the unnormalized Hirzebruch-Milnor class. Here the unnormalized class can be replaced by the normalized one in the higher du~Bois case, but for the higher rational case, we must use also the decomposition of the Hirzebruch-Milnor class by the action of the semisimple part of the monodromy (which is equivalent to the spectral Hirzebruch-Milnor class). We cannot extend these arguments to the non-projective compact case by Hironaka's example.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to extend the definition of Hirzebruch - Milnor classes so that it is applicable to hypersurfaces with non - trivial normal bundles, and to explore the applications of these classes in detecting higher - order du Bois and rational singularities. Specifically:
1. **Extension of the definition of Hirzebruch - Milnor classes**:
- Traditionally, the definition of Hirzebruch - Milnor classes requires that the hypersurface \(X\) can be defined by a global function. However, this definition is very limited when dealing with projective hypersurfaces with non - isolated singularities. Therefore, the author proposes a new method, using line bundles associated with \(X\) and one - parameter homology filtration quotients to define Hirzebruch - Milnor classes, thus expanding their scope of application.
2. **Detection of higher - order du Bois and rational singularities**:
- The paper shows how to detect higher - order du Bois and rational singularities of hypersurfaces through unnormalized Hirzebruch - Milnor classes. Specifically, if the hypersurface \(X\) has only \(k\)-du Bois singularities, then certain parts of its Hirzebruch - Milnor class must be zero. Similarly, for \(k\)-rational singularities, there are corresponding conditions.
3. **Application of the minimum exponent**:
- The author also proves that the minimum exponent of a hypersurface can be captured by the spectral Hirzebruch - Milnor class. This provides a new tool for studying the singularities of hypersurfaces.
### Main Theorems
1. **Theorem 1**:
- Let \(X\) be a hypersurface in a smooth variety \(Y\), \(k\in\mathbb{N}\). If \(X\) has only \(k\)-du Bois singularities, then
\[
M_y(X)(p) = 0\quad(\forall p\leq k),
\]
\[
M_{\text{un}}_y(X)(p) = 0\quad(\forall p\leq k).
\]
- These two properties are equivalent. If \(\text{Sing}X\) is a projective variety, then the converse also holds.
2. **Theorem 2**:
- Let \(X\) be a hypersurface in a smooth variety \(Y\), \(k\in\mathbb{N}\). If \(X\) has only \(k\)-rational singularities, then
\[
M_y(X)(p) = 0\quad(\forall p\leq k),\quad M^{\{1\}}_y(X)(k + 1)=0,
\]
\[
M_{\text{un}}_y(X)(p) = 0\quad(\forall p\geq d_X - k).
\]
- If \(\text{Sing}X\) is a projective variety, then the converse also holds.
3. **Theorem 3**:
- Let \(X\) be a hypersurface in a smooth variety \(Y\), \(\alpha\in\mathbb{Q}\). If \(\alpha <\tilde{\alpha}_X\), then
\[
M^{\{\lambda\}}_y(X)(p) = 0\quad\text{for any}\quad p,\lambda\quad\text{satisfying}\quad p+\ell(\lambda)\leq\alpha.
\]
- If \(\text{Sing}X\) is a projective variety, then the converse also holds.
4. **Theorem 4**:
- Let \(X\) be a smooth variety \(Y\)