[논문 리뷰] The stable trace formula for Shimura varieties of abelian type

Mark Kisin, Sug Woo Shin외 1명|arXiv (Cornell University)|2021. 10. 11.

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

한 줄 요약

이 논문은 호모토피형 Shimura 다양체에 대해 안정적 트레이스 공식을 수립하며, 컴actsupport된 코호몰로지 위에서의 프로베누스–후크 추적을 내부 군의 안정적 아르투어–셀버스트 트레이스 공식의 타원형 부분으로 표현함으로써 이를 달성한다. 이 결과는 초특수 수준을 갖는 소수에서 롱랜즈와 코트비츠의 추측을 확인하며, 내부 이전을 통한 자동형 표현에 의한 코호몰로지의 스펙트럼 분해를 미약한 가정 하에 제공한다.

ABSTRACT

We express the Frobenius-Hecke traces on the compactly supported cohomology of a Shimura variety of abelian type in terms of elliptic parts of stable Arthur-Selberg trace formulas for the endoscopic groups. This confirms predictions of Langlands and Kottwitz at primes where the level is hyperspecial.

연구 동기 및 목표

• 호모토피형 Shimura 다양체에 대해 롱랜즈–라포포르트–τ 추측을 검증하기 위해.
• Shimura 다양체의 컴팩트 지지 코호몰로지와 내부 군의 타원형 안정 분포 사이를 연결하는 안정적 트레이스 공식을 수립하기 위해.
• 정수 p-진 호지 이론과 기어 이론적 점 수세기 방법을 사용하여 Hodge형에서 abelian형 Shimura 다양체로 트레이스 공식 프레임워크를 확장하기 위해.
• 초특수 수준과 큰 m 조건 하에서, 내부 이전을 통한 자동형 표현에 의한 코호몰로지의 조건 없는 스펙트럼 분해를 제공하기 위해.

제안 방법

• 유한체 위의 Shimura 다양체의 점을 매개화하기 위해 갈루아 기어와 코트비츠 매개변수를 사용한 점 수세기 공식을 개발한다.
• 정수 p-진 호지 이론을 적용하여 크리스탈린 표현과 G-구조를 Shimura 다양체의 코호몰로지와 연결한다.
• z-확장과 중심 문자 데이터를 사용하여 내부 군 위의 안정 분포를 정의하고, 코트비츠의 원래 트레이스 공식 프레임워크를 비단순 연결된 도출군으로 일반화한다.
• 기하 측면과 기어 측면의 특수 점 사이의 전단사 사상 수립을 통해 코호몰로지 불변량을 비교할 수 있도록 한다.
• 랑글랜즈–셸스타드–코트비츠 이전을 적용하여 G 위의 궤도 적분을 내부 군 H1 위의 궤도 적분과 연결한다.
• 국소적 이전과 스펙트럼 항등식으로 감소시켜 트레이스 공식의 안정화를 증명하고, 최종적으로 컴팩트 지지 코호몰로지에 대한 안정적 트레이스 공식 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 어떻게 호모토피형 Shimura 다양체의 컴팩트 지지 코호몰로지 위에서의 프로베누스–후크 추적을 내부 이전을 통해 자동형 L-함수로 표현할 수 있는가?
• RQ2 랑글랜즈–라포포르트–τ 추측은 어느 정도까지 호모토피형 Shimura 다양체에서 성립하며, 기어 이론적 및 크리스탈린 방법을 사용하여 어떻게 증명할 수 있는가?
• RQ3 도출군이 단순 연결이 아닐 경우, Shimura 다양체의 코호몰로지와 그 내부 군에 대한 안정적 트레이스 공식 사이의 정확한 관계는 무엇인가?
• RQ4 초특수 수준 구조 하에서, 내부 군에 대한 안정적 트레이스 공식의 타원형 부분이 Shimura 다양체의 기하적 추적과 일치하는가?
• RQ5 언제 안정 분포가 내부 측면과 스펙트럼 측면이 일치하는가? 그리고 이는 자동형 표현의 내부 분류와 어떻게 관련이 있는가?

주요 결과

• 논문은, p에서 초특수 수준을 갖는 호모토피형 Shimura 데이터 (G, X)에 대해, 컴팩트 지지 코호몰로지 위에서의 프로베누스–후크 추적 T(m, f)가, 내부 데이터 e에 대한 타원형 내부 군 H1의 ι(e)와 H1 위의 타원형 안정 분포 ST H1,χH1(f H1)의 합과 일치함을 증명한다.
• p에서의 수준이 초특수일 경우, 이 결과는 모든 충분히 큰 m에 대해 조건 없이 성립한다.
• 안정 분포 ST H1,χH1는 z-확장과 고정된 중심 문자를 통해 정의되며, 코트비츠의 원래 구성 방식을 비단순 연결된 도출군으로 일반화한다.
• 이 증명은 갈루아 기어와 적합한 사상으로 구성된 새로운 점 수세기 공식에 의존하며, 이는 산술 기하학과 자동형 형식을 연결한다.
• 저자들은 기하 측면의 특수 점과 기어 측면의 적합한 사상 사이의 전단사 사상을 수립하여, 코호몰로지 불변량의 비교를 가능하게 한다.
• 안정화 과정은 국소적 궤도 적분의 이전과 스펙트럼 항등식의 증명을 통해 완료되며, 최종적으로 컴팩트 지지 코호몰로지에 대한 안정적 트레이스 공식 항등식을 도출한다.