Tschirnhausen bundles of sextic covers of $\mathbb{P}^1$

Resumo Técnico: Feixes de Tschirnhausen de Coberturas Sexticas de P1

1. O Problema: O Problema de Realização de Tschirnhausen

O artigo aborda um problema fundamental na geometria algébrica: a realização de invariantes escrolares.

• Contexto: Dada uma curva projetiva suave e irredutível $C$ de gênero $g$ sobre $\mathbb{C}$, equipada com um morfismo finito $\pi: C \to \mathbb{P}^1$ de grau $d$, o feixe direto da estrutura $\pi_* \mathcal{O}_C$ é um feixe vetorial sobre $\mathbb{P}^1$.
• Definição: Pelo teorema de Birkhoff-Grothendieck, este feixe se decompõe em uma soma direta de feixes de linha. O feixe de Tschirnhausen é definido como $E_\pi := (\pi_* \mathcal{O}_C / \mathcal{O}_{\mathbb{P}^1})^\vee$.
• Invariantes: Os graus dos feixes de linha na decomposição, denotados por $\vec{e}_\pi = (e_1, \dots, e_{d-1})$ com $e_1 \le \dots \le e_{d-1}$, são chamados de invariantes escrolares.
• Questão Central: Quais $(d-1)$-tuplas de inteiros $\vec{e} \in \mathbb{Z}^{d-1}$ surgem como invariantes escrolares de uma cobertura suave e irredutível de grau $d$?

Para graus $d \le 5$, a resposta é conhecida. Para $d=6$ (o caso sextico), o problema permanecia aberto, especialmente porque $d=6$ é composto, o que introduz complexidades adicionais relacionadas a subcoberturas.

2. Metodologia e Abordagem

Os autores utilizam uma combinação de teoria de feixes vetoriais, geometria algébrica de curvas e análise combinatória de desigualdades lineares. A estratégia divide-se em duas partes principais:

A. Restrições Necessárias (O "Somente Se")
Os autores demonstram que as restrições conhecidas na literatura (derivadas da estrutura multiplicativa do anel $\pi_* \mathcal{O}_C$) não são suficientes para $d=6$.

• Análise de Fatoração: Eles analisam como a estrutura algébrica de $\pi_* \mathcal{O}_C$ impõe desigualdades lineares nos invariantes.
• Novas Restrições: Mostram que se a cobertura $\pi$ fatora através de uma subcobertura (ex: uma cobertura de grau 2 seguida de uma de grau 3, ou vice-versa), a estrutura de álgebra sobre a curva intermediária impõe novas desigualdades lineares que não são capturadas apenas pelas condições de primitividade.
• Construção de Contraexemplos: Demonstram que existem quintuplas que satisfazem as condições gerais de [Vem22] mas não correspondem a nenhuma curva sextica, provando a insuficiência das condições anteriores.

B. Realização (O "Se")
Para provar que todas as quintuplas que satisfazem as novas restrições são realizáveis, os autores utilizam uma estratégia de construção explícita via fatoração:

• Estratégia: Em vez de tentar construir curvas primitivas diretamente (o que é difícil), eles mostram que todas as quintuplas admissíveis podem ser realizadas por coberturas que não são primitivas (ou seja, que fatoram através de subcoberturas).
• Casos de Fatoração:
  1. Cobertura Dupla de uma Tripla: $\pi = \tau \circ \gamma$, onde $\tau: X \to \mathbb{P}^1$ é de grau 3 e $\gamma: C \to X$ é de grau 2.
  2. Cobertura Tripla de uma Dupla: $\pi = \tau \circ \gamma$, onde $\tau: X \to \mathbb{P}^1$ é de grau 2 (hiperelíptica) e $\gamma: C \to X$ é de grau 3.
• Ferramentas:
  • Para o caso de grau 3 sobre grau 2: Utilizam a teoria de Brill-Noether para curvas trigonais e a parametrização de álgebras cúbicas.
  • Para o caso de grau 2 sobre grau 3: Utilizam a teoria de feixes de linha em curvas hiperelípticas e o teorema de Bertini para garantir a suavidade da curva resultante.

