[論文レビュー] Coinduction functor in representation stability theory

Wee Liang Gan, Liping Li|arXiv (Cornell University)|Feb 24, 2015

Algebraic structures and combinatorial models参考文献 23被引用数 8

ひとこと要約

この論文は、特性 0 の体上の FI₉ および VI 圏における表現安定性理論の文脈で、余帰納関手の導入と分析を行う。共起関手とその制限関手との随伴関係を活用することで、著者たちは安定性結果の新しいホモロジー的証明を提供し、これらの圏におけるすべての有限生成射影加群がインジェクティブであることを確立する。これは表現安定性における重要な構造的結果である。

ABSTRACT

We study the coinduction functor on the category of FI-modules and its variants. Using the coinduction functor, we give new and simpler proofs of (generalizations of) various results on homological properties of FI-modules. We also prove that any finitely generated projective VI-module over a field of characteristic 0 is injective.

研究の動機と目的

• FI₉-および VI-加群の圏におけるコインダクション関手の開発と応用を通じて、ホモロジー的性質を研究すること。
• コインダクション関手と制限関手を用いて、表現安定性結果の新しいファンクター的証明を提供すること。
• 基底体の特性が 0 であるとき、FI₉ および VI 圏における有限生成射影加群がインジェクティブであることを確立すること。
• FI₉ および VI の文脈における、特に Q(kC eₘ) のコインダクション加群の構造を明確にすること。
• コインダクション関手が有限生成射影加群に対して (RS3) 条件を証明するうえでどのように有用であるかを示すこと。

提案手法

• コインダクション関手 Q は、埋め込み ι: C → C, n ↦ 1 ⊕ n によって誘導される制限関手 S の右随伴として定義される。
• 著者たちは FI₉ および VI 圏における Q(kC eₘ) を計算し、適切な条件下で kC eₘ₊₁ がその直和成分として含まれることを示している。
• Eckman-Shapiro の補題を用いて、随伴 (S, Q) を介して Ext 群を関連づけ、インジェクティブ性の性質の転送を可能にしている。
• VI 圏の場合、q（有限体の位数）が k で可逆であるとき、Q(kC eₘ) から kC eₘ₊₁ への非自明な全射が構成されている。
• インジェクティブ性の証明は、特性 0 における kC e₀ の既知のインジェクティブ性から始まる帰納法に依存している。
• 誘導加群の構造は、ワイヤープロダクト群の表現およびペリの公式（プレシズムのためのピエリの公式）を用いて分析されている。

実験結果

リサーチクエスチョン

• RQ1 FI₉ および VI 圏における標準的加群 kC eₘ に対して、コインダクション関手はどのように作用するか？
• RQ2 コインダクション関手を用いて、表現安定性結果の新しいホモロジー的証明を可能にするか？
• RQ3 なぜ FI₉ および VI 圏における有限生成射影加群が特性 0 の体上ですべてインジェクティブなのであろうか？
• RQ4 FI₉ および VI 圏における Q(kC eₘ) の正確な構造は何か？また、kC eₘ₊₁ とどのように関係しているか？
• RQ5 コインダクション関手は、これらの圏においてインジェクティブ加群を保存または反映するか？

主な発見

• FI₉ 圏において、k が可換環であるとき、Q(kC eₘ) は kC eₘ ⊕ kC eₘ₊₁ に同型である。
• VI 圏において、q が k で単元であるとき、Q(kC eₘ) は kC eₘ₊₁ を直和成分として含む。
• 特性 0 の体上の任意の有限生成射影 VI 加群はインジェクティブである。
• 特性 0 の体上の任意の有限生成射影 FI₉ 加群はインジェクティブである。
• コインダクション関手を用いることで、有限生成性が表現安定性における条件 (RS3) を意味することの新しい証明が可能である。
• ワイヤープロダクト上の誘導加群の構造は、ピエリの公式を用いて分析されており、n ≥ 2m のとき、写像 ν ↦ ħ(ν) が全単射であることが示されている。