Unités des courbes hyperelliptiques sur $\mathbb{F}_2$

Informations fondamentales

• ID de l'article: 2306.04838
• Titre: Units of hyperelliptic curves over $\mathbb{F}_2$
• Auteurs: Justin Chen, Vishal Muthuvel
• Classification: math.AC (algèbre commutative)
• Date de publication: 8 juin 2023
• Lien de l'article: https://arxiv.org/abs/2306.04838

Résumé

Cet article étudie le groupe des unités d'anneaux de la forme $\mathbb{F}_2[x,y]/(y^2 + gy + h)$, où $g, h \in \mathbb{F}_2[x]$, en mettant l'accent particulière sur la trivialité de ces groupes d'unités. Par l'action des automorphismes de $\mathbb{F}_2[x,y]$, les auteurs classifient ces anneaux en trois types distincts. Pour deux de ces types, ils démontrent que le groupe des unités est toujours trivial, et conjecturent que le groupe des unités du troisième type est toujours non trivial. Les auteurs fournissent un soutien à cette conjecture par analyse théorique et vérification computationnelle, incluant un algorithme capable de calculer les unités de haut degré.

Contexte et motivation de la recherche

Problème fondamental

Le problème fondamental étudié dans cet article est: Quels anneaux possèdent un groupe d'unités trivial? C'est-à-dire, pour un anneau $R$, quand $R^× = \{1\}$?

Importance du problème

1. Signification théorique: La trivialité du groupe des unités est un problème fondamental en algèbre commutative, étroitement liée à la structure de l'anneau
2. Signification géométrique: Les anneaux étudiés sont les anneaux de coordonnées de courbes affines sur $\mathbb{F}_2$, ces courbes admettant des applications 2-à-1 vers la droite (courbes hyperelliptiques)
3. Valeur classificatoire: Fournit de nombreux nouveaux exemples d'anneaux avec groupe d'unités trivial

Motivation de la recherche

1. En général, la classification complète des anneaux avec groupe d'unités trivial est irréaliste
2. Les exemples explicites sont rares
3. L'étude de catégories spécifiques d'anneaux est réalisable et significative

Contributions principales

1. Résultats de classification: Classification des anneaux de la forme $\mathbb{F}_2[x,y]/(y^2 + gy + h)$ sous l'action des automorphismes en trois types
2. Théorème de trivialité: Démonstration que le groupe des unités est toujours trivial pour deux types (Type 1 et Type 2)
3. Conjecture de non-trivialité: Proposition que le groupe des unités du troisième type (Type 3) est toujours non trivial
4. Algorithme computationnel: Développement d'un algorithme efficace pour calculer les unités fondamentales de haut degré
5. Outils théoriques: Établissement d'une équivalence entre le groupe des unités et les problèmes de représentation de formes quadratiques

Détails méthodologiques

Définition de la tâche

Étude du groupe des unités $R^×$ de l'anneau $R = \mathbb{F}_2[x,y]/(y^2 + gy + h)$, où $g, h \in \mathbb{F}_2[x]$.

Cadre théorique

1. Analyse des conditions nécessaires

Pour un anneau $R$ avec groupe d'unités trivial:

• $R$ a caractéristique 2 (car $-1 = 1$)
• Le radical de Jacobson de $R$ est trivial
• $R$ est une $\mathbb{F}_2$-algèbre réduite

2. Classification par automorphismes

Utilisation du groupe des automorphismes de $\mathbb{F}_2[x,y]$, définissant l'action:

• $\psi: x \mapsto x+1, y \mapsto y$
• $\phi: x \mapsto y, y \mapsto x$
• $\phi_f: x \mapsto x, y \mapsto y+f$ (pour $f \in \mathbb{F}_2[x]$)

Définition des représentants minimaux sous l'action $\phi_f \cdot (g,h) = (g, h + gf + f^2)$.

3. Classification en trois types

Théorème 3.2: $(g,h)$ est un représentant minimal si et seulement si l'une des conditions suivantes est satisfaite:

• Type 1: $2\deg g < \deg h$ et $\deg h$ est impair
• Type 2: $2\deg g = \deg h$
• Type 3: $\deg g > \deg h$

Transformation du groupe des unités vers les formes quadratiques

Théorème fondamental (Proposition 4.1): Un élément $a + by \in \mathbb{F}_2[x,y]/(y^2 + gy + h)$ est une unité si et seulement si $(a,b) \in \mathbb{F}_2[x] \times \mathbb{F}_2[x]$ satisfait l'équation quadratique: $a^2 + abg + b^2h = 1$

L'inverse est donné par $(a+by)^{-1} = (a+bg) + by$.

Analyse des degrés

Par analyse des relations de degrés dans l'équation $a^2 + abg + b^2h = 1$:

$\deg a + \deg b + \deg g = \deg(abg) = \deg(a^2 + b^2h + 1) \leq \max\{2\deg a, 2\deg b + \deg h\}$

Théorème 4.6: Si $(g,h)$ est un représentant minimal de Type 1, ou un représentant minimal de Type 2 avec $\deg g > 0$, alors le groupe des unités est trivial.

Configuration expérimentale

Méthode computationnelle

Les auteurs ont développé un algorithme basé sur les bases de Gröbner:

1. Objectif: Trouver la solution de degré minimal $(c,d)$ telle que $Q(X,Y) = \frac{g}{e}$, où $e$ est la partie sans carré de $g$
2. Configuration: Fixer le degré $n$, poser $d = x^n + \sum_{i=0}^{n-1} d_i x^i$, $c = x^{n+h-g} + \sum_{i=0}^{n+h-g-1} c_i x^i$
3. Résolution: Transformer l'équation quadratique en système d'équations quadratiques sur $c_i, d_i$, résoudre à l'aide de bases de Gröbner

Outils d'implémentation

Implémentation utilisant le système Macaulay2, avec amélioration de l'efficacité par linéarisation partielle heuristique.

Résultats expérimentaux

Résultats principaux

Proposition 5.10: La conjecture 5.7 est vérifiée pour $\deg g \leq 4$.

Exemples concrets

Exemple 5.9:

• Unité fondamentale pour $(g,h) = (x^3, x^2+1)$: $(x, x^2+1)$
• Unité fondamentale pour $(g,h) = (x^2, x+1)$: $(x^2+x+1, x^3+x)$
• Unité fondamentale pour $(g,h) = (x^3, x+1)$: $(x^8+x^7+x^4+x^2+1, x^{10}+x^6+x^4+x^2)$

Croissance des degrés

Le degré des unités fondamentales croît rapidement avec $\deg g$:

Cas particuliers

Proposition 5.1: Pour $g = 0$: