[논문 리뷰] Seminormal forms and Gram determinants for cellular algebras

Andrew Mathas, Marcos Soriano|arXiv (Cornell University)|2006. 04. 05.

Advanced Topics in Algebra참고 문헌 1인용 수 5

한 줄 요약

이 논문은 분리 가능한 주어진 Jucys–Murphy (JM) 원소를 지닌 셀러럴 대수에서 준정규 기저를 구성하는 일반적인 프레임워크를 개발하며, 이는 구조 상수를 통한 기약 모듈의 그램 행렬식의 명시적 계산을 가능하게 한다. 또한, JM 원소로부터 유도된 정규직교 아이소토프를 이용한 비완전한 셀러럴 대수의 블록 분해를 제공하며, 대칭군, 히케 대수, 분수체 위의 브라우어 대수 등에 적용 가능하다.

ABSTRACT

This paper develops an abstract framework for constructing ``seminormal forms'' for cellular algebras. That is, given a cellular R-algebra A which is equipped with a family of JM-elements we give a general technique for constructing orthogonal bases for A, and for all of its irreducible representations, when the JM-elements separate A. The seminormal forms for A are defined over the field of fractions of R. Significantly, we show that the Gram determinant of each irreducible A-module is equal to a product of certain structure constants coming from the seminormal basis of A. In the non-separated case we use our seminormal forms to give an explicit basis for a block decomposition of A. The appendix, by Marcos Soriano, gives a general construction of a complete set of orthogonal idempotents for an algera starting from a set of elements which act on the algebra in an upper triangular fashion. The appendix shows that constructions with "Jucys-Murphy elements"depend, ultimately, on the Cayley-Hamilton theorem.

연구 동기 및 목표

• 셀러럴 대수에서 분리 가능한 JM 원소의 가족을 지닌 준정규 기저를 체계적으로 구성하기 위한 일반적인 공리적 방법 개발.
• 준정규 기저에서의 구조 상수의 곱으로서 각 기약 모듈의 그램 행렬식을 계산.
• 비분리(비완전) 케이스에서 블록 분해를 위한 명시적 셀러럴 기저 제공.
• 특히 군 대수와 히케 대수와 같은 비완전한 설정으로까지 준정규 형식의 적용 범위 확장.
• 기본환의 분수체 위에서 준정규 형식이 자연스럽게 정의됨을 확립하며, 브라우어 및 BMW 대수 포함.

제안 방법

• JM 원소 작용에 기반한 재귀적 정규직교화 과정을 이용하여 대수의 자연스러운 이중선형 형식에 대해 정규직교인 새로운 셀러럴 기저 {f^λ_st}를 구성.
• 카이리-하밀턴 정리와 삼각행렬 작용을 이용하여 JM 원소로부터 상호직교 아이소토프의 완전한 집합을 도출.
• 국소환의 최대 이상이자 모듈로에 대한 잔여류 차이를 통해 연결 클래스 정의하고, 표준표의 집합을 분할.
• 이전에 구성된 아이소토프의 합인 F에 대해 (1−F)f_j에 다항식 지도 ε_d를 적용하여 정규직교 아이소토프를 구성.
• 모듈로 감소를 적용하여 완전한 케이스에서 비완전한 케이스로 결과를 확장하고, 대수의 블록 분해를 도출.
• 각 셀러럴 모듈의 그램 행렬식이 준정규 기저의 구조 상수의 곱과 같음을 보여, 명시적 계산 가능.

실험 결과

연구 질문

• RQ1 셀러럴 대수에서 분리 가능한 JM 원소의 가족을 지닌 준정규 형식은 어떻게 체계적으로 구성할 수 있는가?
• RQ2 기약 모듈의 그램 행렬식과 준정규 기저의 구조 상수 사이의 정확한 관계는 무엇인가?
• RQ3 비완전한 케이스에서 JM 원소를 이용해 셀러럴 대수의 블록 분해를 명시적으로술 수 있는가?
• RQ4 준정규 형식과 그램 행렬식은 모듈로 감소 하에서 어떻게 행동하는가?
• RQ5 연결 클래스는 셀러럴 대수의 블록 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 각 기약 A-모듈의 그램 행렬식은 A의 준정규 기저에서의 구조 상수의 곱과 동일하며, 이는 이러한 행렬식에 대한 명시적 공식을 제공한다.
• JM 원소가 대수를 분리할 경우, 준정규 기저는 존재하며 기본환 R의 분수체 위에서 정의된다.
• 비분리 케이스에서는 대수가 더 작은 셀러럴 부분대수로의 블록 분해를 갖는다. 이는 새로운 셀러럴 기저 {g^λ_st}를 통해 명시적으로술 수 있다.
• 블록 분해는 삼각행렬 작용에 기반한 다항식 정규직교화 절차를 통해 정규직교 아이소토프를 구성함으로써 유도된다.
• 이 방법은 대칭군 대수, A형 히케 대수, 아리키–코이케 대수(q≠1), (순환) q-스처 대수의 블록 분해를 위한 명시적 기저를 도출한다.
• 구성된 준정규 형식은 정규화된 것으로서, 브라우어 및 BMW 대수에 대해 새로운 결과로 분수체 위에서 정의된다.