[논문 리뷰] Geometric Complexity Theory VII: Nonstandard quantum group for the plethysm problem

Ketan Mulmuley|ArXiv.org|2007. 09. 05.

Algebraic structures and combinatorial models참고 문헌 12인용 수 15

한 줄 요약

이 논문은 표현 이론의 펠리스미 문제에 대한 양의 #P 공식을 유도할 잠재적 프레임워크를 제공하는 비표준 양자군 $G_q^H$를 소개한다. $G_q^H$와 대칭군 대수의 비표준 양자화 사이의 이중성과 캐논ical 기저의 존재를 가정함으로써, 리틀우드-리치아드슨 규칙과 유사한 구성적 해법을 위한 기초가 마련된다.

ABSTRACT

This article describes a {\em nonstandard} quantum group that may be used to derive a positive formula for the plethysm problem, just as the standard (Drinfeld-Jimbo) quantum group can be used to derive the positive Littlewood-Richardson rule for arbitrary complex semisimple Lie groups. The sequel \cite{GCT8} gives conjecturally correct algorithms to construct canonical bases of the coordinate rings of these nonstandard quantum groups and canonical bases of the dually paired nonstandard deformations of the symmetric group algebra. A positive $#P$-formula for the plethysm constant follows from the conjectural properties of these canonical bases and the duality and reciprocity conjectures herein.

연구 동기 및 목표

• 리틀우드-리치아드슨 규칙과 유사한 양의 공식을 통해 펠리스미 상수를 유도할 수 있는 양자군 프레임워크를 개발하는 것.
• 재수성 군에 대해 $H \to G$의 호모모르피즘을 양자화하는 비표준 양자군 $G_q^H$를 구성하는 것.
• $G_q^H$와 대칭군 대수 $\mathbb{C}[S_r]$의 비표준 양자화 $\mathcal{B}_r^H(q)$ 사이의 이중성을 확립하는 것.
• $G_q^H$와 그 이중체에 대한 캐논컬 기저의 존재를 가설화하여, 이는 펠리스미 상수에 대한 양의 공식을 도출할 수 있음을 의미한다.
• 표현론적 이중성과 q-변형을 활용하여 펠리스미 상수를 계산하는 구성적 알고리즘으로의 길을 제시하는 것.

제안 방법

• 재수성 부분군 $H$를 갖는 $G=GL(X)$에 대해, $H \to G$의 호모모르피즘을 양자화하는 비표준 양자군 $G_q^H$를 제안하는 것.
• 유한차원 다항식 표현이 완전 가역적임을 보이고, 양자 피터-웨일 정리를 만족함을 증명하는 것.
• 대칭군 대수 $\mathbb{C}[S_r]$의 비표준 양자화 $\mathcal{B}_r^H(q)$를 $G_q^H$의 이중체로 도입하는 것.
• $G_q^H$와 $\mathcal{B}_r^H(q)$의 작용이 $X_q^{\otimes r}$ 위에서 상호 중심자임을 가설화하고, 스카우어-웨일 이중성을 형성하는 것.
• 군 $G$의 와일 모듈 $V_\lambda$의 $q$-아날로그인 $V_{q,\lambda}^H$를 정의하며, $\lim_{q\to 1} V_{q,\lambda}^H \cong V_\lambda$가 $H$-모듈로서 성립함을 보장하는 것.
• $G_q^H$-모듈 $W_{q,\alpha}$가 $V_{q,\lambda}^H$에 포함되는 빈도와 $\mathcal{B}_r^H(q)$-모듈의 특성화에서 스펙트 모듈 $S_\lambda$가 포함되는 빈도 사이의 상호관계를 연결하는 역치환 법칙을 가설화하는 것.

실험 결과

연구 질문

• RQ1 재수성 군에 대해 $H \to G$의 호모모르피즘을 양자화하는 비표준 양자군 $G_q^H$를 구성할 수 있는가?
• RQ2 비표준 양자군 $G_q^H$는 표준 드린펠트-지모 양자군과 유사한 캐논컬 기저 이론을 갖는가?
• RQ3 $G_q^H$와 대칭군 대수의 비표준 양자화 $\mathcal{B}_r^H(q)$ 사이에 이중성이 존재하는가?
• RQ4 펠리스미 상수 $a_{\lambda,\mu}^\pi$는 $G_q^H$의 캐논컬 기저를 통해 양의 #P 공식으로 표현될 수 있는가?
• RQ5 역치환 가설은 $q$-아날로그 와일 모듈의 분해를 대칭군의 표현론과 연결하는가?

주요 결과

• 재수성 군에 대해 $H \to G$의 호모모르피즘을 양자화하는 비표준 양자군 $G_q^H$가 존재하며, 유한차원 다항식 표현이 완전 가역적임을 보였다.
• 군 $G_q^H$의 행렬 좌표 환은 양자 피터-웨일 정리를 만족하며, 이는 기약 표현들로의 분해를 암시한다.
• 일반적으로 비표준 양자군 $G_q^H$는 특이함을 띠며, 그 행렬식이 0이 될 수 있고 쌍대사상이 존재하지 않을 수 있음이 확인되었다.
• 대칭군 대수의 비표준 양자화 $\mathcal{B}_r^H(q)$가 구성되었으며, 스카우어-웨일 이중성에 의해 $G_q^H$와의 이중성 관계가 추측된다.
• $X_q^{\otimes r}$가 $G_q^H$와 $\mathcal{B}_r^H(q)$ 위의 이중모듈로서의 분해가 $\bigoplus_\alpha W_{q,\alpha} \otimes T_{q,\alpha}$로 추측되며, 여기서 $W_{q,\alpha}$는 기약 $G_q^H$-모듈이고 $T_{q,\alpha}$는 기약 $\mathcal{B}_r^H(q)$-모듈이다.
• 펠리스미 상수 $a_{\lambda,\mu}^\pi$는 이중성과 역치환 가설 하에서 $G_q^H$와 $\mathcal{B}_r^H(q)$의 캐논컬 기저를 통해 양의 #P 공식으로 표현될 수 있음을 추측한다.