[논문 리뷰] Structure theory for the group algebra of the symmetric group, with applications to polynomial identities for the octonions

Murray R. Bremner, Sara Madariaga외 1명|arXiv (Cornell University)|2014. 07. 14.

Advanced Topics in Algebra참고 문헌 16인용 수 9

한 줄 요약

이 논문은 특성 0의 체 위에서 옥토니온에 대한 다중선형 다항식 항등식을 연구하기 위해 대칭군 $\mathbb{F}S_n$의 군 대수를 사용하는 계산 프레임워크를 개발한다. 클리포드 알고리즘과 웨더번 분해를 적용하여 저자들은 모든 7차 항등식이 낮은 차수의 항등식의 결과임을 확인하고, 7차에서 새로운 항등식이 존재하지 않음을 결론 내리며, 알려진 6차 이하의 항등식이 특성 0에서 옥토니온 항등식을 모두 생성할 것이라고 추측한다.

ABSTRACT

In part 1, we review the structure theory of $\mathbb{F} S_n$, the group algebra of the symmetric group $S_n$ over a field of characteristic 0. We define the images $ψ(E^λ_{ij})$ of the matrix units $E^λ_{ij}$ ($1 \le i, j \le d_λ$), where $d_λ$ is the number of standard tableaux of shape $λ$, and obtain an explicit construction of Young's isomorphism $ψ\colon \bigoplus_λM_{d_λ}(\mathbb{F}) o \mathbb{F} S_n$. We then present Clifton's algorithm for the construction of the representation matrices $R^λ(p) \in M_{d_λ}(\mathbb{F})$ for all $p \in S_n$, and obtain the reverse isomorphism $ϕ\colon \mathbb{F} S_n o \bigoplus_λM_{d_λ}(\mathbb{F})$. In part 2, we apply the structure theory of $\mathbb{F} S_n$ to the study of multilinear polynomial identities of degree $n \le 7$ for the algebra $\mathbb{O}$ of octonions over a field of characteristic 0. We compare our results with earlier work of Racine, Hentzel & Peresi, and Shestakov & Zhukavets on the identities of degree $n \le 6$. We use computational linear algebra to verify that every identity in degree 7 is a consequence of the known identities of lower degrees: there are no new identities in degree 7. We conjecture that the known identities of degree $\le 6$ generate all octonion identities in characteristic 0.

연구 동기 및 목표

• 비결합 대수에서 다중선형 다항식 항등식을 분석하기 위한 효율적인 계산 방법을 개발하기 위해 $\mathbb{F}S_n$의 군 대수를 사용하는 것.
• Young 표편, 행렬 단위, 웨더번 분해를 포함한 $\mathbb{F}S_n$의 구조 이론을 적용하여 옥토니온에 대한 항등식을 연구하는 것.
• 옥토니온 대수 $\mathbb{O}$의 7차에서 낮은 차수의 항등식에 의해 유도되지 않는 새로운 다항식 항등식이 존재하는지 확인하는 것.
• 레이신, 헨틀셀 및 페레시, 셰스타코프 및 주카바체프의 이전 연구 결과(6차 이하 항등식)와 비교하는 것.
• 특성 0에서 알려진 6차 이하의 항등식이 옥토니온 항등식의 전체 $T$-이deal을 생성할 것이라는 추측을 제기하는 것.

제안 방법

• 형태 $\lambda$의 표준 표편을 사용하여 행렬 단위 $E^{\lambda}_{ij}$를 이용해 유니버설 이sovorphism $\psi: \bigoplus_{\lambda} M_{d_\lambda}(\mathbb{F}) \to \mathbb{F}S_n$를 구성한다.
• Clifton의 알고리즘을 구현하여 모든 $p \in S_n$에 대해 표현 행렬 $R^{\lambda}(p) \in M_{d_\lambda}(\mathbb{F})$를 계산함으로써 군 대수 원소의 효율적 계산을 가능하게 한다.
• 역 이sovorphism $\phi: \mathbb{F}S_n \to \bigoplus_{\lambda} M_{d_\lambda}(\mathbb{F})$를 사용하여 항등식을 기약 $S_n$-모듈로 분해한다.
• 행렬의 행공간을 비교하기 위해 계산 기반 선형대수를 적용하여 모든 항등식과 대체 법칙의 결과물 간의 차이를 식별함으로써 새로운 항등식을 확인한다.
• 유리수 산술과 행렬의 질량 비교를 통해 7차 항등식이 낮은 차수 항등식과 독립적인지 여부를 판단한다.
• 7차에서 모든 항등식을 나타내는 행렬의 행공간 차원이 대체 법칙의 결과물의 행공간 차원과 동일함을 확인함으로써 새로운 항등식이 존재하지 않음을 입증한다.

실험 결과

연구 질문

• RQ1 옥토니온 대수 $\mathbb{O}$가 만족하는 7차 다중선형 다항식 항등식 중 낮은 차수 항등식의 결과가 아닌 것이 존재하는가?
• RQ2 기존에 알려진 6차 이하 항등식—대체 법칙, (R2), (HP5), 그리고 (HP6) 또는 (SZ) 또는 그와 유사한 항등식—이 특성 0에서 $\mathbb{O}$가 만족하는 모든 다항식 항등식을 생성할 수 있는가?
• RQ3 옥토니온에 대한 모든 6차 다중선형 항등식 공간에서 각 기약 $S_6$-모듈 $[\lambda]$의 중복도는 얼마인가?
• RQ4 형식 $[f(v,w,x,y,z), u] \equiv 0$에서 $f$가 중심 다항식인 항등식 외에 6차에서 새로운 항등식이 존재하는가?
• RQ5 $\mathbb{F}S_n$와 군 대수 내의 행렬 단위를 기반으로 한 계산 기법이 비결합 대수에서 항등식을 검증하는 데 어떻게 기여하는가?

주요 결과

• 7차에서 모든 다중선형 항등식을 나타내는 행렬의 행공간 차원이 대체 법칙, (R2), (HP5), 그리고 (HP6) 또는 (SZ)의 결과물의 행공간 차원과 동일함을 확인하여 새로운 항등식이 존재하지 않음을 시사한다.
• 6차에서 모든 항등식 공간에서 자명한 $S_6$-모듈 $[111111]$의 중복도는 40이며, 알려진 항등식의 결과물 공간에서는 39이므로, 이 모듈에서 유일한 새로운 항등식이 존재함을 드러낸다.
• 새로운 6차 항등식을 명시적으로 구성하였다: $\sum_{\sigma \in S_6} \epsilon(\sigma) \left(5x_1(x_2((x_3x_4)(x_5x_6))) - x_1(x_2(x_3(x_4(x_5x_6)))) \right) \equiv 0$, 이는 형식 $[f, u] \equiv 0$이 아니며, 중심 다항식에 의한 것이 아니다.
• 항등식 (7)은 (HP6) 또는 (SZ)를 대체할 수 있으며, 낮은 차수 항등식과 함께 사용할 경우 동일한 $T$-이deal을 생성함을 보여, 6차에서 새로운 생성자로 사용될 수 있다.
• 5차에서 $\lambda = 11111$에 대한 행렬 $\mathrm{allmat}(\lambda)$의 질량은 11이며, $\mathrm{oldmat}(\lambda)$의 질량은 10이므로, 대체 법칙에 의해 유도되지 않는 새로운 항등식이 있음을 확인한다.
• 저자들은 알려진 6차 이하 항등식이 옥토니온에 대한 전체 $T$-이deal을 생성함을 결론 내리며, 특성 0에서 일반적으로도 동일한 성질이 성립할 것이라 추측한다.