Единицы гиперэллиптических кривых над $\mathbb{F}_2$

Основная информация

• ID статьи: 2306.04838
• Название: Units of hyperelliptic curves over $\mathbb{F}_2$
• Авторы: Justin Chen, Vishal Muthuvel
• Классификация: math.AC (коммутативная алгебра)
• Дата публикации: 8 июня 2023 г.
• Ссылка на статью: https://arxiv.org/abs/2306.04838

Аннотация

В данной работе исследуется группа единиц кольца вида $\mathbb{F}_2[x,y]/(y^2 + gy + h)$, где $g, h \in \mathbb{F}_2[x]$, с особым акцентом на проблему тривиальности этих групп единиц. Посредством действия автоморфизмов $\mathbb{F}_2[x,y]$ авторы классифицируют такие кольца на три различных типа. Для двух из них доказано, что группа единиц всегда тривиальна, и выдвинута гипотеза о том, что для третьего типа группа единиц всегда нетривиальна. Авторы предоставляют теоретическое обоснование и вычислительную проверку этой гипотезы, включая алгоритм для вычисления единиц высокой степени.

Исследовательский контекст и мотивация

Основная проблема

Центральный вопрос данной работы: какие кольца обладают тривиальной группой единиц? То есть, для какого кольца $R$ выполняется $R^× = \{1\}$?

Значимость проблемы

1. Теоретическое значение: тривиальность группы единиц является фундаментальной проблемой коммутативной алгебры, тесно связанной со структурой кольца
2. Геометрическое значение: исследуемые кольца являются координатными кольцами аффинных плоских кривых над $\mathbb{F}_2$, допускающих 2-к-1 отображение на прямую (гиперэллиптические кривые)
3. Классификационная ценность: предоставляет богатый набор новых примеров колец с тривиальной группой единиц

Исследовательская мотивация

1. В общем случае полная классификация колец с тривиальной группой единиц нереалистична
2. Явные примеры встречаются редко
3. Исследование специфических классов колец является осуществимым и значимым

Основные вклады

1. Результаты классификации: классификация колец вида $\mathbb{F}_2[x,y]/(y^2 + gy + h)$ под действием автоморфизмов на три типа
2. Теорема о тривиальности: доказательство того, что группа единиц для двух типов (Type 1 и Type 2) всегда тривиальна
3. Гипотеза о нетривиальности: выдвижение гипотезы о том, что группа единиц третьего типа (Type 3) всегда нетривиальна
4. Вычислительный алгоритм: разработка эффективного алгоритма для вычисления фундаментальных единиц высокой степени
5. Теоретические инструменты: установление эквивалентности между группой единиц и проблемой представления квадратичных форм

Подробное описание методов

Определение задачи

Исследование группы единиц $R^×$ кольца $R = \mathbb{F}_2[x,y]/(y^2 + gy + h)$, где $g, h \in \mathbb{F}_2[x]$.

Теоретическая основа

1. Анализ необходимых условий

Для кольца $R$ с тривиальной группой единиц:

• $R$ имеет характеристику 2 (так как $-1 = 1$)
• Радикал Джекобсона $R$ тривиален
• $R$ является приведённой $\mathbb{F}_2$-алгеброй

2. Классификация посредством автоморфизмов

Использование группы автоморфизмов $\mathbb{F}_2[x,y]$ с определением действия:

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

Определение минимальных представителей под действием $\phi_f \cdot (g,h) = (g, h + gf + f^2)$.

3. Классификация трёх типов

Теорема 3.2: $(g,h)$ является минимальным представителем тогда и только тогда, когда выполняется одно из следующих условий:

• Type 1: $2\deg g < \deg h$ и $\deg h$ нечётна
• Type 2: $2\deg g = \deg h$
• Type 3: $\deg g > \deg h$

Преобразование группы единиц в квадратичные формы

Центральная теорема (Предложение 4.1): элемент $a + by \in \mathbb{F}_2[x,y]/(y^2 + gy + h)$ является единицей тогда и только тогда, когда $(a,b) \in \mathbb{F}_2[x] \times \mathbb{F}_2[x]$ удовлетворяет квадратному уравнению: $a^2 + abg + b^2h = 1$

Обратный элемент задаётся формулой $(a+by)^{-1} = (a+bg) + by$.

Анализ степеней

Посредством анализа соотношений степеней в уравнении $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\}$

Теорема 4.6: если $(g,h)$ является минимальным представителем Type 1, или минимальным представителем Type 2 с $\deg g > 0$, то группа единиц тривиальна.

Экспериментальная установка

Вычислительный метод

Авторы разработали алгоритм, основанный на базисах Гребнера:

1. Цель: поиск решения минимальной степени $(c,d)$ такого, что $Q(X,Y) = \frac{g}{e}$, где $e$ — бесквадратная часть $g$
2. Установка: фиксирование степени $n$, установка $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. Решение: преобразование квадратного уравнения в систему квадратных уравнений относительно $c_i, d_i$, решение с использованием базисов Гребнера

Инструменты реализации

Использование системы Macaulay2 с эвристической частичной линеаризацией для повышения эффективности.

Результаты экспериментов

Основные результаты

Предложение 5.10: гипотеза 5.7 верна для $\deg g \leq 4$.

Конкретные примеры

Пример 5.9:

• Фундаментальная единица для $(g,h) = (x^3, x^2+1)$: $(x, x^2+1)$
• Фундаментальная единица для $(g,h) = (x^2, x+1)$: $(x^2+x+1, x^3+x)$
• Фундаментальная единица для $(g,h) = (x^3, x+1)$: $(x^8+x^7+x^4+x^2+1, x^{10}+x^6+x^4+x^2)$

Рост степени

Степень фундаментальной единицы быстро растёт с $\deg g$:

Специальные случаи

Предложение 5.1: для $g = 0$: