Ribet Points, geometric divisibility sequence and order of reductions on semiabelian varieties

Resumo Técnico: Pontos de Ribet, Sequências de Divisibilidade Geométrica e Ordem de Reduções em Variedades Semiabelianas

Enunciado do Problema
O artigo aborda um problema aberto de longa data referente ao comportamento das sequências de divisibilidade geométrica associadas a pontos densos em Zariski em grupos algébricos comutativos irredutíveis de dimensão pelo menos dois. Especificamente, investiga a Conjectura 1.2 de Silverman, que postula que para um esquema de grupo $G/\mathbb{Z}$ cuja fibra genérica $G_{\mathbb{Q}}$ é um grupo algébrico comutativo irredutível de dimensão $\ge 2$ sem parte unipotente, e para um ponto $P \in G(\mathbb{Z})$ com uma órbita cíclica densa em Zariski, a igualdade $D_{nP} = D_P$ (onde $D_P$ é o ideal do denominador) ocorre para infinitos inteiros positivos $n$.

Esta conjectura apresenta uma tensão lógica com o Teorema de Silverman–Cheon–Hahn (Teorema 1.1), que estabelece que para curvas elípticas (dimensão 1), todo inteiro suficientemente grande aparece como a ordem exata de redução para algum primo. Embora o caso de dimensão um esteja completo, o comportamento em dimensões superiores, particularmente para variedades semiabelianas, era desconhecido. O artigo busca determinar se o análogo do teorema de Silverman–Cheon–Hahn se mantém para variedades semiabelianas de dimensão superior ou se ocorre a recorrência exata prevista pela conjectura de Silverman.

Metodologia
O autor constrói exemplos incondicionais de variedades semiabelianas geometricamente não separáveis (nonsplit) sobre corpos numéricos onde a sequência de divisibilidade geométrica retorna ao seu valor inicial infinitas vezes. A metodologia baseia-se nas propriedades aritméticas de pontos de Ribet em extensões de variedades abelianas pela multiplicativa $\mathbb{G}_m$.

1. Configuração Geométrica: O artigo considera uma variedade semiabeliana $G_q$ definida por uma extensão $1 \to \mathbb{G}_m \to G_q \to A \to 0$, representada por um ponto $q \in A^\vee(K)$.
2. Seções de Ribet: Utilizando a biextensão de Poincaré normalizada, o autor define um ponto de Ribet $R_\beta(q) \in G_q(K)$ associado a um homomorfismo $\beta: A^\vee \to A$. A parte antissimétrica $\delta = \beta - \hat{\beta}$ desempenha um papel crucial.
3. Translação por Torção: A construção central envolve transladar o ponto de Ribet por um ponto de torção fixo $t$ no núcleo torico: $P = R_\beta(q) + \iota(t)$.
4. Amplificação Aritmética: Um lema técnico fundamental (Lema 3.3) demonstra que, se a ordem do ponto de Ribet for quadraticamente limitada pela ordem de sua projeção (uma propriedade derivada do emparelhamento de Weil), então a translação por um ponto de torção força uma condição de divisibilidade específica na ordem do ponto resultante $P$.
5. Argumento Local-para-Global: Ao combinar a amplificação de grupo finito com as propriedades dos ideais denominadores nos modelos de Néron, o autor prova que, para um inteiro específico $N_{\delta, t}$, a ordem de redução $d_v(P)$ é divisível por $N_{\delta, t}$ para quase todos os lugares $v$.
6. Descida: Para obter exemplos sobre $\mathbb{Q}$, o artigo emprega uma técnica de descida quadrática (Teorema 4.3). Isso envolve construir a extensão sobre um corpo quadrático $L$ onde os endomorfismos antissimétricos necessários existem, e então descer a extensão e o ponto para $\mathbb{Q}$ ao parear a ação de Galois no endomorfismo com o caractere de sinal de um toro de norma um.

Contribuições Principais e Resultados

