[논문 리뷰] On the Burnside-Brauer-Steinberg theorem

Benjamin Steinberg|arXiv (Cornell University)|2014. 09. 26.

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

한 줄 요약

이 논문은 유한 모노이드에 대해 브라우어의 버누이의 정리의 알려진 최초의 유사체를 수립하며, 만약 유한 모노이드의 충실한 표현이 r개의 서로 다른 값을 취하는 특성치를 가진다면, 모든 기약 표현이 첫 r개의 텐서 곱의 합성 인자로 나타남을 증명한다. 또한 특성 다항식을 사용하여 대칭 곱에 대해 유사한 경계를 증명하며, 고전적인 군 표현 이론 결과를 모노이드로 확장한다.

ABSTRACT

A well-known theorem of Burnside says that if $ρ$ is a faithful representation of a finite group $G$ over a field of characteristic $0$, then every irreducible representation of $G$ appears as a constituent of a tensor power of $ρ$. In 1962, R. Steinberg gave a module theoretic proof that simultaneously removed the constraint on the characteristic, and allowed the group to be replaced by a monoid. Brauer subsequently simplified Burnside's proof and, moreover, showed that if the character of $ρ$ takes on $r$ distinct values, then the first $r$ tensor powers of $ρ$ already contain amongst them all of the irreducible representations of $G$ as constituents. In this note we prove the analogue of Brauer's result for finite monoids. We also prove the corresponding result for the symmetric powers of a faithful representation.

연구 동기 및 목표

• 유한 군에서의 브라우어의 버누이 정리의 개선판을 유한 모노이드로 확장하기.
• 유한 모노이드의 모든 기약 표현을 실현하기 위해 필요한 텐서 곱의 수에 대한 통일된 경계를 결정하기.
• 대칭 곱에 대해 유사한 경계를 유한 모노이드의 표현 행렬의 서로 다른 특성 다항식의 수에 따라 설정하기.
• 대칭 곱으로 생성되는 최소 충실 모듈러의 차수는 군의 경우와 달리 특성 다항식의 수만으로는 유계가 아니라는 것을 보여주기.

제안 방법

• 기약 표현이 합성 인자로 나타나는지를 특성화하기 위해 모노이드 대수에서의 원시 아이디포텐트를 사용한다.
• 대칭 곱 특성치의 생성 함수를 적용하여 분모 차수가 유계인 유리 함수를 유도한다.
• 모린형 생성 함수를 사용하여 대칭 곱의 특성치를 연산자의 특성 다항식과 연결한다.
• 특히 정점 아이디포텐트의 역할을 고려한 유한 모노이드의 기약 표현의 구조 이론을 활용한다.
• 뉴턴 항등식을 사용하여 특성치 값과 특성 다항식을 연결함으로써, 서로 다른 다항식의 수에 대한 경계를 유도한다.
• 모노이드의 아이디포텐트 정점에서 충실한 표현의 특성치가 0이 아니라는 사실을 활용하여 생성 함수가 0이 되지 않음을 보장한다.

실험 결과

연구 질문

• RQ1 브라우어의 기약 표현을 실현하기 위해 필요한 텐서 곱의 수에 대한 경계가 유한 군에서 유한 모노이드로 확장될 수 있는가?
• RQ2 유한 모노이드의 모든 기약 표현을 실현하기 위해 필요한 대칭 곱의 수에 대한 통일된 경계가 표현 행렬의 서로 다른 특성 다항식의 수에 의해 결정되는가?
• RQ3 직합 ⊕_{i=0}^k S^i(V) 가 충실한 KM-모듈이 되는 최소의 k는 유한 군의 경우와 마찬가지로 dim(V)와 서로 다른 특성 다항식의 수만으로 유계가 되는가, 아니면 추가적인 불변량이 필요한가?
• RQ4 모노이드 특성치 이론에서의 직교성 실패가 브라우어의 원래 특성치 기반 방법의 적용 가능성에 어떤 영향을 미치는가?

주요 결과

• 유한 모노이드 M와 특성치가 0인 체 위의 충실한 표현 ρ에 대해, ρ의 특성치가 r개의 서로 다른 값을 가진다면, KM의 모든 기약 표현은 i = 0, ..., r-1에 대해 V^{igotimes i}의 첫 r개의 텐서 곱 중 하나의 합성 인자로 나타난다.
• 모든 기약 표현을 실현하기 위해 필요한 대칭 곱의 수는 dim(V) · s 이하이며, 여기서 s는 M의 원소 m에 대해 ρ(m)의 서로 다른 특성 다항식의 수이다.
• 원시 아이디포텐트의 이미지에 대한 대칭 곱의 차원의 생성 함수는 0이 아닌 유리 함수이며, 분모 차수는 최대 r 이하이므로 첫 r항 내에서 0이 아닌 계수가 존재한다.
• 텐서 곱에 대한 경계 r은 날카로운 경계이며, 이는 모노이드의 크기와는 무관하게 서로 다른 특성치 값의 수에만 의존한다.
• ⊕_{i=0}^k S^i(V) 가 충실한 KM-모듈이 되는 최소의 k는 dim(V)와 서로 다른 특성 다항식의 수만으로는 유계가 아니며, 군의 경우와 달리 추가적인 불변량이 필요하다.
• 이 증명은 군 대수에서 정점 아이디포텐트의 계수가 0이 아니라는 사실에 의존하며, 이는 생성 함수가 0이 아니고 차수 r 이내의 선형 재귀를 만족함을 보장한다.