[논문 리뷰] Asymptotic Hecke algebras and involutions

G. Lusztig|arXiv (Cornell University)|2012. 04. 01.

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

한 줄 요약

이 논문은 카즈한-류스티그 기저와 특별한 치환을 통해 정의된 새로운 작용을 이용하여, 웨일 또는 아핀 웨일 군의 치환에 의해 생성되는 점 渐近 히브 기반 위의 모듈을 구성한다. 주요 기여는 [LV]에서 제안된 이 모듈을 히브 기반의 이상적 실현으로서, 단일 원소로 생성된 이상적을 통한 몫으로서 실현할 수 있다는 추측을 제기하는 것이다. 이는 표현 이론과 등변 벡터 다발 사이의 연결고리로, 코트비츠의 결과를 확장한다.

ABSTRACT

In a previous paper the author and D. Vogan defined and studied a Hecke algebra module structure on a vector space spanned by the involutions in a Weyl group. In this paper this study is continued by relating it to the asymptotic Hecke algebra.

연구 동기 및 목표

• 웨일 또는 아핀 웨일 군의 치환에 의해 생성되는 점 渐近 히브 기반 위의 모듈을 정의한다.
• 이 모듈이 유한 집합 위의 군 작용에 대한 등변 벡터 다발과 관련이 있음을 밝혀내며, 고전적 경우에서 코트비츠 결과의 개념적 설명을 제공한다.
• LV에서 제안한 모듈을 히브 기반의 이상적 실현으로서, 단일 원소로 생성된 이상적에 의해 몫으로서 실현할 수 있다는 추측을 제안한다.
• 카즈한-류스티그 기저와 셀 이론을 통해 점 渐近 히브 기반과 치환의 구조 사이의 연결고리를 확립한다.
• 히브 기반의 특정 원소들이 정수 계수의 군 기반 원소들의 선형 조합으로 특수화되는 것을 탐색하며, 군에서 그의 치환으로의 사영 맵을 제안한다.

제안 방법

• 카즈한-류스티그 기저 원소 $ c_w $ 를 통해 점 渐近 히브 기반을 정의하고, $ c_x c_y = \sum_z h_{x,y,z} c_z $ 로부터 유도된 $ h_{x,y,z} $ 를 구조 상수로 사용한다.
• 자유 $ \mathcal{A} $-모듈 $ M $ 을 정의하며, 기저는 $ (a_w)_{w \in \mathbb{I}_*} $ 이고, $ \mathbb{I}_* $ 는 $ * $-치환의 집합이다.
• $ T_s $ 의 작용에 대한 명시적 공식을 통해 $ \mathfrak{H} $-모듈의 구조를 정의하며, 이는 상대적 길이와 $ s^* $ 와의 교환 가능성에 따라 달라진다.
• 기저 $ (\tau_w)_{w \in \mathbb{I}_*} $ 를 가진 점 모듈 $ \mathcal{M} $ 을 구성하며, $ J $ (특별한 치환의 링) 의 작용은 $ c_x A_w = \sum_{w'} f_{x,w,w'} A_{w'} $ 전개에서 추출한 계수 $ \beta_{x,w,w'} $ 로 정의된다.
• $ f_{x,w,w'} $ 의 $ v $-차수 $ 2a(w') $ 에서의 주요 항을 사용하여, $ \beta_{x,w,w'} \in \mathbb{Z} $ 를 정의하며, 이는 유한성과 정수성 보장을 한다.
• 특수화 $ X_w|_{u^{-1}=0} = \sum_{x \in \pi^{-1}(w)} T_x $ 를 추측하며, 여기서 $ \pi: W \to \mathbb{I}_* $ 는 길이와 교환 규칙에 의해 정의된 인덕티브 사영 맵이다.

실험 결과

연구 질문

• RQ1 LV에서 정의한 치환 위의 $ \mathfrak{H} $-모듈의 작용이 점 渐近 히브 기반의 프레임워크 내에서 어떻게 실현될 수 있는가?
• RQ2 점 渐近 히브 기반과 웨일 군의 $ * $-치환에 의해 생성되는 모듈 사이의 정확한 관계는 무엇인가?
• RQ3 치환에 의해 생성되는 점 渐近 히브 기반 위의 모듈이 단일 원소로 생성된 이상적에 의해 몫으로서 실현될 수 있는가?
• RQ4 일부 히브 기반 원소들이 $ u^{-1} = 0 $ 에서 특수화되었을 때, 잘 정의된 사영 맵 $ \pi: W \to \mathbb{I}_* $ 에 의해 인덱싱된 정수 계수의 군 기반 원소들의 선형 조합을 얻을 수 있는가?
• RQ5 각 치환 $ w \in \mathbb{I}_* $ 의 전상위 $ \pi^{-1}(w) $ 를 정의하는 통일된 인덕티브 규칙이 존재하는가? 이는 $ x \in \pi^{-1}(w) $ 에 대해 $ l(w) = l(x) + l(x^{-1}w) $ 를 만족한다.

주요 결과

• 점 渐近 히브 기반 위의 $ * $-치환에 의해 생성되는 모듈 $ M $ 에 대한 작용은 잘 정의되어 있으며, $ \underline{\mathfrak{H}} $-모듈의 구조로 확장된다.
• J-모듈 $ \mathcal{M} $ 에서의 구조 상수 $ \beta_{x,w,w'} $ 는 정수이며, $ \beta_{x,w,w'} \neq 0 $ 는 오직 $ x \sim w \sim w' $ 일 때에만 성립하여, 이중 셀 이론과의 호환성을 보장한다.
• $ f_{x,w,w'} $ 의 $ v $-차수 $ 2a(w') $ 에서의 주요 항은 $ \beta_{x,w,w'} v^{2a(w')} $ 이며, $ \beta_{x,w,w'} \in \mathbb{Z} $ 이므로 정확한 점근 전개를 제공한다.
• 모든 무한 이등변 삼각형 군에서 $ *=1 $ 이면, 원소 $ X_w $ 는 형식적으로 $ \mathbb{Z}[u^{-1}] $-선형 조합이며, $ u^{-1} = 0 $ 에서의 특수화는 $ \sum_{x \in \pi^{-1}(w)} T_x $ 를 준다. 여기서 $ \pi $ 는 인덕티브로 정의된다.
• 모든 시험된 경우(형식 $ A_1, A_2, A_3 $ 및 무한 이등변 삼각형) 에서 사영 맵 $ \pi $ 는 $ x \in \pi^{-1}(w) $ 에 대해 $ l(w) = l(x) + l(x^{-1}w) $ 를 만족하며, 일반적인 구조적 성질을 시사한다.
• 추측적 사영 맵 $ \pi $ 는 인덕티브로 정의된다: $ x = s_i x' $ 이고 $ l(x) > l(x') $ 이면, $ s_i \pi(x') = \pi(x') s_i > \pi(x') $ 이면 $ \pi(x) = s_i \pi(x') $, $ s_i \pi(x') \neq \pi(x') s_i > \pi(x') $ 이면 $ \pi(x) = s_i \pi(x') s_i $, $ \pi(x') s_i < \pi(x') $ 이면 $ \pi(x) = \pi(x') $ 이다.