[논문 리뷰] Hermitian forms for affine Hecke algebras

Dan Barbasch, Dan Ciubotaru|arXiv (Cornell University)|2013. 12. 11.

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

한 줄 요약

이 논문은 $\bullet$-불변 헤르미트 형식을 연구함으로써 아핀 히브스 대수에 대한 유니타리성 알고리즘을 개발한다. 모든 중심 특성이 실수인 기약 모듈이 비퇴화된 $\bullet$-불변 헤르미트 형식을 갖는다는 것을 증명하고, 추측적으로 고전적 KL 다항식과 $P^h_{\bullet} = P(-q)$를 통해 관련된 헤르미트 카즈단-루스티그 다항식을 도입한다. 이 작업은 애덤스-류웬-트라파-보건의 $(\frak{g},K)$-모듈 프레임워크를 히브스 대수의 유사체를 통해 $p$-진 설정으로 확장한다.

ABSTRACT

We study star operations for Iwahori-Hecke algebras and invariant hermitian forms for finite dimensional modules over (graded) affine Hecke algebras with a view towards a unitarity algorithm.

연구 동기 및 목표

• 아핀 히브스 대수에 대해 실수 재진성의 $(\frak{g},K)$-모듈 설정에서의 것과 유사한 유니타리성 알고리즘을 개발하는 것.
• 유한차원 모듈에서 $\bullet$-불변 헤르미트 형식을 분류하고, 특히 최저 $W$-형식과 ${\bb A}$-중량과의 관계에서 그 부호를 결정하는 것.
• 아담스-류웬-트라파-보건의 알고리즘에 영감을 받아 제안된 제안자 필터링을 통해 헤르미트 카즈단-루스티그 다항식 $P^h_{\bullet}$를 정의하고 연구하는 것.
• 하위정규 궤도에서의 $G_2$의 경우에 대해 헤르미트 KL 다항식과 고전적 KL 다항식 사이의 추측적 관계를 검증하는 것.

제안 방법

• 아벨 부분대수 ${\bb A} = S(V_{\bb C})$를 보존하는 반자기동형사상인 별 연산 $\bullet$을 사용하여, 유한차원 ${\bb H}$-모듈에서 $\bullet$-불변 헤르미트 형식을 정의한다.
• 랭글랜즈 분류와 단순 및 표준 모듈의 기하학적 분류를 적용하여, 최저 $W$-형식의 동형성 성분에서 $\bullet$-형식의 부호를 분석한다.
• 표준 모듈의 제안자 필터링을 통해 제안된 제안자 필터링을 통해 헤르미트 카즈단-루스티그 다항식 $P^h_{\bullet}$를 정의하며, 정규화된 장거리 상호연결 연산자를 사용하여 부호를 계산한다.
• 결과 4.4.2의 $A$-특성의 선형독립성과 정점 ${\bb A}$-매개변수에 대한 명시적 공식(보조정리 3.9.3)을 활용하여 추측을 뒷받침한다.
• 정규 및 하위정규 중심 특성에 대해 $B_2$와 $G_2$에서 명시적 계산을 수행하며, 제안자 필터링과 $W$-형식에서의 상호연결 연산자의 고유값을 분석한다.
• 하위정규 케이스에서의 $G_2$에 대해 모든 $P^h$ 다항식을 계산하고 $P(-q)$와 일치시킴으로써 추측 $P^h_{\bullet} = P(-q)$를 검증한다.

실험 결과

연구 질문

• RQ1 모든 중심 특성이 실수인 기약 아핀 히브스 대수 모듈이 비퇴화된 $\bullet$-불변 헤르미트 형식을 갖는가?
• RQ2 기하학적 유형 대수에서 최저 $W$-형식의 각 동형성 성분에서 $\bullet$-불변 헤르미트 형식을 자연스럽게 정규화하여 양의 정부호로 만들 수 있는가?
• RQ3 헤르미트 카즈단-루스티그 다항식 $P^h_{\bullet}$와 고전적 카즈단-루스티그 다항식 $P$ 사이의 관계는 무엇인가?
• RQ4 특히 다수의 $W$-형식이 존재할 경우, 제안자 필터링 하에서 $\bullet$-불변 형식의 부호는 어떻게 행동하는가?
• RQ5 추측 $P^h_{\bullet} = P(-q)$는 모든 아핀 히브스 대수에서 참인가, 특히 $G_2$의 하위정규 궤도 케이스에서 참인가?

주요 결과

• 모든 중심 특성이 실수인 ${\bb H}$-기약 모듈이 비퇴화된 $\bullet$-불변 헤르미트 형식을 갖는다. 이는 추론 5.1.3에서 보여진다.
• 기하학적 유형 대수에서, $\bullet$-불변 헤르미트 형식은 최저 $W$-형식의 각 동형성 성분에서 자연스럽게 정규화되어 양의 정부호가 될 수 있다. 이는 추론 5.3.3에 명시되어 있다.
• 정규 중심 특성의 경우, 헤르미트 KL 다항식은 $P^h_{(A_1^s), (G_2(a_1),{\frak L}_{\triv})}(q) = P^h_{(A_1^s), (G_2(a_1),{\frak L}_{\refl})}(q) = 1$을 만족하며, 이는 $P(-q)$와 일치한다.
• 하위정규 궤도에서의 $G_2$의 경우, 헤르미트 KL 다항식은 $P^h_{(0),(A_1^l)} = 1$, $P^h_{(0),(A_1^s)} = 1 - q$, $P^h_{(0),(G_2(a_1),{\frak L}_{\triv})} = 1$, $P^h_{(0),(G_2(a_1),{\frak L}_{\refl})} = -q$이며, 이는 $P(-q)$와 일치한다. 따라서 추측 6.3.2가 검증된다.
• $G_2$의 최소 주요 시리즈에서 $W$-형식 $2_2$는 제안자 필터링의 수준 1과 수준 3으로 나뉘며, 각각 수준 1과 수준 3에 $L(A_1^s)$의 한 개가 존재한다. 이는 상호연결 연산자의 고유값을 통해 결정된다.