Superelliptic degree sets over Henselian fields

Résumé Technique : Ensembles de Degrés Superelliptiques sur des Corps Henséliens

Énoncé du Problème
L'article traite de la détermination de l'ensemble de degrés $D(V/K)$ pour une variété $V$ sur un corps hensélien à valuation discrète $K$. L'ensemble de degrés est défini comme la collection des degrés des corps résiduels des points fermés sur $V$. Bien que l'indice $\text{ind}(V/K)$ (le plus grand commun diviseur de l'ensemble de degrés) soit souvent calculable à partir de la fibre spéciale d'un modèle, l'ensemble de degrés complet peut être plus complexe. Plus précisément, Creutz et Viray [CV25] ont démontré que sur les corps $p$-adiques, l'ensemble de degrés d'une courbe peut exclure une infinité de multiples de son indice, un phénomène qui ne se produit pas sur les corps engendrés par un nombre fini de générateurs. Les auteurs étudient ce comportement « non cofini » pour les courbes superelliptiques $C/K$ de degré premier $q$ (courbes admettant un revêtement cyclique $C \to \mathbb{P}^1$ de degré $q$), qui sont birationnelles à des courbes affines de la forme $y^q = F(x)$.

Méthodologie
Les auteurs emploient une combinaison de la théorie de la valuation, de l'analyse de clusters et des propriétés des corps henséliens.

1. Théorie des Clusters : Suivant [DDMM19], les racines de $F(x)$ sont analysées via des « clusters » — sous-ensembles de racines contenus dans des disques ouverts. Le groupe de Galois $\text{Gal}(K^{\text{sep}}/K)$ agit sur ces clusters.
2. Formules de Valuation : Un outil central est le Lemme 3.4, qui fournit une formule explicite pour la valuation $v(F(x_0))$ pour tout $x_0 \in K$ en fonction du cluster le plus proche $s$. La formule est $v(F(x_0)) = |s| \cdot v(x_0 - \alpha) + c_s$, où $|s|$ est la taille du cluster et $c_s$ une constante calculable dérivée des racines.
3. Clusters Galois-Invariants : Sous l'hypothèse que le corps résiduel est algébriquement clos et que les racines sont faiblement ramifiées, le Lemme 4.2 établit l'existence d'un « centre » $\gamma_s \in K$ pour tout cluster $s$ galois-invariant. Cela permet aux auteurs de définir des régions $X_s$ où le comportement de la valuation est uniforme.
4. Obstruction et Construction : La stratégie de preuve implique deux directions :
   • Obstruction (Lemme 1.1) : En utilisant la formule de valuation, les auteurs dérivent des conditions d'arithmétique modulaire sous lesquelles les points d'un degré $r$ spécifique (où $q \nmid r$) ne peuvent pas exister. Si certaines conditions concernant $|s|$, $c_s$, et $v(F(\gamma_s))$ sont satisfaites, des points de degré $r$ sont obstrués.
   • Existence (Lemme 5.5) : Inversement, si les conditions d'obstruction ne sont pas satisfaites, les auteurs utilisent le lemme de Hensel et des arguments de polygone de Newton pour construire des points de degrés $r$ arbitrairement grands (avec $\gcd(r, q)=1$) au sein de régions spécifiques $X_s$.

Contributions Clés et Résultats
L'article fournit une caractérisation complète de quand l'ensemble de degrés d'une courbe superelliptique n'est pas cofini (c'est-à-dire qu'il manque une infinité de multiples de l'indice).

• Théorème 1.1 : En supposant un corps résiduel algébriquement clos et une ramification faible, l'ensemble de degrés $D(C/K)$ n'est pas cofini si et seulement si $v(F(0)) \not\equiv 0 \pmod q$ et pour chaque cluster galois-invariant $s$ :

  1. $|s| \equiv 0 \pmod q$ et $c_s \not\equiv 0 \pmod q$ ;
  2. Si le centre $\gamma_s$ se trouve dans la région $X_s$, alors $v(F(\gamma_s)) \not\equiv 0 \pmod q$.
     Lorsque ces conditions sont remplies, l'ensemble de degrés est contenu dans $q\mathbb{N} \cup \bigcup_{s \text{ non galois-invariant}} |O(s)|\mathbb{N}$.

• Théorème 1.2 : Les auteurs démontrent la flexibilité de ces ensembles de degrés. Pour tout nombre premier $q \neq p$ et toute séquence finie d'entiers positifs $n_1, \dots, n_\ell$, il existe une courbe superelliptique $C/K$ telle que $D(C/K) = q\mathbb{N} \cup n_1\mathbb{N} \cup \dots \cup n_\ell\mathbb{N}$. Comme corollaire, pour toute paire de nombres premiers impairs $p$ et $q$, il existe une courbe où $D(C/K) = p\mathbb{N} \cup q\mathbb{N}$, montrant que la densité de l'ensemble de degrés peut être arbitrairement petite.

• Méthode de Calcul : L'article propose une méthode pratique pour calculer les ensembles de degrés en utilisant des diagrammes de clusters et les quantités $c_s$ et $\gamma_s$, qui sont calculables à la main à partir des racines de $F(x)$ (Exemple 6.1).

Signification et Revendications
Les auteurs affirment que leur travail caractérise complètement le mécanisme derrière le phénomène de l'ensemble de degrés non cofini pour les courbes superelliptiques de degré premier sur des corps henséliens.

• Aperçu Théorique : Les résultats lient l'arithmétique de l'ensemble de degrés directement à la structure combinatoire des racines (clusters) et à leurs valuations, plutôt que de reposer uniquement sur la géométrie de la fibre spéciale.
• Indépendance vis-à-vis des Modèles Réguliers : L'article note que tandis que les résultats précédents [CV25] reposent sur des modèles réguliers à croisements normaux stricts, les méthodes ici peuvent calculer des ensembles de degrés même lorsque la courbe n'est pas $\Delta_v$-régulière (Remarque 6.2), un cas où les algorithmes existants pour les fibres spéciales peuvent échouer à produire un modèle régulier.
• Indépendance des Outils : Le Lemme 3.4, qui relie la valuation d'un polynôme au cluster le plus proche, est noté comme étant potentiellement d'un intérêt indépendant.

L'article conclut que pour la classe de courbes étudiées, l'ensemble de degrés est déterminé entièrement par les données de cluster du polynôme définissant $F(x)$, fournissant un algorithme concret pour déterminer si l'ensemble est cofini et, si ce n'est pas le cas, exactement quels multiples de l'indice sont manquants.