[논문 리뷰] Combinatorial representations of Coxeter groups over a field of two elements

Hau-Wen Huang, Chih-wen Weng|arXiv (Cornell University)|2008. 04. 14.

Coding theory and cryptography참고 문헌 8인용 수 14

한 줄 요약

이 논문은 A, D, E 유형의 단순 루트계를 가진 코x터 군을 유한체 𝔽₂ 상에서 조합적 뒤집기 퍼즐을 다이녹린 다이어그램에 적용하여, 각 생성자를 𝔽₂ⁿ에 작용하는 가역 행렬과 연관지어 구성한다. 주요 결과는 이 Vogan 표현의 핵이 군의 중심과 정확히 일치하며, 각 유형에 대해 𝔽₂ⁿ 위에서의 군 작용에 의한 궤도가 완전히 분류된다는 것이다.

ABSTRACT

Let $W$ denote a simply-laced Coxeter group with $n$ generators. We construct an $n$-dimensional representation $ϕ$ of $W$ over the finite field $F_2$ of two elements. The action of $ϕ(W)$ on $F_2^n$ by left multiplication is corresponding to a combinatorial structure extracted and generalized from Vogan diagrams. In each case W of types A, D and E, we determine the orbits of $F_2^n$ under the action of $ϕ(W)$, and find that the kernel of $ϕ$ is the center $Z(W)$ of $W.$

연구 동기 및 목표

• 다이녹린 다이어그램에 대한 조합적 뒤집기 퍼즐을 이용해 두 원소를 가진 체 위에서 단순 루트계 코x터 군의 충실한 행렬 표현을 정의한다.
• 이 행렬에 의해 유도된 𝔽₂ⁿ 위의 군 작용의 구조를 규명한다.
• 유형 Aₙ, Dₙ, Eₙ에 대해 𝔽₂ⁿ 위에서의 뒤집기 군 φ(W) 작용에 의한 궤도를 분류한다.
• 표현의 핵을 특정하고, 이것이 코x터 군 W의 중심 Z(W)와 일치함을 보인다.

제안 방법

• 코x터 군의 각 생성자 s에 대해, u=v 또는 v=s 이면서 (u,v)가 다이녹린 다이어그램의 간선인 경우 𝔰ᵤᵥ = 1이 되는 n×n 가역 행렬 𝔰을 𝔽₂ 상에서 정의한다.
• 이러한 행렬 𝔰들에 의해 생성되는 GLₙ(𝔽₂)의 부분군을 𝔚로 정의한다.
• 사상 s ↦ 𝔰를 군 준동형사상 φ: W → GLₙ(𝔽₂)로 올리며, 이를 Vogan 표현이라 부른다.
• W의 유한성과 행렬군 계산을 통해 이미지 φ(W)의 크기와 구조를 규명한다.
• φ(W)가 𝔽₂ⁿ 위에서 작용하는 방식을 분석하여 군 작용에 의한 궤도를 분류한다.
• 일부 파라보릭 부분군에 대한 φ의 제약이 단사임을 증명하고, 군의 순서 비교를 통해 핵을 계산한다.

실험 결과

연구 질문

• RQ1 단순 루트계 다이녹린 다이어그램에 대한 뒤집기 퍼즐에 의해 유도된 𝔽₂ⁿ 위의 군 작용의 구조는 어떻게 되는가?
• RQ2 유형 Aₙ, Dₙ, Eₙ에 대해, 𝔽₂ⁿ 위에서 뒤집기 군 φ(W)의 작용에 의한 궤도는 어떻게 분해되는가?
• RQ3 Vogan 표현 φ의 핵이 코x터 군 W의 중심 Z(W)와 일치하는가?
• RQ4 어떤 유형에서 Vogan 표현이 기약이며, 기약성은 군의 구조와 어떻게 관련되는가?
• RQ5 E₈의 경우 뒤집기 군의 크기와 궤도 구조는 무엇이며, 원래 군과 비교해보면 어떻게 되는가?

주요 결과

• 유형 Aₙ에 대해, 표현 φ는 n = 1 또는 n 이 짝수일 때에만 기약이며, 그 외의 경우는 기약이 아니다.
• n > 1 이고 n 이 홀수일 경우 φ의 핵은 자명하며, n = 1 일 경우 핵의 순서는 2이다.
• 유형 Dₙ (n ≥ 4)에 대해, φ의 핵은 n 이 짝수이면 순서가 2이고, 홀수이면 자명하다.
• E₆에 대해, 표현 φ는 기약이며 핵은 자명하다.
• E₇에 대해, 표현 φ는 기약이 아니며 핵의 순서는 2이다.
• E₈에 대해, 표현 φ는 기약이며 핵의 순서는 2이며, 이는 중심 Z(W)와 정확히 일치한다.