3. Contribuições e Resultados Principais

Definição das Regiões Admissíveis:
Os autores definem dois subconjuntos de $\mathbb{Z}^5$, $P_2$ e $P_3$, baseados em desigualdades lineares derivadas da estrutura multiplicativa de subcoberturas de grau 2 e 3, respectivamente.

• $P_2$: Restrições associadas a subcoberturas de grau 2.
• $P_3$: Restrições associadas a subcoberturas de grau 3.
• $Q$: Um conjunto de pontos em $P_2 \setminus P_3$ que admitem uma "partição admissível" (uma condição combinatória específica sobre os invariantes).

Teorema Principal (Teorema 1.3):
Uma quintupla $\vec{e} \in \mathbb{Z}^5$ surge como os invariantes escrolares de uma cobertura sextica suave e irredutível se e somente se $\vec{e} \in Q \cup P_3$.

• Isso fornece uma solução completa e explícita para o problema de realização em grau 6.
• A região de realizabilidade é a união de pontos que podem ser realizados por coberturas que fatoram através de uma subcobertura de grau 3 ($P_3$) e pontos que fatoram através de uma subcobertura de grau 2 mas com uma estrutura específica ($Q$).

Descoberta Chave sobre Primitividade:
Um resultado surpreendente é que todos os pontos admissíveis são realizados por coberturas que possuem uma subcobertura própria não trivial.

• Isso implica que, para $d=6$, não é necessário (e talvez nem seja possível para certas regiões) buscar curvas primitivas para realizar todos os invariantes; as coberturas fatoradas são suficientes para cobrir todo o espaço de parâmetros admissível.

Aplicação à Conjectura de Primitividade:
No Apêndice A, os autores discutem a Conjectura 1.3 de Vemulapalli, que afirma que para coberturas primitivas, a única condição necessária é $e_{i+j} \le e_i + e_j$.

• Eles mostram como o Teorema 1.3 pode ser usado para provar a existência de curvas primitivas para certos invariantes em grau 6, calculando a codimensão do lugar das coberturas fatoradas e mostrando que, para certos casos, o lugar das coberturas primitivas é não vazio.

4. Significado e Impacto

1. Resolução de um Caso Aberto: O artigo resolve completamente o problema de realização de Tschirnhausen para grau 6, um caso crítico onde o grau é composto e as técnicas para graus primos não se aplicam diretamente.
2. Mecanismo de "Explicação" das Restrições: O trabalho confirma a intuição de que todas as restrições sobre os invariantes escrolares são "explicadas" pela multiplicação em álgebras associadas a subcoberturas. Isso sugere uma estrutura profunda na geometria das coberturas.
3. Geografia das Coberturas: O artigo mapeia a "geografia" dos invariantes, mostrando que regiões específicas do espaço de parâmetros correspondem a coberturas que fatoram através de subcoberturas de grau 2 ou 3.
4. Implicações para Dimensões de Locus Maroni: Os resultados têm implicações para a dimensão dos loci de Maroni (o lugar de coberturas com invariantes fixos). Os autores sugerem que, para $d=6$, muitos desses loci têm dimensão maior do que a esperada para um feixe vetorial "aleatório", devido à existência de subcoberturas.
5. Metodologia para Graus Superiores: A abordagem de decompor o problema em coberturas fatoradas e usar a teoria de feixes sobre curvas intermediárias (hiperelípticas e trigonais) oferece um roteiro para atacar o problema em graus maiores (como 8 e 9), que são mencionados como direções futuras.

Em suma, o artigo estabelece que a geometria das coberturas sexticas é governada inteiramente pela interação entre a estrutura multiplicativa das álgebras de subcoberturas e a teoria de feixes vetoriais, fornecendo uma classificação completa e construtiva dos invariantes possíveis.