[論文レビュー] Highest weight categories and strict polynomial functors

Henning Krause|arXiv (Cornell University)|May 7, 2014

Algebraic structures and combinatorial models参考文献 22被引用数 7

ひとこと要約

この論文は、Weyl関手を標準的対象として用い、Schur/Weyl関手理論を用いて、任意の可換ベース環上の厳密多項式関手の最高重量カテゴリ構造を確立する。主な結果は、厳密多項式関手のカテゴリがRingel自己双対的であり、外冪が特徴的ティルティング対象をなすことにより、この枠組みを通じてシュール代数が準特徴的であることが証明されることである。

ABSTRACT

Highest weight categories are described in terms of standard objects and recollements of abelian categories, working over an arbitrary commutative base ring. Then the highest weight structure for categories of strict polynomial functors is explained, using the theory of Schur and Weyl functors. A consequence is the well-known fact that Schur algebras are quasi-hereditary.

研究の動機と目的

• 標準的対象と再統合（recollements）を用いて、任意の可換ベース環上の最高重量カテゴリを統一的に記述する枠組みを提供すること。
• SchurおよびWeyl関手理論を用いて、厳密多項式関手のカテゴリが最高重量カテゴリとして特徴付けられることを明らかにすること。
• 特徴的ティルティング対象を特定することにより、厳密多項式関手のカテゴリに対するRingel双対性を確立すること。
• 厳密多項式関手のカテゴリがRingel自己双対的であることから、シュール代数が準特徴的であることを証明すること。

提案手法

• アーベルカテゴリの再統合（recollements）を用いて、任意の可換環上での最高重量カテゴリを記述する。
• 分割冪と厳密多項式関手の理論を適用し、重み空間および標準的対象を構成する。
• Weyl関手が最高重量構造における標準的対象 Δ(λ) として特定されることを示す。
• カウチ分解を用いて、射影的対象をWeyl関手の直和にフィルトレーションする。
• 外冪関手 Λ^d を、Γ^d_k とのテンソル積を介して特徴的ティルティング対象として特定する。
• Λ^d ⊗_{Γ^d_k} − が標準的対象のフィルトレーションと余標準的対象のフィルトレーションの間の同値を誘導することを示し、Ringel自己双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 標準的対象と再統合（recollements）を用いて、任意の可換ベース環上での最高重量カテゴリをどのように記述できるか？
• RQ2 厳密多項式関手のカテゴリの最高重量構造は何か？ また、どの関手が標準的対象をなすか？
• RQ3 厳密多項式関手のカテゴリは特徴的ティルティング対象を有するか？ もしあるならば、その形は何か？
• RQ4 厳密多項式関手のカテゴリはRingel自己双対的か？ その場合、シュール代数にどのような含意があるか？
• RQ5 カウチ分解は、厳密多項式関手のカテゴリにおける射影的対象のフィルトレーションとどのように関係するか？

主な発見

• Weyl関手 W_λ は、厳密多項式関手のカテゴリにおける最高重量構造の標準的対象 Δ(λ) に正確に一致する。
• カウチ分解により、任意の射影的対象のフィルトレーションが得られ、その関連するgraded対象はWeyl関手の直和となる。
• 外冪関手 Λ^d は、厳密多項式関手のカテゴリにおける特徴的ティルティング対象として機能する。
• 関手 Λ^d ⊗_{Γ^d_k} − は、標準的対象のフィルトレーションと余標準的対象のフィルトレーションの間の同値を誘導する。
• 厳密多項式関手のカテゴリはRingel自己双対的であり、特徴的ティルティング対象は ⨁_λ Λ^λ である。
• その結果、シュール代数は準特徴的であることが示され、従来の知られていた結果が、新たなホモロジー的枠組みを通じて裏付けられた。