[논문 리뷰] Degenerate two-boundary centralizer algebras

Zajj Daugherty|arXiv (Cornell University)|2010. 07. 22.

Advanced Algebra and Geometry참고 문헌 9인용 수 5

한 줄 요약

이 논문은 $\mathfrak{gl}_n$ 또는 $\mathfrak{sl}_n$의 작용에 대해 $M \otimes N \otimes V^{\otimes k}$의 텐서 공간에서 중심자 대수로서 열등한 두 경계 브레인 대수 $\mathcal{G}_k$를 도입한다. 여기서 $M$과 $N$은 직사각형 분할에 의해 인덱싱된 기약 모듈이다. 확장된 열등한 두 경계 히드라 대수 $\mathcal{H}_k^{\mathrm{ext}}$는 $\mathcal{G}_k$의 몫으로 정의되며, 그 작용이 리 대수 작용과 교환된다는 것을 증명하고, 경로 기반 기저와 조합적 공식을 갖는 반정규 표현 이론을 수립한다.

ABSTRACT

Diagram algebras (e.g. graded braid groups, Hecke algebras, Brauer algebras) arise as tensor power centralizer algebras, algebras of commuting operators for a Lie algebra action on a tensor space. This work explores centralizers of the action of a complex reductive Lie algebra $\mathfrak{g}$ on tensor space of the form $M \otimes N \otimes V^{\otimes k}$. We define the degenerate two-boundary braid algebra $\mathcal{G}_k$ and show that centralizer algebras contain quotients of this algebra in a general setting. As an example, we study in detail the combinatorics of special cases corresponding to Lie algebras $\mathfrak{gl}_n$ and $\mathfrak{sl}_n$ and modules $M$ and $N$ indexed by rectangular partitions. For this setting, we define the degenerate extended two-boundary Hecke algebra $\mathcal{H}_k^{\mathrm{ext}}$ as a quotient of $\mathcal{G}_k$, and show that a quotient of $\mathcal{H}_k^{\mathrm{ext}}$ is isomorphic to a large subalgebra of the centralizer. We further study the representation theory of $\mathcal{H}_k^{\mathrm{ext}}$ to find that the seminormal representations are indexed by a known family of partitions. The bases for the resulting modules are given by paths in a lattice of partitions, and the action of $\mathcal{H}_k^{\mathrm{ext}}$ is given by combinatorial formulas.

연구 동기 및 목표

• 두 경계 모듈 $M$과 $N$을 가진 텐서 공간에 대해 슈르-웨일 이중성을 일반화하기 위해 새로운 중심자 대수를 구성하는 것.
• 열등한 두 경계 브레인 대수 $\mathcal{G}_k$를 $M \otimes N \otimes V^{\otimes k}$ 위에서 작용하며 $\mathfrak{g}$-작용과 교환되는 보편 대수로 정의하는 것.
• $\mathcal{G}_k$의 몫으로서 확장된 열등한 두 경계 히드라 대수 $\mathcal{H}_k^{\mathrm{ext}}$를 식별하여, $\mathrm{End}_{\mathfrak{g}}(M \otimes N \otimes V^{\otimes k})$의 큰 부분대수 위로 등급을 매기는 동형 사상이 존재함을 보이는 것.
• $\mathcal{H}_k^{\mathrm{ext}}$의 표현 이론, 특히 반정규 표현을 개발하고, 경로 기반 기저 위에서의 작용을 조합적 공식으로 묘사하는 것.

제안 방법

• 열등한 두 경계 브레인 대수 $\mathcal{G}_k$는 복소수 위에서의 결합 대수로, 다항식 환 $\mathbb{C}[x_1,\dots,x_k]$, $\mathbb{C}[y_1,\dots,y_k]$, $\mathbb{C}[z_0,\dots,z_k]$ 및 대칭군 대수 $\mathbb{C}S_k$를 생성자로 하며, 다항식 생성자와 브레인 대수 생성자 간의 관계를 통해 변형된 관계를 가진다.
• $\mathcal{G}_k$의 $M \otimes N \otimes V^{\otimes k}$ 위에서의 작용은 $\kappa_{M,\leq i}$, $\kappa_{N,\leq i}$, $\kappa_{V,\leq i}$ 및 $t_{s_i}$ 연산자들을 통해 정의되며, 이는 리 대수의 텐서 인자 위에서의 작용을 코딩한다.
• 핵심 관계 $m_{i,i+1} = x_{i+1} - t_{s_i}x_i t_{s_i} = y_{i+1} - t_{s_i}y_i t_{s_i} = z_{i+1} - t_{s_i}z_i t_{s_i} = \gamma_{i,i+1}$ 가 유도되며, 이는 브레인 대수 작용과 다항식 생성자 간의 상호작용이 전치 $t_{s_i}$를 통해 이루어짐을 보여준다.
• 확장된 열등한 두 경계 히드라 대수 $\mathcal{H}_k^{\mathrm{ext}}$는 $\mathfrak{gl}_n$ 및 $\mathfrak{sl}_n$의 직사각형 모듈 위에서의 표현 이론에서 유래하는 추가 관계를 도입함으로써 $\mathcal{G}_k$의 몫으로 정의된다.
• 반정규 표현은 분할의 격자 위에서 경로 모델을 사용하여 구성되며, 기저 벡터는 초깃분할에서 최종 분할로 이르는 경로에 의해 인덱싱된다.
• 경로 기저 위에서 생성자들의 작용에 대한 조합적 공식이 유도되며, 이는 작용이 명시적으로 계산 가능하고 표현 구조를 유지함을 보여준다.

