[論文レビュー] 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

ひとこと要約

本稿は、双対相反、拡張シュール、およびクasi-symmetricシュール関数に対応するテーブルオ・巡回的で分解不能な $H_n(0)$-加群の射影被覆を構成する。これらのテーブルオ・巡回的加群への射影的分解不能加群からの系列の全射を確立し、テーブルオにおける降下条件と列共有を用いて、直接和成分 $σ_{\alpha,E}$ の射影被覆が分解不能であるための組合せ的基準を提示する。

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.

研究の動機と目的

• 単一のテーブルオによって生成されるテーブルオ・巡回的 $H_n(0)$-加群の射影被覆を特定すること、特に双対相反、拡張シュール、およびクasi-symmetricシュール関数に対応するものについて、クasi-symmetric特徴関数を通じて。
• 射影的分解不能加群 $\mathbf{P}_\alpha$ から $\phi$-twist の $\mathbf{S}^\sigma_{\lambda(\alpha),C}$ への全射の鎖を確立し、$\mathbf{P}_\alpha$ をより複雑なテーブルオ加群へ関連付けること。
• $\mathbf{S}^\sigma_\alpha$ の $\phi$-twist の組合せ的モデルを標準的置換組成テーブルオを用いて提供すること。
• 各分解不能直接和成分 $\mathbf{S}^\sigma_{\alpha,E}$ の射影被覆を構成し、その被覆が分解不能であるような三つ組 $(\sigma,\alpha,E)$ を特徴づけること。

提案手法

• クasi-symmetric特徴関数を用いて $H_n(0)$-加群とクasi-symmetric関数を関連付け、双対相反、拡張シュール、およびクasi-symmetricシュール関数に焦点を当てる。
• $\mathbf{P}_\alpha$ から始まる $H_n(0)$-加群の全射系列を構成し、$\mathcal{V}_\alpha$ へ、次に $X_\alpha$ へ、最後に $\mathbf{S}^\sigma_{\lambda(\alpha),C}$ の $\phi$-twist へと至る。
• $\alpha$ の形と $\sigma$ の型を持つ標準的置換組成テーブルオを用いて、$\mathbf{S}^\sigma_\alpha$ の $\phi$-twist の組合せ的モデルを導入し、明示的な加群構成を可能にする。
• $\ell(\sigma s_i) < \ell(\sigma)$ のとき、$\mathbf{S}^\sigma_{\alpha,C}$ と $\mathbf{S}^{\sigma s_i}_{\alpha \cdot s_i, C}$ の間で $\phi$-twist 操作を適用し、Coxeter関係を用いて関係を確立する。
• $\mathrm{SPCT}^\sigma(\alpha)$ 内の連結成分 $E$ の構造を用いて、$\mathbf{S}^\sigma_\alpha$ を分解不能和成分 $\mathbf{S}^\sigma_{\alpha,E}$ に分解する。
• 源テーブルオのクラス $E$ における降下位置と列共有に基づき、$\mathbf{S}^\sigma_{\alpha,E}$ の射影被覆が分解不能であるための基準を導出する。

実験結果

リサーチクエスチョン

• RQ1 双対相反クasi-symmetric関数に対応するテーブルオ・巡回的 $H_n(0)$-加群 $\mathcal{V}_\alpha$ の射影被覆は何か？
• RQ2 $\mathbf{P}_\alpha$ から $\mathbf{S}^\sigma_{\lambda(\alpha),C}$ の $\phi$-twist への全射の鎖をどのように構成できるか。また、この構成における $\phi$-twist の役割は何か？
• RQ3 $\mathrm{SPCT}^\sigma(\alpha)$ 内の連結成分 $E$ の源テーブルオにどのような組合せ的条件が満たされると、$\mathbf{S}^\sigma_{\alpha,E}$ の射影被覆が分解不能になるか？
• RQ4 $\phi$-twist 操作は、標準的置換組成テーブルオにおける $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$-twist of $\mathbf{S}^{\sigma}_{\lambda(\alpha),C}$ という全射の系列が存在し、$\mathbf{P}_\alpha$ を $\phi$-twist の標準的部分加群へ関連付ける。
• $\mathbf{S}^\sigma_\alpha$ の $\phi$-twist は、標準的置換組成テーブルオを用いた組合せ的モデルを備えており、全射の明示的構成を可能にする。
• $\mathbf{S}^\sigma_{\alpha,E}$ の射影被覆が分解不能であるための必要十分条件は、クラス $E$ の源テーブルオにおける各降下 $d_i$ に対して、隣接するフック $\mathtt{H}_i$ と $\mathtt{H}_{i+1}$ が列を共有する、または $d_{i-1}+1$ と $d_{i+1}$ が $\tau_E$ において攻撃的である、という条件である（Corollary 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による）。