对称群的布劳尔关系：杨 - wreath 商与 n - 循环标记障碍
Brauer Relations for Symmetric Groups: Young--Wreath Quotients and the n-Cycle Mark Obstruction
浏览论文内容
中文总结 AI 辅助
研究对称群\(S_n\)相关问题，通过构造积分同态等方法，对\(n\)为合数、素数等不同情况进行分析，得到\(O_n\)与\(\operatorname{Prim}(S_n)\)的关系，还研究了\(C_2\)上单项式伯恩赛德环，证明其商与普通杨 - wreath 商同构。
中文摘要 AI 辅助
设\(K(S_n)\)为从对称群\(S_n\)的伯恩赛德环到其有理表示环的线性化映射的核。用\(N_n\)表示由标准布劳尔关系\(\Theta_H\)给出基的自由\(\mathbb{Z}\)-子格，其由非传递或传递非本原且与杨子群不共轭的子群的\(S_n\)-共轭类索引。设\(J_n\)为由适当杨子群和标准 wreath 子群\(S_a\wr S_b\)的线性化映射的核诱导的关系的\(\mathbb{Z}\)-格，并令\(O_n = N_n / J_n\)。对于每个合数\(n\geq4\)，利用\(C_n\)-标记和杨截面构造积分同态\(\omega_n:N_n\to\mathbb{Z}\)，直接在\(\mathbb{Z}\)上证明\(J_n=\ker(\omega_n|_{N_n})\)且\(O_n\cong\mathbb{Z}\)。进一步构造从\(O_n\)到本原商\(\operatorname{Prim}(S_n)\)的自然比较同态。结合巴特尔 - 多克奇泽尔的分类定理表明，对于合数\(n\geq6\)，\(O_n\xrightarrow{\sim}\operatorname{Prim}(S_n)\)，而对于\(n = 4\)，比较映射是模\(2\)约化。另一方面，对于素数\(n\geq5\)，\(O_n = 0\)，而\(\operatorname{Prim}(S_n)\cong\mathbb{Z}\)。最后，研究\(C_2\)上的单项式伯恩赛德环，并通过称为指数 - 二置换约化的加法映射表明，所得商与普通杨 - wreath 商典范同构。
英文摘要
Let $K(S_n)$ be the kernel of the linearization map from the Burnside ring of the symmetric group $S_n$ to its rational representation ring. We denote by $N_n$ the free $\mathbb{Z}$-sublattice with basis given by the standard Brauer relations $Θ_H$, indexed by the $S_n$-conjugacy classes of subgroups that are either intransitive or transitive imprimitive and are not conjugate to Young subgroups. We also let $J_n$ be the $\mathbb{Z}$-lattice of relations induced from the kernels of the linearization maps for proper Young subgroups and standard wreath subgroups $S_a\wr S_b$, and put $O_n=N_n/J_n$. For every composite integer $n\geq 4$, we construct, using the $C_n$-mark and the Young section, an integral homomorphism $ω_n:N_n\to\mathbb{Z}$ and prove directly over $\mathbb{Z}$ that $J_n=\ker(ω_n|_{N_n})$ and $O_n\cong\mathbb{Z}$. We further construct a natural comparison homomorphism from $O_n$ to the primitive quotient $\operatorname{Prim}(S_n)$, obtained by factoring out all imprimitive relations arising from proper subquotients. Combined with the classification theorem of Bartel--Dokchitser, this shows that $O_n\xrightarrow{\sim}\operatorname{Prim}(S_n)$ for composite $n\geq 6$, while for $n=4$ the comparison map is reduction modulo $2$ under the identifications $O_4\cong\mathbb{Z}$ and $\operatorname{Prim}(S_4)\cong\mathbb{Z}/2\mathbb{Z}$. On the other hand, for prime $n\geq 5$, one has $O_n=0$, whereas $\operatorname{Prim}(S_n)\cong\mathbb{Z}$. Finally, we study the monomial Burnside ring over $C_2$ and show, via an additive map that we call index-two permutation reduction, that the resulting quotient is canonically isomorphic to the ordinary Young--wreath quotient.
