[論文レビュー] Ultraproducts of Tannakian Categories and Generic Representation Theory of Unipotent Algebraic Groups

Michael Crumley|arXiv (Cornell University)|Nov 1, 2010

advanced mathematical theories参考文献 12被引用数 8

ひとこと要約

本稿は、特定の超積（ultraproduct）—具体的には、正の特徴的値が増加する体上の単心的代数的群の表現の高さ制限付き超積—が、特徴的値ゼロの体上の群のコピーの積の表現の圏とテンソル同値であることを確立する。主な結果は、十分に大きな特徴的値において、すべての有限次元表現が特徴的値ゼロのものに類似した「高さ制限付き」表現の積に分解可能であることを示しており、これにより、超積とタンカリアン双対性を用いて、一般のコホモロジーおよび表現論を一階論理的枠組みで記述可能となる。

ABSTRACT

The principle of tannakian duality states that any neutral tannakian category is tensorially equivalent to the category Rep_k G of finite dimensional representations of some affine group scheme G and field k, and conversely. Originally motivated by an attempt to find a first-order explanation for generic cohomology of algebraic groups, we study neutral tannakian categories as abstract first-order structures and, in particular, ultraproducts of them. One of the main theorems of this dissertation is that certain naturally definable subcategories of these ultraproducts are themselves neutral tannakian categories, hence tensorially equivalent to Comod_A for some Hopf algebra A over a field k. We are able to give a fairly tidy description of the representing Hopf algebras of these categories, and explicitly compute them in several examples. For the second half of this dissertation we turn our attention to the representation theories of certain unipotent algebraic groups, namely the additive group G_a and the Heisenberg group H_1. The results we obtain for these groups in characteristic zero are not at all new or surprising, but in positive characteristic they perhaps are. In both cases we obtain that, for a given dimension n, if p is large enough with respect to n, all n-dimensional modules for these groups in characteristic p are given by commuting products of representations, with the constituent factors resembling representations of the same group in characteristic zero. We later use these results to extrapolate some generic cohomology results for these particular unipotent groups.

研究の動機と目的

• 特徴的値正の状態における代数的群の一般コホモロジーを、タンカリアン圏の超積を用いて一階論理的枠組みで記述すること。
• 中立的タンカリアン圏の超積の構造を調査し、依然としてタンカリアンであると判別可能な部分圏を同定すること。
• 特に単心的群の文脈において、これらの超積圏を表すホップ代数を明示的に計算すること。
• 特徴的値正の状態における単心的群の表現論—特に加法群 $G_a$ とヘイゼンベルク群 $H_1$—を特徴的値ゼロのものと比較すること。
• 正の特徴的値とゼロ特徴的値の間の表現論をつなぐ橋渡しとしての「高さ制限付き超積」を定義し、その性質を研究すること。

提案手法

• 特徴的値が増加する体 $k_i$ 上のタンカリアン圏 $ ext{Rep}_{k_i}G$ の制限付き超積を構成し、表現の高さに制限を課す。
• 有限次元表現の圏に対してモデル理論的超積構成を適用し、超フィルターを用いて表現系の同値類を定義する。
• タンカリアン双対性を適用し、超積内の特定の部分圏が中立的タンカリアンであることを示し、したがってホップ代数 $A_R$ を用いた $ ext{Comod}_{A_R}$ と同値であることを示す。
• 制限付き超積の代表ホップ代数 $A_R$ を計算し、$G$ の群代数のコピーの直積と同型であることを示す。
• 高特徴的値において、単心的群の $n$ 次元表現が、特徴的値ゼロのものに類似した表現の積に分解可能であるという事実を用い、高さ制限付き超積の構成を可能にする。
• 得られた同値 $ ext{Comod}_{A_R} \to \text{Rep}_k G^n$ を用いて、超積設定下での一般コホモロジー結果を外挙する。

実験結果

リサーチクエスチョン

• RQ1 特徴的値正の状態における単心的代数的群の一般コホモロジーは、タンカリアン圏の超積を用いて記述可能か？
• RQ2 特徴的値が増加する体上の表現の制限付き超積が、中立的タンカリアン圏であるための条件は何か？
• RQ3 制限付き超積のタンカリアン圏を表すホップ代数の構造は何か？
• RQ4 十分に大きな特徴的値において、$G_a$ と $H_1$ の特徴的値正の状態における表現論は、特徴的値ゼロのものとどのように関係するか？
• RQ5 拡張が自明な拡張または線形独立性であるという性質が、一階論理的枠組みで超積構成に保存可能か？

主な発見

• 特徴的値が増加する体 $k_i$ 上の $ ext{Rep}_{k_i}G$ の制限付き超積は、特徴的値ゼロの体 $k$ 上の $G^n$（$G$ の $n$ 重積）の表現の圏 $ ext{Rep}_k G^n$ とテンソル同値である。
• 与えられた次元 $n$ に対して、特徴的値 $p$ が $n$ に対して十分に大きい場合、$G_a$ および $H_1$ の特徴的値 $p$ 上のすべての $n$ 次元表現は、特徴的値ゼロのものと同型な表現の積に分解可能である。
• 制限付き超積の代表ホップ代数 $A_R$ は、$G$ の群代数の $n$ 個のコピーの直積と同型であり、すなわち $A_R \to k[G]^n$ である。
• 高さおよび次元に有界な部分圏によって定義されるタンカリアン構造は、超積によって保存され、結果として得られる圏は中立的タンカリアンのままである。
• この構成により、コホモロジーの安定的挙動が超積によって捉えられるため、一般コホモロジーの第一階論理的解釈が可能となる。
• 拡張の線形独立性は、超積において元の圏から必ずしも保存されない。これは、拡張の同値性が一階論理的でないためであり、コホモロジー的性質の一階論理的定義可能性に制限が生じることを示唆する。