正標数の代数群に対する圏論的表現とフロベニウス写像のトレース
Categorical representations of algebraic groups in positive characteristic
この論文をやさしく読む
ひとことで言うと
正標数の代数群の表現を無限圏で扱い、恒等射とフロベニウス射のトレースを記述する数学研究。
何に役立つ？
代数群の圏論的表現と、随伴商や固定点上の層との関係を理解するのに役立つ。
この研究の面白いところ
弱い設定と強い設定を含む共通枠組みを作り、二種類の射のトレースをそれぞれ幾何学的な層の圏に結び付ける。
どこまで分かった？
トレースの同一視には、正標数の代数閉体、連結簡約群、適切な仮定という条件がある。要旨は仮定の詳細を列挙していない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本論文は、任意の基礎体に適用できる、有限型のアフィン群スキームに対する圏論的表現論の形式体系を、弱い設定と強い設定の両方で提示する。基礎となるのは、こうした群スキームの表現とHarish-Chandra加群・両側加群を調べるための適切な無限圏論的枠組みの整備であり、これらは構造の基本的な構成要素と例になる。 この文脈で圏論的トレースも調べる。特に、正標数の代数閉体k上の連結簡約代数群Gの表現からなる適切な無限圏において、恒等射の圏論的トレースは、適切な仮定の下で随伴商G/G上のIndコヒーレント層の無限圏と同一視できる。同様に、フロベニウス射の圏論的トレースは、フロベニウスの固定点GのF乗上のIndコヒーレント層の無限圏と同一視できる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In this paper we present a formalism of categorical representation theory for affine group schemes of finite type over fields (both in the weak and strong settings) which applies to arbitrary base fields. This is based on the development of an appropriate $\infty$-categorical setting for the study of representations and Harish-Chandra (bi)modules of such group schemes, which constitute the building blocks and basic examples of such structures. We also study categorical traces in this context, and show in particular that the categorical trace of the identity morphism, resp.~Frobenius morphism, on the appropriate $\infty$-category of representations of a connected reductive algebraic group $G$ over an algebraically closed field $k$ of positive characteristic identifies (under suitable assumptions) with the $\infty$-category of Ind-coherent sheaves on the adjoint quotient $G/G$, resp.~of the fixed points $G^{\mathrm{F}}$ of the Frobenius.
著者のコメント
53 pages
arXiv ID: 2609.25148 ／ 要約の誤りについて