[論文レビュー] Simple commutative algebras in Deligne's categories Rep($S_t$)

Luke Sciarappa|arXiv (Cornell University)|Jun 24, 2015

Algebraic structures and combinatorial models参考文献 5被引用数 9

ひとこと要約

この論文は、超越的 t に対してデリーニの圏 Rep(Sₜ)における単純な可換代数的対象を分類し、それらが、自然な誘導関手を介して Rep(Sₖ) からの単純代数の像としてのみ生じることを証明する。これらの代数は、Sₖ の固定部分群 H に対して、Sₙ における H×Sₙ₋ₖ の陪集合上の関数代数を補間するものであり、t が超越的であるとき、それらが唯一の単純代数であることが示される。

ABSTRACT

We show that in the Deligne categories $\mathrm{Rep}(S_t)$ for $t$ a transcendental number, the only simple algebra objects are images of simple algebras in the category of representations of a symmetric group under a canonical induction functor. They come in families which interpolate the families of algebras of functions on the cosets of $H imes S_{n-k}$ in $S_n$, for a fixed subgroup $H$ of $S_k$.

研究の動機と目的

• t が超越的であるとき、デリーニの圏 Rep(Sₜ) におけるすべての単純な可換代数的対象を分類すること。
• このような代数が、有限対称群表現を経由して自然な誘導関手によって生じるかどうかを特定すること。
• ベクトル空間へのファイバー関手が存在しない状況における、Rep(Sₜ) 内の単純代数の構造を理解すること。
• t が超越的であるとき、Rep(Sₜ) 内の唯一の単純代数が、Sₙ における H×Sₙ₋ₖ の陪集合上の関数代数を補間するものであることを確立すること。

提案手法

• Rep(Sₖ) から Rep(Sₜ) への自然な誘導関手を用いて、Rep(Sₖ) の単純代数から Rep(Sₜ) 内の代数族を構成する。
• 代数幾何学における構成可能集合の理論を応用し、Rep(Sₜ) 内の代数的対象の補足と構造を分析する。
• Karoubi閉包とイデムポテン成分完備化を用いて、Rep(Sₜ) を、射が分割によって与えられる有限集合の圏のイデムポテン成分完備化として定義する。
• Rep(Sₜ) のモノイダル構造と、対称群が陪集合空間に作用する仕組みを活用し、代数的対象の性質を分析する。
• 特に、対称群とその部分群の作用に関する群論的結果を応用し、軌道の安定化部分群の可能性を分類する。
• 十分大きな n に対して、Rep(Sₙ) 内の代数を Rep(Sₜ) に射影する場合、Sₖ×Sₙ₋ₖ に同型な部分群構造と整合する必要があることを利用する。

実験結果

リサーチクエスチョン

• RQ1 t が超越的であるとき、Rep(Sₜ) 内のすべての単純な可換代数的対象は、ある k に対して Rep(Sₖ) の単純代数から誘導されるか？
• RQ2 ベクトル空間へのファイバー関手が存在しない場合、Rep(Sₜ) 内の単純代数の正確な構造は何か？
• RQ3 Sₙ における H×Sₙ₋ₖ の陪集合上の関数代数は、どのように Rep(Sₜ) に補間されるか？
• RQ4 Rep(Sₜ) 内の単純代数の分類は、誘導と射影を介して Rep(Sₙ) 内の分類に還元可能か？
• RQ5 構成可能集合と軌道構造は、Rep(Sₜ) 内の代数的対象を特徴付けるために果たす役割は何か？

主な発見

• t が超越的であるとき、Rep(Sₜ) 内のすべての単純な可換代数的対象は、自然な誘導関手を介して Rep(Sₖ) からの単純代数の像として生じる。
• これらの代数は、固定部分群 H ≤ Sₖ に対して、Sₖ×Sₙ₋ₖ の部分群における ℂ[Sₖ/H] ⊠ ℂ の誘導と同型である。
• Rep(Sₜ) 内の代数族は、Sₙ における H×Sₙ₋ₖ の陪集合上の関数代数を補間し、t を超えて構造が保存される。
• 十分大きな n に対して、Rep(Sₙ) 内の代数を Rep(Sₜ) に射影すると、H′×Sₙ₋ⱼ′ の形をした部分群からの誘導代数と同型である。
• t が超越的であるとき、Rep(Sₜ) 内の唯一の単純代数は、Sₙ が H×Sₙ₋ₖ の陪集合に推移的に作用するものに由来するものである。
• 分類は完全である：t が超越的であるとき、Rep(Sₜ) 内にそれ以外の単純な可換代数は存在しない。