실험 결과

연구 질문

• RQ1 직사각형 분할에 의해 인덱싱된 기약 모듈 $M$과 $N$을 가진 $M \otimes N \otimes V^{\otimes k}$ 위에서 $\mathfrak{g} = \mathfrak{gl}_n$ 또는 $\mathfrak{sl}_n$의 작용에 대해 보편 중심자 대수를 구성할 수 있는가?
• RQ2 열등한 두 경계 브레인 대수 $\mathcal{G}_k$는 $M \otimes N \otimes V^{\otimes k}$ 위에서 $\mathfrak{g}$-작용과 교환되는 방식으로 작용하며, 중심자 대수 위로 전사되는가?
• RQ3 $\mathcal{G}_k$의 몫으로서 $\mathcal{H}_k^{\mathrm{ext}}$가 존재하여 $\mathrm{End}_{\mathfrak{g}}(M \otimes N \otimes V^{\otimes k})$의 큰 부분대수 위로 등급을 매기는 동형 사상이 존재하는가?
• RQ4 $\mathcal{H}_k^{\mathrm{ext}}$의 표현 이론은 완전히 기술될 수 있는가, 특히 반정규 표현은 어떤 알려진 분할 가족에 의해 인덱싱되는가?
• RQ5 $\mathcal{H}_k^{\mathrm{ext}}$의 모듈 위에서의 작용 행렬 계수는 경로 기반 기저 위에서 명시적인 조합적 공식으로 표현될 수 있는가?

주요 결과

• 열등한 두 경계 브레인 대수 $\mathcal{G}_k$는 $M \otimes N \otimes V^{\otimes k}$ 위에서 작용하며, $\mathfrak{g} = \mathfrak{gl}_n$ 또는 $\mathfrak{sl}_n$의 작용과 교환되며, 정리 2.1에서 확인된다.
• $\mathfrak{g} = \mathfrak{gl}_n$ 또는 $\mathfrak{sl}_n$, $V$가 표준 표현이고 $M$, $N$이 직사각형 분할에 의해 인덱싱된 경우, $\mathcal{G}_k$의 $\mathrm{End}_{\mathfrak{g}}(M \otimes N \otimes V^{\otimes k})$ 위에서의 상은 확장된 열등한 두 경계 히드라 대수 $\mathcal{H}_k^{\mathrm{ext}}$를 통해 인해진다.
• 대수 $\mathcal{H}_k^{\mathrm{ext}}$는 $\mathrm{End}_{\mathfrak{g}}(M \otimes N \otimes V^{\otimes k})$의 큰 부분대수와 동형임을 정리 LABEL:thm:Hecke-action에서 보였다.
• $\mathcal{H}_k^{\mathrm{ext}}$의 반정규 표현은 $M \otimes N \otimes V^{\otimes k}$의 분해에 나타나는 동일한 분할 가족에 의해 인덱싱되며, 조합적 이중성의 확인을 보여준다.
• $\mathcal{H}_k^{\mathrm{ext}}$의 각 기약 표현의 기저는 분할 격자 위의 경로로 주어지며, 생성자들의 작용은 경로의 구조를 포함하는 명시적 조합적 공식으로 묘사된다.
• $\mathcal{H}_k^{\mathrm{ext}}$의 모듈 위에서의 작용은 이러한 공식을 통해 완전히 계산 가능하며, 생성자 $x_i$, $y_i$, $z_i$, $t_{s_i}$는 경로 기반 기저 위에서 잘 정의된 규칙에 따라 작용한다.