Группы автоморфизмов максимального функционального поля со вторым по величине родом и его коды алгебраической геометрии

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

• ID статьи: 2511.21292
• Название: The automorphism groups of a maximal function field with the second largest genus and its algebraic geometry codes
• Авторы: Xubin Hu, Liming Ma
• Учреждение: Университет науки и технологии Китая (Школа математических наук USTC)
• Классификация: math.NT (теория чисел)
• Дата подачи: 26 ноября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2511.21292v1

Аннотация

В данной работе исследуются группы автоморфизмов максимального функционального поля со вторым по величине родом над конечными полями четной характеристики (называемого функциональным полем Абдона-Торреса). В качестве приложения авторы определяют группы автоморфизмов однотчечных кодов алгебраической геометрии, построенных из этого максимального функционального поля. Исследование показывает, что за исключением тривиальных случаев, группа автоморфизмов однотчечного кода алгебраической геометрии совпадает с группой автоморфизмов функционального поля Абдона-Торреса. Кроме того, рассматривая неподвижные поля некоторых подгрупп группы автоморфизмов функционального поля Абдона-Торреса, авторы предоставляют семейство максимальных функциональных полей с явно заданными определяющими уравнениями.

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

1. Основные исследовательские вопросы

Основные проблемы, решаемые в данной работе:

• Определение полной группы автоморфизмов Aut(Y₂/F_{q²}) функционального поля Абдона-Торреса Y₂
• Вычисление группы автоморфизмов однотчечных кодов алгебраической геометрии, построенных из этого функционального поля
• Конструирование новых семейств максимальных функциональных полей через неподвижные поля подгрупп группы автоморфизмов

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

• Теоретическое значение: Максимальные функциональные поля являются важными объектами исследования в алгебраической геометрии и теории чисел; структура их группы автоморфизмов напрямую связана с геометрическими свойствами функционального поля
• Приложения в теории кодирования: Группа автоморфизмов кодов алгебраической геометрии имеет важное значение для понимания структуры кода и разработки алгоритмов декодирования
• Конструктивное значение: Через поля Галуа можно систематически конструировать новые максимальные функциональные поля

3. Ограничения существующих работ

Согласно обзору литературы:

• Функциональные поля Эрмита (максимальный род g₁ = (q-1)q/2) имеют полностью определенную группу автоморфизмов, изоморфную проективной унитарной группе PGU₃(F_{q²})
• Максимальные функциональные поля третьего по величине рода X₃, Y₃, Z₃ имеют определенные группы автоморфизмов в недавних исследованиях
• Случай второго по величине рода:
  • Группа автоморфизмов в случае нечетной характеристики (X₂) известна
  • Группа автоморфизмов в случае четной характеристики (Y₂, функциональное поле Абдона-Торреса) не была явно определена в существующей литературе

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

• Заполнить пробел в исследовании группы автоморфизмов функционального поля Абдона-Торреса
• Предоставить теоретическую основу для конструирования кодов алгебраической геометрии с большой длиной и хорошими параметрами
• Систематически исследовать иерархическую структуру максимальных функциональных полей

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

Основные вклады данной работы включают:

1. Полное определение структуры группы автоморфизмов функционального поля Абдона-Торреса Y₂ (теорема 3.7, предложение 3.8):
   • Доказано, что Aut(Y₂/F_{q²}) = G(P∞) (стабилизатор бесконечной точки)
   • Дано явное описание группы автоморфизмов: полупрямое произведение C ⋉ N, где |Aut(Y₂/F_{q²})| = (q+1)q³/2
   • Автоморфизмы параметризованы как {σ(x) = ax+b, σ(y) = y+(abᵍ)²x²+abᵍx+c}, где aᵍ⁺¹=1, bᵍ⁺¹=h(c)
2. Вычисление полугруппы Вейерштрасса для всех рациональных точек (предложение 3.5):
   • H(P∞) = ⟨q/2, q+1⟩
   • H(P_{a,b}) = ⟨q-1, q, q+1⟩ (для других рациональных точек)
3. Полное определение группы автоморфизмов однотчечных кодов алгебраической геометрии C_m = C(D, mP∞) (теорема 5.2, 5.8):
   • Для q+1 ≤ m ≤ (q³+q²-4q-2)/2: Aut(C_m) ≅ Aut(Y₂/F_{q²})
   • Для других значений m: дана полная классификация (включая случаи симметрических и аффинных групп)
