[논문 리뷰] Hecke algebras with unequal parameters

G. Lusztig|arXiv (Cornell University)|2002. 08. 21.

Advanced Algebra and Geometry인용 수 42

한 줄 요약

이 논문은 히브 알제브라에서 동일한 매개변수의 경우에 대한 카즈단-루스트리그 기저와 세포의 이론을 비동일한 매개변수의 경우로 확장한다. 기본 결과들을 동일한 매개변수의 경우로부터 일반화하며, J-환과 텐서 범주를 사용하는 새로운 프레임워크를 도입하고, 분할, 준분할, 무한 이면각 군의 특수한 경우에서의 추측을 증명하며, 교차 호몰로지에 의한 구조 상수의 기하적 해석을 제공함으로써, 펄스프 시브 셰이브를 사용하지 않고 애질레르 와일 군에서 대수적 군을 새롭게 구성한다.

ABSTRACT

These are notes for the Aisenstadt lectures given in may/june 2002 at CRM, Montreal, enlarged and updated in 2014 by taking into account the recent results of Elias and Williamson on Soergel bimodules. The main object is the study of Iwahori-Hecke algebras arising from reductive groups over finite or p-adic fields. We try to extend various results known in the equal parameter case to the case of not necessarily equal parameters.

연구 동기 및 목표

• 히브 알제브라에서 동일한 매개변수에서 비동일한 매개변수로의 카즈단-루스트리그 기저와 세포 이론을 일반화하는 것.
• 가중 카오스터 군 설정에서 J-환과 텐서 범주를 위한 프레임워크를 수립하는 것.
• 퍼스프 시브 셰이브를 사용하지 않고 애질레르 와일 군에서 단순 대수적 군을 새롭게 구성하는 것.
• 비동일한 매개변수의 경우에 대해 세포, a-함수, 구조 상수에 대한 추측을 제시하고 그에 대한 증거를 제공하는 것.
• 가중 카오스터 군에서의 이중 세포가 길이 함수를 갖는 더 큰 비가중 군에서의 이중 세포와 어떻게 관련되는지를 추측(25.3)을 통해 연결하는 것.

제안 방법

• 가중 카오스터 군에 대해 가중 함수 L:W→Z를 갖는 Iwahori-Hecke 알제브라를 생성자와 관계를 통해 정의한다.
• 바 연산자를 적용하고, 이중성 조건을 통해 새로운 기저 (cw)를 구성함으로써 동일한 매개변수의 경우를 일반화한다.
• 비단위 원소를 허용하고 단위 원소로의 임bedding을 허용하는 그로텐디크 군의 일반화로서 J-환을 도입한다.
• J-환의 텐서 범주 버전을 개발하여 교차 호몰로지를 사용하지 않고 애질레르 와일 군에서 대수적 군을 구성한다.
• 준분할 경우에서는 Soergel 모듈의 이론을, 무한 이면각 경우에서는 직접 계산을 통해 추측을 검증한다.
• 구조 상수 py,w에 대한 기하적 해석을 Fq 위의 대수적 다양체의 교차 호몰로지에 의해 제안하며, [KL2]를 일반화한다.

실험 결과

연구 질문

• RQ1 카즈단-루스트리그 기저와 세포의 이론은 어떻게 히브 알제브라에서 비동일한 매개변수로 확장될 수 있는가?
• RQ2 a-함수와 세포는 비동일한 매개변수 설정에서 어떤 역할을 하는가? 그리고 표현 이론과 어떻게 관련되는가?
• RQ3 퍼스프 시브 셰이브를 사용하지 않고 애질레르 와일 군에서 단순 대수적 군을 구성할 수 있는가?
• RQ4 가중 카오스터 군에서의 이중 세포는 길이 함수를 갖는 더 큰 비가중 군에서의 이중 세포와 어떻게 관련되는가?
• RQ5 비동일한 매개변수의 경우에서의 구조 상수 py,w의 기하학적 의미는 무엇인가?

주요 결과

• 비단위 설정으로의 J-환 구성이 일반화되었으며, 이를 단위 환에 임베딩할 수 있는 방법이 제시되어 대수적 연산이 가능해졌다.
• J-환의 텐서 범주 버전을 사용하여 펄스프 시브 셰이브를 피하기 위해 애질레르 와일 군에서 단순 대수적 군을 새롭게 구성하였다.
• 세포와 a-함수에 대한 추측은 분할 경우(§15), 준분할 경우(§16)에서 Soergel 모듈을 사용하여, 무한 이면각 경우(§17)에서는 직접 계산을 통해 검증되었다.
• 새로운 기저의 구조 상수 py,w는 Fq 위의 대수적 다양체의 교차 호몰로지의 베텨 수로 추측적으로 해석되며, [KL2]를 일반화한다.
• 두 개의 포물형 부분군의 경우, 이중 코스에 의해 새로운 기저의 행동이 분석되었으며, §9에서 새로운 결과를 도출하였다.
• 가중 함수 L이 카오스터 군 W에 제한될 때, W, S 및 길이 함수에 대해 유효한 가중 함수임이 증명되었으며, 특정 조건 하에서 ˜l(wI₀w) = ˜l(wI₀) + ˜l(w)를 만족함을 보여, 핵심 기술적 보조정리(A.9)를 증명하였다.