[논문 리뷰] $P$-alcoves, parabolic subalgebras and cocenters of affine Hecke algebras

Xuhua He, Sian Nie|arXiv (Cornell University)|2013. 10. 15.

Advanced Algebra and Geometry참고 문헌 11인용 수 6

한 줄 요약

이 논문은 $P$-알코브 원소를 사용하여 애파인 히케 대수의 코센터에 대한 버누이니 프레젠테이션을 수립한다. 이는 $w$가 $P$-알코브 원소일 때 $T_w$의 코센터에서의 상이 파라보릭 부분대수 $\mathcal{H}_J$에 속한다는 것을 증명한다. 또한 히지-뉴턴 분해와 유사한, $\mathcal{H}$와 그 파라보릭 부분대수 간의 클래스 다항식 비교 정리를 증명하고, 이를 바탕으로 애파인 델리니-루스지티그 다양체의 공집성 패턴에 대한 새로운 대수적 증명을 제시한다.

ABSTRACT

This is a continuation of the sequence of papers \cite{HN2}, \cite{H99} in the study of the cocenters and class polynomials of affine Hecke algebras $\ch$ and their relation to affine Deligne-Lusztig varieties. Let $w$ be a $P$-alcove element, as introduced in \cite{GHKR} and \cite{GHN}. In this paper, we study the image of $T_w$ in the cocenter of $\ch$. In the process, we obtain a Bernstein presentation of the cocenter of $\ch$. We also obtain a comparison theorem among the class polynomials of $\ch$ and of its parabolic subalgebras, which is analogous to the Hodge-Newton decomposition theorem for affine Deligne-Lusztig varieties. As a consequence, we present a new proof of \cite{GHKR} and \cite{GHN} on the emptiness pattern of affine Deligne-Lusztig varieties.

연구 동기 및 목표

• 애파인 히케 대수의 코센터에 대한 $P$-알코브 원소를 사용한 버누이니 프레젠테이션 수립.
• 전체 애파인 히케 대수 $\mathcal{H}$의 클래스 다항식과 그 파라보릭 부분대수 $\mathcal{H}_J$의 클래스 다항식 간의 관계 규명.
• 이전에 기하적 방법을 통해 확립된 애파인 델리니-루스지티그 다양체의 공집성 패턴에 대한 대수적 증명 제공.
• $P$-알코브 원소가 $\mathcal{H}$에서의 $T_w$의 교환자 모듈로 상의 이미지를 어떻게 제어하는지 명확히 하기.

제안 방법

• Iwahori-Matsumoto 프레젠테이션을 사용하여 $\mathcal{H}$를 정의하고, 코센터 $\bar{\mathcal{H}} = \mathcal{H}/[\mathcal{H},\mathcal{H}]$를 정의한다.
• $P$-알코브 원소 $w$에 대해 $T_w$의 $\bar{\mathcal{H}}$에서의 상을 특성화하여, $T_w \in \mathcal{H}_J + [\mathcal{H},\mathcal{H}]$임을 보인다.
• $\mathcal{H}$의 클래스 다항식 $f_{\tilde{w},\mathcal{O}}$와 $\mathcal{H}_J$의 클래스 다항식 $f^{J}_{z\tilde{w}z^{-1},\mathcal{O}'}$ 간의 비교를 수립하여, $f_{\tilde{w},\mathcal{O}} = \sum_{\mathcal{O}' \subset \mathcal{O}} f^{J}_{z\tilde{w}z^{-1},\mathcal{O}'}$임을 보인다.
• 이 비교 정리를 애파인 델리니-루스지티그 다양체의 차원 공식에 적용하여, 클래스 다항식과 뉴턴 및 코트비츠 불변량 간의 연결을 맺는다.
• 길이에 대한 귀납법과 $\tilde{W}_J$-동치류의 성질을 이용하여 다항식 비교 정리의 증명을 완성한다.

실험 결과

연구 질문

• RQ1 파라보릭 부분대수와 $P$-알코브 원소를 사용하여 애파인 히케 대수의 코센터를 어떻게 프레젠테이션할 수 있는가?
• RQ2 전체 $\mathcal{H}$의 클래스 다항식과 그 파라보릭 부분대수 $\mathcal{H}_J$의 클래스 다항식 간의 정확한 관계는 무엇인가?
• RQ3 코센터의 구조와 클래스 다항식을 이용하여, 이전에 기하적 방법으로 증명된 애파인 델리니-루스지티그 다양체의 공집성 패턴을 대수적으로 재증명할 수 있는가?
• RQ4 $P$-알코브 원소가 코센터 모odulo 파라보릭 부분대수에서 $T_w$의 이미지를 얼마나 잘 제어하는가?

주요 결과

• $w$가 유형 $J$의 $P$-알코브 원소일 때, 코센터 $\bar{\mathcal{H}}$에서 $T_w$의 상이 $\mathcal{H}_J + [\mathcal{H},\mathcal{H}]$에 속함을 보여, $\bar{\mathcal{H}}$에 대한 버누이니 프레젠테이션을 수립한다.
• 모든 $\tilde{W}$의 동치류 $\mathcal{O}$에 대해 최소 길이 대표원소 $w_{\mathcal{O}}$가 $\tilde{W}_J$에서 타원형일 경우, $\bar{\mathcal{H}}$에서의 상 $T_{w_{\mathcal{O}}}$는 어떤 $y \in \mathcal{O} \cap \tilde{W}_J$가 최소 길이의 $\tilde{W}_J$-동치류에 속할 때, $T^{J}_y$ 모듈로 $[\mathcal{H},\mathcal{H}]$와 같다.
• $\tilde{w}$가 $\mathcal{H}$에 속해 있을 때 클래스 다항식 $f_{\tilde{w},\mathcal{O}}$는 $\tilde{W}_J$-동치류 $\mathcal{O}' \subset \mathcal{O}$ 전부에 대해 $f^{J}_{z\tilde{w}z^{-1},\mathcal{O}'}$의 합과 같음을 보여, 비교 정리를 수립한다.
• 애파인 델리니-루스지티그 다양체 $X_{\tilde{w}}(b)$의 차원 공식은 클래스 다항식의 차수와 뉴턴 및 코트비츠 불변량으로 표현된다.
• $X_{\tilde{w}}(b)$의 공집성 패턴은 조건 $\kappa_J(z\tilde{w}\delta z^{-1}) = \kappa_J(b)$에 의해 결정되며, 이는 클래스 다항식의 비교를 통해 대수적으로 증명된다.
• 이 결과는 이전에 모이-프라사드 필터링을 포함한 기하적 방법으로 증명된 바 있었던 애파인 델리니-루스지티그 다양체의 공집성 정리에 대한 새로운 대수적 증명을 제공한다.