4. Конструирование семейства максимальных функциональных полей с явно заданными определяющими уравнениями (теорема 4.6, следствия 4.7-4.8):
   • Систематическое конструирование через неподвижные поля подгрупп группы автоморфизмов
   • Даны явные формулы для рода
5. Вычисление ветвления и дифферент (предложения 4.1-4.2):
   • Определена полная структура ветвления расширения Y₂/Y₂^A
   • Вычислен дифферент Cond(Y₂/F_{q²}(x)) = (q+2)·∞

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

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

Основная задача: Определить группу автоморфизмов функционального поля Абдона-Торреса над конечным полем F_{q²} четной характеристики (q=2ⁿ≥4), где функциональное поле определяется как: $Y_2 = \mathbb{F}_{q^2}(x,y), \quad h(y) = x^{q+1}$ где $h(y) = y^{q/2} + y^{q/4} + \cdots + y^2 + y$

Ключевые свойства:

• Род: g(Y₂) = q(q-2)/4 (второй по величине возможный род)
• Число рациональных точек: N(Y₂) = 1 + q³/2
• Y₂ является подполем Галуа функционального поля Эрмита

Архитектура основного метода

1. Анализ полугруппы Вейерштрасса (разделы 3.1-3.2)

Стратегия: Определение числа полюсов через вычисление главных дивизоров

Ключевые вычисления:

• Для P∞:
  • (x) = -q/2·P∞ + Σ_{b∈Ω} P_{0,b}
  • (y) = (q+1)(P_{0,0} - P∞)
  • Следовательно, H(P∞) = ⟨q/2, q+1⟩
• Для других рациональных точек P_{a,b} (леммы 3.3-3.4):
  • Конструирование касательной функции t_{a,b} = (y-b) - aᵍ(x-a)
  • Доказательство ν_{P_{a,b}}(t_{a,b}) = 2
  • Использование теории абелевых многообразий для существования функции f_{a,b} с (f_{a,b}) = (q+1)(P_{a,b} - P∞)
  • Вывод H(P_{a,b}) = ⟨q-1, q, q+1⟩

2. Определение стабилизатора (раздел 3.1, предложение 3.1)

Метод: Анализ действия на пространствах Римана-Роха

Для σ ∈ G(P∞) имеем σ(L(nP∞)) = L(nP∞), в частности:

• L(q/2·P∞) = F_{q²} ⊕ F_{q²}x
• L((q+1)P∞) = F_{q²} ⊕ F_{q²}x ⊕ F_{q²}x² ⊕ F_{q²}y

Пусть σ(x) = ax+b, σ(y) = Ey+Ax²+Bx+c

Ключевой вывод (использование строгого неравенства треугольника): Из (σ(x))^{q+1} = h(σ(y)) разложением и сравнением дискретных нормирований получаем:

• aᵍ⁺¹ = Eᵍ/² = 1, следовательно, E = 1
• A = (abᵍ)²
• B = abᵍ
• bᵍ⁺¹ = h(c)

3. Анализ орбит (раздел 3.3, предложение 3.6)

Ключевая лемма: Доказательство O(P∞) = {P∞}

Схема доказательства:

• Предположим существование σ такого, что σ(P∞) = P_{a,b}
• Из главного дивизора (x-a) известно, что q/2 ∈ H(P_{a,b})
• Но это противоречит предложению 3.5 (H(P_{a,b}) = ⟨q-1, q, q+1⟩ не содержит q/2)

Заключение (теорема 3.7): По теореме об орбите и стабилизаторе, $|Aut(Y_2/\mathbb{F}_{q^2})| = |G(P_\infty)| \cdot |O(P_\infty)| = |G(P_\infty)|$

4. Группы автоморфизмов кодов алгебраической геометрии (раздел 5)

Комбинированная стратегия:

1. Для малых значений m: Прямой анализ порождающей матрицы
2. Для средних значений m: Применение леммы Вемейера (лемма 5.1)
3. Для больших значений m: Конструктивное доказательство поднятия автоморфизмов

Основная техника (доказательство теоремы 5.8):

(a) Поднятие на координату x:

