Turning non-smooth points into rational points

Resumo Técnico: Transformando Pontos Não Suaves em Pontos Racionais

Enunciado do Problema
Este artigo aborda o comportamento de pontos não suaves em curvas regulares sobre corpos imperfeitos de característica $p > 0$. Embora a regularidade e a suavidade coincidam sobre corpos perfeitos, elas divergem no cenário imperfeito, dando origem a curvas regulares que são não suaves (por exemplo, curvas quasi-elípticas). O problema central é determinar o número preciso de pullbacks de Frobenius iterados necessários para transformar um ponto puramente inseparável e não suave $x$ em um ponto $K$-racional em uma curva $C$.

O trabalho anterior do autor e de Stöhr [HS25a] estabeleceu um limite superior, denotado por $\tau_p(d)$, para o número de pullbacks necessários, onde $d$ é um parâmetro relacionado ao grau de singularidade geométrica $\delta(x) = \frac{p-1}{2}d$. No entanto, sabia-se que este limite era estrito apenas em característica $p=2$. Em características $p > 2$, o limite não era sempre ótimo devido às restrições sobre quais graus de singularidade podem realmente ocorrer para pontos puramente inseparáveis.

Metodologia
O artigo emprega a dualidade entre curvas regulares e corpos de funções separáveis unidimensionais para analisar o problema aritmeticamente. A metodologia central envolve:

1. Análise de Admissibilidade: Os autores primeiro caracterizam quais inteiros $d$ são "admissíveis", significando que existe um par $(C|K, x)$ com grau de singularidade $\delta(x) = \frac{p-1}{2}d$. Eles provam que $d$ é admissível se, e somente se, $d \not\equiv -1 \pmod p$.
2. Construção de Exemplos Extremos: Para estabelecer limites inferiores estritos, os autores constroem explicitamente corpos de funções específicos $F|K$ e primos puramente inseparáveis $p$ com graus de singularidade prescritos. Essas construções utilizam o algoritmo de Bedoya–Stöhr [BS87] e campos de base imperfeitos cuidadosamente escolhidos (às vezes exigindo $p$-grau $\ge 2$).
3. Cálculo Recursivo de Singularidade: Usando o algoritmo de Bedoya–Stöhr e o Teorema 2.3, os autores calculam a sequência de graus de singularidade $\delta(p_n)$ para os primos restritos sob pullbacks de Frobenius iterados. Eles analisam as "diferenças" $\Delta_n = \delta(p_n) - \delta(p_{n+1})$ para determinar exatamente quando o primo restrito torna-se racional.
4. Otimização Combinatória: O limite estrito $\lambda_p(d)$ é derivado encontrando o $m$ mínimo tal que, para todos os pares admissíveis, o primo restrito seja racional para todo $n \ge m$. Isso envolve comparar os limites inferiores construídos contra o limite superior existente $\tau_p(d)$.

Principais Contribuições e Resultados

• Limite Estrito $\lambda_p(d)$: O principal resultado é o Teorema 1.2 (e o Teorema 3.5), que estabelece um novo limite estrito $\lambda_p(d)$ para o número de pullbacks de Frobenius necessários para transformar um ponto puramente inseparável não suave em um ponto racional. Este limite é ótimo para cada característica $p > 0$ e cada inteiro admissível $d$.

  • O limite $\lambda_p(d)$ é igual ao limite anterior $\tau_p(d)$ ou a $\tau_p(d) - 1$.
  • O valor específico depende da expansão $p$-ádica de $d$ e se $d$ pode ser representado como uma soma de potências de $p$ consecutivas em configurações específicas.
  • O Corolário 3.6 confirma que, em característica $p=2$, o limite anterior $\tau_p(d)$ é sempre estrito.

• Generalização para Pontos Não Suaves Arbitrários: O Teorema 1.6 estende esses resultados para pontos não suaves arbitrários (não necessariamente puramente inseparáveis). Ele estabelece que, se um ponto $x$ possui grau de singularidade $\delta(x) = \frac{p-1}{2} [\kappa(x):K]_s \cdot d$, então sua imagem torna-se um ponto separável (pertencendo a $C_n(K^{sep})$) para todo $n \ge \lambda_p(d)$. Isso generaliza o caso puramente inseparável onde o grau separável é 1.

• Critério de Admissibilidade: A Proposição 3.2 fornece uma condição necessária e suficiente para que um inteiro $d$ seja o parâmetro de grau de singularidade de um ponto puramente inseparável: $d \not\equiv -1 \pmod p$.

• Construções Explícitas: A Seção 4 fornece exemplos explícitos de corpos de funções (Exemplos 4.1 e 4.2) que realizam os limites estritos. Esses exemplos demonstram que o limite não pode ser reduzido mais, pois existem pares onde o ponto permanece não-racional (ou não-separável) exatamente até o passo $\lambda_p(d) - 1$.

Significância e Alegações
O artigo afirma resolver a questão da estritude para o limite de pullbacks de Frobenius em todas as características $p > 0$. Embora o limite anterior $\tau_p(d)$ fosse conhecido por ser estrito para $p=2$, este trabalho demonstra que, para $p > 2$, o limite pode frequentemente ser melhorado em 1, dependendo das propriedades aritméticas do grau de singularidade.

Os autores observam que seus exemplos construídos compartilham a propriedade de serem geometricamente racionais (gênero 0). Eles afirmam que, embora não tenham controle a priori sobre a geometria global dessas curvas em geral, espera-se que os limites estritos $\lambda_p(d)$ se mantenham mesmo sob restrições globais, como fixar o gênero geométrico ou o $p$-grau do corpo de base. Os resultados fornecem um método para obter descrições explícitas de curvas regulares não suaves trabalhando de trás para frente a partir da curva racional obtida após o pullback de Frobenius suficiente, uma técnica anteriormente aplicada a curvas quasi-elípticas e quartas de plano.

O artigo não pretende resolver a classificação de todas essas curvas, mas sim fornece o limiar aritmético preciso necessário para tornar a estratégia de "transformar pontos não suaves em pontos racionais" eficaz para qualquer dado grau de singularidade.