对角Specht理想及其簇
Diagonal Specht ideals and their varieties
浏览论文内容
中文总结 AI 辅助
本文研究对角Specht理想的零点集与偏序同构，给出根性与Cohen-Macaulay性的完整刻画，并利用Gröbner基与GL_m作用证明关键判据。
中文摘要 AI 辅助
我们研究对角Specht理想$I_\lambda\subseteq\mathcal{R}_{m,n}:=\mathbb{C}[\mathbf{x}_1,\dots,\mathbf{x}_m]$，其中$\mathbf{x}_r=(x_{r,1},\dots,x_{r,n})$，该理想由$S_n$对角作用下$\mathcal{R}_{m,n}$的$\lambda$-等型分量生成。我们将$I_\lambda$的零点集刻画为$V_\lambda=\bigcup_{\mu\not\trianglelefteq\lambda}H_\mu$，并证明对所有$m$，映射$\lambda\mapsto V_\lambda$是从偏序集$(\mathcal{P}_n,\trianglelefteq)$到$(\{V_\lambda:\lambda\in \mathcal{P}_n\},\supseteq)$的偏序同构，而映射$\lambda\mapsto I_\lambda$是从$(\mathcal{P}_n,\trianglelefteq)$到$(\{I_\lambda:\lambda\in \mathcal{P}_n\},\subseteq)$的偏序同构当且仅当$m=1$或$n\leq3$。与$m=1$时Specht理想总是根理想的情况不同，在对角设置中根性依赖于$\lambda$和$m$。我们通过给出显式Gröbner基证明了长度至多三的钩子分区的根性，并发展了基于内容、多度和全度的三个非根性判据，特别表明当$m\geq\operatorname{len}(\lambda)$时，对任何非钩子分区$\lambda$，$I_\lambda$都不是根理想。利用$\mathcal{R}_{m,n}$上的$\operatorname{GL}_m(\mathbb{C})$作用，我们证明$I_\lambda$对所有$m$是根理想当且仅当它对$m=n$是根理想。最后，对于$m\geq2$，我们证明$\mathcal{R}_{m,n}/I_\lambda$是Cohen-Macaulay的当且仅当$\lambda=(n)$或$\lambda=(n-1,1)$，且$\mathcal{R}_{m,n}/\operatorname{rad}(I_\lambda)$也有同样结论。
英文摘要
We study the diagonal Specht ideals $I_λ\subseteq\mathcal{R}_{m,n}:=\mathbb{C}[\mathbf{x}_1,\dots,\mathbf{x}_m]$, $\mathbf{x}_r=(x_{r,1},\dots,x_{r,n})$, generated by the $λ$-isotypic component of $\mathcal{R}_{m,n}$ for the diagonal action of $S_n$. We characterize the set of zeros of $I_λ$ as $V_λ=\bigcup_{μ\not\trianglelefteqλ}H_μ$ and prove that $λ\mapsto V_λ$ is an isomorphism of posets from $(\mathcal{P}_n,\trianglelefteq)$ to $(\{V_λ:λ\in \mathcal{P}_n\},\supseteq)$ for all $m$, while $λ\mapsto I_λ$ is an isomorphism of posets from $(\mathcal{P}_n,\trianglelefteq)$ to $(\{I_λ:λ\in \mathcal{P}_n\},\subseteq)$ if and only if $m=1$ or $n\leq3$. Unlike the case $m=1$, where Specht ideals are always radical, radicality in the diagonal setting depends on $λ$ and $m$. We prove radicality for hook partitions of length at most three by providing explicit Gröbner bases, and we develop three criteria for non-radicality via content, multidegree, and total degree, showing in particular that $I_λ$ is not radical for any non-hook partition $λ$ when $m\geq\operatorname{len}(λ)$. Using the $\operatorname{GL}_m(\mathbb{C})$-action on $\mathcal{R}_{m,n}$, we show that $I_λ$ is radical for all $m$ if and only if it is radical for $m=n$. Finally, for $m\geq2$, we prove that $\mathcal{R}_{m,n}/I_λ$ is Cohen-Macaulay if and only if $λ=(n)$ or $λ=(n-1,1)$, and the same is true for $\mathcal{R}_{m,n}/\operatorname{rad}(I_λ)$.
