モノイダル圏に対するグレブナー系とアフィンBrauer型圏の分類
Monoidal Gröbner systems and categories of affine Brauer type
この論文をやさしく読む
ひとことで言うと
グレブナー基底に似た仕組みを圏論へ広げ、特定の圏の基底と分類を調べる数学研究。
何に役立つ？
モノイダル圏の基底定理を証明し、アフィンBrauer型かどうかを局所計算で判定する際に役立つ。
この研究の面白いところ
抽象的な圏の判定を明示的な局所計算へ落とし、その一部をFORMで実装した点。
どこまで分かった？
要旨で高次の量子Schur–Weyl双対性は期待として述べられ、証明済みとはされていない。分類対象には十分に単純な表示という条件がある。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
著者らは、線形なモノイダル圏とスーパーモノイダル圏に対し、グレブナー基底、あるいは同値にBergmanのダイヤモンド補題に相当するものを導入する。これにより、モノイダルイデアルを系統的に調べ、基底定理を証明できる。中心となる概念は、高次の線形書き換え理論に基づくモノイダル・グレブナー系である。 次に、この理論をアフィンBrauer型の圏に適用する。これはアフィンBrauer圏と同じ射の基底を持つが、合成とテンソル積は異なっていてもよい線形なモノイダル圏またはスーパーモノイダル圏である。主な結果は、ある圏がアフィンBrauer型になるための判定基準であり、その問題を明示的な局所計算の一覧に帰着させる。その一部は計算代数システムFORMで実装する。 この結果から、アフィンBrauer圏、nil-Brauer圏、アフィンVWスーパー圏の基底定理に新たな組合せ論的証明が得られ、新しい例も得られる。特に、階数1の分裂型i量子群のスーパー圏化と予想される奇数nil-Brauer圏と、非アフィン部分が量子化periplectic Brauer圏であり高次の量子Schur–Weyl双対性を満たすと期待される量子化アフィンVWスーパー圏を構成する。最後に、十分に単純な表示を許すアフィンBrauer型の圏を分類する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We introduce an analogue of Gröbner bases, or equivalently, Bergman's diamond lemma, for linear (super)monoidal categories. It gives a systematic way to study monoidal ideals and to prove basis theorems. The central notion is that of a monoidal Gröbner system and is based on higher linear rewriting theory. We then apply the theory to categories of affine Brauer type: linear (super)monoidal categories that have the same hom-basis as the affine Brauer category, but possibly distinct composition and tensor product. Our main result is a criterion for a category to be of affine Brauer type, reducing the question to an explicit list of local computations, which we partially implement in the computer algebra system FORM. This gives new combinatorial proofs of the basis theorems for the affine Brauer category, the nil-Brauer category and the affine VW supercategory, and yields new examples. In particular, we construct the odd nil-Brauer category, a conjectural supercategorification of the split $\imath$quantum group of rank one, and the quantized affine VW supercategory, whose non-affine part is the quantized periplectic Brauer category and which we expect to satisfy a higher quantum Schur--Weyl duality. Finally, we classify the categories of affine Brauer type admitting a sufficiently simple presentation.
著者のコメント
96 pages, comments welcome!
arXiv ID: 2609.25159 ／ 要約の誤りについて