Units of hyperelliptic curves over $\mathbb{F}_2$

Basic Information

• Paper ID: 2306.04838
• Title: Units of hyperelliptic curves over $\mathbb{F}_2$
• Authors: Justin Chen, Vishal Muthuvel
• Classification: math.AC (Commutative Algebra)
• Publication Date: June 8, 2023
• Paper Link: https://arxiv.org/abs/2306.04838

Abstract

This paper investigates the unit group of rings of the form $\mathbb{F}_2[x,y]/(y^2 + gy + h)$, where $g, h \in \mathbb{F}_2[x]$, with particular focus on the triviality of such unit groups. Through the action of automorphisms of $\mathbb{F}_2[x,y]$, the authors classify these rings into three distinct types. For two of these types, they prove that the unit group is always trivial, and conjecture that the unit group of the third type is always nontrivial. The authors provide theoretical analysis and computational verification supporting this conjecture, including an algorithm capable of computing units of large degree.

Research Background and Motivation

Core Problem

The central question addressed in this paper is: What rings possess trivial unit groups? That is, for a ring $R$, when does $R^× = \{1\}$?

Significance of the Problem

1. Theoretical significance: The triviality of unit groups is a fundamental problem in commutative algebra, closely related to ring structure
2. Geometric significance: The studied rings are coordinate rings of affine plane curves over $\mathbb{F}_2$ that admit 2-to-1 maps to the affine line (hyperelliptic curves)
3. Classification value: Provides rich new examples of rings with trivial unit groups

Research Motivation

1. Complete classification of rings with trivial unit groups is impractical in general
2. Explicit examples are rare
3. Studying specific categories of rings is feasible and meaningful

Core Contributions

1. Classification result: Classifies rings of the form $\mathbb{F}_2[x,y]/(y^2 + gy + h)$ into three types under automorphism action
2. Triviality theorem: Proves that the unit groups of two types (Type 1 and Type 2) are always trivial
3. Nontriviality conjecture: Proposes that the unit group of the third type (Type 3) is always nontrivial
4. Computational algorithm: Develops an effective algorithm for computing fundamental units of large degree
5. Theoretical tools: Establishes equivalence between unit groups and quadratic form representation problems

Detailed Methodology

Problem Definition

Study the unit group $R^×$ of the ring $R = \mathbb{F}_2[x,y]/(y^2 + gy + h)$, where $g, h \in \mathbb{F}_2[x]$.

Theoretical Framework

1. Necessary Condition Analysis

For rings $R$ with trivial unit groups:

• $R$ has characteristic 2 (since $-1 = 1$)
• The Jacobson radical of $R$ is trivial
• $R$ is a reduced $\mathbb{F}_2$-algebra

2. Automorphism Classification

Using the automorphism group of $\mathbb{F}_2[x,y]$, define the 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$ (for $f \in \mathbb{F}_2[x]$)

Define minimal representatives under the action $\phi_f \cdot (g,h) = (g, h + gf + f^2)$.

3. Three-Type Classification

Theorem 3.2: $(g,h)$ is a minimal representative if and only if it satisfies one of the following conditions:

• Type 1: $2\deg g < \deg h$ and $\deg h$ is odd
• Type 2: $2\deg g = \deg h$
• Type 3: $\deg g > \deg h$

Transformation from Unit Groups to Quadratic Forms

Core Theorem (Proposition 4.1): An element $a + by \in \mathbb{F}_2[x,y]/(y^2 + gy + h)$ is a unit if and only if $(a,b) \in \mathbb{F}_2[x] \times \mathbb{F}_2[x]$ satisfies the quadratic equation: $a^2 + abg + b^2h = 1$

The inverse is given by $(a+by)^{-1} = (a+bg) + by$.

Degree Analysis

By analyzing the degree relationships among terms in the equation $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\}$

Theorem 4.6: If $(g,h)$ is a Type 1 minimal representative, or a Type 2 minimal representative with $\deg g > 0$, then the unit group is trivial.

Experimental Setup

Computational Method

The authors developed an algorithm based on Gröbner bases:

1. Objective: Find minimal degree solutions $(c,d)$ such that $Q(X,Y) = \frac{g}{e}$, where $e$ is the squarefree part of $g$
2. Setup: Fix degree $n$, set $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. Solution: Transform the quadratic equation into a system of quadratic equations in $c_i, d_i$, solved using Gröbner bases

Implementation Tools

Implemented using the Macaulay2 system, with efficiency improved through heuristic partial linearization.

Experimental Results

Main Results

Proposition 5.10: Conjecture 5.7 holds for $\deg g \leq 4$.

Concrete Examples

Example 5.9:

• Fundamental unit for $(g,h) = (x^3, x^2+1)$: $(x, x^2+1)$
• Fundamental unit for $(g,h) = (x^2, x+1)$: $(x^2+x+1, x^3+x)$
• Fundamental unit for $(g,h) = (x^3, x+1)$: $(x^8+x^7+x^4+x^2+1, x^{10}+x^6+x^4+x^2)$

Degree Growth

The degree of fundamental units grows rapidly with $\deg g$:

Special Cases

Proposition 5.1: For $g = 0$: