[논문 리뷰] Self-dual modules of semisimple Hopf algebras

Yevgenia Kashina, Yorck Sommerhaeuser외 1명|ArXiv.org|2001. 06. 29.

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

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위에서, 비자명한 자기쌍대 단순 모듈을 갖는 단순형 훅프 대칭 대수는 반드시 짝수 차원이어야 한다는 것을 증명한다. 이는 버너사이드의 정리의 일반화이다. 드린펠트 듀얼과 프로베니우스-슈어 지표를 이용하여, 만약 차원이 홀수라면 모듈의 텐서곱 위에서 평가 형식의 트레이스가 모순을 일으킴을 보여, 핵심 결과인 자기쌍대성은 이러한 훅프 대수의 짝수 차원성을 암시함을 입증한다.

ABSTRACT

We prove that, over an algebraically closed field of characteristic zero, a semisimple Hopf algebra that has a nontrivial self-dual simple module must have even dimension. This generalizes a classical result of W. Burnside. As an application, we show under the same assumptions that a semisimple Hopf algebra that has a simple module of even dimension must itself have even dimension.

연구 동기 및 목표

• 유한군에 대한 W. 버너사이드의 고전적 결과를 단순형 훅프 대수로 일반화하기 위해.
• 단순형 훅프 대수의 구조적 제약 조건을 자기쌍대 단순 모듈의 존재가 어떻게 유도하는지 조사하기 위해.
• 프로베니우스-슈어 지표와 훅프 대수의 차원의 기수성 사이의 연결 고리를 설정하기 위해.
• 코단순성 가정 하에 이전의 이론을 이용하여 특성 0에서 얻은 결과를 양의 특성으로 확장하기 위해.

제안 방법

• 모듈의 구조를 분석하기 위해, D(H) = H* ⊗ H로 정의되는 드린펠트 듀얼 D(H)를 훅프 대수로 이용한다.
• e(ϕ⊗h) = ϕ(h)로 정의되는 평가 형식 e: D(H) → K 가 대칭 프로베니우스 준동형사상임을 보여준다.
• 자기쌍대 모듈을 분류하기 위해 대칭, 반대칭, 비자기쌍대 형식을 구분하는 데 사용되는 프로베니우스-슈어 지표 ν₂(χ) = χ(Λ(1)Λ(2))를 적용한다.
• V가 자기쌍대 단순 H-모듈이고 W = H*가 정규 표현일 때, V ⊗ W 위에서 평가 형식 e와 e²의 트레이스를 분석한다.
• dim(H)가 홀수일 경우 모순이 발생함을 보이기 위해, (¯χ ⊗ η)(e) = 0 이고 (¯χ ⊗ η)(e²) = ±dim(H) 임을 이용한다.
• 이산 평가환수와 윌트의 정수환을 이용한 리프팅 정리들을 적용하여 특성 0에서 특성 양의 경우로 결과를 확장하고, 코단순 훅프 대수에 대해 적용한다.

실험 결과

연구 질문

• RQ1 특성 0인 대수적으로 닫힌 체 위에서 비자명한 자기쌍대 단순 모듈을 갖는 단순형 훅프 대수가 짝수 차원이어야 하는가?
• RQ2 프로베니우스-슈어 지표는 자기쌍대성을 탐지하고 훅프 대수의 차원을 제약하는 데 사용될 수 있는가?
• RQ3 만약 단순형 훅프 대수가 짝수 차원의 단순 모듈을 갖는다면, 그 대수의 차원 기수성은 어떻게 되는가?
• RQ4 코단순성 가정 하에 특성 0에서의 자기쌍대 모듈 결과를 양의 특성으로 리프팅할 수 있는가?
• RQ5 특성 다항식의 차원이 훅프 대수의 차원 기수성과 관련이 있는가?

주요 결과

• 특성 0인 대수적으로 닫힌 체 위에서 비자명한 자기쌍대 단순 모듈을 갖는 단순형 훅프 대수는 반드시 짝수 차원이어야 한다.
• V가 비자명하고 자기쌍대일 경우, V ⊗ H* 위에서 평가 형식 e의 트레이스는 0이 되고, e²의 트레이스는 ±dim(H)가 되며, 이는 dim(H)가 홀수일 경우 모순을 일으킨다.
• 프로베니우스-슈어 지표 ν₂(χ)는 대칭 형식에 대해 1, 반대칭 형식에 대해 −1, 비자기쌍대 형식에 대해 0이며, 이는 자기쌍대 모듈을 분류하는 데 사용된다.
• 만약 단순형 훅프 대수가 짝수 차원의 단순 모듈을 갖는다면, 그 대수의 차원은 반드시 짝수여야 하며, 이는 니컬스와 라이처먼의 결과를 확장한 것이다.
• 에팅오프와 게라키의 리프팅 정리 및 윌트의 정수환을 이용하여, 코단순 훅프 대수에 대해 결과가 양의 특성으로 확장된다.
• 특성 다항식의 차원이 짝수일 경우, 훅프 대수의 차원도 짝수여야 한다.