[논문 리뷰] Geometric representations of the formal affine Hecke algebra

Gufang Zhao, Changlong Zhong|arXiv (Cornell University)|2014. 06. 05.

Advanced Algebra and Geometry참고 문헌 20인용 수 5

한 줄 요약

이 논문은 방향성 있는 코homology 이론을 사용하여 형식적 아핀 히브르 대수의 기하적 실현을 수립하며, 스텐버그 다양체 위에서의 컨볼루션을 통해 스프링거 피브어의 코homology에 작용함을 보여준다. 주요 결과는 루스티그의 $K$-이론 작용을 임의의 방향성 있는 코homology로 일반화하여, 잔여 구조를 통한 통합을 통해 고전적이고 일반화된 코homological 실현을 통합한다.

ABSTRACT

For any formal group law, there is a formal affine Hecke algebra defined by Hoffnung, Malagón-López, Savage, and Zainoulline. Coming from this formal group law, there is also an oriented cohomology theory. We identify the formal affine Hecke algebra with a convolution algebra coming from the oriented cohomology theory applied to the Steinberg variety. As a consequence, this algebra acts on the corresponding cohomology of the Springer fibers. This generalizes the action of classical affine Hecke algebra on the $K$-theory of the Springer fibers constructed by Lusztig. We also give a residue interpretation of the formal affine Hecke algebra, which coincides with the residue construction of Ginzburg, Kapranov, and Vasserot when the formal group law comes from a 1-dimensional algebraic group.

연구 동기 및 목표

• 아핀 히브르 대수의 루스티그의 $K$-이론 작용을 임의의 방향성 있는 코homology 이론으로 일반화하기.
• 스텐버그 다양체의 $G \times \mathbb{G}_m$-작용에 대한 등급을 갖는 방향성 있는 코homology 이론에서 형식적 아핀 히브르 대수를 컨볼루션 대수로서 구성하기.
• 형식적 아핀 히브르 대수의 잔여 이론적 해석을 제공하여 진츠부르크–카프란프–바서로트의 구성으로 일반화하기.
• 형식적 아핀 히브르 대수가 스프링거 피브어의 코homology에 대해 기하학적 작용을 수립하며, 와일 군의 양의 부분군의 불변량에 대한 몫을 통과함으로써 성립시키기.

제안 방법

• 형식적 아핀 히브르 대수는 $G \times \mathbb{G}_m$-작용에 대한 스텐버그 다양체 $Z = \widetilde{\mathcal{N}} \times_{\mathcal{N}} \widetilde{\mathcal{N}}$ 의 등급을 갖는 방향성 있는 코homology로 실현된다.
• 등급을 갖는 방향성 있는 코homology 이론의 충족 조건과 호환되는 푸시포워드와 푸시아웃 연산을 이용하여 컨볼루션 곱을 정의함으로써 대수의 구조를 설정한다.
• 스텐버그 다양체 내의 대응관계를 따라 푸시-풀 연산을 통해 $A(\mathcal{B}_x)$, 즉 스프링거 피브어의 코homology에 대한 대수의 작용을 구성한다.
• 구조 정리는 $\mathbf{H}_F$ 를 $ (S/S^W_+) \rtimes R[W] $ 의 반직접곱으로 식별하며, 여기서 $S$ 는 형식적 군 대수이고 $R$ 은 계수 환이다.
• 잔여 해석을 제공하여, 1차원 형식적 군 법칙에 대한 진츠부르크–카프란프–바서로트의 구성으로 일반화한다.
• 작용은 $\mathbf{H}_F / (S^W_+)$ 를 통과하며, 중심자 $G_x$ 의 성분군 $C_x$ 와 가환한다.

실험 결과

연구 질문

• RQ1 형식적 아핀 히브르 대수는 임의의 방향성 있는 코homology 이론에서 컨볼루션 대수로서 기하학적으로 실현될 수 있는가?
• RQ2 형식적 아핀 히브르 대수는 스프링거 피브어의 코homology에 대해 루스티그의 $K$-이론 작용을 일반화하는 방식으로 작용하는가?
• RQ3 진츠부르크–카프란프–바서로트의 잔여 구성은 일반적인 형식적 군 법칙으로 어떻게 일반화되는가?
• RQ4 형식적 아핀 히브르 대수의 표준 모듈러의 구조는 코homological 데이터로 어떻게 기술되는가?
• RQ5 형식적 아핀 히브르 대수의 기약 표현들은 양의 특성에서의 와일 군 표현들과 어떻게 관련되는가?

주요 결과

• 형식적 아핀 히브르 대수 $\mathbf{H}_F$ 는 스텐버그 다양체 $Z$ 에 대해 $A_{G \times \mathbb{G}_m}(Z)$ 의 컨볼루션 대수와 동형이다.
• 대수 $\mathbf{H}_F$ 는 스프링거 피브어 $\mathcal{B}_x$ 의 방향성 있는 코homology $A(\mathcal{B}_x)$ 에 작용하며, $\mathbf{H}_F / (S^W_+)$ 를 통과한다.
• 이 작용은 성분군 $C_x$ 의 작용과 가환하며, 루스티그의 $K$-이론 결과를 일반화한다.
• 계수 체 $k_\chi$ 가 특성 0을 가질 경우, $\mathbf{H}_F$ 의 기약 표현들은 델리뉴–랑글랑–루스티그의 특성 공식으로 분류된다.
• $A(\mathcal{B}_x) \otimes_R k_\chi$ 의 동형성 성분 $A_{x,\chi,\nu}$ 는 유일한 기약 몫 $L_{x,\chi,\nu}$ 를 가지며, 이는 기약 $\mathbf{H}_F$-모듈러이다.
• 양의 특성에서, 기약 표현들은 $k_\chi[W]$ 의 표현들과 대응되지만, $A(\mathcal{B}_x)$ 내에서의 조르당–홀더 중복도는 알려져 있지 않다.