[論文レビュー] Superized Troesch complexes and cohomology for strict polynomial superfunctors

Christopher M. Drupieski, Jonathan R. Kujawa|arXiv (Cornell University)|Dec 15, 2021

Algebraic structures and combinatorial models参考文献 20被引用数 2

ひとこと要約

本稿は、特性 p ≥ 3 の体上の厳密多項式超ファンクターの圏へ、トロエシュの p-複体構成を一般化し、 twisted (超)対称冪ファンクターを実現するコhomology を持つ超化されたトロエシュ複体を構成する。主な貢献は、これらの複体を用いて偶数および奇数のフロベニウス捩りファンクターの入射的分解を構成し、カップ積同型を介して拡張群を計算することであり、超構造のためコhomology が複数の次数に散らばっているものの、古典的結果に類似した形で実現される。

ABSTRACT

We adapt a construction due to Troesch to the category of strict polynomial superfunctors in order to construct complexes of injective objects whose cohomology is isomorphic to Frobenius twists of the (super)symmetric power functors. We apply these complexes to construct injective resolutions of the even and odd Frobenius twist functors, to investigate the structure of the Yoneda algebra of the Frobenius twist functor, and to compute other extension groups between strict polynomial superfunctors.

研究の動機と目的

• 古典的な厳密多項式ファンクターから、正標数における厳密多項式超ファンクターの圏へのトロエシュの p-複体構成の拡張を図ること。
• コhomology がねじれた (超)対称冪ファンクターを実現する、入射的対象からなる超化されたトロエシュ複体を構成すること。
• これらの複体を用いて、偶数および奇数のフロベニウス捩りファンクターの明示的入射的分解を構築すること。
• カップ積同型を用いて、厳密多項式超ファンクター間の拡張群を計算すること。
• 新しい複体を用いて、古典的コホモロジー有限生成技法を超ファンクターの設定に一般化すること。

提案手法

• トロエシュの p-複体構成を、厳密多項式超ファンクターの圏へ適応し、入射的対象からなる p-複体 Bprn(r) を定義する。
• p-複体 Bprn(r) を収縮して、コホモロジーが 0 ≤ ℓ ≤ n の ℓ·(pr − 1) の次数に現れる T(Sn, r) という複体を得る。
• パリティファンクター Π を用いたスプライシング技術を用いて、偶数および奇数のフロベニウス捩りファンクター I(r)₀ および I(r)₁ の入射的分解を構成する。
• ハイパーコホモロジーのスペクトル系列と一般化されたコシュル複体を用いて、拡張群を分析する。
• カップ積写像と五つの補題を用いて、Ext 群の対称・外積と高次 Ext 群の間の同型を証明する。
• 超アナロジー版のデ・ラーム複体と帰納的議論を用いて、超設定における FFSS アプローチを模倣する。

実験結果

リサーチクエスチョン

• RQ1 正標数における厳密多項式超ファンクターの圏において、トロエシュの p-複体構成を一般化できるか？
• RQ2 超化されたトロエシュ複体のコホモロジーは、古典的場合と比べて、次数分布の点でどのように異なるか？
• RQ3 収縮された超化されたトロエシュ複体 T(Sn, r) は、フロベニウス捩りファンクターの入射的分解を構成するために用いられるか？
• RQ4 古典的 FFSS フレームワークに類似したカップ積同型は、超ファンクター設定においても成立するか？
• RQ5 一般化されたコシュル複体およびスペクトル系列の技法は、超設定における拡張群の計算に適応可能か？

主な発見

• 超化されたトロエシュ複体 Bprn(r) は、厳密多項式超ファンクターの圏における入射的対象からなる p-複体であり、そのコホモロジーはねじれた (超)対称冪ファンクター Sn(r) と同型である。
• Bprn(r) の収縮 T(Sn, r) は、0 ≤ ℓ ≤ n の ℓ·(pr − 1) の次数に非自明なコホモロジーを持つが、古典的場合とは異なり、入射的分解を形成しない。
• n = 1 の場合、複体 T(I, r) および Π ◦ T(I, r) ◦ Π をスプライシングすることで、偶数および奇数のフロベニウス捩りファンクター I(r)₀ および I(r)₁ の明示的入射的分解が得られる。
• カップ積写像 Ext•P(I(r)₁, Spr−j(j)₀)⊗d → Ext•P(Γd(r)₁, Sdpr−j(j)₀) および外積の場合にも同様のものにより、対称および外積が無限次元空間上にとられた、次数付きベクトル空間の同型が誘導される。
• 微分 ∂ に関連する一般化されたコシュル複体 Q(∂) は、コホモロジーが S(coker ∂) ⊗ Λ(ker ∂) と同型であり、拡張群の帰納的計算を可能にする。
• スペクトル系列の議論に加え、五つの補題とパリティファンクター Π による共役を用いることで、主要なカップ積写像が同型であることが示され、古典的結果が超設定へ一般化される。