[논문 리뷰] On characters of Chevalley groups vanishing at the non-semisimple elements

Marco Antonio Pellegrini, Alexandre Zalesski|arXiv (Cornell University)|2013. 04. 18.

Finite Group Theory Research참고 문헌 7인용 수 3

한 줄 요약

이 논문은 유한 단순 리 군의 유형에서 |G|_p 차수의 p-소멸 성질을 가진 성질을 연구하며, 스텐버그 성질을 일반화한다. 성질 이론과 명시적 p-소멸 성질 분해를 통해 대부분의 낮은 랭크 군에서 스텐버그 성질이 유일한 성질임을 증명하고, q에 대한 수론적 조건을 만족하는 특정 예외를 규명한다.

ABSTRACT

Let G be a finite simple group of Lie type. In this paper we study characters of G that vanish at the non-semisimple elements and whose degree is equal to the order of a maximal unipotent subgroup of G. Such characters can be viewed as a natural generalization of the Steinberg character. For groups G of small rank we also determine the characters of this degree vanishing only at the non-identity unipotent elements.

연구 동기 및 목표

• 유한 단순 리 군의 유형에서 최대 유니포텐트 부분군의 순서와 같은 차수를 가진 p-소멸 성질을 연구함으로써 스텐버그 성질을 일반화한다.
• 스텐버그 성질 이외에 분해 가능한 p-소멸 성질을 가진 차수 |G|_p를 가진 군이 어떤 것인지 규명한다.
• 낮은 랭크 군에 대해 p-소멸 성질을 기약 성질로 명시적으로 분해한다.
• p-모듈러 표현 이론에 의존하지 않고, 모든 q에 대해 통일된 결과를 확립한다.
• 모듈러 표현 이론에서 프로젝티브 모듈러와 분해 행렬에 대한 함의를 탐색한다.

제안 방법

• 저자들은 리 군의 성질 이론의 현대적 기법을 사용하여 p-소멸 성질을 분석한다.
• 성질 표와 알려진 분해 규칙을 활용하여 p-소멸 성질을 기약 성질로 분해한다.
• PSL(6,q)와 같은 군의 경우 PSL(5,q)의 분해를 유도함으로써 스텐버그 성질과의 비교를 가능하게 한다.
• 준비된 원소와 유니포텐트 원소에서의 성질 값 계산을 통해, 비-스텐버그 p-소멸 성질이 준비된 원소에서 0이 되지 않음을 보여준다.
• 모든 q에 대해 유효한 통일된 추론을 적용하여 p-모듈러 표현 이론에 의존하지 않는다.
• 특수한 경우, 예를 들어 q+1이 3 또는 7으로 나누어떨어지는 경우의 명시적 성질 분해를 표로 정리한다.

실험 결과

연구 질문

• RQ1 어떤 유한 단순 리 군의 유형에서 스텐버그 성질이 차수 |G|_p인 유일한 p-소멸 성질인가?
• RQ2 낮은 랭크 군에서 차수 |G|_p인 분해 가능한 p-소멸 성질이 존재하기 위한 q에 대한 조건은 무엇인가?
• RQ3 다양한 군의 가닥에서 p-소멸 성질을 기약 성질로 명시적으로 분해하는 방법은 무엇인가?
• RQ4 분해 행렬의 맥락에서 p-소멸 성질과 프로젝티브 모듈러 간의 관계는 무엇인가?
• RQ5 모든 차수 |G|_p인 p-소멸 성질이 실수 값을 가지며 준비된 원소에서 0이 아님을 보장하는가?

주요 결과

• B3(q), B4(q), B5(q), D4(q), D5(q)를 제외한 모든 리 군의 유형에서, 스텐버그 성질은 차수 |G|_p인 유일한 p-소멸 성질이다. 이들에 대해서는 결과가 열려있다.
• A1(q), A2(q), 2B2(q²), 2G2(q²)의 경우, 모든 q에 대해 분해 가능한 p-소멸 성질이 존재한다.
• 2A2(q), A3(q), A4(q)의 경우, 분해 가능한 p-소멸 성질이 존재하는 것은 q+1이 3으로 나누어떨어질 때에 한해 성립한다.
• C2(q) ≅ B2(q)의 경우, 분해 가능한 p-소멸 성질이 존재하는 것은 q+1이 7로 나누어떨어질 때에 한해 성립한다.
• 모든 차수 |G|_p인 p-소멸 성질은 실수 값을 가지며 준비된 원소에서 0이 되지 않는다.
• 정리 1.1을 만족하는 군에서, Ψ > Φ인 프로젝티브 모듈러의 차수 차이 |Ψ − Φ|는 |G|_p이거나 최소 2|G|_p이어야 한다. (단, |Ψ − Φ| = |G|_p이면 반드시 Ψ − Φ = St여야 한다.)