A Hopf index for isotropic sections of orthogonal bundles

Resumo Técnico: Um Índice de Hopf para Seções Isotrópicas de Fibrados Ortogonais

Enunciado do Problema
O artigo aborda o cálculo de multiplicidades de zeros de seções isotrópicas de fibrados vetoriais equipados com uma forma quadrática não degenerada. Na topologia clássica, o teorema do índice de Hopf iguala a multiplicidade de um zero de uma seção de um fibrado vetorial real orientado com um número de enrolamento (um elemento de $\pi_{2n-1}(S^{2n-1}) \cong \mathbb{Z}$). Para seções holomorfas, essa multiplicidade coincide com o comprimento do locus de zeros.

No entanto, para seções isotrópicas $s$ de um fibrado ortogonal $(E, q)$ (onde $q(s,s)=0$), a situação é mais complexa. Embora exista uma "classe de Euler de raiz quadrada" $\sqrt{e}(E, s)$ (definida via localização por coseção em [KL] e [OT1]), ela nem sempre é igual ao comprimento do locus de zeros $Z(s)$, nem sempre se comporta como uma contagem padrão de pontos invariante por deformação. Os autores destacam um contraexemplo específico (Equação 0.1) onde $Z(s)$ tem comprimento 3, mas a multiplicidade atribuída é 0. O problema central é fornecer fórmulas explícitas e computáveis para esta multiplicidade $\sqrt{e}(E, s)$ e compreender suas propriedades topológicas e algébricas, bem como entender por que ela pode desaparecer ou diferir do comprimento esquemático.

Metodologia
Os autores desenvolvem um conjunto de oito análogos ao clássico teorema do índice de Hopf, adaptados especificamente para seções isotrópicas de fibrados $SO(2n, \mathbb{C})$. A metodologia envolve:

1. Análise Topológica: Utilizando os grupos de homotopia do espaço de vetores isotrópicos. Para $n=2$, o espaço de retas isotrópicas é isomorfo a $\mathbb{P}^1 \times \mathbb{P}^1$, permitindo que o índice seja refinado de um único inteiro para um par $(d_1, d_2)$.
2. Técnicas Homológicas e Cohomológicas: Empregando o mapa de Hurewicz, sequências espectrais de Leray e teoria de interseção em quadricas para relacionar classes de homotopia a classes de homologia.
3. Geometria Algébrica e K-Teoria: Utilizando o complexo de Koszul e álgebras de Clifford. Especificamente, os autores utilizam o complexo 2-periódico $M_\bullet$ formado pela multiplicação de Clifford por $s$ no módulo spinor $M = M_+ \oplus M_-$.
4. Deformação e Localização: Analisando deformações de seções para zeros simples e aplicando técnicas de localização de toro (cohomologia equivariante) para computar invariantes.
5. Localização por Coseção: Comparando suas novas fórmulas com a definição original de $\sqrt{e}(E, s)$ via construção de localização por coseção de Kiem-Li [KL], demonstrando que as novas fórmulas são frequentemente superiores do ponto de vista computacional.

Principais Contribuições e Resultados

O artigo estabelece que o índice de Hopf ortogonal $\sqrt{e}(E, s)$ pode ser computado através de oito fórmulas distintas (rotuladas como OH1–OH8), que são provadas como equivalentes:

