Rank jumps for Jacobians of Hyperelliptic curves on K3 surfaces

Resumo Técnico: Saltos de Rango de Mordell-Weil em Jacobianas de Curvas Hiperelípticas em Superfícies K3

1. Problema e Contexto

O artigo investiga o fenômeno dos saltos de rango de Mordell-Weil em famílias de variedades abelianas definidas sobre corpos de números. Especificamente, o foco recai sobre famílias de Jacobianas associadas a um "pincel" (pencil) de curvas de gênero 2 sobre uma superfície K3 definida sobre um corpo de números $k$.

• Contexto Teórico: Seja $\eta: A \to S$ uma família de variedades abelianas sobre uma curva suave $S$. Pelo Teorema de Lang-Néron, o grupo de seções $A(k(S))$ é finitamente gerado com rango $r(\eta, k)$. O Teorema de Especialização de Silverman (baseado em Néron) estabelece que, para quase todos os pontos $s \in S(k)$, o rango da fibra $A_s$ satisfaz $r_s \geq r(\eta, k)$.
• O Problema: O conjunto de fibras onde a desigualdade é estrita ($r_s > r(\eta, k)$) é chamado de conjunto de saltos de rango, denotado por $R(\eta, k)$. O objetivo central é determinar sob quais condições geométricas esse conjunto é infinito e, mais fortemente, não fino (não thin) em $S(k)$.
• Cenário Específico: O estudo concentra-se em superfícies K3 que são recobrimentos duplos de $\mathbb{P}^2$ ramificados ao longo de uma curva sextica $B$. As curvas de gênero 2 são obtidas como pull-backs de retas no plano.

2. Metodologia

Os autores desenvolvem uma abordagem geométrica que evita a necessidade de hipóteses fortes sobre a propriedade de Hilbert da variedade subjacente (que muitas vezes é desconhecida para superfícies K3 com poucos fibrados de gênero 1).

• Multisseções Salientemente Ramificadas: A ferramenta central é o conceito de multisseções salientemente ramificadas (introduzido por Bogomolov e Tschinkel). Uma multisseção $M$ é salientemente ramificada se a aplicação composta da sua normalização para a base for ramificada sobre o aberto de fibras suaves.
• Lema Fundamental (Lemma 2.4): Se existe uma multisseção salientemente ramificada, o rango de Mordell-Weil da fibra genérica da família base-changada (sobre o corpo de funções da multisseção) é estritamente maior que o rango da família original.
• Estratégia de Prova:
  1. Construir explicitamente multisseções de gênero 1 (curvas elípticas ou racionais) para o pincel de curvas de gênero 2.
  2. Demonstrar que essas multisseções são salientemente ramificadas sob certas condições geométricas na curva ramificadora $B$.
  3. Utilizar o Teorema de Especialização para mostrar que, se a multisseção possui infinitos pontos racionais (ou sobre uma extensão finita), então existem infinitas fibras com salto de rango.
  4. Para resultados de "não finitude" (non-thin), utilizam-se argumentos de densidade e propriedades de produtos fibrados, evitando a necessidade de a superfície K3 satisfazer a propriedade de Hilbert global.

3. Principais Contribuições e Resultados

Os resultados são divididos em dois teoremas principais, dependendo da geometria da curva sextica $B$:

Teorema 1.1 (Componentes Irredutíveis Não-Lineares):

• Hipótese: A curva ramificadora $B$ contém uma componente irredutível geometricamente não linear definida sobre $k$.
• Resultado: Existe uma extensão de corpo $l/k$ de grau no máximo 12 tal que o conjunto de saltos de rango $R(\eta, l)$ é infinito.
• Mecanismo: Utiliza-se a tangente à componente não linear. Para quase todos os pontos na curva, a reta tangente intersecta $B$ de forma que o pull-back gera uma biseção de gênero 1 salientemente ramificada.

Teorema 1.2 (Singularidades Simples):

• Hipótese: A curva $B$ admite uma singularidade simples definida sobre $k$.
• Resultado: Existe uma extensão de corpo $l/k$ de grau no máximo 18 tal que o conjunto $R(\eta, l)$ não é fino (não thin) em $\mathbb{P}^1_l$.
• Mecanismo: O pincel de retas passando por uma singularidade de $B$ induz um fibrado de gênero 1 na superfície K3. As fibras deste fibrado atuam como multisseções salientemente ramificadas para o pincel de gênero 2. A existência de uma singularidade permite aplicar técnicas de densidade (semelhantes às usadas em [24]) para provar que o conjunto de saltos é "grande" no sentido de Zariski (não contido em uma união finita de subvariedades próprias ou imagens de morfismos dominantes de grau $\geq 2$).

Corolários e Aplicações:

• Corolário 1.4: Aplica-se a superfícies K3 genericamente polarizadas em certas classes ($L_d$ com $d > 3, d \equiv 3 \pmod 4$), mostrando que o salto de rango ocorre sobre o corpo base $k$ (ou extensão pequena) e o conjunto não é fino.
• Corolário 1.5: Estabelece que no espaço de módulos grosseiro de superfícies K3 de grau 2, existe uma família densa de superfícies definidas sobre $\mathbb{Q}$ onde o conjunto de curvas no sistema linear completo com Jacobiana de rango positivo é denso.

4. Exemplos e Limites de Grau

Os autores fornecem exemplos explícitos (Exemplos 1, 2 e 3) onde aplicam seus teoremas:

• Exemplo 1: Uma superfície K3 polarizada por $L$ com $\rho=2$ (número de Picard). Mostra-se que não há fibrado de gênero 1, mas a construção de uma multisseção salientemente ramificada sobre $\mathbb{Q}$ garante infinitos saltos de rango.
• Exemplo 2: Uma superfície K3 com $\rho=5$ que admite um fibrado de gênero 1. Demonstra-se que o conjunto de saltos é não fino sobre $\mathbb{Q}(\sqrt{5})$.
• Exemplo 3: Uma superfície com $\rho=1$ (geometricamente), aplicando o Teorema 1.1 via tangente a uma curva ramificadora.

Os limites de grau das extensões de corpo ($12$e$18$) são derivados da geometria da curva $B$ e da necessidade de definir pontos específicos (como interseções de componentes ou pontos de ramificação) para garantir a existência de pontos racionais na multisseção.

5. Significância e Relevância

• Superação de Limitações Anteriores: Trabalhos anteriores (como os de Hindry-Salgado e Colliot-Thélène) frequentemente exigiam que a variedade fosse $k$-unirracional ou que satisfizesse a Propriedade de Hilbert. Este artigo demonstra que para superfícies K3 (que podem não ter a Propriedade de Hilbert e não são unirraciais), ainda é possível garantir saltos de rango infinitos e não finos através de construções geométricas explícitas.
• Construção Explícita: Diferente de resultados de existência puramente teóricos, este trabalho fornece limites explícitos para o grau da extensão de corpo necessária e descreve geometricamente como encontrar as fibras com salto de rango.
• Novas Famílias de Fibrados Abelianos: O artigo identifica novas famílias de fibrados abelianos (jacobianas de curvas de gênero 2 em K3) que possuem a propriedade de salto de rango, expandindo o conhecimento sobre a variação de rangos em famílias de dimensão superior.

Em suma, o artigo conecta a geometria das curvas planas ramificadoras (sexticas) com a aritmética das Jacobianas de curvas de gênero 2, utilizando a teoria de multisseções ramificadas para provar a abundância de saltos de rango em superfícies K3, mesmo na ausência de propriedades de Hilbert fortes.