2025-11-21T20:10:15.742723

The Negation Of Singer's Conjecture For The Sixth Algebraic Transfer

Phuc

Let $\mathscr A$ be the Steenrod algebra over the field of characteristic two, $\mathbb F_2.$ Denote by $GL(q)$ the general linear group of rank $q$ over $\mathbb F_2.$ The algebraic transfer, introduced by W. Singer [Math. Z. 202 (1989), 493-523], is a rather effective tool for unraveling the intricate structure of the (mod-2) cohomology of the Steenrod algebra, ${\rm Ext}_{\mathscr A}^{q,*}(\mathbb F_2, \mathbb F_2).$ The Kameko homomorphism is one of the useful tools to study the dimension of the domain of the Singer transfer. Singer conjectured that the algebraic transfer is always a monomorphism, but this remains open for all homology degrees $q\geq 5.$ In this paper, by constructing a novel algorithm implemented in the computer algebra system OSCAR for computing $GL(q)$-invariants of the kernel of the Kameko homomorphism, we disprove Singer's conjecture for bidegree $(6,6+36).$

academic

The Negation Of Singer's Conjecture For The Sixth Algebraic Transfer

基本信息

论文ID: 2509.09455
标题: The Negation Of Singer's Conjecture For The Sixth Algebraic Transfer
作者: Đặng Võ Phúc (FPT University, Vietnam)
分类: math.AT (代数拓扑), math.RA (环和代数), math.RT (表示论)
发表时间: 2024年9月 (arXiv预印本)
论文链接: https://arxiv.org/abs/2509.09455

摘要

本文研究特征为2的域 $\mathbb{F}_2$ 上的Steenrod代数 $\mathscr{A}$ ，以及 $\mathbb{F}_2$ 上秩为 $q$ 的一般线性群 $GL(q)$ 。Singer代数转移是研究Steenrod代数的(mod-2)上同调 $\text{Ext}_{\mathscr{A}}^{q,*}(\mathbb{F}_2, \mathbb{F}_2)$ 复杂结构的有效工具。Kameko同态是研究Singer转移定义域维数的重要工具。Singer猜想代数转移总是单射的，但对于所有同调次数 $q \geq 5$ 这一猜想仍然开放。本文通过构造在计算机代数系统OSCAR中实现的新算法，计算Kameko同态核的 $GL(q)$ 不变量，证明了Singer猜想在双次数 $(6, 6+36)$ 处不成立。

研究背景与动机

问题背景

核心问题: Singer在1989年提出的代数转移单射性猜想，即对于任意 $q$ ，代数转移 $\text{Tr}_q(\mathbb{F}_2)$ 是单射的。
历史发展:
- Singer证明了 $q=1,2$ 时转移是同构
- Boardman证明了 $q=3$ 时转移是同构
- 作者之前的工作证明了 $q=4$ 时猜想成立
- $q \geq 5$ 时猜想一直未解决
重要性:
- 代数转移连接了模不变理论与Steenrod代数的Ext群
- 与稳定同伦群的计算密切相关
- 是代数拓扑中的基本问题
现有方法局限性:
- 手工计算在高次数时极其困难且容易出错
- 现有算法无法处理大规模的计算
- 缺乏有效的计算Kameko同态核的GL不变量的方法

核心贡献

构造了新的算法: 在OSCAR计算机代数系统中实现，用于计算Kameko同态核的 $GL(q)$ 不变量
证明了Singer猜想的反例: 在双次数 $(6, 6+36)$ 处，代数转移不是单射
提供了显式计算结果:
- $\dim(F_2 \otimes_{GL(6)} P_A(H_*(V_6)))_{36} = 2$
- $\dim \text{Ext}_A^{6,42}(F_2, F_2) = 1$
给出了不变量空间的显式基: 提供了两个多项式 $\zeta_1, \zeta_2$ 作为不变量空间的基

方法详解

任务定义

计算 $[(QP_6)_{36}]^{GL(6)}$ 的维数和显式基，其中：

$QP_q = P_q/(A^{>0} \cdot P_q)$ 是Peterson商空间
$P_q = \mathbb{F}_2[x_1, \ldots, x_q]$ 是多项式代数
$A^{>0}$ 是Steenrod代数的正次数部分

核心算法架构

1. 流式在线消元算法

function BuildDegSpaceOnline(q, n)
    对所有指数元组按权向量排序
    对每个Steenrod操作Sq^(2^p):
        流式处理每一列
        在线XOR约简构建主元映射
    返回可容许基

2. Kameko同态核计算

利用Kameko同态的关系： $\dim(QP_q)_{2n+q} = \dim \ker(\tilde{S q_0^*})_{(q,2n+q)} + \dim(QP_q)_n$

对于 $(q,n) = (6,36)$ ： $\dim(QP_6)_{36} = \dim \ker(\tilde{S q_0^*})_{(6,36)} + \dim(QP_6)_{15}$

3. GL不变量计算流程

procedure RunAll(q, n)
    Step 1: 构建源空间和目标空间的可容许基
    Step 2: 构建Kameko矩阵的位运算表示
    Step 3: 计算核空间，按权向量分组
    Step 4: 权向量分块计算Σ_q和GL(q)不变量
    Step 5: 最大权修正和提升修正

技术创新点

权向量分解: 按权向量 $\omega(x)$ 对单项式分类，将大型线性系统分解为小的稀疏系统
位运算矩阵: 使用位压缩的 $\mathbb{F}_2$ 上Gauss消元，显著提高计算效率
核限制策略: 将GL不变量的搜索限制在Kameko核的支撑上，大幅减少搜索空间
在线约简: 避免构建完整的Steenrod作用矩阵，采用流式处理

实验设置

计算环境

系统: OSCAR计算机代数系统 (基于Julia)
算法实现: 结合SageMath验证
并行计算: 利用Julia的多线程能力

关键参数

$q = 6$ (变量个数)
$n = 36$ (多项式次数)
输入单项式数量: $\binom{36+5}{5} = 749,398$

验证方法

交叉验证: 与已知的低次数手工计算结果对比
一致性检验: 验证算法输出与文献中已发表结果的一致性
独立验证: 使用不同的计算路径验证关键结果

实验结果

主要结果

定理 1.4: 对于 $q=6, n=36$ ，有 $[(QP_6)_{36}]^{GL(6)} = \mathbb{F}_2 \cdot ([\zeta_1], [\zeta_2])$

其中 $\zeta_1, \zeta_2$ 是两个显式给出的多项式（论文中给出了完整表达式）。

关键计算结果

Kameko核的维数分解: $\ker(\tilde{S q_0^*})_{(6,36)} \cong \bigoplus_{i=1}^5 QP_6(\omega_i^*)$
各权向量空间的维数：
$i$ 1 2 3 4 5
$\dim QP_6(\omega_i^*)$ 2725 111 1085 6495 1974
不变量维数:
- $\dim[(QP_6)_{15}]^{GL(6)} = 1$
- $\dim[\ker(\tilde{S q_0^*})_{(6,36)}]^{GL(6)} = 2$
- $\dim[(QP_6)_{36}]^{GL(6)} = 2$
与Ext群的比较: 根据Bruner, Chen和Lin的结果： $\text{Ext}_A^{6,42}(\mathbb{F}_2, \mathbb{F}_2) = \mathbb{F}_2 \cdot t$