Generic vector fields on isolated complex hypersurface germs

Resumo Técnico: Campos Vetoriais Genéricos em Germes de Hipersuperfícies Complexas Isoladas

Enunciado do Problema
O artigo investiga o espaço de campos vetoriais holomorfos em singularidades de hipersuperfícies isoladas $(V, 0) \subset (\mathbb{C}^{n+1}, 0)$. Embora seja estabelecido que o espaço de germes de campos vetoriais holomorfos em tal singularidade é de dimensão infinita, e que o subconjunto daqueles com uma singularidade isolada na origem é aberto e denso, as propriedades específicas de elementos "genéricos" dentro deste espaço permanecem por serem caracterizadas. Especificamente, os autores buscam determinar o valor mínimo possível do índice GSV (índice de Gómez-Mont, Seade, Verjovsky) para estes campos vetoriais e compreender as condições geométricas sob as quais este mínimo é atingido. Além disso, o trabalho visa estender estas descobertas locais para derivar obstruções globais para a existência de campos vetoriais holomorfos em variedades singulares compactas.

Metodologia
Os autores empregam uma combinação de teoria de singularidades local e métodos topológicos globais:

1. Análise Local via Índice GSV: O estudo utiliza o índice GSV, definido como o índice de Poincaré-Hopf de uma extensão contínua de um campo vetorial a uma fibra de Milnor local. Os autores relacionam este índice a invariantes algébricos da singularidade, especificamente o número de Tjurina-Greuel $\tau_0(V)$ e o número de Milnor $\mu_0(V)$.
2. Caracterização Algébrica: O núcleo da teoria local envolve analisar o ideal gerado pela equação definidora da hipersuperfície $f$ e as componentes de uma extensão holomorfa do campo vetorial $\tilde{v} = (v_1, \dots, v_{n+1})$. Os autores utilizam fórmulas de dimensão sobre o anel local de germes holomorfos $\mathcal{O}_{n+1,0}$ e propriedades de sequências regulares para estabelecer limites inferiores para o índice.
3. Extensão e Não-Degenerescência: Uma técnica central é examinar se um campo vetorial na hipersuperfície pode ser estendido ao espaço ambiente $\mathbb{C}^{n+1}$ com uma singularidade isolada não-degenerada na origem.
4. Obstruções Globais: Para variedades compactas, os autores aplicam os resultados locais somando os índices mínimos nos pontos singulares. Eles utilizam o teorema de Riemann-Roch de Baum-Fulton-MacPherson e cálculos de classes de Chern para fibrados tangentes virtuais para relacionar estas somas locais a invariantes topológicos globais (tais como a característica de Euler e o gênero geométrico).

Principais Contribuições e Resultados

• Caracterização de Campos Vetoriais Genéricos (Teorema 1):
  Os autores provam que, para um germe de hipersuperfície $(V, 0)$ com uma singularidade isolada, o índice GSV de qualquer campo vetorial holomorfo $v$ com uma singularidade isolada é limitado inferiormente por:
  $$\text{Ind}_{GSV}(v, (V, 0)) \geq 1 + (-1)^n \tau_0(V)$$
  onde $\tau_0(V)$ é o número de Tjurina-Greuel.
  Crucialmente, o artigo estabelece que a igualdade vale se e somente se o campo vetorial admitir uma extensão holomorfa ao espaço ambiente $\mathbb{C}^{n+1}$ com uma singularidade não-degenerada na origem. Além disso, o conjunto de tais campos vetoriais (aqueles que atingem o índice mínimo) forma um subconjunto aberto e denso do espaço de todos os campos vetoriais com singularidades isoladas.

• Caracterização de Germes Homogêneos Ponderados (Teorema 2):
  O artigo fornece uma resolução parcial para uma conjectura relativa à equivalência entre homogeneidade ponderada e a existência de campos vetoriais específicos:

  • Para $n$ par, a existência de um campo vetorial que se estende ao espaço ambiente com uma singularidade não-degenerada implica que $(V, 0)$ é homogeneamente ponderado.
  • Para $n$ ímpar, a existência de um campo vetorial transversal em toda parte ao link $L_V$ implica que $(V, 0)$ é homogeneamente ponderado.
    Os autores observam que provar a equivalência completa em todas as dimensões permanece uma tarefa aberta, mas seus resultados confirmam a implicação nestes casos específicos.

• Obstruções Globais para Variedades Compactas (Seções 5 e 6):
  Ao somar os limites inferiores locais, os autores derivam restrições para variedades singulares compactas que admitem campos vetoriais holomorfos globais:

  • Hipersuperfícies Projetivas: Eles derivam uma desigualdade relacionando o grau da hipersuperfície, o número de pontos singulares e a soma dos índices locais (Teorema 3).
  • Curvas Singulares (Teorema 4): Uma curva complexa singular compacta irredutível que admite um campo vetorial holomorfo não-trivial com zeros deve ser racional (gênero geométrico $g=0$) e possuir no máximo dois pontos singulares.
  • Superfícies Singulares em 3-folhas Kähler (Teorema 5): Se uma superfície singular $V$ em uma 3-folha Kähler compacta $X$ admite um campo vetorial holomorfo não-trivial com zeros, e o fibrado de linha adjunto $\mathcal{O}_X(K_X + [V])$ é nef, então o gênero geométrico é maior ou igual à irregularidade ($g(V) \geq q(V)$).

Significado e Afirmações
O artigo afirma fornecer uma descrição precisa do comportamento "genérico" de campos vetoriais holomorfos em singularidades de hipersuperfícies isoladas, identificando o índice mínimo em termos do número de Tjurina. Esta caracterização serve como uma ponte entre a geometria algébrica local e a topologia global.

Os autores enfatizam que seus resultados produzem novas obstruções para a existência de campos vetoriais globais em espaços singulares, um tópico onde métodos padrão para variedades suaves (baseados no isomorfismo entre o complexo de formas regulares e o complexo de Koszul) falham. Especificamente, o artigo demonstra que a existência de tais campos vetoriais impõe restrições topológicas estritas:

1. Curvas singulares que carregam tais campos são necessariamente racionais com muito poucos pontos singulares.
2. Superfícies singulares em ambientes Kähler específicos não podem ter irregularidade "excessiva" em relação ao seu gênero geométrico.

O trabalho também esclarece a relação entre a existência de campos vetoriais transversais (ou extensões não-degeneradas) e a natureza homogeneamente ponderada da singularidade, respondendo parcialmente a uma conjectura no campo. Os autores apresentam estas descobertas como um passo fundamental para compreender a interação entre o tipo de singularidade e a geometria global das variedades singulares.