[논문 리뷰] Formal Degree of Regular Supercuspidals

David Schwein|arXiv (Cornell University)|2021. 01. 03.

Advanced Algebra and Geometry참고 문헌 32인용 수 4

한 줄 요약

이 논문은 비아르키메데스 현지에서의 재조화군에 대해 유타의 초구속 표현의 형식적 차수를 부르하-티스 이론과 메이-프라사드 필터링을 사용하여 계산한다. 칼레타의 정규 L-패킷이 히라가-이치노-이케다의 형식적 차수 추측을 만족함을 확인하기 위해, 명시적 체적 계산과 갈루아 코hom로지 항등식을 통해 자동형 및 갈루아 측의 공식을 일치시킨다.

ABSTRACT

Supercuspidal representations are usually infinite-dimensional, so the size of such a representation cannot be measured by its dimension; the formal degree is a better alternative. Hiraga, Ichino, and Ikeda conjectured a formula for the formal degree of a supercuspidal in terms of its $L$-parameter only. Our first main result is to compute the formal degrees of the supercuspidal representations constructed by Yu. Our second, using the first, is to verify that Kaletha's regular supercuspidal $L$-packets satisfy the conjecture.

연구 동기 및 목표

• 비아르키메데스 현지에서의 재조화군에 대해 유타의 방법으로 구성된 초구속 표현의 형식적 차수를 계산하는 것.
• 칼레타의 정규 L-패킷이 히라가, 이치노, 이케다의 형식적 차수 추측을 만족함을 검증하는 것.
• 형식적 차수 공식의 자동형 측(압축적 유도 및 체적 계산을 통한)과 갈루아 측(표현 매개변수의 불변량을 통한) 사이에 정확한 일치를 확립하는 것.
• 표현 이론적 계산과 랑글랜드 매개변수화를 결합하여 광범위한 초구속 표현의 클래스에 대해 형식적 차수 추측을 해결하는 것.

제안 방법

• 압축적 유도에서 유한차원의 컴팩트-오픈 부분군의 표현으로부터 형식적 차수를 계산하여, 문제를 유도 부분군의 체적 계산으로 환원한다.
• 메이-프라사드 필터링을 적용하여 체적 계산을 리 대수의 부분상자에 대한 길이 계산으로 변환한다.
• 부르하-티스 이론을 사용하여 컴팩트-오픈 부분군의 구조와 브루하-티스 빌딩의 점의 안정화자 간의 관계를 분석한다.
• 특정 리 대수 부분상자의 길이를 계산하는 핵심 기술적 결과(정리 38)에 의존한다.
• 토리에 대한 네론-오그-샤파레비치 기준의 유사판을 수립하여 갈루아 불변량과 코ха라터 래티스의 갈루아 필터링을 연결한다.
• 갈루아 코호몰로지 항등식을 사용하여 자동형 측과 갈루아 측의 형식적 차수 추측을 비교하며, 레마 79 및 그 결과들을 포함한다.

실험 결과

연구 질문

• RQ1 유타의 초구속 표현의 형식적 차수는 그 L-매개변수에 기반한 히라가-이치노-이케다 추측의 예측과 일치하는가?
• RQ2 메이-프라사드 필터링과 부르하-티스 이론을 사용하여 압축적 유도 초구속 표현의 형식적 차수를 어떻게 명시적으로 계산할 수 있는가?
• RQ3 갈루아 측의 형식적 차수 추측의 불변량—예를 들어 성분군의 순서와 프로베니우스 작용에 대한 고정점—이 정규 L-패킷의 자동형 측과 어느 정도 일치하는가?
• RQ4 칼레타의 매개변수화를 통해 구성된 정규 초구속 표현에 대해, 그 L-패킷의 명시적 구성이 형식적 차수 공식을 검증하는 데 기여하는가?
• RQ5 유타의 구성에서 컴팩트-오픈 부분군의 체적과 관련된 L-매개변수의 불변량 사이의 정확한 관계는 무엇인가?

주요 결과

• 유니터리 초구속 표현 π의 형식적 차수 deg(π,μ)는 다음과 같은 공식으로 주어진다: deg(π,μ) = [dim ρ / [G⁰(k)_[y] : G⁰(k)_y,₀₊]] × exp_q(½dim G + ½dim G⁰_y,₀:₀₊ + ½∑ᵢ rᵢ(|Rᵢ₊₁| − |Rᵢ|)).
• 유타의 구성에서 컴팩트-오픈 부분군 K의 체적은 메이-프라사드 필터링을 통해 계산되며, 문제는 리 대수 부분상자의 길이 계산으로 환원된다. 이는 핵심 기술적 결과(정리 38)이다.
• 칼레타의 정규 L-패킷에 대해 형식적 차수 추측의 자동형 측과 갈루아 측이 일치함을 보였으며, 코hom로지 항등식을 통해 지수항과 유리수 계수를 일치시킴으로써 이를 입증하였다.
• 자동형 측과 갈루아 측의 유리수 계수 비율이 1임을 보였으며, [Kal15, 레마 5.18]에서 확립된 항등식 |X_*(S^a)^{I_k}_Frob · X_*(S^a)^Frob_I_k| / |X_*(S^a)_{Γ_k}| = 1을 사용하였다.
• 양측의 지수항은 동일하며, 공식의 양측에 모두 exp_q(½dim G^a + ½dim M + ½∑ᵢ rᵢ(|Rᵢ₊₁| − |Rᵢ|)) 항이 나타난다.
• 압축적 유도 체적 계산, 갈루아 코호몰로지, 토리에 대한 네론-오그-샤파레비치 유사 레마의 조합을 통해 정규 L-패킷에 대해 형식적 차수 추측이 완전히 검증되었다.