[논문 리뷰] Ultraproducts of Tannakian Categories and Generic Representation Theory of Unipotent Algebraic Groups

Michael Crumley|arXiv (Cornell University)|2010. 11. 01.

advanced mathematical theories참고 문헌 12인용 수 8

한 줄 요약

이 논문은 특정 초곱(superproduct)의 중립적 tannakian 범주—특히 증가하는 양의 특성수를 가진 체 위의 유니포텐트 대수적 군의 표현들에 대한 높이 제한 초곱—가 특성수 0인 체 위의 군의 복수 개의 복합체 표현 범주와 텐서적으로 동치임을 확립한다. 핵심 결과는 충분히 큰 특성수에서, 모든 유한차원 표현이 특성수 0의 표현과 유사한 '높이 제한' 표현들의 곱으로 분해됨을 보여주며, 이는 초곱과 tannakian 대칭을 통해 일반적인 코homology와 표현 이론을 일阶 논리 모델 이론적으로 기술할 수 있음을 의미한다.

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.

연구 동기 및 목표

• 초곱의 tannakian 범주를 이용하여 대수적 군의 일반적 코homology에 대한 일阶 논리 모델 이론적 프레임워크를 제공하는 것.
• 중립적 tannakian 범주의 초곱의 구조를 조사하고, 여전히 tannakian인 정의 가능한 부분범주를 식별하는 것.
• 특히 유니포텐트 군의 맥락에서 이러한 초곱 범주를 나타내는 호프 대수를 명시적으로 계산하는 것.
• 유니포텐트 군—특히 덧셈군 $G_a$와 하이젠베르크 군 $H_1$—의 표현 이론을 양의 특성수에서 분석하고 특성수 0의 해당 표현들과 비교하는 것.
• 양의 특성수와 0 특성수 표현 이론 사이의 다리 역할을 하는 '높이 제한 초곱'을 정의하고 연구하는 것.

제안 방법

• 증가하는 양의 특성수를 가진 체 $k_i$ 위의 tannakian 범주 $ ext{Rep}_{k_i}G$의 제한 초곱을 구성하며, 표현의 높이에 대한 제약 조건을 부과한다.
• 모델 이론적 초곱 구조를 사용하여 유한차원 표현의 범주를 정의하며, 초필터를 통해 표현계의 동치류를 정의한다.
• 일부 초곱의 부분범주가 중립적 tannakian임을 보이기 위해 tannakian 대칭을 적용한다. 따라서 이들은 특성수 0의 체 $k$ 위의 호프 대수 $A_R$에 대한 $ ext{Comod}_{A_R}$ 와 동치가 된다.
• 제한 초곱의 표현 호프 대수 $A_R$를 계산하며, 이가 $G$의 군 대수의 복수 개의 직접곱과 동형임을 보인다.
• 높은 특성수에서, 유니포텐트 군의 $n$차원 표현들이 특성수 0의 표현과 유사한 표현들의 곱으로 분해됨을 이용하여 높이 제한 초곱을 구성할 수 있음을 활용한다.
• 최종적으로 유도된 동치 $ ext{Comod}_{A_R} \to \text{Rep}_k G^n$을 적용하여 초곱 설정에서의 유니포텐트 군에 대한 일반적 코homology 결과를 외삽한다.

실험 결과

연구 질문

• RQ1 유니포텐트 대수적 군의 일반적 코homology는 tannakian 범주의 초곱을 통해 기술될 수 있는가?
• RQ2 증가하는 양의 특성수를 가진 체 위의 표현들에 대한 제한 초곱이 중립적 tannakian 범주가 되는 조건은 무엇인가?
• RQ3 tannakian 범주의 제한 초곱을 나타내는 호프 대수의 구조는 어떠한가?
• RQ4 충분히 큰 특성수에서, $G_a$와 $H_1$의 표현 이론은 특성수 0의 해당 표현들과 어떻게 관련이 있는가?
• RQ5 트ivial 확장 또는 확장의 선형 독립성의 성질이 일阶적으로 초곱 구조에서 유지되는가?

주요 결과

• 증가하는 양의 특성수를 가진 체 $k_i$ 위의 $ ext{Rep}_{k_i}G$의 제한 초곱은 특성수 0의 체 $k$ 위의 $G^n$의 표현 범주 $ ext{Rep}_k G^n$과 텐서적으로 동치이다. 여기서 $G^n$은 $G$의 $n$중 복합체이다.
• 주어진 차원 $n$에 대해, 특성수 $p$가 $n$에 대해 충분히 크다면, 특성수 $p$에서의 $G_a$와 $H_1$의 모든 $n$차원 표현들은 특성수 0의 표현들과 동형인 표현들의 곱으로 분해된다.
• 제한 초곱의 표현 호프 대수 $A_R$는 $G$의 군 대수의 $n$개 복수의 직접곱과 동형이며, 즉 $A_R \to k[G]^n$이다.
• 높이와 차원에 의해 제한된 부분범주가 초곱에서 유지되는 텐서적 tannakian 구조를 보존함으로써, 결과적으로 생성된 범주는 여전히 중립적 tannakian임을 보장한다.
• 이 구성은 초곱이 큰 특성수에서의 Ext 군의 안정적 행동을 포착하므로, 일반적 코homology에 대한 일阶 해석이 가능하다.
• 초곱에서의 확장의 선형 독립성은 원래 범주로부터 유도되지 않을 수 있다. 이는 확장 동치의 성질이 일阶적이지 않기 때문이며, 이는 코homological 성질의 일阶 정의 가능성에 제한이 있음을 시사한다.