[논문 리뷰] Factoring tilting modules for algebraic groups

Stephen Doty|ArXiv.org|2009. 09. 11.

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

한 줄 요약

이 논문은 스타인베르크 모듈과 미누스큘 모듈의 텐서곱이 항상 분해 불가능한 틸팅 모듈임을 증명한다. 이는 이전에 관찰되지 않은 결과이다. 조건 $ p ≥ 2h - 2 $ 하에서, 이는 강력한 인수분해 결과로 이어진다: 만약 틸팅 모듈의 최고 무게가 $ r $-번째 스타인베르크 무게에 $ p $-진적으로 가까운 경우, 이는 여러 방식으로 두 간단 모듈의 텐서곱과 동형이다.

ABSTRACT

Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of characteristic p > 0. We observe that the tensor product of the Steinberg module with a minuscule module is always indecomposable tilting. Although quite easy to prove, this fact does not seem to have been observed before. It has the following consequence: If p >= 2h-2 and a given tilting module has highest weight p-adically close to the r-th Steinberg weight, then the tilting module is isomorphic to a tensor product of two simple modules, usually in many ways.

연구 동기 및 목표

• 이전에 관찰되지 않았지만 근본적인 성질을 입증하는 것: 스타인베르크 모듈과 미누스큘 모듈의 텐서곱은 항상 분해 불가능한 틸팅 모듈이다.
• 이 성질이 양의 특성에서 대수적 군의 틸팅 모듈의 구조에 미치는 영향을 탐색하는 것.
• 최고 무게가 $ p $-진적으로 스타인베르크 무게에 가까운 틸팅 모듈에 대한 일반적인 인수분해 정리를 제공하는 것.
• 도킨의 추측을 가정할 때 틸팅 모듈의 텐서곱 정리를 확장하여, 특히 저특성에서의 적용을 다루는 것.

제안 방법

• 제한된 영역 $ X_1(T) $ 내에서 미누스큘 무게의 분류와 그 성질을 활용한다.
• 브라우어의 공식과 특성 비교를 적용하여, 미누스큘 $ \lambda $에 대해 $ \mathrm{St} \otimes L(\lambda) \simeq T((p-1)\rho + \lambda) $ 를 증명한다.
• 미누스큘 무게의 $ p $-진 전개로 일반화된 $ r $-미누스큘 무게의 개념을 도입하여, 더 높은 프로베누스 커널로의 결과 일반화를 시도한다.
• 도킨의 추측 하에서 틸팅 모듈의 텐서곱 정리를 사용하여, $ r $-미누스큘 $ \lambda $에 대해 $ \mathrm{St}_r \otimes L(\lambda) \simeq T((p^r - 1)\rho + \lambda) $ 를 귀납적으로 증명한다.
• 제한된 무게를 분해하고 재조합하여 동일한 틸팅 모듈의 여러 인수분해를 생성하기 위해 스타인베르그의 텐서곱 정리를 활용한다.
• 틸팅 모듈이 텐서곱, 직합, 직합성분에 대해 닫혀 있음을 이용하여 결과 모듈이 항상 틸팅임을 보장한다.

실험 결과

연구 질문

• RQ1 스타인베르크 모듈과 미누스큘 모듈의 텐서곱은 항상 분해 불가능하고 틸팅인가?
• RQ2 최고 무게가 스타인베르크 무게에 $ p $-진적으로 가까운 틸팅 모듈이 두 간단 모듈의 텐서곱으로 분해될 수 있는 조건은 무엇인가?
• RQ3 이러한 틸팅 모듈의 서로 다른 인수분해는 몇 개인가, 그 수의 다중성은 무엇에 의해 결정되는가?
• RQ4 도킨의 추측이 $ G_r $-모듈에서 프로젝티브 커버에 대해 성립할 경우, 틸팅 모듈의 인수분해는 어느 정도 가능해지는가?
• RQ5 이러한 인수분해 결과는 표준 스타인베르크 모듈이 존재하지 않을 수 있는 재구성 군으로까지 확장될 수 있는가?

주요 결과

• 모든 미누스큘 무게 $ \lambda $에 대해 $ \mathrm{St} \otimes L(\lambda) \simeq T((p-1)\rho + \lambda) $ 이며, 항상 분해 불가능한 틸팅 모듈이다.
• $ r $-미누스큘 무게 $ \lambda $에 대해, 도킨의 추측이 $ p < 2h - 2 $ 에서 성립할 경우 $ \mathrm{St}_r \otimes L(\lambda) \simeq T((p^r - 1)\rho + \lambda) $ 이다.
• $ p \geq 2h - 2 $ 일 경우, 최고 무게가 $ r $-번째 스타인베르크 무게에 $ p $-진적으로 가까운 임의의 틸팅 모듈은 여러 방식으로 두 간단 모듈의 텐서곱과 동형이다.
• 보조정리에 따르면, 동일한 조건 하에서 $ r $-미누스큘 $ \lambda $에 대해 $ T(p^r\mu + (p^r - 1)\rho) \otimes L(\lambda) \simeq T(p^r\mu + (p^r - 1)\rho + \lambda) $ 이다.
• $ \mathrm{SL}_2 $ 의 특성 2에서, 모든 분해 불가능한 틸팅 모듈은 두 간단 모듈의 텐서곱과 동형이며, 이는 기존 결과를 새로운 방법으로 확인한다.
• 논문은 최고 무게의 $ p $-진 전개에서 성분을 순열함으로써 동일한 틸팅 모듈의 여러 인수분해를 체계적으로 생성하는 방법을 제공한다.