[논문 리뷰] Hecke algebras and $p$-adic groups

Xuhua He|arXiv (Cornell University)|2015. 11. 04.

Advanced Algebra and Geometry참고 문헌 43인용 수 8

한 줄 요약

이 논문은 호모지어스 군의 공액류, 길이 함수, 호모지어스 대수의 중심을 분석하여 아핀 웨일 군과 p진 군 사이의 깊은 연결 고리를 설정한다. '직선' 공액류와 ≈-동치 관계의 개념을 도입하여 최소 길이 원소를 매개변수화하고, 0-헤케 대수의 강한 중심이 이러한 클래스로 색인된 Z-기저를 이룬다는 것을 증명한다. 주요 기여는 중심과 표현 간의 정교한 이중성으로, 추적 사상이 지지 집합을 감지하지만 더 세밀한 공액류 자료는 감지하지 못한다는 점을 드러내며, 이는 난이도 핵심 추측에 대한 증거를 제공한다.

ABSTRACT

This survey article, is written as an extended note and supplement of my lectures in the current developments in mathematics conference in 2015. We discuss some recent developments on the conjugacy classes of affine Weyl groups and $p$-adic groups, and some applications to Shimura varieties and to representations of affine Hecke algebras.

연구 동기 및 목표

• 아핀 웨일 군의 공액류의 구조를 이해하고, p진 군의 표현을 분류하는 데서 그 역할을 밝히는 것.
• 약한 길이 감소 수열, ∼- 및 ≈-동치, 직선 공액류를 사용한 조합적 프레임워크를 개발하는 것.
• 이 프레임워크를 G( ˘F)의 기하학에 적용하여 브라우트 분해, σ-공액류, 닫힘 관계를 다루는 것.
• 특히 0-헤케 극한에서의 아핀 헤케 대수의 중심과 표현 간의 이중성에 대해 연구하는 것.
• 추적 사상과 강한 중심 내의 지지 집합의 구조를 분석하여 난이도 핵심 추측에 대한 증거를 제공하는 것.

제안 방법

• 이와하라-웨일 군을 사용하여 G( ˘F)의 구조를 모델링하고, 열화 및 변형을 통해 아핀 웨일 군과 연결한다.
• 최소 길이 원소를 분류하기 위해 '직선' 공액류의 개념을 도입하고, ≈-동치 관계를 정의한다.
• 코트비츠의 σ-공액류 분류와 마주르 부등식을 적용하여 공집합 여부 패tern과 차원 공식을 연구한다.
• 표준 쌍을 사용하여 고정된 지지 집합을 가진 ≈-동치 클래스 위의 직합으로 0-헤케 대수의 강한 중심을 구성한다.
• 중심에서 표현 환으로의 추적 사상을 사용하여 지지 집합을 감지하고 이중성의 실패를 분석한다.
• 비그나라의 베르누이-루스티그 기저와 초우성 모듈 기준을 활용하여 고장이 긴 연산자의 소멸을 통해 표현을 특성화한다.

실험 결과

연구 질문

• RQ1 아핀 웨일 군의 공액류는 직선 원소와 ≈-동치와 같은 조합적 불변량을 사용하여 어떻게 매개변수화될 수 있는가?
• RQ2 G( ˘F)에서 브라우트 세포와 σ-공액류의 교차의 기하학적 의미는 무엇인가?
• RQ3 0-헤케 대수의 중심은 표현 환과 어떻게 관련되어 있으며, 이중성은 어떤 방식으로 실패하는가?
• RQ4 지지 집합과 타원형 공액류는 강한 중심의 원소를 어떻게 구별하는가?
• RQ5 추적 사상은 표현의 지지 집합을 감지할 수 있지만 더 세밀한 공액류 자료는 忽略할 수 있으며, 이는 난이도 핵심 추측에 대해 어떤 함의를 갖는가?

주요 결과

• 집합 {TΣ; Σ ∈ Wmin/≈} 는 0-헤케 대수의 중심의 Z-기저를 이룬다. 여기서 Σ 는 최소 길이 원소의 ≈-동치 클래스를 뜻한다.
• 유한 0-헤케 대수의 경우, 추적 사상 ¯H0 → R(H0) 는 전사이며, 근이 TΣ − TΣ′ 로서 동일한 지지 집합을 가진 클래스들에 의해 생성된다.
• 아핀 0-헤케 대수의 경우, 추적 사상 Tr: ˜H0_rig → R(˜H0)*_rig 는 전사이지만 단사적이지 않으며, 지지 집합은 감지하지만 타원형 공액류는 감지하지 못한다.
• 표현 M 이 초우성임과 동시에 πK,χ 에 대한 합에 속해 있을 조건은 WK 와 W˜S−K 가 유한할 때 성립하며, 이는 초우성 모듈의 새로운 특성화를 제공한다.
• 추적 사상이 ˜H0_nrig 에서 0이 되는 것은 표현이 강한 부분 R(˜H0)_rig 에 속해 있을 때에만 성립하며, 이는 초우성의 핵심 기준을 확인한다.
• 난이도 핵심 추측은 강한 중심에서의 추적 사상이 지지 집합을 감지하지만 더 세밀한 공액류 자료는 감지하지 못한다는 점에서 지지되며, 이는 이중성의 실패가 제어 가능하다는 것을 보여준다.