Когомологические инварианты mod 2 и инварианты Витта знакопеременных групп

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

• ID статьи: 2401.12738
• Название: Invariants cohomologiques mod 2 et invariants de Witt des groupes alternés
• Автор: Жан-Пьер Серр
• Классификация: math.GR (Теория групп)
• Дата публикации: Январь 2024 г. (версия arXiv v4 обновлена 7 ноября 2025 г.)
• Ссылка на статью: https://arxiv.org/abs/2401.12738

Аннотация

В данной работе определены когомологические инварианты mod 2 и инварианты Витта знакопеременных групп $A_n$. Это обобщение результатов Серра из Se 03 о соответствующих инвариантах симметрических групп $S_n$.

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

Исследуемые проблемы

Работа посвящена изучению двух классов важных алгебраических инвариантов знакопеременных групп $A_n$:

1. Когомологические инварианты mod 2: характеризуют свойства $A_n$-торсоров при расширениях полей
2. Инварианты Витта: характеризуют свойства колец Витта квадратичных форм, связанных с $A_n$

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

1. Теоретическое значение: Знакопеременные группы являются фундаментальными конечными группами, теория их инвариантов — центральная проблема алгебраической топологии и алгебраической геометрии
2. Связь с симметрическими группами: Знакопеременные группы — подгруппы индекса 2 в симметрических группах, но структура их инвариантов существенно отличается
3. Применение гипотезы Милнора: Использование доказанной Воеводским гипотезы Милнора для установления связи между когомологией и теорией Витта

Ограничения существующих методов

• Инварианты симметрических групп $S_n$ полностью определены в Se 03
• Знакопеременные группы как подгруппы $S_n$ требуют новых техник обнаружения
• Стандартные методы ограничения не применяются непосредственно, так как $[S_n:A_n]=2$ четно

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

Обобщение теории инвариантов групп Кокстера (в частности, симметрических групп) на знакопеременные группы и развитие применимого к более общим группам "принципа расщепления" (splitting principle).

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

Главные вклады работы включают:

1. Определение полной структуры когомологических инвариантов $A_n$ (теорема 3.4.1):
   • Доказано, что $\text{Inv}_k(A_n)$ — свободный модуль над $H(k)$ ранга $1+[\frac{n}{4}]$
   • Дан явный базис: $w_{2i}(q^a)$, где $0 \leq i \leq [\frac{n}{4}]$
2. Определение полной структуры инвариантов Витта $A_n$ (теорема 3.4.2):
   • Доказано, что $\text{Inv}_k(A_n,W)$ — свободный модуль над $W(k)$ ранга $1+[\frac{n}{4}]$
   • Дан явный базис: $\lambda_i q^a$, где $0 \leq i \leq [\frac{n}{4}]$
3. Установлены теоремы обнаружения (теорема 4.2.1):
   • Построена специальная 2-подгруппа $E \subset A_n$ (элементарная абелева группа ранга $2[\frac{n}{4}]$)
   • Доказано, что отображение ограничения $\text{Inv}_k(A_n,\mathcal{C}) \to \text{Inv}_k(E,\mathcal{C})$ инъективно
4. Даны тонкие свойства форм следа (теоремы 6.1.1 и 6.1.2):
   • Доказано, что внешние степени $\lambda_j q_L$ выражаются через линейные комбинации с целыми коэффициентами $\lambda_i q_L$ ($i \leq [\frac{n}{4}]$)
   • Доказано, что производящая функция $\lambda_t(q_L)$ делится на $(1+t)^{2m+c}$

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

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

Пусть $k$ — поле характеристики $\neq 2$, $G$ — конечная группа.

Когомологические инварианты: Для каждого расширения поля $K/k$ дается отображение $a_K: \text{Tors}_G(K) \to H^r(K)$ удовлетворяющее функториальности, совместимой с расширениями полей.

Инварианты Витта: Аналогично определяются отображения в кольцо Витта $W(K)$.

Центральные объекты:

• $q^a \in \text{Inv}_k(A_n,\hat{W})$: инвариант формы следа
• $w_i(q^a) \in \text{Inv}_k^i(A_n)$: классы Штифеля-Уитни
• $\lambda_i q^a \in \text{Inv}_k(A_n,W)$: внешние степени

Архитектура метода

Первый этап: Построение подгруппы обнаружения

Для разложения $n = 4m + c$ ($c \in \{0,1,2,3\}$) строится:

1. Разбиение: $X = \{1,\ldots,n\} = X_0 \cup X_1 \cup \cdots \cup X_m$
   • $X_i = \{4i-3, 4i-2, 4i-1, 4i\}$ для $i=1,\ldots,m$
   • $X_0 = \{4m+1,\ldots,n\}$