• Fórmulas Topológicas (OH1, OH2): O índice é o grau da projeção da seção para a esfera da parte real do fibrado, ou a classe de homotopia da seção projetada para a quadrica de retas isotrópicas $Q \subset \mathbb{P}(E)$. Para $n=2$, isso se refina para um par de inteiros $(d_1, d_2) \in \mathbb{Z} \oplus \mathbb{Z}$ tal que $\sqrt{e}(E, s) = d_1 - d_2$.
• Fórmulas Holomorfas e de Deformação (OH3, OH4): Embora o índice seja igual a $\pm \text{comprimento}(Z(s))$ se a seção fatorar através de um subfibrado isotrópico maximal, isso falha de modo geral. Os autores fornecem uma fórmula envolvendo uma deformação para zeros simples, somando sinais determinados pelo subespaço isotrópico maximal gerado pelo diferencial em cada zero.
• Fórmulas de Homogeneidade e Cone Normal (OH5, OH6): Para seções homogêneas, o índice é expresso em termos dos graus do mapa para os componentes da quadrica. Para seções gerais, é computado via o cone normal projetivo $P(C_{Z(s)}/C^n)$.
• Fórmula K-teórica (OH7): O índice é a diferença nos comprimentos das camadas de cohomologia do complexo de Clifford 2-periódico: $\sqrt{e}(E, s) = \text{comprimento } H^+(M_\bullet) - \text{comprimento } H^-(M_\bullet)$.
• Localização de Toro (OH8): Uma fórmula equivariante expressando o índice como uma razão de classes de Euler equivariantes.

Refinamento para $n=2$
Uma parte significativa do artigo é dedicada ao caso $n=2$. Aqui, o índice se refina para um par $(d_1, d_2)$. Os autores provam que $d_1$ e $d_2$ correspondem aos comprimentos das camadas de cohomologia $H^+(M_\bullet)$ e $H^-(M_\bullet)$ respectivamente. Crucialmente, enquanto a diferença $d_1 - d_2$ é a contagem virtual invariante por deformação, os termos individuais $d_1$ e $d_2$ não são necessariamente invariantes por deformação no caso geral, embora o sejam para $n=2$ sob deformações isotrópicas holomorfas.

Exemplo de Execução
O artigo utiliza repetidamente a seção $s = (x^2, y^2, xy, -xy)$ sobre $\mathbb{C}^2$ com a forma quadrática $XY+ZW$.

• O locus de zeros $Z(s)$ tem comprimento 3.
• Usando a abordagem K-teórica, os autores calculam que $H^+(M_\bullet)$ e $H^-(M_\bullet)$ têm comprimentos 2 e 2, respectivamente.
• O índice resultante é $2 - 2 = 0$.
• Isso demonstra explicitamente que $\sqrt{e}(E, s)$ pode desaparecer mesmo quando o locus de zeros não é vazio e possui comprimento positivo, explicando a falha da invariância por deformação ingênua.

Significância e Aplicações

O artigo reivindica significância em duas áreas primárias da geometria algébrica e física matemática:

1. Ciclos Virtuais Localizados por Coseção: Os resultados fornecem um conjunto de ferramentas práticas para computar os graus de ciclos virtuais localizados por coseção, que são usados para definir invariantes enumerativos quando o espaço moduli possui uma coseção que desaparece em um locus de dimensão esperada. O artigo mostra que esses invariantes podem ser zero mesmo para espaços moduli não vazios.
2. Ciclos Virtuais DT4: O trabalho aplica-se à definição de invariantes de Donaldson-Thomas para 4-dobras de Calabi-Yau (teoria DT4). Neste contexto, o espaço moduli de feixes estáveis carrega uma estrutura simplética deslocada em $(-2)$. O artigo observa que, para espaços moduli DT4 gerais, a contagem virtual pode ser zero ou negativa, comportando-se mais como uma contagem real (onde $x^2-a=0$ pode ter 0 ou 2 soluções) do que uma contagem complexa. No entanto, no caso especial onde o espaço moduli é um fibrado cotangente deslocado em $(-2)$ (por exemplo, 4-dobras Calabi-Yau locais), a teoria recupera o padrão ciclo virtual de Behrend-Fantechi, comportando-se como uma contagem complexa.

Os autores concluem que a "moral" deste trabalho é que contar na presença de uma coseção (como em DT4) é fundamentalmente diferente da geometria enumerativa complexa padrão, frequentemente resultando em contribuições zero ou negativas, e que o índice de Hopf ortogonal fornece o arcabouço correto para compreender e computar esses fenômenos.