[論文レビュー] Higher Frobenius-Schur indicators for pivotal categories

Peter Schauenburg|arXiv (Cornell University)|Jan 1, 2015

Algebraic structures and combinatorial models参考文献 16被引用数 61

ひとこと要約

この論文は、線型ピボタルモノイダル圏における対象に対して、高次フロベニウス＝シューア指標を導入し、それが巡回的整数値をとるカテゴリの不変量であることを証明する。さらに、半単純な剛性モノイダル圏においてフロベニウス＝シューア自己準同型を定義し、これらの指標がこれらの自己準同型のトレースとして得られることを示し、カテゴリー的および表現論的視点を統一する。

ABSTRACT

We define higher Frobenius-Schur indicators for objects in linear pivotal monoidal categories. We prove that they are category invariants, and take values in the cyclotomic integers. We also define a family of natural endomorphisms of the identity endofunctor on a $k$-linear semisimple rigid monoidal category, which we call the Frobenius-Schur endomorphisms. For a $k$-linear semisimple pivotal monoidal category -- where both notions are defined --, the Frobenius-Schur indicators can be computed as traces of the Frobenius-Schur endomorphisms.

研究の動機と目的

• 線型ピボタルモノイダル圏の文脈において、フロベニウス＝シューア指標を高次に一般化すること。
• これらの高次指標がカテゴリ構造の不変量であることを確立すること。
• 半単純な剛性モノイダル圏において、恒等ファンクターの自然な自己準同型族—フロベニウス＝シューア自己準同型—を定義すること。
• $k$-線型半単純ピボタルモノイダル圏において、高次フロベニウス＝シューア指標が、まさにこれらの自己準同型のトレースに一致することを示すこと。

提案手法

• 線型ピボタルモノイダル圏における高次トレース構成を用いて、高次フロベニウス＝シューア指標を定義すること。
• これらの指標がテンソルカテゴリ同倣に関して不変であることを証明すること。
• 指標の値が巡回的整数環に属することを示すこと。
• 半単純な剛性モノイダル圏における双対性と剛性を用いて、恒等ファンクターの自己準同型族—フロベニウス＝シューア自己準同型—を自然に定義すること。
• 高次フロベニウス＝シューア指標がフロベニウス＝シューア自己準同型のトレースとして表されるトレース公式を確立すること。
• $k$-線型半単純ピボタルモノイダル圏の構造を用いて、カテゴリー的定義とトレース的定義の整合性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 ピボタル圏において、フロベニウス＝シューア指標をどのように高次に一般化できるか？
• RQ2 これらの高次指標はピボタルカテゴリの同値に関して不変か？
• RQ3 高次指標を支配する自己準同型のカテゴリー的性質は何か？
• RQ4 高次フロベニウス＝シューア指標は、恒等ファンクターの自然な自己準同型のトレースとして表現できるか？
• RQ5 高次指標の値が属する代数的構造は何か？

主な発見

• 高次フロベニウス＝シューア指標は、線型ピボタルモノイダル圏のwell-definedな不変量である。
• 高次フロベニウス＝シューア指標の値は、巡回的整数環に属する。
• 半単純な剛性モノイダル圏において、恒等ファンクターの自然な自己準同型族—フロベニウス＝シューア自己準同型—が構成される。
• $k$-線型半単純ピボタルモノイダル圏において、高次フロベニウス＝シューア指標は、対応するフロベニウス＝シューア自己準同型のトレースに正確に一致する。
• この構成により、表現論的指標とカテゴリー的トレース構造を結びつける統一的な枠組みが提供される。