Superelliptic degree sets over Henselian fields

Resumo Técnico: Conjuntos de Graus Superelípticos sobre Corpos Henselianos

Enunciado do Problema
O artigo aborda a determinação do conjunto de graus $D(V/K)$ para uma variedade $V$ sobre um corpo Henseliano discretamente valorado $K$. O conjunto de graus é definido como a coleção de graus dos corpos residuais de pontos fechados em $V$. Embora o índice $\text{ind}(V/K)$ (o máximo divisor comum do conjunto de graus) seja frequentemente computável a partir da fibra especial de um modelo, o conjunto de graus completo pode ser mais complexo. Especificamente, Creutz e Viray [CV25] demonstraram que, sobre corpos $p$-ádicos, o conjunto de graus de uma curva pode excluir infinitos múltiplos de seu índice, um fenômeno que não ocorre sobre corpos finitamente gerados. Os autores investigam este comportamento "não cofinito" para curvas superelípticas $C/K$ de grau primo $q$ (curvas que admitem um recobrimento cíclico $C \to \mathbb{P}^1$ de grau $q$), que são biracionais a curvas afins da forma $y^q = F(x)$.

Metodologia
Os autores empregam uma combinação de teoria de valoração, análise de clusters e propriedades de corpos Henselianos para caracterizar o conjunto de graus.

1. Teoria de Clusters: Seguindo [DDMM19], as raízes de $F(x)$ são analisadas via "clusters" — subconjuntos de raízes contidos em discos abertos. O grupo de Galois $\text{Gal}(K^{\text{sep}}/K)$ atua sobre esses clusters.
2. Fórmulas de Valoração: Uma ferramenta central é o Lema 3.4, que fornece uma fórmula explícita para a valoração $v(F(x_0))$ para qualquer $x_0 \in K$ em termos do cluster mais próximo $s$. A fórmula é $v(F(x_0)) = |s| \cdot v(x_0 - \alpha) + c_s$, onde $|s|$ é o tamanho do cluster e $c_s$ é uma constante computável derivada das raízes.
3. Clusters Galois-Invariantes: Sob a suposição de que o corpo residual é algebricamente fechado e as raízes são tamemente ramificadas, o Lema 4.2 estabelece a existência de um "centro" $\gamma_s \in K$ para qualquer cluster Galois-invariante $s$. Isso permite que os autores definam regiões $X_s$ onde o comportamento da valoração é uniforme.
4. Obstrução e Construção: A estratégia de prova envolve duas direções:
   • Obstrução (Lema 5.1): Usando a fórmula de valoração, os autores derivam condições de aritmética modular sob as quais pontos de um grau específico $r$ (onde $q \nmid r$) não podem existir. Se certas condições relativas a $|s|$, $c_s$ e $v(F(\gamma_s))$ forem atendidas, pontos de grau $r$ são obstruídos.
   • Existência (Lema 5.5): Inversamente, se as condições de obstrução não forem atendidas, os autores usam o Lema de Hensel e argumentos de polígono de Newton para construir pontos de graus arbitrariamente grandes $r$ (com $\gcd(r, q)=1$) dentro de regiões específicas $X_s$.

Principais Contribuições e Resultados
O artigo fornece uma caracterização completa de quando o conjunto de graus de uma curva superelíptica não é cofinito (ou seja, perde infinitos múltiplos do índice).

• Teorema 1.1: Assumindo um corpo residual algebricamente fechado e ramificação tame, o conjunto de graus $D(C/K)$ não é cofinito se, e somente se, $v(F(0)) \not\equiv 0 \pmod q$ e para todo cluster Galois-invariante $s$:

  1. $|s| \equiv 0 \pmod q$ e $c_s \not\equiv 0 \pmod q$;
  2. Se o centro $\gamma_s$ reside na região $X_s$, então $v(F(\gamma_s)) \not\equiv 0 \pmod q$.
     Quando estas condições são atendidas, o conjunto de graus está contido em $q\mathbb{N} \cup \bigcup_{s \text{ não Galois-invariante}} |O(s)|\mathbb{N}$.

• Teorema 1.2: Os autores demonstram a flexibilidade destes conjuntos de graus. Para qualquer primo $q \neq p$ e qualquer sequência finita de inteiros positivos $n_1, \dots, n_\ell$, existe uma curva superelíptica $C/K$ tal que $D(C/K) = q\mathbb{N} \cup n_1\mathbb{N} \cup \dots \cup n_\ell\mathbb{N}$. Como corolário, para qualquer par de primos ímpares $p$ e $q$, existe uma curva onde $D(C/K) = p\mathbb{N} \cup q\mathbb{N}$, mostrando que a densidade do conjunto de graus pode ser arbitrariamente pequena.

• Método Computacional: O artigo oferece um método prático para computar conjuntos de graus usando diagramas de clusters e as quantidades $c_s$ e $\gamma_s$, que são computáveis à mão a partir das raízes de $F(x)$ (Exemplo 6.1).

Significância e Alegações
Os autores alegam que seu trabalho caracteriza completamente o mecanismo por trás do fenômeno do conjunto de graus não cofinito para curvas superelípticas de grau primo sobre corpos Henselianos.

• Insight Teórico: Os resultados ligam a aritmética do conjunto de graus diretamente à estrutura combinatória das raízes (clusters) e suas valorações, em vez de depender unicamente da geometria da fibra especial.
• Independência de Modelos Regulares: O artigo observa que, enquanto resultados anteriores [CV25] dependem de modelos regulares com interseções normais estritamente transversais, os métodos aqui podem computar conjuntos de graus mesmo quando a curva não é $\Delta_v$-regular (Observação 6.2), um caso onde algoritmos existentes para fibras especiais podem falhar em produzir um modelo regular.
• Independência de Ferramentas: O Lema 3.4, que relaciona a valoração de um polinômio ao cluster mais próximo, é notado como potencialmente de interesse independente.

O artigo conclui que, para a classe de curvas estudadas, o conjunto de graus é determinado inteiramente pelos dados de cluster do polinômio definidor $F(x)$, fornecendo um algoritmo concreto para determinar se o conjunto é cofinito e, se não for, exatamente quais múltiplos do índice estão ausentes.