Generic vector fields on isolated complex hypersurface germs

TL;DR

This paper investigates holomorphic vector fields on isolated hypersurface singularities, establishing bounds, characterizations, and obstructions related to their existence and extensions, with applications to complex hypersurfaces and singular varieties.

Contribution

It provides a new characterization of generic vector fields on hypersurface germs, bounds on their indices, and criteria for extensions, advancing understanding of vector fields on singular complex varieties.

Findings

Minimal index bounded below by 1 plus Tjurina-Greuel number

Equality in index bound characterizes extendability to nondegenerate singularities

Compact singular curves with nontrivial vector fields are rational with at most two singular points

Abstract

We study holomorphic vector fields on isolated hypersurface singularities and derive global obstructions to the existence of holomorphic vector fields on compact singular varieties. For a hypersurface germ $(V,0)$ with an isolated singularity, we characterize the generic elements in the space of holomorphic vector fields with isolated singularity in terms of the GSV-index. Letting $\tau(V,0)$ denote the Tjurina-Greuel number, we prove that the minimal possible index is bounded below by $1+(-1)^{\dim(V)}\tau(V,0)$. We further prove that equality holds if and only if the vector field admits an extension to $\mathbb{C}^{n+1}$ with a nondegenerate singularity at $0$, and that such extensions, when they exist, form an open dense subset of the set of vector fields with an isolated singularity at $0$. This yields a description of the generic vector fields on weighted homogeneous hypersurface germs. As a consequence, we obtain a characterization of weighted homogeneous hypersurface germs. Also, as applications to singular hypersurfaces in complex manifolds, we derive constraints on compact singular varieties admitting holomorphic vector fields. In particular, we show that an irreducible compact singular complex curve carrying a nontrivial holomorphic vector field with zeros is rational and has at most two singular points. We further prove that, for singular surfaces in K{\"a}hler 3-folds satisfying suitable positivity assumptions on the adjoint line bundle, the geometric genus is greater of equal than the irregularity.