[논문 리뷰] Unipotent Hecke algebras of GL_n(F_q)

Nathaniel Thiem|ArXiv.org|2004. 02. 24.

Algebraic structures and combinatorial models참고 문헌 11인용 수 5

한 줄 요약

이 논문은 $\mathrm{GL}_n(\mathbb{F}_q)$의 경우에 대해 $\chi_{\mu} = \mathrm{End}_G(\mathrm{Ind}_U^G(\psi_\mu))$ 형태의 유니포텐트 헤케 대수를 도입한다. 여기서 $U$는 유니포텐트 상삼각 부분군이며, $\psi_\mu$는 선형 특성이다. 이 논문은 모닉 다항식의 행렬로 색인화된 조합론적 기저를 구축하고, 이중 코스비 기저와 테이블로의 쌍을 연결하는 일반화된 RSK 대응을 수립하며, 더 작은 유니포텐트 헤케 대수들의 텐서곱과 동형인 큰 교환 부분대수를 식별하여 모듈의 무게 공간 분해를 가능하게 한다.

ABSTRACT

This paper describes a family of Hecke algebras H_μ=End_G(Ind_U^G(ψ_μ)), where U is the subgroup of unipotent upper-triangular matrices of G=GL_n(F_q) and ψ_μis a linear character of U. The main results combinatorially index a basis of H_μ, provide a large commutative subalgebra of H_μ, and after describing the combinatorics associated with the representation theory of H_μ, generalize the RSK correspondence that is typically found in the representation theory of the symmetric group.

연구 동기 및 목표

• 유니포텐트 헤케 대수 $\mathcal{H}_\mu = \mathrm{End}_G(\mathrm{Ind}_U^G(\psi_\mu))$의 구조와 표현 이론을 연구한다. 여기서 $G = \mathrm{GL}_n(\mathbb{F}_q)$이며, $U$는 유니포텐트 루트이고 $\psi_\mu$는 선형 특성이다.
• 행렬의 형태로 색인화된 $\ell \times \ell$ 모닉 다항식의 기저를 $\mathcal{H}_\mu$에 대해 구성한다. 이 기저는 상수항이 0이 아니며, 각 행과 열의 차수 합이 $\mu$로 고정되어 있다.
• 고전적인 RSK 대응을 일반화하여, 이중 코스비 대표자와 동일한 모양을 가진 열 strict 테이블로의 쌍 $(P,Q)$ 사이의 이분사 사상 수립을 통해 $\mathcal{H}_\mu$의 기약 모듈 분해를 기술한다.
• 크기가 큰 교환 부분대수 $\mathcal{L}_\mu \cong \mathcal{H}_{(\mu_1)} \otimes \cdots \otimes \mathcal{H}_{(\mu_\ell)}$를 구성하고, 이에 대응하는 $\mathcal{H}_\mu$-모듈의 무게 공간 분해를 기술한다.

제안 방법

• $\mathcal{H}_\mu$의 표준 이중 코스비 기저 $\{T_v : v \in N_\mu\}$를 이중 코스비 $U \backslash G / U$를 이용해 구성한다.
• $N_\mu$와 $\ell \times \ell$ 행렬의 집합 $M_\mu$ 사이의 이분사 사상을 수립한다. 여기서 다항식 계수는 $\mathbb{F}_q[X]$에 속하며, $a_{ij}(0) \neq 0$ 이고, 각 행과 열의 차수 합이 $\mu$로 동일하다.
• 일반화된 RSK 대응은 $N_\mu$와 같은 모양 $\lambda$를 가진 열 strict 테이블로의 쌍 $(P,Q)$ 사이의 조합론적 이분사 사상으로 실현되며, 이는 기약 $\mathcal{H}_\mu$-모듈을 색인화한다.
• $\mathcal{L}_\mu$는 $e_\mu P_\mu e_\mu$로 구성되며, 유니포텐트 헤케 대수 $\mathcal{H}_{(\mu_i)}$들의 텐서곱과 동형이다. 이는 비틀림 원소와 군 대수 사영을 이용한다.
• $\mathcal{H}_\mu$-모듈의 무게 공간 분해는 $\gamma$-무게 공간 $V_\gamma = \{v \in V : yv = \gamma(y)v \text{ for all } y \in \mathcal{L}_\mu\}$를 통해 정의되며, 유도된 표현과 피에리의 법칙을 통해 차원을 계산한다.
• $\mathrm{dim}(\mathcal{H}_\mu) = \sum_{\lambda \in \hat{\mathcal{H}}_\mu} \mathrm{dim}(\mathcal{H}_\mu^\lambda)^2$라는 표현 이론적 항등식이 RSK 유형 대응을 통해 조합론적으로 실현된다.

