[논문 리뷰] Cell structures for the Yokonuma-Hecke algebra and the algebra of braids and ties

Jorge Espinoza, Steen Ryom-Hansen|arXiv (Cornell University)|2015. 06. 02.

Algebraic structures and combinatorial models참고 문헌 24인용 수 22

한 줄 요약

이 논문은 요코누마-헤이크 대수 $\mathcal{Y}_{r,n}$ 에 대한 충실한 텐서 공간 표현을 구축하고, 쇼지의 수정된 아리키-코이케 대수 $\mathcal{H}_{r,n}$ 와의 구체적 동형사상 수립하며, 브레이드와 테이프의 대수인 아이카르디-지우마야 대수 $\mathcal{E}_n$ 에 대한 셀러블 기저를 제공한다. 주요 기여는 텐서 공간 실현을 통한 $\mathcal{Y}_{r,n} \cong \mathcal{H}_{r,n}$ 동형사상에 대한 새로운 증명과, $\mathcal{E}_n$ 이 셀러블 대수임을 확인하는 셀러블 구조로, 마린의 일반 매개변수에 대한 분해에 관한 열린 질문을 해결한다.

ABSTRACT

We construct a faithful tensor representation for the Yokonuma-Hecke algebra Y, and use it to give a concrete isomorphism between Y and Shoji's modified Ariki-Koike algebra. We give a cellular basis for Y and show that the Jucys-Murphy elements for Y are JM-elements in the abstract sense. Finally, we construct a cellular basis for the Aicardi-Juyumaya algebra of braids and ties.

연구 동기 및 목표

• 텐서 공간 $V^{\otimes n}$ 을 사용하여 요코누마-헤이크 대수 $\mathcal{Y}_{r,n}$ 에 대한 충실한 표현을 구축한다.
• 그들의 $V^{\otimes n}$ 에 대한 작용을 통해 $\mathcal{야}_{r,n}$ 과 쇼지의 수정된 아리키-코이케 대수 $\mathcal{H}_{r,n}$ 사이의 구체적 동형사상을 구성한다.
• $\mathcal{Y}_{r,n}$ 이 셀러블 대수임을 증명하기 위해 무역 다표준 표기법을 일반화한 명시적 셀러블 기저를 구성한다.
• $\mathcal{E}_n$ 에 대한 셀러블 구조를 $\mathcal{Y}_{r,n}$ 의 부분대수로 일반화하여 확장함으로써, 그 셀러블성과 마린의 질문에 대한 해답을 제시한다.

제안 방법

• $\mathcal{E}_n$-모듈 구조의 일반화를 통해 $\mathcal{Y}_{r,n}$ 이 텐서 공간 $V^{\otimes n}$ 에 충실하게 작용하도록 구성한다.
• $\mathrm{End}(V^{\otimes n})$ 내부에서 $\mathcal{Y}_{r,n}$ 과 $\mathcal{H}_{r,n}$ 의 상을 식별하고, 바르단드 행렬식을 활용하여 $\mathcal{Y}_{r,n} \cong \mathcal{H}_{r,n}$ 의 동형사상을 증명한다.
• 표준 다중표준 표기법과 조합적 색인 체계를 사용하여 $\mathcal{Y}_{r,n}$ 에 대한 셀러블 기저를 정의하며, 이는 이와하라-헤이크 대수의 머피 기저를 일반화한다.
• $\mathcal{Y}_{r,n}$ 내의 주키스-머피 원소들이 추상 셀러블 대수 이론에서의 JM-원소의 공리를 만족함을 보인다.
• $r \geq n$ 인 경우, 동일한 프레임워크를 사용하여 $\mathcal{Y}_{r,n}$ 의 부분대수로서 $\mathcal{E}_n$ 에 대한 셀러블 기저를 구성한다.
• $\Psi_\alpha: \mathcal{Y}_{r,n} \to \mathrm{Mat}_{b_n(\alpha)}(\mathcal{H}^{\mathrm{wr}}_\alpha(q))$ 가 대수 동형사상임을 증명하여, $\mathcal{E}_n$ 이 라이트 프로덕트 대수 위의 행렬 대수로 표현됨을 확인한다.

실험 결과

연구 질문

• RQ1 요코누마-헤이크 대수 $\mathcal{Y}_{r,n}$ 와 쇼지의 수정된 아리키-코이케 대수 $\mathcal{H}_{r,n}$ 사이에 구체적 동형사상이 존재하는가?
• RQ2 $\mathcal{Y}_{r,n}$ 에 대해 명시적인 셀러블 기저를 구성할 수 있으며, 이 기저가 부분대수의 구조와 주키스-머피 원소를 유지하는가?
• RQ3 브레이드와 테이프의 대수인 아이카르디-지우마야 대수 $\mathcal{E}_n$ 이 셀러블 대수인가? 일반 매개변수에 대해 그 분해가 라이트 프로덕트 대수 위의 행렬 대수의 합으로 이루어지는가?
• RQ4 텐서 공간 $V^{\otimes n}$ 이 $\mathcal{Y}_{r,n}$ 에 대한 충실한 표현을 제공하는가? 그리고 이 공간을 사용하여 $\mathcal{Y}_{r,n}$ 과 $\mathcal{H}_{r,n}$ 이 모두 $\mathrm{End}(V^{\otimes n})$ 의 부분대수로 실현될 수 있는가?
• RQ5 $\mathcal{Y}_{r,n}$ 에 대한 루스지그와 자코-풀레인 다앤시의 정리와 유사한 행렬 대수 동형사상을 통해 $\mathcal{E}_n$ 의 구조를 기술할 수 있는가?

주요 결과

• $\mathcal{Y}_{r,n}$ 에 대한 충실한 텐서 공간 표현이 $V^{\otimes n}$ 에서 구성되었으며, 이는 $\mathcal{E}_n$-모듈 구조의 일반화이다.
• $\mathcal{Y}_{r,n}$ 과 $\mathcal{H}_{r,n}$ 는 $\mathrm{End}(V^{\otimes n})$ 내의 공통된 상을 통해 동형임을 증명하였으며, 이는 동형사상 정리에 대한 새로운 증명을 제공한다.
• 표준 다중표준 표기법을 사용하여 $\mathcal{Y}_{r,n}$ 에 대한 셀러블 기저를 명시적으로 구성하였으며, 이는 이와하라-헤이크 대수의 머피 기저를 일반화한다.
• $\mathcal{Y}_{r,n}$ 내의 주키스-머피 원소들이 추상 셀러블 대수 이론에서의 JM-원소 공리를 만족함을 보였다.
• 아이카르디-지우마야 대수 $\mathcal{E}_n$ 이 셀러블 대수임을 증명하였으며, 그 구조는 라이트 프로덕트 대수 위의 행렬 대수로 기술된다.
• $\Psi_\alpha: \mathcal{Y}_{r,n} \to \mathrm{Mat}_{b_n(\alpha)}(\mathcal{H}^{\mathrm{wr}}_\alpha(q))$ 가 $S$-대수 동형사상으로서 확립되었으며, 이는 마린의 일반 매개변수에 대한 $\mathcal{E}_n$ 의 분해에 관한 질문을 해결한다.