[논문 리뷰] Jordan Types for Indecomposable Modules of Finite Group Schemes

Rolf Farnsteiner|ArXiv.org|2009. 10. 16.

Algebraic structures and combinatorial models참고 문헌 27인용 수 5

한 줄 요약

이 논문은 π-포인트로부터 유도된 조르당 유형을 사용하여 유한 군 스킴의 안정 아우살러-레텐베르그 큐비클에 대한 새로운 불변량을 수립한다. 조르당 유형이 서포트 다양체보다 더 넓은 범위에서 AR-성분을 구별함을 보이며, 특히 $U_0(\frak{sl}(2))$의 분해불가능 모듈러에 대한 조르당 유형을 완전히 특성화한다. 이는 엔도-트리비얼 모듈러의 분류와 π-포인트 분석을 통한 표준 모듈러와 웨일 모듈러의 조르당 유형에 대한 명시적 계산을 포함한다.

ABSTRACT

In this article we study the interplay between algebro-geometric notions related to $π$-points and structural features of the stable Auslander-Reiten quiver of a finite group scheme. We show that $π$-points give rise to a number of new invariants of the AR-quiver on one hand, and exploit combinatorial properties of AR-components to obtain information on $π$-points on the other. Special attention is given to components containing Carlson modules, constantly supported modules, and endo-trivial modules.

연구 동기 및 목표

• π-포인트로부터 유도된 조르당 유형을 사용하여 안정 아우살러-레텐베르그 큐비클에 대한 새로운 불변량을 개발한다.
• 조르당 유형이 서포트 다양체가 동일한 경우에도 AR-성분 간의 구조적 차이를 어떻게 감지하는지 이해한다.
• 제한된 포함 대칭 대수 $U_0(\frak{sl}(2))$의 분해불가능 모듈러에 대한 조르당 유형을 특성화한다.
• π-포인트 기법을 활용하여 유한 군 스킴의 맥락에서 엔도-트리비얼 모듈러를 분류한다.
• 카르 브라운 모듈러와 일정하게 서포트되는 모듈러를 연구함으로써 일정 조르당 유형 모듈러 이론을 확장한다.

제안 방법

• 특히 국소적으로 분리된 AR-성분에서 작용하는 안정 표현 큐비클 위에 덧셈적 및 가법적 함수를 정의하기 위해 π-포인트를 사용한다.
• π-포인트를 沿해 거의 분할 시퀀스의 역상 풀링을 적용하여 지배 순서 및 최대 서포트가 아닌 다양체와 같은 불변량을 유도한다.
• 카르탕 행렬 $A_{p-1}$과 π-포인트로부터 유도된 모듈러를 사용하여 국소적으로 분리되지 않은 무한 튜브를 분석한다.
• 레마 8.2.1과 [35, (2.2)]을 활용하여 $p$-유니포텐셜 부분대수로의 제한을 통해 조르당 유형을 계산한다.
• 구성요소 $\theta_S$와 $\theta_{(\theta)}$의 구조를 분석하며, 이들은 $\bbZ[A_\ty{infty}^\infty]$ 와 동형이며, 이들의 번역 큐비클 성질을 활용한다.
• 코르올라리 3.1.2와 정리 7.2(2)를 적용하여 구성요소 전반에 걸쳐 균일한 조르당 유형 수를 유추한다.

실험 결과

연구 질문

• RQ1 π-포인트로부터 유도된 조르당 유형은 서포트 다양체가 동일한 아우살러-레텐베르그 성분을 구별할 수 있는가?
• RQ2 $U_0(\frak{sl}(2))$의 분해불가능 모듈러에 대한 조르당 유형의 구조는 어떠한가?
• RQ3 π-포인트는 국소적으로 분리되지 않은 AR-성분 내 모듈러의 조르당 유형을 어떻게 결정하는가?
• RQ4 $U_0(\frak{sl}(2))$ 내 표준 모듈러와 웨일 모듈러에 대한 조르당 유형의 집합은 무엇인가?
• RQ5 $U_0(\frak{sl}(2))$의 AR-큐비클 내에서 엔도-트리비얼인 모듈러는 무엇이며, π-포인트를 통해 어떻게 특성화되는가?

주요 결과

• 표준 모듈러 $S$의 조르당 유형 수는 $n$이며, 구성요소 $\theta_S$ 내 모든 모듈러는 정확히 $n$개의 조르당 유형을 가진다.
• 웨일 모듈러 $Z(\theta)$의 경우, 조르당 유형 집합은 $p$, $a$, $j$, $r$, $r'$에 따라 구체적인 분할들의 합집합으로 명시적으로 결정되며, 모든 유형이 실제로 발생한다.
• 분해불가능 주기 모듈러 $M = k\bbG_{a(2)} \tens_{k[\bbG_{a(1)}]} k$ 는 최소한 세 가지의 서로 다른 조르당 유형을 가진다: $p[1]$, $p[1]$, 그리고 $[\frac{p-1}{2}] \bigoplus [\frac{p+1}{2}]$, 이는 일정하게 서포트되지 않음을 보여준다.
• 구성요소 $\theta_S$ 는 $\bbZ[A_\ty{infty}^\infty]$ 와 동형이며, 코르올라리 3.1.2에 의해 $S$와 동일한 수의 조르당 유형을 가지며, 그 수는 $n$이다.
• 자명 모듈러 $k$ 와 그 헬러 시프트 $\tOmega_{\frak{sl}(2)_s}(k)$ 는 엔도-트리비얼이며, 이들을 포함하는 구성요소는 정리 7.2(2)에 따라 균일한 조르당 유형 행동을 보인다.
• 만일 $p$ 가 홀수이면, $\tH^{2n}(\frak{sl}(2)_s, k)$ 내에서 영이 아니며 비자명한 $ theta \neq 0$ 에 대응하는 모듈러 $L_\theta$ 는 분해불가능하고 일정 조르당 유형을 가지며, 그 조르당 유형 집합의 크기는 $n$이다.