실험 결과

연구 질문

• RQ1 유니포텐트 헤케 대수 $\mathcal{H}_\mu$에 대해 $\mathrm{GL}_n(\mathbb{F}_q)$와 관련된 조합론적 기저는 어떻게 구성할 수 있는가?
• RQ2 고전적인 RSK 대응은 $\mathcal{H}_\mu$의 기약 모듈로의 분해를 기술하기 위해 어떻게 일반화할 수 있는가?
• RQ3 큰 교환 부분대수의 구조는 무엇이며, 이는 그 모듈의 무게 공간 분해를 어떻게 지원하는가?
• RQ4 기약 표현 $\mathcal{H}_\mu$는 테이블로와 분할과 같은 조합론적 대상과 어떻게 관련이 있는가?
• RQ5 겔판드-그레이브 표현과 요코누마 대수는 유니포텐트 헤케 대수의 광범위한 맥락에서 어떤 역할을 하는가?

주요 결과

• 이중 코스비 기저 $N_\mu$와 $\ell \times \ell$ 모닉 다항식의 행렬 집합 $M_\mu$ 사이의 이분사 사상이 수립된다. 여기서 다항식의 상수항은 0이 아니며, 각 행과 열의 차수 합은 $\mu$로 고정되어 있다.
• 일반화된 RSK 대응이 구성되며, 이는 $N_\mu$와 같은 모양 $\lambda$를 가진 열 strict 테이블로의 쌍 $(P,Q)$ 사이의 조합론적 이분사 사상으로 실현된다. 여기서 $\lambda$는 기약 $\mathcal{H}_\mu$-모듈을 색인화한다.
• $\mathcal{H}_\mu$의 차원은 기약 모듈의 차원의 제곱합으로 표현되며, 항등식 $\mathrm{dim}(\mathcal{H}_\mu) = \sum_{\lambda \in \hat{\mathcal{H}}_\mu} \mathrm{dim}(\mathcal{H}_\mu^\lambda)^2$는 RSK 유형 대응을 통해 조합론적으로 해석된다.
• 크기가 큰 교환 부분대수 $\mathcal{L}_\mu \cong \mathcal{H}_{(\mu_1)} \otimes \cdots \otimes \mathcal{H}_{(\mu_\ell)}$가 구성되며, 모든 기약 $\mathcal{L}_\mu$-모듈은 일차원이다.
• $\mathcal{H}_\mu^\lambda$의 기약 $\mathcal{H}_\mu$-모듈 내에서 $\gamma$-무게 공간 $V_\gamma$의 차원은 모양 $\lambda$와 무게 $\gamma$를 가진 열 strict 테이블로의 수와 같으며, 이는 $|\hat{\mathcal{H}}_\gamma^\lambda|$와 같다.
• $\mathcal{H}_\mu$-모듈 $V$에 대해 무게 공간 분해 $V \cong \bigoplus_{\gamma \in \hat{\mathcal{L}}_\mu} V_\gamma$가 성립하며, 차원은 프로비니우스의 상호법칙과 피에리의 법칙을 통해 계산된다.