[논문 리뷰] Cocenters of $p$-adic groups, I: Newton decomposition

Xuhua He|arXiv (Cornell University)|2016. 10. 15.

Advanced Algebra and Geometry참고 문헌 12인용 수 3

한 줄 요약

이 논문은 $p$-진 재수군에 대해 뉴턴 분해를 도입하여, 헤이크 대수의 코센터를 뉴턴 스트라타로 분해하는 표준적인 분해를 제공한다. 각 뉴턴 성분에 대해 이와하리-마츠모토 유형의 생성자를 확립하고, 일반화된 하우의 추측을 일반 및 외부 변형 불변 분포에 대해 증명하며, 강성 있는 코센터에 대해 명시적인 구조를 제시한다.

ABSTRACT

In this paper, we introduce the Newton decomposition on a connected reductive $p$-adic group $G$. Based on it we give a nice decomposition of the cocenter of its Hecke algebra. Here we consider both the ordinary cocenter associated to the usual conjugation action on $G$ and the twisted cocenter arising from the theory of twisted endoscopy. We give Iwahori-Matsumoto type generators on the Newton components of the cocenter. Based on it, we prove a generalization of Howe's conjecture on the restriction of (both ordinary and twisted) invariant distributions. Finally we give an explicit description of the structure of the rigid cocenter.

연구 동기 및 목표

• 일반적으로 $\mathbb{Z}[p^{-1}]$ 위에서 정의된 $p$-진 재수군에 대해 헤이크 대수의 코센터의 구조를 이해하는 것.
• 왜곡된 엔도스코피를 통해 코센터와 표현 간의 이중성 관계를 외부 설정으로 확장하는 것.
• 코센터를 코어너션 작용과 컴actsupport를 모두 존중하는 뉴턴 스트라타로 분해하는 것.
• 헤이크 대수의 정수형을 통해 mod-$l$ 표현을 연구할 수 있는 프레임워크를 마련하는 것.
• 강성 있는 코센터와 그 뉴턴 성분을 통한 분해에 대해 명시적인 기술을 제공하는 것.

제안 방법

• 모든 $G(\nu)$가 열린 컴acts집합 $X_\nu$의 $G$-오빗인 분리합집합 $G = \coprod_{\nu} G(\nu)$로 $p$-진 군 $G$의 뉴턴 분해를 도입한다.
• 헤이크 대수 $H$와 그 코센터 $\bar{H}$를 정의하고, 뉴턴 분해를 통해 $H = \bigoplus_\nu H(\nu)$ 및 $\bar{H} = \bigoplus_\nu \bar{H}(\nu)$임을 보인다.
• 특히 교환군 $\mathcal{I}_n$에 대해, 각 뉴턴 성분 $\bar{H}(\nu)$의 원소를 이와하리-마츠모토 유형의 생성자로 묘사한다.
• 왜곡된 코센터를 분석하기 위해 $\theta$-왜곡된 코어너션 클래스와 $\theta$-불변 분포를 사용하며, 군의 강성 부분에 집중한다.
• 표준 쌍 $(\mathcal{P}, \tau)$를 통해 $\theta$-불변 분포의 공간에 대한 유한차원 모델을 구성하고, 매개변수 집합 $A$에서의 식을 통해 관계를 정의한다.
• 이중성 사상의 핵이 $[H_R(\mathcal{P}), H_R(\mathcal{P}\dot{\tau})]_{\theta,\omega}$와 집합 $A$에서 유래한 관계들에 의해 생성됨을 증명한다.

실험 결과

연구 질문

• RQ1 코어너션 작용과 컴actsupport를 모두 존중하는 방식으로 $p$-진 군의 헤이크 대수 코센터를 어떻게 분해할 수 있는가?
• RQ2 엔도스코피 전이로부터 유도된 왜곡된 코센터의 구조는 무엇이며, 불변 분포와의 관계는 어떠한가?
• RQ3 이와하리-마츠모토 유형의 생성자를 사용하여 코센터의 뉴턴 성분을 묘사할 수 있는가?
• RQ4 뉴턴 분할에 따라 강성 있는 코센터는 어떻게 분해되며, 그 이중 공간인 불변 분포 공간은 무엇인가?
• RQ5 $\theta$-안정된 부분집합에 지지된 $G$의 강성 부분에 대한 $\theta$-불변 분포 공간의 정의 관계는 무엇인가?

주요 결과

• 헤이크 대수의 코센터 $\bar{H}$는 뉴턴 점 $\nu$에 따라 인덱싱된 표준적인 분해 $\bar{H} = \bigoplus_\nu \bar{H}(\nu)$를 갖는다. 각 $\bar{H}(\nu)$는 뉴턴 스트라타 $G(\nu)$에 대응한다.
• 교환군 $\mathcal{I}_n$에 대해, 코센터 $\bar{H}(G, \mathcal{I}_n)$ 역시 뉴턴 분해 $\bar{H}(G, \mathcal{I}_n) = \bigoplus_\nu \bar{H}(G, \mathcal{I}_n; \nu)$를 갖는다. 다만, 스트라타는 $\mathcal{I}_n$-작용에 대해 안정적이지 않다.
• 군의 강성 부분에서의 $\theta$-불변 분포 공간은 $J(G)_{\text{rig}} = J(G)_{\text{rig}}^0 \oplus J(G)_{\text{rig}}^1$로 분해되며, $J(G)_{\text{rig}}^0$은 강성 코센터의 $\theta$-불변 부분과 이중적이다.
• 코센터 $\bar{H}_R^{\text{rig}}$에서 $J(G)_{\text{rig}}$로의 이중성 사상의 핵은 $[H_R(\mathcal{P}), H_R(\mathcal{P}\dot{\tau})]_{\theta,\omega} \cap H_R(\mathcal{P}\dot{\tau}, \mathcal{I}_n)$와 유한 집합 $A$에서 유래한 관계들에 의해 생성된다.
• $J(G)_{\text{rig}}^0$의 제약 사상의 이미지는 $\bigoplus_{(\mathcal{P},\tau)\in\text{StP}_0} H_R(\mathcal{P}\dot{\tau}, \mathcal{I}_n)$와 일치하며, 이는 $\bar{H}_R^{\text{rig}}$에 있는 $\bigoplus_{(\mathcal{P},\tau)\in\text{StP}_0} H_R(\mathcal{P}\dot{\tau}, \mathcal{I}_n)$의 이미지의 이중과 일치한다.
• 일반화된 하우의 추측이 성립한다: 군 $G$에서의 $\theta$-불변 분포 공간은 강성 코센터의 $\theta$-불변 부분과 이중적이다. 이 관계는 유한 집합 $A$에 의해 명시적으로 정의된다.