[논문 리뷰] Harish-Chandra series in finite unitary groups and crystal graphs

Thomas Gerber, Gerhard Hiß외 1명|arXiv (Cornell University)|2014. 08. 06.

Algebraic structures and combinatorial models참고 문헌 21인용 수 4

한 줄 요약

이 논문은 유한 유니터리 군에서의 유니포텐트 모듈에 대한 하리시-찬드라 급수와 양자군의 포크 공간의 크리스탈 그래프 구조 사이의 추측적 연결을 제안한다. 순수 리 대수 부분군을 포함하는 하리시-찬드라 이론을 일반화하고, 약한 쿠스피달 모듈을 도입함으로써 저자들은 크리스탈 위상동형을 통해 모듈러 표현 이론과 조합론을 연결한다. 이로써 추측에 따라 분할의 서로 다른 $\varepsilon$-핵이 서로 다른 $\varepsilon$-블록에 대응함을 보이며, 이는 이와하이-헤이크 대수와 $\beta$-세트 변환을 통한 근거를 제공한다.

ABSTRACT

The distribution of the unipotent modules (in non-defining prime characteristic) of the finite unitary groups into Harish-Chandra series is investigated. We formulate a series of conjectures relating this distribution with the crystal graph of an integrable module for a certain quantum group. Evidence for our conjectures is presented, as well as proofs for some of their consequences for the crystal graphs involved. In the course of our work we also generalize Harish-Chandra theory for some of the finite classical groups, and we introduce their Harish-Chandra branching graphs.

연구 동기 및 목표

• 유니터리, 심플렉틱, 홀수 차원의 올라간 직교군에 대한 하리시-찬드라 이론을 순수 리 대수 부분군으로 제한함으로써 일반화한다.
• 약한 쿠스피달 모듈을 정의하고, 비정의 특성에서의 유니포텐트 모듈에 대한 정교화된 하리시-찬드라 급수 분해를 수립한다.
• 유니포텐트 모듈의 $\ell$-모듈러 하리시-찬드라 급수와 양자군의 적응 가능한 모듈의 크리스탈 그래프 사이의 추측적 대응을 제안한다.
• 유도된 모듈의 자기환원환과 $\beta$-세트, $e$-핵과 같은 조합 도구를 사용하여 이 추측에 대한 증거를 제공한다.
• 추측에 따라 분할의 서로 다른 $e$-핵은 분해 규칙에서 단순 부분모듈의 서로 다른 $\ell$-블록을 암시함을 확립한다.

제안 방법

• 다이아그램의 첫 번째 노드와 이중선에 인접한 연결된 부분집합을 포함하는 순수 리 대수 부분군으로 유도를 제한함으로써 하리시-찬드라 이론을 일반화한다.
• 이 순수 리 대수 부분군에서의 쿠스피달 모듈로 약한 쿠스피달 모듈을 정의하고, 일반 하리시-찬드라 급수가 약한 하리시-찬드라 급수의 합집합임을 보인다.
• 하리시-찬드라 유도 약한 쿠스피달 모듈의 자기환원환이 유형 $B$의 이와하이-헤이크 대수와 위상동형임을 증명하며, 블록에 일반 쿠스피달 모듈이 포함된 조건 하에서 매개변수들이 $\ell$ 모듈로 감소함을 보인다.
• 유니포텐트 모듈에 대한 하리시-찬드라 분해 그래프를 구성하여, 유도된 모듈의 소클 성분 인자를 기록하며, 대칭군의 클레쉬체프 분해 규칙과 유사하게 한다.
• $\beta$-세트와 카시와라 연산자의 변환을 사용하여 크리스탈 위상동형을 모델링하고, 크리스탈 그래프의 구조를 분할의 $e$-핵과 연결한다.
• 표준 크리스탈 위상동형과 차지 이동을 적용하여 동일한 크리스탈 그래프의 서로 다른 표현을 연결하며, 특히 $\mathfrak{B}((-,-),\mathbf{d})$의 맥락에서 고려한다.

실험 결과

연구 질문

• RQ1 순수 리 대수 부분군을 사용하여 유니터리, 심플렉틱, 홀수 직교군과 같은 유한 고전군에 대한 하리시-찬드라 이론를 어떻게 일반화할 수 있는가?
• RQ2 유니포텐트 모듈의 $\ell$-모듈러 하리시-찬드라 급수와 양자군의 포크 공간 크리스탈 그래프 사이의 정확한 관계는 무엇인가?
• RQ3 두 유니포텐트 모듈이 동일한 $\ell$-모듈러 약한 하리시-찬드라 급수에 속해 있을 때, 그들의 $2$-핵이 같은 조건은 무엇인가?
• RQ4 유니포텐트 모듈을 표기하는 분할의 $e$-핵은 유도된 모듈의 분해에서 그들의 $\ell$-블록 소속과 어떻게 관련되는가?
• RQ5 $\beta$-세트와 카시와라 연산자의 조합론을 사용하여 서로 다른 $e$-핵이 분해 규칙에서 단순 부분모듈의 서로 다른 $\ell$-블록을 암시함을 증명할 수 있는가?

주요 결과

• 하리시-찬드라 유도 약한 쿠스피달 모듈의 자기환원환은 매개변수가 $\ell$ 모듈로 감소하는 조건 하에서 유형 $B$의 이와하이-헤이크 대수와 위상동형이다. 이는 블록에 일반 쿠스피달 모듈이 포함된 경우에 해당한다.
• 추측 5.4는 특성 $\ell$에서 동일한 약한 하리시-찬드라 급수에 속하는 두 유니포텐트 모듈이 그에 대응하는 분할에서 동일한 $2$-핵을 가진다고 예측하며, 이는 일반 하리시-찬드라 급수를 정교화한다.
• 유니포텐트 모듈에 대한 하리시-찬드라 분해 그래프는 유도된 모듈의 소클 성분 인자를 기록하며, 대칭군의 클레쉬체프 분해 규칙을 일반화한다.
• $\ell$가 충분히 크고 추측 5.7가 성립할 경우, $R_{\mathrm{GU}_n(q)}^{\mathrm{GU}_{n+2}(q)}(X)$의 서로 이sovolumetric하지 않은 단순 부분모듈은 각각 다른 $\ell$-블록에 속한다. 이는 그에 대응하는 분할이 서로 다른 $e$-핵을 가짐을 의미한다.
• $B(\mu,\mathbf{c})$와 $B((-,-),\mathbf{d})$ 사이의 크리스탈 위상동형은 차지 이동과 $\beta$-세트 변환을 통해 확립되며, 차지 성분의 차이는 $s + (1-e)/2$ 또는 $s + (1+e)/2$와 일치한다.
• 서로 다른 $e$-핵을 가진다 함은, 동일한 모듈에 대해 다른 카시와라 연산자 $\widetilde{f}_{j_1}$와 $\widetilde{f}_{j_2}$를 적용할 경우, $e$-핵 감소 후 동일한 심볼을 유도할 수 없음을 보여주는 주장의 증명에 기반한다. 이는 $j_1 \not\equiv j_2 \pmod{e}$일 때 성립한다.