• Конструирование рационального AG кода: C(R, ⌊2m/q⌋(x)∞^{F_{q²}(x)}) = C(R', ⌊2m/q⌋(x)∞^{F_{q²}(x)})
• Применение леммы 5.6 для получения аффинного преобразования σ(x) = ax+b

(b) Поднятие на координату y:

• Рассмотрение функции z = y·∏_{i∈I}(x-x_i) ∈ L(mP∞)
• Запись в виде w = Σ_^{q/2-1} w_k(x)y^k
• Определение формы w_k(x) через анализ нулей
• Использование леммы 5.7 для определения соотношений коэффициентов

(c) Проверка уравнения функционального поля:

• Из h(y'_{j,ℓ}) = (x'_j)^{q+1} вывод соотношений параметров
• Применение леммы 5.7(2) для определения окончательной формы

Технические инновации

1. Точное вычисление полугруппы Вейерштрасса:
   • Для точек P_{a,b} (a≠0) инновационное использование касательных функций и теории абелевых многообразий
   • Избежание прямого конструирования всех полюсов, что было бы сложным
2. Простое доказательство единственности орбиты:
   • Прямое исключение других возможностей через различие полугрупп Вейерштрасса
   • Более прямой подход, чем традиционный анализ ветвления
3. Конструктивное поднятие автоморфизмов кодов алгебраической геометрии:
   • Пошаговая стратегия поднятия (сначала x, затем y)
   • Умелое использование принципа включения-исключения для индексных множеств, обеспечивающее согласованность параметров
4. Систематическое конструирование неподвижных полей:
   • Использование структуры F₂T-модуля для унифицированной обработки расширений Артина-Шрейера
   • Предоставление явных определяющих уравнений вместо только результатов существования

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

Примечание: Данная работа является чистым математическим теоретическим исследованием и не включает численные эксперименты. Все результаты являются строгими математическими доказательствами.

Теоретическая схема верификации

1. Диапазоны параметров: q = 2ⁿ ≥ 4 (конечные поля четной характеристики)
2. Объекты верификации:
   • Функциональное поле Y₂ и его рациональные точки (1+q³/2 штук)
   • Коды алгебраической геометрии C_m для всех m ∈ ℕ
   • Семейства неподвижных полей
3. Методы верификации:
   • Вычисление главных дивизоров
   • Применение теоремы Римана-Роха
   • Верификация формулы рода Гурвица
   • Теорема об орбите и стабилизаторе

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

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

Теорема 3.7 (структура группы автоморфизмов)

Результат: Aut(Y₂/F_{q²}) = G(P∞), параметризованная следующими автоморфизмами: $\begin{cases} \sigma(x) = ax + b \\ \sigma(y) = y + (ab^q)^2x^2 + ab^qx + c \end{cases}$ где a,b,c ∈ F_{q²}, aᵍ⁺¹=1, bᵍ⁺¹=h(c)

Групповая структура (предложение 3.8): Aut(Y₂/F_{q²}) = C ⋉ N

• C: циклическая группа порядка q+1
• N: элементарная 2-группа порядка q³/2
• Общий порядок: |Aut(Y₂/F_{q²})| = (q+1)q³/2

Значимость: Эта группа относительно рода g(Y₂)=q(q-2)/4 очень велика: $|Aut(Y_2/\mathbb{F}_{q^2})| = \frac{q^3(q+1)}{2} > 8g(Y_2)^2$

Теорема 5.2 и 5.8 (группы автоморфизмов кодов алгебраической геометрии)

Полная классификация:

Ключевые находки:

• Для "большинства" значений m (от q+1 до (q³+q²-4q-2)/2) группа автоморфизмов кода совпадает с группой автоморфизмов функционального поля
• Этот диапазон охватывает примерно q³/4 последовательных целых чисел, что намного больше рода

Теорема 4.6 (семейство неподвижных полей)

Конструирование: Для m|(q+1) и p(T)|H(T) неподвижное поле $Y_2^G = \mathbb{F}_{q^2}(w,z), \quad w^{(q+1)/m} = z^{H(T)/p(T)}$ является максимальным функциональным полем с родом: $g(Y_2^G) = \frac{q+1-m}{2m}(2^{n-1-d}-1)$ где d = deg(p(T))

Частный случай (следствие 4.7): При m=q+1 получается еще одно функциональное поле типа Абдона-Торреса: $z^{q/2} + z^{q/4} + \cdots + z = w$

Ключевые технические результаты

Предложение 3.5 (полугруппа Вейерштрасса)

Значимость: Полугруппы Вейерштрасса для разных рациональных точек различаются, что является ключевым моментом в доказательстве единственности орбиты

Предложение 4.1 (структура ветвления)

Результат: В расширении Y₂/Y₂^A:

• R∞ полностью ветвится: e(P∞|R∞) = q³(q+1)/2, d(P∞|R∞) = (q⁴+2q³+q²-2q-4)/2
• Единственная другая ветвящаяся точка R: ручное ветвление, e(P|R) = q+1, d(P|R) = q
• Все остальные конечные рациональные точки сопряжены с точками над R

Примеры анализа

Пример 1 (случай q=4):

• Функциональное поле: y² + y = x⁵, определено над F₁₆
• Род: g = 4×2/4 = 2
• Число рациональных точек: 1 + 4³/2 = 1 + 32 = 33
• Порядок группы автоморфизмов: |Aut| = 5×32 = 160
• Полугруппы Вейерштрасса:
  • H(P∞) = ⟨2, 5⟩ = {0, 2, 4, 5, 6, 7, 8, ...} (2 лакуны)
  • H(P_{a,b}) = ⟨3, 4, 5⟩ (2 лакуны)

Пример 2 (параметры кода): Для q=8 (над F₆₄):

• Длина кода: n = q³/2 = 256
• Для m=20 (в диапазоне q+1, q³/4-1=9, 127):
  • Размерность: k = dim L(20P∞) = 20+1-g = 21-32 = требует уточнения (фактически используется Римана-Роха)
  • Группа автоморфизмов: Aut(C₂₀) ≅ Aut(Y₂/F₆₄), порядок 9×256=2304

Связанные работы

Исследовательская траектория максимальных функциональных полей

1. Фундаментальная теория (1980s-1990s):
   • Ihara (1981): Доказательство верхней границы рода g₁ = (q-1)q/2
   • Rück-Stichtenoth (1994): Характеризация единственности функциональных полей Эрмита
   • Fuhrmann-Torres (1996), Fuhrmann-Garcia-Torres (1997): Существование функциональных полей второго по величине рода
2. Определение второго по величине рода:
   • Xing-Stichtenoth (1995): Гипотеза и частичное доказательство
   • Fuhrmann-Torres (1996): Полное доказательство g₂ = ⌊(q-1)²/4⌋
   • Fuhrmann-Garcia-Torres (1997): Конструирование X₂ в случае нечетной характеристики
   • Abdón-Torres (1999): Конструирование Y₂ в случае четной характеристики (объект исследования данной работы)
3. Третий по величине род:
   • Korchmáros-Torres (2002): Определение g₃ = ⌊(q²-q+4)/6⌋ и трех функциональных полей
   • Beelen-Montanucci-Vicino (2023-2025): Группы автоморфизмов X₃, Y₃, Z₃
4. Подполя функциональных полей Эрмита:
   • Garcia-Stichtenoth-Xing (2000): Систематическое исследование структуры подполей
   • Cossidente-Korchmáros-Torres (1999, 2000): Теория накрытий
   • Ma-Xing (2019), Montanucci-Zini (2020): Подполя, связанные с инволютивными автоморфизмами

Исследование групп автоморфизмов

1. Коды Эрмита:
   • Xing (1995): Определение группы автоморфизмов однотчечных кодов Эрмита
   • Korchmáros-Speziali (2017): Специальный случай PGL₂(F_q)
2. Общая схема:
   • Stichtenoth (1990): Группы автоморфизмов рациональных AG кодов
   • Wesemeyer (1998): Систематический метод для плоских кривых (лемма 5.1)
   • Joyner-Ksir (2006): Теория поднятия для очень обильных дивизоров
3. Специфические кривые:
   • Kondo-Katagiri-Ogihara (2001): Кривые типа y^q+y=x^{qr+1}
   • Giulietti-Korchmáros (2008): Коды Делиня-Люстига

Позиционирование данной работы

Отношение к существующим работам:

• Заполнение пробела в исследовании группы автоморфизмов Y₂ (X₂ уже обработана в книге Hirschfeld-Korchmáros-Torres 2008)
• Обобщение результатов Xing (1995) о кодах Эрмита на случай второго по величине рода
• Применение методов Garcia-Stichtenoth-Xing (2000) для неподвижных полей

Преимущества по сравнению с связанными работами:

1. Полнота: Полное определение группы автоморфизмов, а не частичные результаты
2. Явность: Предоставление явных уравнений для неподвижных полей (теорема 4.6), а не только результатов существования
3. Глубина приложений: Полная классификация групп автоморфизмов кодов для всех значений m (теоремы 5.2, 5.8)
4. Технические инновации: Новые методы вычисления полугруппы Вейерштрасса (леммы 3.3-3.4) и поднятия автоморфизмов кодов

Заключение и обсуждение

Основные выводы

1. Полная характеризация группы автоморфизмов:
   • Aut(Y₂/F_{q²}) является полупрямым произведением C ⋉ N с порядком (q+1)q³/2
   • Относительно рода очень велика (>8g²), что указывает на богатую симметрию Y₂
2. Автоморфизмы кодов алгебраической геометрии:
   • Для "большинства" параметров m группа автоморфизмов кода совпадает с группой автоморфизмов функционального поля
   • Большие симметрии появляются только в экстремальных случаях (очень малые или очень большие m)
3. Конструирование максимальных функциональных полей:
   • Систематическое конструирование семейства максимальных функциональных полей через неподвижные поля
   • Предоставление явных формул для рода

Ограничения

1. Ограничение характеристики:
   • Методы применимы только к четной характеристике (q=2ⁿ)
   • Случай нечетной характеристики X₂ обработан в других работах, но использует совершенно другую технику
2. Пробелы в параметрах кодов:
   • Теорема 5.8 требует q+1 ≤ m ≤ (q³-3q-2)/2
   • Для среднего диапазона (q³-3q-2)/2 < m < (q³+2q²-4q-4)/4 требуются дополнительные методы
   • Хотя теорема 5.2 охватывает все m, доказательство для некоторых диапазонов весьма техническое
3. Полнота неподвижных полей:
   • Теорема 4.6 охватывает только подгруппы специфической формы (C_m × N_p)
   • Неподвижные поля других подгрупп могут требовать других методов
4. Вычислительная сложность:
   • Вычисление полугруппы Вейерштрасса включает сложную теорию дивизоров
   • Для общих рациональных точек P_{a,b} требуется теория абелевых многообразий (предложение 5.4)

Направления будущих исследований

1. Обобщение на другие максимальные функциональные поля:
   • Группы автоморфизмов AG кодов для функциональных полей третьего по величине рода
   • Случай функциональных полей Джулиетти-Кормхароса (не являющихся подполями Эрмита)
2. Алгоритмы декодирования:
   • Разработка алгоритмов permutation decoding, используя большую группу автоморфизмов
   • Исследование automorphism-invariant подкодов
3. Полная классификация неподвижных полей:
   • Определение всех подполей Галуа и их рода
   • Аналогично работе Garcia-Stichtenoth-Xing (2000) для функциональных полей Эрмита
4. Приложения к квантовым кодам:
   • Конструирование квантовых кодов коррекции ошибок с использованием CSS конструкции из Y₂
   • Большая группа автоморфизмов может обеспечить отказоустойчивые квантовые вентили
5. Вычислительные аспекты:
   • Разработка алгоритмов для вычисления полугруппы Вейерштрасса
   • Реализация символических вычислений для неподвижных полей

Глубокая оценка

Достоинства

1. Теоретическая полнота:
   • Полное определение группы автоморфизмов важного функционального поля, заполнение пробела в литературе
   • Строгие доказательства, четкая логика, пошаговое развитие от полугруппы Вейерштрасса к стабилизатору, орбитам и полной группе
2. Технические инновации:
   • Метод касательных функций (лемма 3.3): Очень искусное доказательство ν_{P_{a,b}}(t_{a,b})=2
   • Аргумент включения-исключения (доказательство теоремы 5.8): Элегантная техника обеспечения согласованности параметров
   • Применение модульной структуры (раздел 4.2): Унификация расширений Артина-Шрейера через F₂T-модули
3. Явность результатов:
   • Не только доказательство существования, но и явные формулы для всех параметров
   • Явные определяющие уравнения для неподвижных полей в теореме 4.6, удобные для дальнейших исследований и приложений
4. Практическая ценность:
   • Результаты о группах автоморфизмов AG кодов (теоремы 5.2, 5.8) имеют практическое значение для теории кодирования
   • Применимо для конструирования кодов со специфическими свойствами симметрии
5. Качество изложения:
   • Четкая структура: предварительные сведения → группы автоморфизмов → неподвижные поля → приложения
   • Единообразная нотация, подробные доказательства
   • Полный обзор связанных работ

Недостатки

1. Высокий технический уровень:
   • Требует глубоких знаний алгебраической геометрии и теории чисел
   • Некоторые доказательства (например, теорема 5.8) очень технические с множеством деталей
2. Ограниченная общность:
   • Рассматривается только четная характеристика
   • Конструирование неподвижных полей ограничено подгруппами специфического типа
3. Отсутствие численных примеров:
   • Хотя предоставлена общая теория, отсутствуют полные вычисления для конкретных малых параметров (например, q=4, 8)
   • Это помогло бы читателям лучше понять абстрактные результаты
4. Недостаточное сравнение с известными результатами:
   • Не явно сравнивается структура группы автоморфизмов Y₂ с X₂ (случай нечетной характеристики)
   • Отсутствует подробное сравнение с группой автоморфизмов функциональных полей Эрмита
5. Поверхностное обсуждение приложений:
   • Практические алгоритмы декодирования AG кодов не рассмотрены
   • Конкретные применения неподвижных полей могут быть описаны более подробно

Оценка влияния

1. Вклад в область:
   • Теоретический вклад: Завершение исследования групп автоморфизмов максимальных функциональных полей на важном этапе
   • Методологический вклад: Методы вычисления полугруппы Вейерштрасса и поднятия автоморфизмов кодов применимы к другим кривым
   • Ожидаемое цитирование: Стандартная ссылка для исследований, связанных с Y₂
2. Практическая ценность:
   • Теория кодирования: Теоретическая основа для конструирования длинных кодов с хорошими параметрами
   • Криптография: Максимальные функциональные поля имеют приложения в криптографии на основе спариваний
   • Вычислительная алгебраическая геометрия: Явные уравнения неподвижных полей удобны для компьютерной реализации
3. Воспроизводимость:
   • Теоретические результаты: Все доказательства подробны и проверяемы
   • Вычислительные аспекты: Хотя численных экспериментов нет, теория достаточно явна для верификации на малых параметрах с использованием систем компьютерной алгебры (Magma, SageMath)
4. Направления дальнейших исследований:
   • Стимулирует аналогичные исследования других максимальных функциональных полей
   • Предоставляет новые методы для исследования групп автоморфизмов AG кодов
   • Конструирование неподвижных полей обобщаемо на другие функциональные поля

Области применения

1. Теоретические исследования:
   • Теория кодов алгебраической геометрии
   • Арифметическая геометрия над конечными полями
   • Теория накрытий Галуа
2. Приложения в теории кодирования:
   • Системы связи, требующие длинные коды с хорошими параметрами
   • Разработка алгоритмов декодирования, использующих симметрию
   • Конструирование квантовых кодов коррекции ошибок
3. Криптография:
   • Криптографические протоколы на основе спариваний
   • Криптография на основе кодов
   • Кандидаты постквантовой криптографии
4. Образование:
   • Продвинутые примеры в курсах по кодам алгебраической геометрии
   • Приложения теории групп автоморфизмов

Ключевые ссылки

Данная работа цитирует 44 источника, из которых наиболее критичны следующие:

1. 1 Abdón-Torres (1999): Исходное конструирование объекта исследования Y₂
2. 38 Stichtenoth (2009): Стандартный учебник по алгебраическим функциональным полям и кодам
3. 35 Rück-Stichtenoth (1994): Характеризация единственности функциональных полей Эрмита
4. 16 Garcia-Stichtenoth-Xing (2000): Систематическое исследование подполей функциональных полей Эрмита, важная ссылка для методов данной работы
5. 41 Wesemeyer (1998): Общая схема для групп автоморфизмов AG кодов (лемма 5.1)
6. 43 Xing (1995): Группы автоморфизмов кодов Эрмита, объект обобщения в данной работе

Общая оценка: Это высокого качества работа по теории чисел и алгебраической геометрии, полностью решающая открытую проблему определения группы автоморфизмов функционального поля Абдона-Торреса. Техника строга, результаты явны, имеет практическое применение в теории кодирования. Хотя технический уровень высок и методы ограничены четной характеристикой, в рамках своей области исследование проведено очень тщательно. Рекомендуется специалистам в области кодов алгебраической геометрии, максимальных функциональных полей и групп автоморфизмов.