2. Локальные группы: $A(i) \cong A_4$ фиксирует $X \setminus X_i$
3. Группа обнаружения:
   • $E = \prod_{i=1}^m E(i)$, где $E(i)$ — 2-подгруппа Силова группы $A(i)$
   • $E$ — элементарная абелева 2-группа ранга $2m$

Второй этап: Доказательство теоремы обнаружения

Ключевая лемма (предложение 4.3.1):

• Построен $D = C_{A_n}(s)$ (централизатор $s$)
• Доказано, что $D$ — группа Кокстера типа $D_r$ ($r = n/2$)
• $E$ — максимальный куб в $D$
• $(A_n : D)$ — нечетное число

Применение принципа расщепления:

1. Из $(A_n:D)$ нечетно $\Rightarrow$ $\text{Res}: \text{Inv}_k(A_n) \to \text{Inv}_k(D)$ инъективно
2. Из теории групп Вейля $\Rightarrow$ $\text{Res}: \text{Inv}_k(D) \to \text{Inv}_k(E)$ инъективно
3. Композиция дает $\text{Res}: \text{Inv}_k(A_n) \to \text{Inv}_k(E)$ инъективно

Третий этап: Вычисление инвариантов

Для случая $n = 4m$:

1. Разложение: $A = \prod_{i=1}^m A(i) \cong A_4^m$
2. Структура тензорного произведения (предложение 1.8.3): $\text{Inv}_k(A,\mathcal{C}) = \bigotimes_{i=1}^m \text{Inv}_k(A(i),\mathcal{C})$
3. Симметризация инвариантов:
   • Определено $q^a(d) = \sum_{|I|=d} \bigotimes_{i \in I} q_i^a$
   • Доказано, что $\{q^a(d): 0 \leq d \leq m\}$ — базис инвариантной части нормализатора
4. Вычисление отображения ограничения (предложение 5.3.2): $\lambda_t(\text{Res}(q^a)) = (1+t)^{2m} \sum_{d \leq m} t^d(1-t)^{2m-2d} q^a(d)$

Для общего случая $n$: Использование индукции, так как группы обнаружения для $A_{4m}, A_{4m+1}, A_{4m+2}, A_{4m+3}$ совпадают.

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

1. Использование двойных транспозиций:
   • В отличие от симметрических групп, использующих транспозиции, знакопеременные группы требуют двойных транспозиций
   • Носитель двойной транспозиции содержит 4 элемента, соответствуя двойному квадратичному расширению
2. Структура типа $D$ групп Кокстера:
   • Искусное построение, при котором централизатор становится группой типа $D_r$
   • Использование теории кубов для групп типа $D$
3. Метод производящих функций:
   • Использование делимости на $(1+t)^{2m+c}$
   • Установление рекуррентных соотношений через разложение Тейлора
4. Глубокое применение гипотезы Милнора:
   • Использование формулы редукции симметрических функций (1.1.6)
   • Установление моста между когомологией и теорией Витта (§2)

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

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

Методы верификации

• Явные вычисления для малых значений $n$ (например, $n=4,6,7,10$)
• Верификация общего случая методом индукции
• Использование известных результатов для $S_n$ в качестве контроля

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

Теорема 3.4.1 (Когомологические инварианты)

$\text{Inv}_k(A_n) \cong H(k) \oplus H(k) \cdot w_2(q^a) \oplus \cdots \oplus H(k) \cdot w_{2[\frac{n}{4}]}(q^a)$

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

• Ранг $= 1 + [\frac{n}{4}]$ равен числу классов сопряженности инволюций в $A_n$
• $w_i(q^a) = 0$ при нечетном $i$ или $i > 2[\frac{n}{4}]$

Теорема 3.4.2 (Инварианты Витта)

$\text{Inv}_k(A_n,W) \cong W(k) \oplus W(k) \cdot \lambda_1 q^a \oplus \cdots \oplus W(k) \cdot \lambda_{[\frac{n}{4}]} q^a$

Сравнение с $S_n$:

• $S_n$: ранг $= 1 + [\frac{n}{2}]$, базис обнаруживается квадратичными расширениями
• $A_n$: ранг $= 1 + [\frac{n}{4}]$, базис обнаруживается двойными квадратичными расширениями

Следствие 3.4.3 (Сюръективность)

Отображение ограничения $\text{Res}: \text{Inv}_k(S_n,\mathcal{C}) \to \text{Inv}_k(A_n,\mathcal{C})$ сюръективно.

Теорема 6.1.2 (Делимость производящей функции)

Для этальной алгебры $L$ ранга $n$ с дискриминантом 1 имеет место $\lambda_t(q_L) \equiv 0 \pmod{(1+t)^{2m+c}}$ где $m = [\frac{n}{4}]$, $c = n - 4m$.

Конкретный пример ($n=7$)