[논문 리뷰] Cocenters and representations of affine $0$-Hecke algebras

Xuhua He, Sian Nie|arXiv (Cornell University)|2015. 02. 07.

Advanced Algebra and Geometry참고 문헌 32인용 수 6

한 줄 요약

이 논문은 코센터와 트레이스 맵을 사용하여 애파인 0-헤케 대수의 초특수 표현에 대한 새로운 기준을 수립한다. 가상 모듈이 초특수임과 동시에 그 캐릭터가 코센터의 비초특수 부분에서 0이 되는 것은 필요충분조건이며, 이는 초특수 모듈의 새로운 특성화와 최소 길이의 공轭 대표자에서의 폴리드로미크 인도션과 순환 이동 클래스를 통한 코herent 그룹의 기초를 제공한다.

ABSTRACT

In this paper, we study the relation between the cocenter $\overline{ ilde \ch_0}$ and the finite dimensional representations of an affine $0$-Hecke algebra $ ilde \ch_0$. As a consequence, we obtain a new criterion on the supersingular modules: a (virtual) module of $ ilde \ch_0$ is supersingular if and only if its character vanishes on the non-supersingular part of $\overline{ ilde \ch_0}$.

연구 동기 및 목표

• 알gebraically closed field 위에서 애파인 0-헤케 대수의 유한차원 표현의 구조를 이해하기 위해.
• 코센터가 초특수 모듈을 분류하는 데서 수행하는 역할을 명확히 하기 위해.
• 트레이스 맵과 코센터 분해를 사용하여 초특수 모듈의 새로운 특성화를 수립하기 위해.
• 폴리드로미크 인도션과 순환 이동 클래스를 통해 유한차원 표현의 코herent 그룹에 대한 기초를 구성하기 위해.
• 특히 모듈러 표현 이론의 맥락에서 q-헤케 대수의 결과를 0-헤케 대수의 설정으로 일반화하기 위해.

제안 방법

• 애파인 웨일 군의 공轭류에서 최소 길이 대표자로 구성된 $\tilde{W}_{\min}$에 대해, 순환 이동 클래스 $\Sigma \in \mathrm{Cyc}(\tilde{W}_{\min})$ 로 색인화된 $\mathbb{Z}$-기저를 가진 코센터 $\overline{\tilde{\mathcal{H}}_0}$ 를 연구한다.
• 유한차원 표현의 캐릭터와 코센터 원소를 연결하기 위해 $\mathrm{Tr}: \overline{\tilde{\mathcal{H}}_0} \to R(\tilde{\mathcal{H}}_0)_{\mathbf{k}}^*$ 를 사용하는 트레이스 맵을 적용한다.
• 폴리드로미크 인도션을 적용하여 트레이스 맵의 연구를 파라호릭 부분군과 관련된 유한 0-헤케 대수로 축소한다.
• 폴리드로미크 하위대수의 단순 모듈에서 유도된 모듈 $\pi_{F_0,\Gamma,\chi}$ 를 사용하여 코herent 그룹 $R(\tilde{\mathcal{H}}_0)_{\mathbf{k}}$ 에 대한 기초를 구성한다.
• 코센터의 분해와 대칭성을 확보하기 위해 $\tilde{\mathcal{H}}_0$ 상의 침습 $\iota$ 를 사용하여 $T_\Sigma$ 와 ${}^\iota T_\Sigma$ 를 연결한다.
• 비초특수 부분 $\overline{\tilde{\mathcal{H}}_0}^{nss}$ 는 어떤 진정한 파라호릭 부분군에도 포함되지 않는 $\Sigma$ 에 대해 $T_\Sigma$ 와 ${}^\iota T_\Sigma$ 의 스칼라 결합으로 생성된 부분공간으로 정의된다.

실험 결과

연구 질문

• RQ1 애파인 0-헤케 대수의 코센터는 어떤 구조를 가지며, 어떻게 매개변수화될 수 있는가?
• RQ2 코센터에서 코herent 그룹의 쌍대공간으로 가는 트레이스 맵은 표현 분류와 어떻게 관련되는가?
• RQ3 초특수 조건은 코센터와 트레이스 페어링의 순수한 언어로 특성화될 수 있는가?
• RQ4 폴리드로미크 인도션과 순환 이동 클래스는 코herent 그룹의 기초를 구성하는 데서 어떤 역할을 하는가?
• RQ5 침습 $\iota$ 는 트레이스와 코센터의 분해에 어떻게 영향을 미치는가?

주요 결과

• 코센터 $\overline{\tilde{\mathcal{H}}_0}$ 는 애파인 웨일 군의 공轭류에서 최소 길이 대표자로 구성된 $\tilde{W}_{\min}$ 에 대해 순환 이동 클래스 $\Sigma \in \mathrm{Cyc}(\tilde{W}_{\min})$ 로 색인화된 $\mathbb{Z}$-기저를 가진다.
• 코herent 그룹 $R(\tilde{\mathcal{H}}_0)_{\mathbf{k}}$ 는 폴리드로미크 하위대수의 단순 모듈에서 유도된 모듈 $\pi_{F_0,\Gamma,\chi}$ 를 통해 $\mathbb{Z}$-기저를 가진다.
• 새로운 기준이 수립되었다: 가상 모듈 $\pi \in R(\tilde{\mathcal{H}}_0)_{\mathbf{k}}$ 가 초특수임과 동시에 $\overline{\tilde{\mathcal{H}}_0}^{nss}$ 의 모든 $h$ 에 대해 $\mathrm{Tr}(h, \pi) = 0$ 인 것은 필요충분조건이다.
• 비초특수 부분 $\overline{\tilde{\mathcal{H}}_0}^{nss}$ 는 어떤 진정한 파라호릭 부분군에도 포함되지 않는 $\Sigma$ 에 대해 $T_\Sigma$ 와 ${}^\iota T_\Sigma$ 의 스칼라 결합으로 생성된 부분공간으로 정의된다.
• 트레이스가 0이 되는 조건과 표준 정의(즉, $\ell(\tilde{w}) \gg 0$ 일 때 $E_{\tilde{w}}M = 0$) 사이의 동치성이 증명되었으며, 이는 새로운 개념적 프레임워크를 제공한다.
• 기존의 버네스타인 표현과 사타케 동형사상에 의한 방법과 대비하여, 코센터와 트레이스 맵를 사용하여 단순 초특수 모듈의 분류를 재정의하였다.