[論文レビュー] Modified Traces on Deligne's Category Rep(S_{t})

Jonathan Comes, Jonathan R. Kujawa|arXiv (Cornell University)|Mar 10, 2011

Algebraic structures and combinatorial models参考文献 19被引用数 3

ひとこと要約

本稿は、デリーニのカテゴリ Rep(Sₜ) における一意な非自明な修正トレース関数の族の存在を確立し、t が非負整数であるとき、アーベルでないにもかかわらずカテゴリが修正トレースを備えることを証明する。著者らはカテゴリの重層的バージョンを導入し、修正トレースをこの設定に持ち上げ、q-変形されたブレーディングおよびねじれ構造を通じてフレームドリンクのねじれ不変量を回復することを示す。

ABSTRACT

Deligne has defined a category which interpolates among the representations of the various symmetric groups. In this paper we show Deligne's category admits a unique nontrivial family of modified trace functions. Such modified trace functions have already proven to be interesting in both low-dimensional topology and representation theory. We also introduce a graded variant of Deligne's category, lift the modified trace functions to the graded setting, and use them to recover the well-known invariant of framed knots known as the writhe.

研究の動機と目的

• 対称群の表現を補間するデリーニのカテゴリ Rep(Sₜ) における修正トレース関数の存在と構造を調査すること。
• 特にアーベルでないカテゴリにおいて修正トレースが存在する条件を理解するというギャップを埋めるために、Rep(Sₜ) を非アーベルな例として研究すること。
• 修正トレースを持ち上げるためにデリーニのカテゴリの重層的バージョンを構成し、それらをねじれのような位相的不変量と結びつけること。
• 重層的設定における修正トレースが、q-変形されたブレーディングを通じて、フレームドリンクの古典的ねじれ不変量を回復することを示すこと。

提案手法

• 対象および射に ℤ-重層を導入することで、gRep₀(Sₜ)ₚ と表記されるデリーニのカテゴリの重層的バージョンを定義する。
• 対象 [a,b] を [a+b] に、射を同一に写像する、gRep(Sₜ)ₚ から Rep(Sₜ) へのテンソル関手 F を構成する。
• 関手 F を用いて、Rep(Sₜ) からの修正トレースを重層的カテゴリに持ち上げる。F(V) がアンビデキストラス・トレースを備えるならば、V も同様にそうであることを示す。
• ブレーディング c_{V,W} が q^{rs} 倍され、θ_V が q^{r²} 倍される重層的ブレーディングおよびねじれ構造を用い、カテゴリ的構造と位相的不変量を関連付ける。
• M_{a,b} でラベル付けされた向き付けられたフレームドリンク K の不変量を q^{(a−b)²ω} として計算する。ここで ω は K のねじれである。
• 持ち上げられたトレース構造が、評価、コエバaluacion、およびブレーディングと可換であり、アンビデキストラス・トレース条件を保つことを確認する。

実験結果

リサーチクエスチョン

• RQ1 デリーニのカテゴリ Rep(Sₜ) は非自明な修正トレース関数を備えているか。もしそうならば、どのような条件下でか？
• RQ2 修正トレースは、デリーニのカテゴリの非重層的バージョンから重層的バージョンに持ち上げられるか？
• RQ3 重層的設定における修正トレースから、特にフレームドリンクに対してどのような位相的不変量が生じるか？
• RQ4 重層的カテゴリにおけるブレーディングおよびねじれの q-変形は、ねじれのような既知の不変量とどのように関係するか？
• RQ5 アーベルでないリボンカテゴリにおいて、修正トレースの存在は可能か。特に t が非負整数であるときの Rep(Sₜ) においては？

主な発見

• t が非負整数であるとき、デリーニのカテゴリ Rep(Sₜ) は一意な非自明な修正トレース関数の族を備える。
• カテゴリ Rep(Sₜ) は、アーベルでないにもかかわらず修正トレースを支持する非アーベルリボンカテゴリとして、初めて知られている例である。
• gRep(Sₜ)ₚ は Rep(Sₜ) へのテンソル関手 F を備え、双対性、結合則、単位則を保存する。
• Rep(Sₜ) における修正トレースは、関手 F を通じて重層的設定に持ち上げられ、M_{a,b} のような対象がアンビデキストラス・トレースを備えることが保証される。
• M_{a,b} でラベル付けされたフレームドリンク K に対して、不変量は q^{(a−b)²ω} であり、ここで ω は K のねじれである。これは古典的ねじれ不変量を回復する。
• 構成により、ねじれ不変量が重層的カテゴリにおける q-変形されたブレーディングおよびねじれから自然に生じることが示され、q が単位根でない限り有効である。