• Exemplos Incondicionais: O artigo fornece os primeiros exemplos incondicionais de variedades semiabelianas geometricamente não separáveis sobre corpos numéricos onde a sequência de divisibilidade geométrica retorna ao seu valor inicial infinitas vezes.
• Teorema 1.4 (Construção Geral): Para uma variedade abeliana de dimensão positiva, um homomorfismo $\beta$ tal que $\delta = \beta - \hat{\beta}$ é um isogenia, e um ponto de torção $t$, o ponto $P = R_\beta(q) + \iota(t)$ possui a propriedade de que um inteiro específico $N_{\delta, t}$ divide a ordem de redução $d_v(P)$ para quase todos os lugares. Consequentemente, se $(n, Q) = 1$ para um inteiro livre de quadrados $Q$ divisível pelo radical de $N_{\delta, t}$, então o ideal denominador satisfaz $\mathfrak{d}_{\mathbb{N}}(nP) = \mathfrak{d}_{\mathbb{N}}(P)$.
• Teorema 1.5 (Superfície sobre $\mathbb{Q}$): O autor constrói explicitamente uma superfície semiabeliana geometricamente não separável $G_{surf}/\mathbb{Q}$ (uma extensão de uma curva elíptica $E: y^2 = x^3 - 2$ pelo toro de norma um $R^1_{L/\mathbb{Q}}\mathbb{G}_m$ com $L=\mathbb{Q}(\sqrt{-3})$) e um ponto $P_{surf} \in G_{surf}(\mathbb{Q})$ com uma órbita cíclica densa em Zariski. Para este ponto, o divisor de redução eventual é $U(P_{surf}) = 2$. Isso implica que, para todo $n$ coprimo a um inteiro fixo, $D_{nP_{surf}} = D_{P_{surf}}$.
• Teorema 4.9 (Três vezes sobre $\mathbb{Q}$): Uma variedade semiabeliana de três dimensões geometricamente não separável sobre $\mathbb{Q}$ é construída usando a curva elíptica $E: y^2 + y = x^3 + x^2 - 2x$ (condutor 389). O ponto resultante $P$ satisfaz $D_P = 1$ e $U(P) = 2$, confirmando as condições da conjectura para um threefold.
• Generalidade Dimensional: O Teorema 4.16 estende esses resultados para toda dimensão $d \ge 2$ sobre $\mathbb{Q}$ através de produtos com toros decompostos (split), mostrando que o fenômeno não é restrito a baixas dimensões.
• Resultados de Densidade: O artigo estabelece que o conjunto de índices $n$ para os quais $D_{nP} = D_P$ tem uma densidade natural inferior de pelo menos $1 - 1/N_{\delta, t}$. Inversamente, o conjunto de ordens de redução exatas (índices de divisores primitivos) tem uma densidade superior de no máximo $1/N_{\delta, t}$.

Significância e Alegações
O artigo demonstra que o análogo do teorema de Silverman–Cheon–Hahn falha drasticamente na categoria de variedades semiabelianas, enquanto simultaneamente constrói instâncias explícitas onde a Conjectura de Silverman 1.2 se mantém. Especificamente:

1. Falha da Realização da Ordem Exata: Diferente do caso da curva elíptica, existem pontos densos em variedades semiabelianas onde o conjunto de ordens de redução exatas é esparso (densidade $\le 1/N$), o que significa que muitos inteiros nunca aparecem como ordens exatas de redução.
2. Validação da Conjectura de Silverman para Instâncias Específicas: Os pontos construídos satisfazem as condições da Conjectura de Silverman 1.2, provando que o fenômeno do "retorno exato" ($D_{nP} = D_P$) ocorre infinitas vezes e, de fato, para um conjunto de índices com densidade positiva. O artigo observa que, embora a conjectura permaneça aberta em sua total generalidade sobre corpos numéricos, estes exemplos fornecem a primeira verificação incondicional para variedades semiabelianas geometricamente não separáveis.
3. Papel dos Pontos de Ribet: O trabalho destaca que as seções de Ribet (especificamente suas versões transladadas por torção) atuam como o obstáculo à existência de divisores primitivos para todos os grandes $n$. Isso contrasta com variedades semiabelianas decompostas (produtos de variedades abelianas e toros), onde o teorema de Perucca implica que o número de componente do fechamento da órbita dita o divisor universal, que é 1 para pontos conexos densos.
4. Não Separação Geométrica (Nonsplitting): O fenômeno está intrinsecamente ligado a extensões geometricamente não separáveis. O artigo nota que, para produtos decompostos, o número de componente do fechamento da órbita é igual ao maior inteiro que divide quase toda ordem de redução, impedindo a construção de tais conjuntos de "ordens ausentes". A natureza não separável da extensão, combinada com a aritmética específica do ponto de Ribet, permite que o divisor de redução eventual $U(P)$ seja estritamente maior que 1 (por exemplo, $U(P)=2$), mesmo quando o fechamento da órbita é conexo.

O artigo conclui que o "dado ausente" (o divisor universal das ordens de redução) é genuinamente misto, carregado pela classe de extensão, o levantamento da biextensão e a translação por torção, e que esse comportamento está ausente em variedades abelianas puras ou produtos decompostos.