Drinfeld二重の加群圏に対応するGrothendieck環の構造
Grothendieck Rings of Module Categories over Drinfeld Doubles
この論文をやさしく読む
ひとことで言うと
有限群から作るDrinfeld二重の加群圏について、Grothendieck環の演算と構造を調べた数学研究。
何に役立つ？
表現論や圏論で、この環の乗法・イデアル・群作用を具体的に扱うための公式になる。
この研究の面白いところ
複素数上で半単純となる条件を群が巡回であることと同値にし、群作用の推移性にも同値条件を与える。
どこまで分かった？
結論は標数ゼロの代数閉体と有限群を仮定する。物理系などへの応用は要旨に示されていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
標数ゼロの代数閉体kと有限群Gを考える。Drinfeld二重D(G)の表現圏の加群圏について、基底付きGrothendieck環RGを、二次の余サイクルで装飾された二重Burnside環として実現する。そして乗法、およびRGがGで次数付けされたベクトル空間の加群圏のGrothendieck群へ作用することについて、明示的なClifford型公式を導く。極大・極小の基底付きイデアルを求め、より小さい群を通る分解を調べ、標準的な両側部分群誘導に対するMackey型の定理を証明する。 複素数へ係数を拡張したRGが半単純になるのは、Gが巡回群である場合、かつその場合に限ることを証明する。また、Brauer–Picard群が既約な加群圏に作用する様子を調べ、その作用が推移的になるのはGが平方因子を持たない指数のアーベル群である場合、かつその場合に限ることを示す。アーベル群Gについては、Gとその双対群の直和に含まれるラグランジュ部分群が取り得る抽象群の型を求める。同じ次数の巡回群の直積で表される場合には既知の直交分類を適用し、異なる指数が混ざる場合には、型が同じでも共役でないラグランジュ部分群の例を示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $k$ be an algebraically closed field of characteristic zero and $G$ a finite group. We realize the based Grothendieck ring $R_G$ of ${\mathcal{R}\mathit{ep}}(D(G))$-module categories as the degree-two cocycle-decorated double Burnside ring and derive an explicit Clifford formula for multiplication and for the action of $R_G$ on the Grothendieck group of ${\operatorname{\operatorname{\mathsf{Vec}}}}_G$-module categories. We determine the extremal based ideals, study factorization through smaller groups, and prove a Mackey theorem for standard two-sided subgroup inductions. We prove that $\mathbb C\otimes_{\mathbb Z}R_G$ is semisimple exactly when $G$ is cyclic. We study the Brauer--Picard action on indecomposable ${\operatorname{\operatorname{\mathsf{Vec}}}}_G$-module categories and show that it is transitive exactly when $G$ is abelian of square-free exponent. For abelian $G$, we determine the possible abstract group types of Lagrangian subgroups of $G\oplus\widehat G$, apply the known orthogonal classification in the homocyclic case, and exhibit same-type nonconjugate Lagrangians for mixed exponents.
著者のコメント
45 pages
arXiv ID: 2609.27020 ／ 要約の誤りについて