[논문 리뷰] Involutions on pro-$p$-Iwahori Hecke algebras

Noriyuki Abe|arXiv (Cornell University)|2017. 04. 03.

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

한 줄 요약

이 논문은 양의 특성에서 pro-$p$-Iwahori Hecke 대수 위의 단순 모듈러스에 대해 두 가지 핵심 대칭 변환—$ζ$ (반대대칭 변환)와 $ι$ (대칭 변환)의 작용을 계산한다. 단순 모듈러스 $π$에 대해 비틀린 모듈러스 $π^{ olimits\iota}$와 쌍대 모듈러스 $π^{*}$를 구한다. 이는 3단계 분류를 통해 이루어지며, 파라보릭 유도, 일반화된 스텐버그 모듈러스, 초우월 모듈러스를 포함한다. 특히 가장 어려운 경우는 뱃지 관계와 이차 관계를 세밀하게 분석하여 해결된다. 핵심 결과는 쌍대 매개변수와 반대 파라보릭 부분군을 이용해 쌍대 및 비틀린 모듈러스의 명시적 동형류를 분류하는 것이다.

ABSTRACT

The pro-$p$-Iwahori Hecke algebra has an involution $ι$ defined in terms of Iwahori-Matsumoto basis. Then for a module $π$ of pro-$p$-Iwahori Hecke, $π^ι= π\circ ι$ is also a module. We calculate $π^ι$ for simple modules $π$. We also calculate the dual of $π$.

연구 동기 및 목표

• 기초 체의 특성이 $p$인 pro-$p$-Iwahori Hecke 대수의 단순 모듈러스에 대해 대칭 변환 $ι$의 작용을 계산하는 것.
• 동일한 설정에서 단순 모듈러스 $π$에 대한 쌍대 모듈러스 $π^{*}$를 결정하는 것.
• G의 표현 이론을 양의 특성의 체 위에서 분석함으로써 $ι$와 $ζ$ 작용 하에서의 모듈러스 구조를 확장하는 것.
• 표현 이론의 광범위한 프로그램의 일환으로 단순 모듈러스 간의 확장 계산을 위한 기초 자료를 제공하는 것.

제안 방법

• Iwahori-Matsumoto 기저 $π = \{T_w\}_{w\in W(1)}$를 사용하여 $T_w \mapsto (-1)^{\ell(w)}T_w^{*}$로 정의되는 대칭 변환 $ι$를 정의한다. 여기서 $T_w^{*}$는 쌍대 기저이다.
• 반대대칭 변환 $ζ$를 $T_w \mapsto T_{w^{-1}}$로 정의하여 쌍대 모듈러스 $\pi^{*} = \mathrm{Hom}_C(\pi, C)$를 정의한다. 이에 따라 작용은 $(fX)(v) = f(v\zeta(X))$로 주어진다.
• 단순 모듈러스를 3단계로 분류한다: 파라보릭 유도, 일반화된 스텐버그 모듈러스(가장 복잡한 경우), 초우월 모듈러스. 이는 pro-$p$ Weyl 군 $W(1)$과 반사 데이터의 구조를 이용한다.
• Hecke 대수 내의 뱃지 관계와 이차 관계를 활용하여 모듈러스의 비틀림을 계산한다. 특히 일반화된 스텐버그 모듈러스의 경우 음의 대수와 확장 함자 간의 호환성에 대한 세밀한 분석을 수행한다.
• Weyl 군 원소들(예: $n_{w_G w_P}$)의 수반 작용을 이용하여 반대 파라보릭 부분군 위의 모듈러스 간의 관계를 설정하고, 비틀린 모듈러스와 쌍대 모듈러스 간의 동형을 확립한다.
• 끌어올림 구조와 확장 함자 $j_{Q}^{P-*}$의 호환성을 적용하여 $\pi^{*}$를 반대 파라보릭 부분군 위의 모듈러스와 연결하며, 이는 쌍대 매개변수를 포함한다.

실험 결과

연구 질문

• RQ1 기초 체의 특성이 $p$인 pro-$p$-Iwahori Hecke 대수의 단순 모듈러스에 대해 대칭 변환 $\iota$는 어떻게 작용하는가?
• RQ2 pro-$p$-Iwahori Hecke 대수 위의 단순 모듈러스 $\pi$에 대해 쌍대 모듈러스 $\pi^{*}$의 구조는 어떠한가?
• RQ3 일반화된 스텐버그 모듈러스에 대한 $\iota$ 작용은 파라보릭 유도와 초우월 모듈러스에 비해 어떻게 다른가?
• RQ4 단순 모듈러스의 쌍대는 반대 파라보릭 부분군 위의 모듈러스와 쌍대 매개변수를 통해 표현될 수 있는가?
• RQ5 대칭과 쌍대 작용 하에서 $I(P;\chi,J,V;Q)^{*}$와 $I(P';\chi',J',V';Q')$ 사이의 관계는 어떠한가?

주요 결과

• 단순 모듈러스 $\pi = I(P;\chi,J,V;Q)$에 대해 비틀린 모듈러스 $\pi^{\iota}$는 $I(P;\chi^{-1},J,V^{*};Q)$와 동형이다. 여기서 $V^{*}$는 쌍대 표현이고 $\chi^{-1}$는 역표현이다.
• 쌍대 모듈러스 $\pi^{*}$는 $I(P';\chi',J',V';Q')$와 동형이다. 여기서 $P' = n_{w_G w_P} P^{\mathrm{op}} n_{w_G w_P}^{-1}$, $Q' = n_{w_G w_Q} Q^{\mathrm{op}} n_{w_G w_Q}^{-1}$이며, $(\chi',J',V')$는 $n_{w_G w_P}$를 통해 $(\chi^{-1},J,V^{*})$의 당김이다.
• 일반화된 스텐버그 모듈러스에 대한 $\pi^{\iota}$ 계산은 가장 기술적인 부분이며, 음의 대수의 세밀한 분석과 확장 함자 간의 호환성에 의존한다.
• 쌍대성 결과는 Weyl 군 원소들의 수반 작용을 통해 확립되며, 이는 $\mathrm{St}_Q^{P}(\sigma)^{*}$와 $\mathrm{St}_{Q'}^{P'}(n_{w_G w_P} \sigma^{*})$ 사이의 동형을 유도한다.
• 모듈러스의 동형 $I(P;\chi,J,V;Q)^{*} \simeq I(P';\chi',J',V';Q')$는 $n_{w_G w_P}$에 의한 쌍대 대수와 확장 함자 간의 호환성에 의해 성립한다.
• 결과들은 pro-$p$ Weyl 군 $W(1)$의 구조와 $W$가 $Z_\kappa$ 위에서 작용하는 방식과 일치하며, 이는 매개변수 변환들이 잘 정의되어 있고 모듈러스 구조를 유지함을 보장한다.