[논문 리뷰] Affine cellularity of affine Yokonuma-Hecke algebras

Weideng Cui|arXiv (Cornell University)|2015. 10. 09.

Algebraic structures and combinatorial models참고 문헌 9인용 수 3

한 줄 요약

이 논문은 애फ인 요코누마-헤이크 대수 $ω_{r,n}(q)$와 애프린 히브 대수의 타입 $A$의 텐서곱 위의 행렬 대수들의 직합 사이의 명시적 대수 동형사상을 수립하여, $ω_{r,n}(q)$ 가 애프린 셀러블임을 증명한다. 주요 결과로는 $q$ 가 파oincaré 다항식의 근이 아닐 때 $ω_{r,n}(q)$ 가 유한한 전반적 차원을 가지며, 이는 이전에 [CW]에서 얻어진 모듈라 표현 이론을 복원함을 보여준다.

ABSTRACT

We establish an explicit algebra isomorphism between the affine Yokonuma-Hecke algebra $\widehat{Y}_{r,n}(q)$ and a direct sum of matrix algebras with coefficients in tensor products of affine Hecke algebras of type $A.$ As an application of this result, we show that $\widehat{Y}_{r,n}(q)$ is affine cellular in the sense of Koenig and Xi, and further prove that it has finite global dimension when the parameter $q$ is not a root of the Poincaré polynomial. As another application, we also recover the modular representation theory of $\widehat{Y}_{r,n}(q)$ previously obtained in [CW].

연구 동기 및 목표

• 애프린 요코누마-헤이크 대수 $ω_{r,n}(q)$ 와 타입 $A$의 애프린 히브 대수의 텐서곱 위의 계수를 갖는 행렬 대수들의 직합 사이의 명시적 대수 동형사상을 수립하는 것.
• $ω_{r,n}(q)$ 가 코니그와 시의 애프린 셀러블성의 의미에서 애프린 셀러블임을 증명하는 것.
• $q$ 가 파oincaré 다항식의 근이 아닐 때 $ω_{r,n}(q)$ 가 전반적 차원을 유한하게 가짐을 보이는 것.
• [CW]에서 이전에 확보된 $ω_{r,n}(q)$ 의 모듈라 표현 이론을 복원하는 것.

제안 방법

• 루스티그의 프레임워크를 사용하여, 타입 $A$의 확장된 애프린 히브 대수들의 텐서곱 위의 계수를 갖는 행렬 대수들의 직합으로 구성된 보조 대수 $ω E_{r,n}$ 를 정의한다.
• Koenig과 Xi의 정의에 따라 애프린 셀러블 대수에 대한 공리적 성질 $P_1, P_2, P_3, P_4$ 가 $ω E_{r,n}$ 에서 성립함을 증명한다.
• 생성자에 대해 정의된 사상 $ψ$ 를 통해 선형으로 확장된 명시적 대수 동형사상 $ω Y_{r,n}(q) \to ω E_{r,n}$ 를 수립한다.
• 이 동형사상을 통해 $ω E_{r,n}$ 에서의 성질을 $ω Y_{r,n}(q)$ 로 이행하며, 이는 애프린 셀러블성과 전반적 차원의 유한성 포함된다.
• [KX2]와 [C2]의 결과를 활용하여, 유도된 모듈러 다항식 카테고리의 계층화와 같은 구조적 성질을 유도한다.
• 동형사상을 활용하여, 특성 $p$ 가 $r$ 을 나누지 않는 대수적으로 닫힌 체 위에서 $ω Y_{r,n}(q)$ 의 모듈라 표현 이론을 복원한다.

실험 결과

연구 질문

• RQ1 애프린 요코누마-헤이크 대수 $ω_{r,n}(q)$ 는 코니그와 시의 정의에 따라 애프린 셀러블인가?
• RQ2 $ω_{r,n}(q)$ 와 타입 $A$의 애프린 히브 대수의 텐서곱 위의 계수를 갖는 행렬 대수들의 직합 사이에 명시적 대수 동형사상을 구성할 수 있는가?
• RQ3 $q$ 가 어떤 조건을 만족할 경우 $ω_{r,n}(q)$ 가 전반적 차원을 유한하게 가지는가?
• RQ4 이 동형사상은 이전에 [CW]에서 확보된 $ω_{r,n}(q)$ 의 모듈라 표현 이론을 복원하는 데 기여하는가?
• RQ5 $ω_{r,n}(q)$ 의 유도된 모듈러 다항식 카테고리의 구조는 무엇이며, 이는 점 渐진 대수와 어떻게 관련이 있는가?

주요 결과

• 타입 $A$의 애프린 히브 대수의 텐서곱 위의 계수를 갖는 행렬 대수들의 직합과의 명시적 대수 동형사상이 수립되어, $ω_{r,n}(q)$ 가 애프린 셀러블임을 증명한다.
• 파oincaré 다항식의 근이 아닐 때 $q$ 에 대해 $ω_{r,n}(q)$ 는 전반적 차원을 유한하게 가진다.
• 원시 $r$차 단위근을 포함하는 특성 0 체 위에서 단순 $ω_{r,n}(q)$-모듈러의 매개변수 집합은 유한 개의 아핀 공간들의 합집합이다.
• 애프린 셀러블성과 층의 아이디포텐트 생성자에 기반하여, $ω_{r,n}(q)$ 의 유도된 모듈러 다항식 카테고리에 계층화가 존재하며, 각 층은 애프린 $k$-대수 $B_l$ 의 유도된 모듈러 다항식 카테고리이다.
• 대수적으로 닫힌 체 위에서 특성 $p$ 가 $r$ 을 나누지 않는 조건에서, $ω_{r,n}(q)$ 의 모듈라 표현 이론이 동형사상을 통해 복원된다.
• 파oincaré 다항식의 근이 아닐 때 $q$ 에 대해 $ω_{r,n}(q)$ 는 애프린 준헤르드라임이다.