Enumerating log rational curves on some toric varieties

Resumo Técnico: Enumeração de Curvas Racionais Logarítmicas em Algumas Variedades Toricas

Enunciado do Problema
Este artigo aborda a enumeração de invariantes de Gromov-Witten logarítmicos de gênero 0 e domínio fixo para variedades toricas suaves e projetivas. Especificamente, busca determinar o número de aplicações de uma curva racional pontuada de domínio fixo e geral para uma variedade torica $X$ que passam pelo número máximo de pontos gerais e satisfazem multiplicidades de tangência prescritas ao longo da fronteira torica. Esses invariantes, denominados "graus de Tevelev logarítmicos" ($\text{logTev}^X_{\Gamma}$), foram estudados anteriormente por Cela–Iribar López [CIL24] usando geometria tropical, levando a conjecturas para variedades toricas específicas. Os autores visam verificar ou refutar essas conjecturas usando teoria de interseção algébrica direta em vez de combinatória tropical.

Metodologia
Os autores empregam uma abordagem direta de interseção sobre espaços de moduli de "quasimaps logarítmicos ingênuos".

1. Construção do Moduli: Para a família primária de variedades $X_{r,s,a} = \mathbb{P}(\mathcal{O}_s \oplus \mathcal{O}(-a)) \to \mathbb{P}^r$, os autores constroem uma compactificação $Q_{\Gamma}(X_{r,s,a})$ do espaço de moduli de aplicações logarítmicas $M_{\Gamma}(X_{r,s,a})$. Este espaço é realizado como uma torre de fibrados projetivos sobre um produto de retas projetivas que parametrizam as posições dos pontos de interseção da fronteira.
2. Ingênuo vs. Estável: Diferente do espaço de aplicações estáveis logarítmicas, $Q_{\Gamma}$ permite colisões arbitrárias de pontos de fronteira e não impõe estritamente condições de estabilidade, tornando-o um espaço "ingênuo". No entanto, ele admite uma descrição simples como uma torre de fibrados projetivos, facilitando cálculos explícitos de interseção.
3. Transversalidade e Torção: Um componente técnico crítico envolve analisar a transversalidade das condições de incidência. Os autores definem um algoritmo para "torcer" (twist) quasimaps que falham em serem livres de pontos de base (bpf) em aplicações com dados de tangência modificados. Eles provam que, se a interseção dos loci de incidência for não vazia, as aplicações devem satisfazer condições de dimensão específicas; caso contrário, a interseção é vazia.
4. Interseção em Excesso: No caso de blow-ups de $\mathbb{P}^r$, os autores utilizam a fórmula de interseção em excesso para computar contribuições de loci onde o número de interseção não é enumerativo (ou seja, onde a interseção não é reduzida ou não é suportada no locus esperado).

Principais Resultados

• Determinação Completa para Fibrados Projetivos: Os autores provam uma conjectura de Cela–Iribar López [CIL24, Conjectura 14] referente aos graus de Tevelev logarítmicos para $X_{r,s,a} = \mathbb{P}(\mathcal{O}_s \oplus \mathcal{O}(-a))$. Eles derivam uma fórmula explícita para $\text{logTev}^{X_{r,s,a}}_{\Gamma}$ (Teorema 1.3.1 / Teorema 4.2.1).

  • A fórmula é não nula apenas se desigualdades específicas em relação às multiplicidades de tangência $m_j$ e ao número de pontos marcados $n$ forem satisfeitas (ex: $m_j \leq n-1$).
  • Quando essas condições são satisfeitas, o invariante é dado por um produto de fatoriais, um coeficiente binomial envolvendo um inteiro derivado $k_0$, e uma potência de $a$.
  • Se as desigualdades falharem, o invariante é provado como sendo zero.
  • Este resultado generaliza computações anteriores para superfícies de Hirzebruch ($r=s=1$) e fornece uma resposta enumerativa completa para esta família de variedades toricas.

• Refutação da Conjectura para Blow-ups: Os autores refutam [CIL24, Conjectura 15], que previa os graus de Tevelev logarítmicos para o blow-up de $\mathbb{P}^r$ em $r$ pontos fixos do toro.

  • Focando no blow-up de $\mathbb{P}^2$ em 2 pontos, os autores demonstram que o valor previsto (derivado de um número de interseção tautológico em seu espaço de moduli ingênuo) nem sempre é igual à contagem geométrica real.
  • Eles constroem um contraexemplo específico (Teorema 5.2.2) onde o invariante real é não nulo, mas difere do valor conjecturado.
  • A discrepância surge porque o número de interseção no espaço de moduli ingênuo inclui contribuições de "loci em excesso" (onde as seções desaparecem identicamente) que não são enumerativas. Os autores computam explicitamente essas contribuições de excesso usando a fórmula de interseção em excesso, mostrando que elas não desaparecem em todos os casos.

Significância e Alegações
O artigo afirma resolver o problema enumerativo para uma ampla classe de variedades toricas ($X_{r,s,a}$) usando métodos de álgebra geométrica direta, contornando a complexidade combinatória dos teoremas de correspondência tropical.

• Enumeratividade: Os autores destacam que, enquanto invariantes de Gromov-Witten de domínio fixo para configurações não logarítmicas frequentemente falham em ser enumerativos (como observado em [BLL+24]), o cenário logarítmico considerado aqui produz contagens enumerativas para as variedades $X_{r,s,a}$.
• Contribuição Metodológica: O trabalho estabelece que "quasimaps logarítmicos ingênuos" fornecem um arcabouço viável para o cálculo explícito, desde que se analise cuidadosamente o comportamento de fronteira e as contribuições de interseção em excesso.
• Correção de Conjecturas: O artigo fornece uma correção definitiva para as previsões baseadas em tropical para blow-ups de espaços projetivos, demonstrando que a correspondência tropical para invariantes de domínio fixo requer uma verificação de álgebra geométrica mais sutil do que o previamente assumido.

Os autores não alegam ter resolvido o problema para todas as variedades toricas ou para gêneros superiores, mas fornecem uma solução completa para a família específica $X_{r,s,a}$ e um contraexemplo para a conjectura geral de blow-ups.