[논문 리뷰] Categories of modules given by varieties of p-nilpotent operators

Rolf Farnsteiner|arXiv (Cornell University)|2011. 10. 12.

Algebraic structures and combinatorial models참고 문헌 37인용 수 3

한 줄 요약

이 논문은 양의 특성 p에서 유한 군 스킴 위의 모듈러 범주를 조사하며, 등가 이미지 모듈러(EIP), 일정 조르단 유형 모듈러(CJT), 일정 j-랭크 모듈러(CRj)에 초점을 맞춘다. 프로베니우스 핵을 가진 재수성 군의 경우 EIP 모듈러는 단순이며 1차원 모듈러로 분해되며, Z/p × Z/p와 같은 아벨 유니포텐트 군의 경우 EIP 모듈러는 아우살란더-라이텐 성분에서 유한하며 쌍순수하며, 그 구조는 군 스킴의 유형에 매우 민감하다.

ABSTRACT

For a finite group scheme G over an algebraically closed field k of characteristic p>0 we study G-modules M, which are defined in terms of properties of their pull-backs along p-points of G. We show that the corresponding subcategories strongly depend on the structure of G. The second part of the paper discusses recent work by Carlson-Friedlander-Suslin concerning the subcategory of equal images modules from the vantage point of Auslander-Reiten theory.

연구 동기 및 목표

• 유한 군 스킴 위의 등가 이미지 모듈러(EIP), 일정 조르단 유형 모듈러(CJT), 일정 j-랭크 모듈러(CRj)의 구조를 분석하기 위해.
• 이러한 모듈러 범주가 기저 군 스킴의 구조에 어떻게 의존하는지, 특히 프로베니우스 핵과 아벨 유니포텐트 군의 경우를 중심으로 조사하기 위해.
• 특히 크로네커 쿼버와 안정 AR 쿼버의 맥락에서, 아우살란더-라이텐 이론을 활용해 EIP 모듈러와 아우살란더-라이텐 성분의 교차를 분석하기 위해.
• 복잡도 ≥2인 유니포텐트 부분군을 가진 군 스킴의 정규 AR 성분에서 EIP 모듈러의 유한성과 쌍순수성 조건을 규명하기 위해.
• 특히 Z/p × Z/p와 재수성 군의 프로베니우스 핵에 대해, 조르단 유형과 헬러 이동이 AR 성분 내에서 EIP 모듈러를 분류하는 데 어떻게 기여하는지 명확히 하기 위해.

제안 방법

• 널프oin트와 풀백을 사용하여, 영연산자와 연결된 표현 이론과 지지 다양체를 정의함으로써 모듈러 범주를 정의함.
• 아우살란더-라이텐 이론을 적용하여 군 대수 kG의 안정 AR 쿼버 Γs(G)를 분석하며, 수형 클래스가 A∞인 성분에 집중함.
• 아우살란더-라이텐 변환과 헬러 이동(Ω²)을 사용하여 AR 성분 내의 모듈러 필터링과 기저 사상의 성질을 연구함.
• 1 ≤ i ≤ p에 대해 Jt(M) = ⊕ ai[i]의 조르단 유형 분해를 분석함. 여기서 [i]는 k[T]/(T^p)-모듈러 중 i차원의 불가약 모듈러를 나타냄.
• 기약 분열 시퀀스와 호환 작용을 통한 모듈러 트위스트를 활용하여, EIP 및 CJT 범주가 AR 연산에 대해 닫혀 있음을 증명함.
• 카를슨-프리드리셔-수슬린 및 프리드리셔-페브츠로바의 지지 다양체와 p-영연산자 이론을 응용하여 모듈러 범주를 특성화함.

실험 결과

연구 질문

• RQ1 유한 군 스킴 G의 구조에 따라 EIP(G), CJT(G), CRj(G)의 범주가 어떻게 달라지는가?
• RQ2 재수성 군의 r번째 프로베니우스 핵 Gr에 대해, EIP 모듈러는 단순한가? 그리고 1차원 모듈러로 분해되는가?
• RQ3 p ≥ 3인 Z/p × Z/p의 정규 AR 성분에서 EIP(G)와의 교차는 유한한가? 그리고 모든 이러한 모듈러는 쌍순수한가?
• RQ4 어떤 조건에서 AR 성분이 무한한 EIP 모듈러를 포함하며, 어떤 조르단 유형 제약 조건이 적용되는가?
• RQ5 헬러 이동과 호환 작용을 통한 트위스트는 CJT 및 EIP 범주 내 모듈러의 구조에 어떻게 영향을 미치는가?

주요 결과

• 연결된 재수성 군 G의 r번째 프로베니우스 핵 Gr에 대해, 모든 EIP(Gr) 모듈러는 1차원 모듈러의 직합이므로 단순임을 의미함.
• G1(첫 번째 프로베니우스 핵)에 대해, 모든 j ∈ {1,…,p−1}에 대해 CRj(G1) = CJT(G1이며, 모든 CJT(G1) 모듈러는 G의 호환 작용에 의한 트위스트와 동형임.
• p ≥ 3인 Z/p × Z/p의 정규 AR 성분에서, Jordan 유형이 ∑_{i=1}^{p−1} ai[i] 또는 ∑_{i=1}^{p−2} ai[i]인 경우, EIP 모듈러는 수가 유한하며 모두 쌍순수함.
• AR 성분 Θ가 Jordan 유형이 ∑_{i=1}^{p−1} ai[i]인 EIP 모듈러 M을 포함한다면, Θ ∩ EIP(G)는 유한하며 오직 쌍순수 모듈러로만 구성됨.
• 군 G = Z/p × Z/p에 대해, EIP(G) ∩ Θ는 무한일 조건은 모듈러 W_{n,p}가 p-코즐 모듈러임이 보장된 경우임을 비고에서 보여줌.
• n = 2p−1일 때, AR 성분 Θ_{2p−1,p}는 EIP(G) 내에 무한한 가족 {(r)W_{p−1,p−1} | r ≥ 1}를 포함하며, 이 가족 외에 추가적인 EIP 모듈러는 존재하지 않음.