Interpolation for rational curves with secants

Resumo Técnico: Interpolação para Curvas Racionais com Secantes

Enunciado do Problema
Este artigo aborda o problema da interpolação para curvas racionais no espaço projetivo $\mathbb{P}^r$ sujeitas a uma condição de secância. Especificamente, dados os inteiros $d, k, r, s$ e um espaço linear $P_s \subset \mathbb{P}^r$, os autores investigam a existência e a enumeração de curvas racionais $f: \mathbb{P}^1 \to \mathbb{P}^r$ de grau $d$ que encontram $P_s$ com multiplicidade $k$ e passam por $n$ pontos gerais $x_1, \dots, x_n$. O estudo considera dois cenários:

1. Pontos não prescritos: Determinar o número máximo de pontos gerais pelos quais uma curva geral pode passar (Questão 1.1.1(a)).
2. Pontos prescritos: Determinar o número máximo de pontos gerais $p_i \in \mathbb{P}^1$ tais que $f(p_i) = x_i$ para $x_i$ gerais (Questão 1.1.1(b)).

Geometricamente, essas questões são reformuladas em termos da explosão (blow-up) $X_{r,s} = \text{Bl}_{P_s}(\mathbb{P}^r)$. Uma curva que encontra $P_s$ com multiplicidade $k$ corresponde a um mapa $f: \mathbb{P}^1 \to X_{r,s}$ de grau $(d, k)$. As questões reduzem-se a determinar se os mapas de avaliação a partir do espaço de módulos de tais mapas para o espaço alvo são dominantes.

Metodologia
Os autores determinam as respostas analisando os tipos de decomposição (splitting types) de dois feixes vetoriais específicos associados a um mapa geral $f$:

• O feixe normal $N_{C/X_{r,s}}$, que governa a deformação da curva dentro do espaço ambiente (relacionado a pontos não prescritos).
• O feixe tangente restrito $f^* T_{X_{r,s}}$, que governa a deformação do mapa com pontos do domínio fixos (relacionado a pontos prescritos).

A ferramenta técnica central é a propriedade de equilíbrio (balancedness). Um feixe vetorial em $\mathbb{P}^1$ é equilibrado se ele se decompõe como uma soma direta de feixes lineares cujos graus diferem em no máximo 1. Em característica 0, um feixe é equilibrado se, e somente se, satisfaz a propriedade de interpolação (ou seja, as seções se anulam em pontos gerais conforme o esperado). Os autores estendem esses resultados para característica arbitrária, incluindo a característica 2, onde surgem obstruções adicionais.

A principal abordagem metodológica é a degeneração. Os autores constroem curvas nodais singulares $C = C' \cup L$ (onde $L$ é uma reta de grau específico) e analisam os feixes normal e tangente dessas curvas singulares. Usando a teoria de modificações elementares e feixes de apontamento (pointing bundles), eles relacionam os feixes da curva singular aos feixes dos componentes suaves. Ao provar que a interpolação é uma condição aberta em famílias planas, eles deduzem as propriedades da curva suave geral a partir das curvas singulares.

Principais etapas técnicas incluem:

• Etapas Indutivas: Estabelecer que, se um feixe para grau $(d, k)$ é equilibrado (ou "quase equilibrado"), então o feixe para $(d + r - s - 1, k + 1)$ também é equilibrado. Isso envolve adicionar configurações específicas de retas à curva.
• Análise de Obstrução: Identificar condições geométricas e aritméticas específicas sob as quais o equilíbrio falha. Estas incluem:
  • Degenerescência: Quando a imagem da curva reside em um subespaço linear próprio.
  • Sequências de Projeção: Quando a inclinação (slope) do feixe tangente relativo é muito grande em comparação ao feixe normal da projeção, causando a divisão da sequência de extensão de forma desequilibrada.
  • Obstruções de Característica 2: Falhas específicas em característica 2 relacionadas ao mapa de Frobenius e à paridade dos graus, que impedem o equilíbrio mesmo quando as condições de inclinação são atendidas.

Principais Contribuições e Resultados

1. Determinação Completa dos Feixes Normais:
   O artigo fornece uma classificação completa do tipo de decomposição do feixe normal $N_{C/X_{r,s}}$ para curvas racionais gerais em $X_{r,s}$ em característica arbitrária.

   • Característica $\neq 2$: O feixe é equilibrado se, e somente se, a curva é não-degenerada e o grau $d$ satisfaz um limite inferior específico $d \ge L_{r,s}(k)$. Se $d$ for menor, o feixe se decompõe como uma soma direta do feixe tangente relativo e do feixe normal da projeção, o qual é desequilibrado.
   • Característica 2: Os autores identificam que o equilíbrio falha não apenas devido à divisão da sequência de projeção, mas também devido a obstruções herdadas do espaço projetivo ambiente $\mathbb{P}^r$ (especificamente quando $(r-1) \nmid (d-1)$) e condições aritméticas específicas sobre $d$ e $k$. O Teorema 1.4.3 afirma que estas são as únicas obstruções.

2. Determinação Completa dos Feixes Tangentes Restritos:
   O artigo determina o tipo de decomposição do feixe tangente restrito $f^* T_{X_{r,s}}$ em todas as características.

   • Ao contrário do feixe normal, o feixe tangente restrito é equilibrado se, e somente se, uma desigualdade específica envolvendo $d, k, r, s$ é satisfeita ($d \ge L^t_{r,s}(k)$). Esta condição é uniforme em todas as características.
   • Este resultado implica que o número máximo de pontos prescritos que uma curva geral pode passar é determinado uniformemente pela inclinação do feixe tangente restrito, independentemente da característica do corpo.

3. Resultados Enumerativos (Graus de Tevelev):
   No apêndice, os autores enumeram o número de tais curvas de interpolação quando o número de pontos é máximo. Eles computam os "graus de Tevelev" para $X_{r,s}$, fornecendo uma fórmula para o número de mapas que satisfazem $n$ condições de incidência gerais. Isso recupera resultados anteriores para $s=0$ e os generaliza para espaços lineares de maior dimensão.

Significância e Alegações
O artigo afirma resolver o problema da interpolação para curvas racionais com secantes em característica arbitrária. Sua significância reside em:

• Uniformidade: Estabelecer que a resposta ao problema dos pontos prescritos (Questão 1.1.1(b)) é uniforme em característica, enquanto o problema dos pontos não prescritos (Questão 1.1.1(a)) exibe comportamentos distintos em característica 2.
• Completude: Fornecer uma lista completa de obstruções ao equilíbrio, mostrando que, em característica 2, a falha do equilíbrio é inteiramente explicada pela divisão da sequência de projeção ou pela propagação do desequilíbrio do espaço projetivo ambiente.
• Generalização: Estender resultados conhecidos para curvas racionais em $\mathbb{P}^r$ (onde $k=0$) para o cenário mais complexo de curvas com condições de secância ($k>0$) em explosões de espaços projetivos.

Os autores observam explicitamente que, embora foquem em curvas racionais, os métodos e questões são relevantes para curvas gerais de gênero positivo, embora esses casos não sejam tratados neste trabalho. Os resultados são derivados rigorosamente usando técnicas de geometria algébrica, especificamente espaços de módulos, teoria de feixes vetoriais e argumentos de degeneração, sem dependência de dados experimentais ou conjecturas não comprovadas.