Curves in projective space and RSK

Resumo Técnico: Curvas no Espaço Projetivo e Correspondência RSK

1. O Problema: Graus Tevelev Geométricos

O artigo aborda o problema de enumerar mapas de curvas algébricas suaves e projetivas para o espaço projetivo complexo $\mathbb{P}^r$. Especificamente, o foco está nos Graus Tevelev Geométricos ($Tev_{g,n,d}^{\mathbb{P}^r}$), que contam o número de mapas de grau $d$, $f: C \to \mathbb{P}^r$, de uma curva geral de gênero $g$, que interpola um número máximo de pontos fixos e gerais.

• Configuração: Seja $C$ uma curva de gênero $g$ e $p_1, \dots, p_n \in C$ pontos marcados. Sejam $x_1, \dots, x_n \in \mathbb{P}^r$ pontos gerais.
• Condição de Contagem: O número de pontos $n$ é escolhido para ser o máximo possível para que tais mapas existam e formem um conjunto finito e transversal:
  $$n = \frac{r+1}{r} \cdot d - g + 1$$
• Objetivo: Determinar o valor de $Tev_{g,n,d}^{\mathbb{P}^r}$, que representa o número de cópias de uma curva pontuada geral no espaço $r$-dimensional que passam por $n$ pontos dados.

2. Contexto e Resultados Anteriores

Antes deste trabalho, os valores de $Tev_{g,n,d}^{\mathbb{P}^r}$ eram conhecidos apenas através de cálculos de Cálculo de Schubert (geometria algébrica):

• Fórmulas de Interseção: Os graus são expressos como números de interseção na variedade de Grassmanniana $Gr(r+1, d+1)$, envolvendo classes de Schubert $\sigma_\lambda$.
• Caso Especial (Grau Alto): Quando $d \ge rg + r$, a fórmula simplifica-se para $(r+1)^g$. Este resultado coincide com contagens virtuais da teoria de Gromov-Witten.
• Limitação: A explicação geométrica para a igualdade entre as fórmulas complexas de interseção e a fórmula simples $(r+1)^g$ era ausente em termos puramente combinatórios. Trabalhos anteriores de Gillespie-Reimer-Berg [GRB23] forneceram uma prova combinatória apenas para o caso de grau alto ($d \ge g+r$), utilizando a correspondência RSK (Robinson-Schensted-Knuth) para mapear tabelas para palavras.

3. Metodologia

Os autores estendem a abordagem de Gillespie-Reimer-Berg para cobrir todo o intervalo de graus (incluindo o caso "especial" de Brill-Noether onde $d < g+r$), onde a bijeção simples para todas as palavras de $(r+1)$-ário não se mantém. A metodologia segue três etapas principais:

1. Tradução para Tabelas L (L-tableaux):

   • Os autores utilizam a interpretação geométrica de $Tev_{g,n,d}^{\mathbb{P}^r}$ como o número de L-tableaux (tabelas preenchidas com inteiros azuis e vermelhos em uma grade) que satisfazem restrições específicas de "strip" (faixa) e suporte.
   • As restrições envolvem a ausência de certos padrões de "strip" $(i, i+1)$ no tableau azul.

2. Transformação em Pares de Tabelas (P, Q):

   • O artigo define uma bijeção entre os L-tableaux restritos e pares de tabelas $(P, Q)$ de mesma forma.
   • Tableau Azul ($P$): É ajustado (truncado ou expandido) para ter tamanho $g$, mantendo restrições de largura e ausência de faixas específicas.
   • Tableau Vermelho ($R$): É convertido em uma tabela padrão (SYT, $Q$) através de uma bijeção $\phi$ que preenche lacunas em um retângulo $(r+1) \times g$.
   • O resultado é um conjunto de pares $(P, Q)$ com formas específicas e restrições de conteúdo.

3. Aplicação da Correspondência RSK:

   • Aplica-se o algoritmo RSK aos pares $(P, Q)$ para gerar palavras $(r+1)$-árias de comprimento $g$.
   • A chave da prova é caracterizar o subconjunto de palavras que correspondem aos pares $(P, Q)$ restritos.
   • Utilizam-se dois teoremas fundamentais da teoria das tabelas:
     • Teorema de Greene: Relaciona o formato das tabelas de inserção/recording com o comprimento de subsequências crescentes e decrescentes na palavra.
     • Análise de Equivalência de Knuth: Relaciona a presença de "strips" $(i, i+1)$ no tableau de inserção com a existência de subsequências específicas na palavra.

4. Resultados Principais (Teorema 1.1)

O resultado central do artigo é uma interpretação combinatória positiva e explícita para os graus Tevelev em todo o intervalo de parâmetros.

Teorema 1.1: Sob a condição de contagem $n = \frac{r+1}{r}d - g + 1$, o número $Tev_{g,n,d}^{\mathbb{P}^r}$ é igual ao número de palavras $(r+1)$-árias de comprimento $g$ que satisfazem simultaneamente três condições:

1. Condição de Subsequências Decrescentes: A palavra possui um conjunto de pelo menos $g + r - d$ subsequências decrescentes disjuntas de comprimento $r+1$.
   • Nota: Se $d \ge g+r$, esta condição é vazia (automaticamente satisfeita).
2. Condição de Comprimento de Subsequência Não-Decrescente: A palavra não possui nenhuma subsequência não-decrescente de comprimento maior que $d/r$.
3. Condição de Subsequência $(i, i+1)$: A palavra não possui nenhuma subsequência não-decrescente formada apenas pelos valores $i$ e $i+1$ de comprimento $d/r$.

Recuperação de Casos Conhecidos:

• Quando $d \ge rg + r$, todas as três condições tornam-se vazias (ou trivialmente satisfeitas para todas as palavras), recuperando o resultado clássico $Tev = (r+1)^g$.
• Quando $d < rg + r$, as condições filtram um subconjunto estrito das $(r+1)^g$ palavras possíveis, explicando por que o número de curvas é menor que a contagem virtual nesses casos.

5. Contribuições e Significância

• Prova Combinatória Completa: O artigo fornece a primeira prova combinatória direta e positiva para os graus Tevelev geométricos em todo o espectro de graus, não apenas no regime de grau alto.
• Interpretação Positiva: Transforma uma fórmula de interseção complexa (envolvendo classes de Schubert e integrais sobre Grassmannianas) em uma contagem de palavras com restrições locais claras. Isso oferece uma compreensão mais profunda da estrutura combinatória subjacente à geometria enumerativa.
• Conexão com Teoria de Gromov-Witten: O trabalho esclarece a relação entre contagens geométricas reais e contagens virtuais. Mostra que a diferença entre os dois regimes (quando $d < rg+r$) corresponde exatamente à eliminação de palavras que violam as condições de "strip" e subsequência, que geometricamente correspondem a mapas degenerados ou contráteis.
• Generalização de Trabalhos Anteriores: Estende significativamente o trabalho de Gillespie-Reimer-Berg, lidando com a dicotomia entre os regimes "gerais" e "especiais" de Brill-Noether através de modificações na manipulação das tabelas (adição/remoção de colunas).
• Aplicações Específicas: O artigo discute casos particulares, como $r=1$, onde o problema se reduz a caminhos de reticulado e números de Catalan, conectando-se a resultados clássicos de Castelnuovo.

Em suma, o artigo estabelece uma ponte rigorosa entre a geometria enumerativa de curvas em espaços projetivos e a combinatória de palavras via o algoritmo RSK, oferecendo uma nova ferramenta poderosa para entender e calcular invariantes geométricos complexos.