Generic vector fields on isolated complex hypersurface germs

Resumen Técnico: Campos Vectoriales Genéricos en Germenes de Hipersuperficies Complejas Aisladas

Planteamiento del Problema
El artículo investiga el espacio de campos vectoriales holomorfos en singularidades de hipersuperficies aisladas $(V, 0) \subset (\mathbb{C}^{n+1}, 0)$. Si bien está establecido que el espacio de germenes de campos vectoriales holomorfos en dicha singularidad es de dimensión infinita, y que el subconjunto de aquellos con una singularidad aislada en el origen es abierto y denso, las propiedades específicas de los elementos "genéricos" dentro de este espacio permanecen por caracterizarse. Específicamente, los autores buscan determinar el valor mínimo posible del índice GSV (índice de Gómez-Mont, Seade, Verjovsky) para estos campos vectoriales y comprender las condiciones geométricas bajo las cuales se alcanza dicho mínimo. Además, el trabajo tiene como objetivo extender estos hallazgos locales para derivar obstrucciones globales para la existencia de campos vectoriales holomorfos en variedades singulares compactas.

Metodología
Los autores emplean una combinación de la teoría de singularidades local y métodos topológicos globales:

1. Análisis Local mediante el Índice GSV: El estudio utiliza el índice GSV, definido como el índice de Poincaré-Hopf de una extensión continua de un campo vectorial a una fibra de Milnor local. Los autores relacionan este índice con invariantes algebraicos de la singularidad, específicamente el número de Tjurina-Greuel $\tau_0(V)$ y el número de Milnor $\mu_0(V)$.
2. Caracterización Algebraica: El núcleo de la teoría local implica analizar el ideal generado por la ecuación definitoria de la hipersuperficie $f$ y las componentes de una extensión holomorfa del campo vectorial $\tilde{v} = (v_1, \dots, v_{n+1})$. Los autores utilizan fórmulas de dimensión sobre el anillo local de germenes holomorfos $\mathcal{O}_{n+1,0}$ y propiedades de secuencias regulares para establecer cotas inferiores para el índice.
3. Extensión y No Degeneración: Una técnica central consiste en examinar si un campo vectorial sobre la hipersuperficie puede extenderse al espacio ambiente $\mathbb{C}^{n+1}$ con una singularidad aislada no degenerada en el origen.
4. Obstrucciones Globales: Para variedades compactas, los autores aplican los resultados locales sumando los índices mínimos en los puntos singulares. Utilizan el teorema de Riemann-Roch de Baum-Fulton-MacPherson y cálculos de clases de Chern para haces tangentes virtuales para relacionar estas sumas locales con invariantes topológicos globales (tales como la característica de Euler y el género geométrico).

Contribuciones y Resultados Clave

• Caracterización de Campos Vectoriales Genéricos (Teorema 1):
  Los autores demuestran que para un germen de hipersuperficie $(V, 0)$ con una singularidad aislada, el índice GSV de cualquier campo vectorial holomorfo $v$ con una singularidad aislada está acotado inferiormente por:
  $$\text{Ind}_{GSV}(v, (V, 0)) \geq 1 + (-1)^n \tau_0(V)$$
  donde $\tau_0(V)$ es el número de Tjurina-Greuel.
  Crucialmente, el artículo establece que la igualdad se cumple si y solo si el campo vectorial admite una extensión holomorfa al espacio ambiente $\mathbb{C}^{n+1}$ con una singularidad no degenerada en el origen. Además, el conjunto de tales campos vectoriales (aquellos que alcanzan el índice mínimo) forma un subconjunto abierto y denso del espacio de todos los campos vectoriales con singularidades aisladas.

• Caracterización de Germenes Homogéneos Ponderados (Teorema 2):
  El artículo proporciona una resolución parcial a una conjetura sobre la equivalencia entre la homogeneidad ponderada y la existencia de campos vectoriales específicos:

  • Para $n$ par, la existencia de un campo vectorial que se extiende al espacio ambiente con una singularidad no degenerada implica que $(V, 0)$ es homogéneo ponderado.
  • Para $n$ impar, la existencia de un campo vectorial transversal en todas partes al enlace $L_V$ implica que $(V, 0)$ es homogéneo ponderado.
    Los autores señalan que demostrar la equivalencia completa en todas las dimensiones sigue siendo una tarea abierta, pero sus resultados confirman la implicación en estos casos específicos.

• Obstrucciones Globales para Variedades Compactas (Secciones 5 y 6):
  Mediante la suma de las cotas inferiores locales, los autores derivan restricciones sobre variedades singulares compactas que admiten campos vectoriales holomorfos globales:

  • Hipersuperficies Proyectivas: Derivan una desigualdad que relaciona el grado de la hipersuperficie, el número de puntos singulares y la suma de los índices locales (Teorema 3).
  • Curvas Singulares (Teorema 4): Una curva compleja singular compacta e irreducible que admita un campo vectorial holomorfo no trivial con ceros debe ser racional (género geométrico $g=0$) y poseer a lo sumo dos puntos singulares.
  • Superficies Singulares en 3-variedades Kähler (Teorema 5): Si una superficie singular $V$ en una 3-variedad Kähler compacta $X$ admite un campo vectorial holomorfo no trivial con ceros, y el haz de líneas adjunto $\mathcal{O}_X(K_X + [V])$ es nef, entonces el género geométrico es mayor o igual que la irregularidad ($g(V) \geq q(V)$).

Significado y Afirmaciones
El artículo afirma proporcionar una descripción precisa del comportamiento "genérico" de los campos vectoriales holomorfos en singularidades de hipersuperficies aisladas, identificando el índice mínimo en términos del número de Tjurina. Esta caracterización sirve como puente entre la geometría algebraica local y la topología global.

Los autores enfatizan que sus resultados generan nuevas obstrucciones para la existencia de campos vectoriales globales en espacios singulares, un tema donde los métodos estándar para variedades lisas (que dependen del isomorfismo entre el complejo de formas regulares y el complejo de Koszul) fallan. Específicamente, el artículo demuestra que la existencia de tales campos vectoriales impone restricciones topológicas estrictas:

1. Las curvas singulares que portan tales campos son necesariamente racionales con muy pocas singularidades.
2. Las superficies singulares en entornos Kähler específicos no pueden tener irregularidad "excesiva" en relación con su género geométrico.

El trabajo también aclara la relación entre la existencia de campos vectoriales transversales (o extensiones no degeneradas) y la naturaleza homogénea ponderada de la singularidad, respondiendo parcialmente a una conjetura en el campo. Los autores presentan estos hallazgos como un paso fundamental para comprender la interacción entre el tipo de singularidad y la geometría global de las variedades singulares.