[논문 리뷰] Decomposition numbers for abelian defect RoCK blocks of double covers of symmetric groups

Matthew Fayers, Alexander Kleshchev외 1명|arXiv (Cornell University)|2023. 03. 06.

Finite Group Theory Research참고 문헌 25인용 수 2

한 줄 요약

이 논문은 아벨 defect를 가진 대칭군의 이중 쌍대체의 스피너 RoCK 블록에 대한 (초)분해수를 계산하여 Fayers의 추측을 검증한다. 와이어드 초곱알gebra와의 모리타 초등치를 통해 초대칭 표현 이론을 활용하고, 명시적인 프로젝티브 특징의 구성으로 Littlewood–Richardson 계수와 역 Kostka 다항식을 포함하는 닫힌 공식을 도출하며, 카르탕 행렬 비교를 통해 조정 행렬이 자명하다는 것을 증명한다.

ABSTRACT

We calculate the (super)decomposition matrix for a RoCK block of a double cover of the symmetric group with abelian defect, verifying a conjecture of the first author. To do this, we exploit a theorem of the second author and Livesey that a RoCK block $\mathcal B^{ρ,d}$ is Morita superequivalent to a wreath superproduct of a certain quiver (super)algebra with the symmetric group $\mathfrak S_d$. We develop the representation theory of this wreath superproduct to compute its Cartan invariants. We then directly construct projective characters for $\mathcal B^{ρ,d}$ to calculate its decomposition matrix up to a triangular adjustment, and show that this adjustment is trivial by comparing Cartan invariants.

연구 동기 및 목표

• 아벨 defect를 가진 대칭군의 이중 쌍대체의 스피너 RoCK 블록에 대한 분해수 문제를 해결하기 위해.
• Fayers(2023)의 이 설정에서 분해수의 구조에 대한 추측을 검증하기 위해.
• 조합적 불변량과 표현론적 기법을 사용하여 (초)분해수에 대한 정확한 공식을 수립하기 위해.
• 프로젝티브 특징과 일반 특징 사이의 조정 행렬이 자명하다는 것을 보여주어 공식이 고유하다는 것을 증명하기 위해.
• canonical basis 이론, q-데오프 공간, 스피너 군의 모듈라 표현 이론의 결과를 통합하기 위해.

제안 방법

• Kleshchev–Livesey의 모리타 초등치 정리에 기반하여, RoCK 블록이 유희 초대수와 대칭군 $S_d$의 와이어드 초곱으로 표현됨을 규명한다.
• 와이어드 초곱 $W_d = A_\Im \wr S_d$의 표현 이론을 개발하여, 분해 불가능한 프로젝티브 초모듈을 명시적으로 구성함으로써 초카르탕 행렬을 계산한다.
• 유도와 Gelfand–Graev 방법을 통해 RoCK 블록 $B_{\rho,d}$에 대한 프로젝티브 특징 $\hat{\phi}_\mu$를 구성하고, 이를 canonical basis 계수와 연결한다.
• Brauer 대칭성과 조정 행렬 $A$를 활용하여 분해 행렬과 조정되지 않은 공식 간의 관계를 설정하며, $A$가 비음수 성분을 가진 삼각형 행렬임을 보인다.
• 추측된 공식으로부터 예측된 카르탕 행렬 성분을 $W_d$의 실제 카르탕 행렬(표현 이론을 통해 계산)과 비교하여, 추적의 등식을 통해 $A = I$임을 증명한다.
• Littlewood–Richardson 계수, 역 Kostka 다항식, 바 코어 몫 등 조합적 항등식을 적용하여 최종 표현을 단순화한다.

실험 결과

연구 질문

• RQ1 아벨 defect를 가진 대칭군의 이중 쌍대체의 스피너 RoCK 블록에 대한 (초)분해수의 명시적 공식은 무엇인가?
• RQ2 이 설정에서 프로젝티브 특징과 일반 특징 사이의 조정 행렬은 어떻게 행동하며, 그것이 자명하다는 것을 증명할 수 있는가?
• RQ3 스피너 RoCK 블록의 분해수는 q-deformed Fock 공간에서의 canonical basis 계수로 예측된 바와 얼마나 일치하는가?
• RQ4 RoCK 블록과 와이어드 초곱 사이의 모리타 초등치를 통해 카르탕 불변량과 따라서 분해수를 계산할 수 있는가?
• RQ5 p-bar-core와 p-bar-quotient 분해는 이 설정에서 기약 및 프로젝티브 모듈을 매개화하는 데 어떤 역할을 하는가?

주요 결과

• p-bar-core $\rho$와 $p$-bar-weight $d < p$를 가진 스피너 RoCK 블록에 대해 분해수 $[S(\lambda) : D(\mu)]$는 Littlewood–Richardson 계수와 역 Kostka 다항식을 포함하는 닫힌 공식으로 주어진다.
• 공식은 $[S(\lambda) : D(\mu)] = 2^{\lfloor \frac{1}{2}(h(\lambda^{(0)}) + a(\lambda)) \rfloor} \sum_{\sigma,\tau} K^{-1}_{\lambda^{(0)}\sigma^{(0)}}(-1)^\ell \prod_{i=1}^\ell c(\lambda^{(i)}; \sigma^{(i)}, \tau^{(i)}) c(\mu^{(i-1)}; \sigma^{(i-1)}, \tau^{(i)\prime})$ 로 주어지며, 여기서 $\lambda^{(i)}, \mu^{(i)}$는 $p$-bar-quotients이다.
• 프로젝티브 특징 $\phi_\mu$와 조정되지 않은 특징 $\hat{\phi}_\mu$ 사이의 조정 행렬 $A$는 항등행렬이며, 이는 공식이 고유하다는 것을 확인한다.
• RoCK 블록의 초카르탕 행렬 성분은 $A_\ell \wr S_d$의 표현 이론을 통해 독립적으로 계산된 와이어드 초곱 $W_d$의 성분과 일치한다.
• 조정되지 않은 카르탕 행렬 성분 $\check{C}_{\mu\nu}$ 는 분할 $\phi, \psi, \chi, \omega$ 에 대한 합으로 표현되며 $\prod_{i=0}^{\ell-1} c(\mu^{(i)}; \phi(i), \chi(i), \psi(i+1)', \omega(i)) c(\nu^{(i)}; \phi(i), \psi(i), \chi(i+1)', \omega(i))$ 로 주어지며, 적절한 레이블링 하에서 실제 카르탕 행렬과 일치한다.
• 증명은 분해 행렬이 $p$-bar-cores와 $p$-bar-quotients의 조합론적 성질에 의해 유일하게 결정됨을 보여주며, Fayers(2023)의 canonical basis 계산에 기반한 추측을 확인한다.