[논문 리뷰] Homogeneous algebras, statistics and combinatorics

Michel Dubois‐Violette, Todor Popov|arXiv (Cornell University)|2002. 07. 10.

Algebraic structures and combinatorial models참고 문헌 17인용 수 6

한 줄 요약

이 논문은 N-동차 대수로 고쿠즈 유크의 대칭성과 파oincaré 시리즈 공식을 일반화하며, 이는 파라페르미온 대수(파라스태티스틱스에서 유래)와 플라틱 대수(조합론에서 유래)라는 두 개의 삼차 대수에 적용된다. 이 두 대수는 동일한 파oincaré 시리즈와 코시울 호모로지(호모로지)를 공유하며, D=2인 경우 파라페르미온 대수의 GL(2) 대칭성이 일반적인 삼차 아르틴-슐레르 정규 대수의 유형 S1에서 양자군 대칭 GL_{p,q}(2)로 확장됨을 보여준다. 플라틱 대수는 이 가중치의 특별한 극한으로 나타난다.

ABSTRACT

After some generalities on homogeneous algebras, we give a formula connecting the Poincaré series of a homogeneous algebra with the homology of the corresponding Koszul complex generalizing thereby a standard result for quadratic algebras. We then investigate two particular types of cubic algebras: The first one called the parafermionic (parabosonic) algebra is the algebra generated by the creation operators of the universal fermionic (bosonic) parastatics with $D$ degrees of freedom while the second is the plactic algebra that is the algebra of the plactic monoid with entries in $\{1,2,..., D\}$. In the case D=2 we describe the relations with the cubic Artin-Schelter algebras. It is pointed out that the natural action of GL(2) on the parafermionic algebra for D=2 extends as an action of the quantum group $GL_{p,q}(2)$ on the generic cubic Artin-Schelter regular algebra of type $S_1$; $p$ and $q$ being related to the Artin-Schelter parameters. It is claimed that this has a counterpart for any integer $D\geq 2$.

연구 동기 및 목표

• 고전적인 코시울 대칭성과 파oincaré 시리즈 공식을 이차 대수에서 N-동차 대수로 확장한다.
• 파라스태티스틱스에서 유래한 파라페르미온 대수와 조합론에서 유래한 플라틱 대수를 삼차 N-동차 대수로 간주하여 동일한 파oincaré 시리즈를 갖는지 분석한다.
• D=2인 경우 파라페르미온 대수의 GL(2) 대칭성이 일반적인 아르틴-슐레르 정규 대수의 유형 S1에서 양자군 대칭 GL_{p,q}(2)로 일반화됨을 보여준다.
• 파라페르미온 대수의 매개변수 q와 r이 0이 되는 경우 플라틱 대수가 이 가중치의 가역적 극한으로 나타남을 보여준다.

제안 방법

• 코시울 복합체의 호모로지를 이용하여 N-동차 대수의 파oincaré 시리즈에 대한 일반화된 공식을 유도한다.
• 이 공식을 적용하여 파라페르미온 대수와 플라틱 대수가 동일한 파oincaré 시리즈를 갖는다는 것을 증명한다.
• GL(D)의 표현 이론을 사용하여 두 대수가 양자 테이블로 표시되는 동차 기저를 갖는다는 것을 보여준다.
• 매개변수 q와 r로 매개변수화된 삼차 아르틴-슐레르 정규 대수의 가중치를 분석하여, 파라페르미온 대수가 q=r=1에 해당하고 플라틱 대수가 q=0에 해당함을 보여준다.
• qr≠0인 경우, 양자군 GL_{p,q}(2)가 일반적인 대수 A_{q,r}에 작용함을 보여준다. 여기서 p=q/r²이다.
• D≥2인 임의의 경우로 대칭성이 확장됨을 확립하며, 플라틱 대수를 특별한 극한으로 간주한다.

실험 결과

연구 질문

• RQ1 이차 대수에 대한 파oincaré 시리즈 공식을 N-동차 대수로 어떻게 일반화할 수 있는가?
• RQ2 파라페르미온 대수와 플라틱 대수 사이의 대수적 및 호모로지 불변량 관계는 무엇인가?
• RQ3 D=2인 경우 파라페르미온 대수의 GL(2) 대칭성이 일반적인 경우 양자군 대칭으로 어떻게 확장되는가?
• RQ4 플라틱 대수가 삼차 아르틴-슐레르 정규 대수의 가중치 가중치에서 특별한 극한으로서 수행하는 역할은 무엇인가?
• RQ5 D=2에서 관찰된 양자군 대칭성이 임의의 D≥2로 일반화될 수 있는가?

주요 결과

• 파라페르미온 대수와 플라틱 대수는 동일한 파oincaré 시리즈를 가지며, D=2일 때는 P(t) = (1+t)^D / (1-t^2)^{D(D+1)/2}로 주어진다.
• 파라페르미온 대수의 파oincaré 시리즈는 그 보편 포괄 대수에 초수 파oincaré-비르코프-윌러의 정리를 적용하여 복구된다.
• 매개변수 q와 r을 가진 일반적인 삼차 아르틴-슐레르 정규 대수의 유형 S1은 qr≠0일 때 양자군 대칭 GL_{p,q}(2)를 갖는다. 여기서 p=q/r²이다.
• 파라페르미온 대수는 q=r=1의 경우에 해당하고, 플라틱 대수는 q=0, r=1의 특별한 경우에 해당한다.
• D=2인 경우 파라페르미온 대수의 GL(2) 대칭성은 qr≠0인 일반적인 대수 A_{q,r}에 대해 양자군 작용으로 확장된다.
• 파라페르미온 대수와 플라틱 대수를 포함하는 대수의 가중치는 D≥2로 일반화되며, 플라틱 대수는 특별한 극한으로 나타난다.