[论文解读] The projective cover of tableau-cyclic indecomposable $H_n(0)$-modules

Seung-Il Choi, Young-Hun Kim+2 more|arXiv (Cornell University)|Aug 16, 2020

Algebraic structures and combinatorial models参考文献 19被引用 4

一句话总结

本文构建了与对偶纯正、扩展舒尔及双对称舒尔函数相关的 tableau-循环不可约 $H_n(0)$-模的射影覆盖。它建立了一系列从射影不可约模到这些 tableau-循环模的满同态，并通过表中的下降条件与列共享关系，给出了射影覆盖为不可约的组合准则。

ABSTRACT

Let $α$ be a composition of $n$ and $σ$ a permutation in $\mathfrak{S}_{\ell(α)}$. This paper concerns the projective covers of $H_n(0)$-modules $\mathcal{V}_α$, $X_α$ and $\mathbf{S}^σ_α$, which categorify the dual immaculate quasisymmetric function, the extended Schur function, and the quasisymmetric Schur function when $σ$ is the identity, respectively. First, we show that the projective cover of $\mathcal{V}_α$ is the projective indecomposable module $\mathbf{P}_α$ due to Norton, and $X_α$ and the $ϕ$-twist of the canonical submodule $\mathbf{S}^σ_{β,C}$ of $\mathbf{S}^σ_β$ for $(β,σ)$'s satisfying suitable conditions appear as $H_n(0)$-homomorphic images of $\mathcal{V}_α$. Second, we introduce a combinatorial model for the $ϕ$-twist of $\mathbf{S}^σ_α$ and derive a series of surjections starting from $\mathbf{P}_α$ to the $ϕ$-twist of $\mathbf{S}^{\mathrm{id}}_{α,C}$. Finally, we construct the projective cover of every indecomposable direct summand $\mathbf{S}^σ_{α, E}$ of $\mathbf{S}^σ_α$. As a byproduct, we give a characterization of triples $(σ, α, E)$ such that the projective cover of $\mathbf{S}^σ_{α, E}$ is indecomposable.

研究动机与目标

• 确定由单张表生成的 tableau-循环 $H_n(0)$-模的射影覆盖，特别是对应于对偶纯正、扩展舒尔及双对称舒尔函数的模在双对称特征下的情形。
• 建立从射影不可约模 $\mathbf{P}_\alpha$ 到 $\phi$-扭的 $\mathbf{S}^\sigma_{\lambda(\alpha),C}$ 的满同态链，将 $\mathbf{P}_\alpha$ 与更复杂的 tableau 模联系起来。
• 利用标准排列组合表，为 $\phi$-扭的 $\mathbf{S}^\sigma_\alpha$ 构造一个组合模型。
• 构造每个不可约直和分量 $\mathbf{S}^\sigma_{\alpha,E}$ 的射影覆盖，并刻画使得该覆盖不可约的三元组 $(\sigma,\alpha,E)$。

提出的方法

• 利用双对称特征将 $H_n(0)$-模与双对称函数联系起来，重点关注对偶纯正、扩展舒尔及双对称舒尔函数。
• 从 $\mathbf{P}_\alpha$ 出发，构造一系列 $H_n(0)$-模同态的满同态序列，依次映射到 $\mathcal{V}_\alpha$，再到 $X_\alpha$，最终映射到 $\phi$-扭的 $\mathbf{S}^\sigma_{\lambda(\alpha),C}$。
• 引入标准排列组合表（形状为 $\alpha$，类型为 $\sigma$）作为 $\phi$-扭的 $\mathbf{S}^\sigma_\alpha$ 的组合模型，从而实现模的显式构造。
• 应用 $\phi$-扭操作，当 $\ell(\sigma s_i) < \ell(\sigma)$ 时，将 $\mathbf{S}^\sigma_{\alpha,C}$ 与 $\mathbf{S}^{\sigma s_i}_{\alpha \cdot s_i, C}$ 关联起来，利用 Coxeter 关系。
• 利用 $\mathrm{SPCT}^\sigma(\alpha)$ 中连通分量 $E$ 的结构，将 $\mathbf{S}^\sigma_\alpha$ 分解为不可约分量 $\mathbf{S}^\sigma_{\alpha,E}$。
• 基于连通分量 $E$ 的源表中的下降位置与列共享关系，推导出 $\mathbf{S}^\sigma_{\alpha,E}$ 的射影覆盖不可约的判别准则。

实验结果

研究问题

• RQ1 与对偶纯正双对称函数对应的 tableau-循环 $H_n(0)$-模 $\mathcal{V}_\alpha$ 的射影覆盖是什么？
• RQ2 如何从 $\mathbf{P}_\alpha$ 构造到 $\phi$-扭的 $\mathbf{S}^\sigma_{\lambda(\alpha),C}$ 的满同态链？$\phi$-扭在此构造中起什么作用？
• RQ3 在 $\mathrm{SPCT}^\sigma(\alpha)$ 的连通分量 $E$ 的源表中，哪些组合条件能确保 $\mathbf{S}^\sigma_{\alpha,E}$ 的射影覆盖不可约？
• RQ4 $\phi$-扭操作如何与标准排列组合表上的 $H_n(0)$-作用相互作用，从而导出到 $\mathbf{S}^\sigma_{\alpha,E}$ 的满同态？
• RQ5 每个不可约直和分量 $\mathbf{S}^\sigma_{\alpha,E}$ 的射影覆盖是否都能显式构造？其结构是怎样的？

主要发现

• 根据 Norton 的结果，$\mathcal{V}_\alpha$ 的射影覆盖是射影不可约模 $\mathbf{P}_\alpha$。
• 存在满同态链 $\mathbf{P}_\alpha \twoheadrightarrow \mathcal{V}_\alpha \twoheadrightarrow X_\alpha \twoheadrightarrow \phi$-扭的 $\mathbf{S}^{\sigma}_{\lambda(\alpha),C}$，将 $\mathbf{P}_\alpha$ 与规范子模的 $\phi$-扭联系起来。
• $\phi$-扭的 $\mathbf{S}^\sigma_\alpha$ 允许通过标准排列组合表进行组合建模，从而实现满同态的显式构造。
• 当且仅当对于源表中每个下降位置 $d_i$，相邻的钩子 $\mathtt{H}_i$ 与 $\mathtt{H}_{i+1}$ 共享一列，或 $d_{i-1}+1$ 与 $d_{i+1}$ 在 $\tau_E$ 中相互攻击时，$\mathbf{S}^\sigma_{\alpha,E}$ 的射影覆盖是不可约的，如推论 5.12 所述。
• 所有规范类 $E$ 均满足不可约性条件，从而提供了一类具有不可约射影覆盖的 $\mathbf{S}^\sigma_{\alpha,E}$。
• 该构造通过满同态 $\overline{\mathbf{P}}_{\boldsymbol{\upgamma}} \twoheadrightarrow \mathbf{S}^\sigma_{\alpha,E}$ 给出了 $\mathbf{S}^\sigma_{\alpha,E}$ 的射影表示，其中 $\boldsymbol{\upgamma} = \boldsymbol{\upalpha}_E^{\min}$，如图 1 所示。