Demuškin 变体中的高阶 Massey 乘积：支撑块、单关系子约化与一个五重零化情形
Higher Massey Products in Demuškin Variations: Support Blocks, One-Relator Reduction, and a Five-Fold Vanishing Case
浏览论文内容
中文总结 AI 辅助
本研究针对Demuškin变体群中高阶Massey乘积的零化问题，引入z-轮廓与支撑块概念，推导其计数与长度规律，证明Dwyer提升问题的条件约化，得到五重Massey乘积在内部轮廓全非零时的零化结果，并分类剩余支撑类型与相容性机制。
中文摘要 AI 辅助
Blumer 与 Quadrelli 引入了一族双关系 pro-p 群族 $\boldsymbol{\rm F}_2$，该群族通过对 Demuškin 群施加两个在 Demuškin 关系中不成对生成元的交换性得到。他们证明了三重与四重 Massey 零化性质，并提出该性质是否对任意长度都成立的问题。我们定义了已定义 n 重 Massey 乘积的 z-轮廓 $v_h=(\u03b1_h(z_1),\u03b1_h(z_2))\u037bF}_p^2$。可定义性要求 $\u0363(v_h,v_{h+1})=0$，因此非零轮廓项可分解为承载 $\u034f}^1(\u037bF}_p)$ 中射影方向的支撑块。在已知的端点约化后，恰含 r 个块的轮廓数目由 $\binom{n-1}{2r}$ 计数，且 r 个块首次出现在长度 $2r+1$ 处。我们还证明了 Dwyer 提升问题的全长度条件约化：若添加的交换关系子可在提升中变为恰当的，则 Demuškin 关系子的剩余中心缺陷可通过端点校正消除。该校正对 $\boldsymbol{\rm F}_2$ 中允许的每个参数，校正都保留幂项 $x_1^q$。在五重长度下，当所有三个内部轮廓向量 $v_2,v_3,v_4$ 均非零时，对任意素数 $p$ 都能得到零化结果。所得分类识别了剩余的五重支撑类型以及支配它们的相容性机制。
英文摘要
Blumer and Quadrelli introduced a family $\mathcal{F}_2$ of two-relator pro-$p$ groups obtained from a Demuškin group by imposing the commutativity of two generators which are not paired in the Demuškin relation. They proved the triple and quadruple Massey vanishing properties and asked whether the same holds in every length. We introduce the $z$-profile \(v_h=(α_h(z_1),α_h(z_2))\in\Fp^2\) of a defined $n$-fold Massey product. Definability forces $\det(v_h,v_{h+1})=0$, so the nonzero profile entries decompose into support blocks carrying projective directions in $\PP^1(\mathbb{F}_p)$. After the known endpoint reduction, profiles with exactly $r$ blocks are counted by $\binom{n-1}{2r}$, and $r$ blocks first occur in length $2r+1$. We also prove an all-length conditional reduction for Dwyer's lifting problem: if the added commuting relator can be made exact in a lift, then the remaining central defect of the Demuškin relator can be removed by an endpoint correction. The correction preserves the power term $x_1^q$ for every parameter allowed in $\mathcal{F}_2$. In length five, this yields vanishing whenever all three interior profile vectors $v_2,v_3,v_4$ are nonzero, for every prime $p$. The resulting classification identifies the remaining five-fold support types and the compatibility mechanisms governing them.
