[논문 리뷰] Arthur's multiplicity formula for GSp$_4$ and restriction to Sp$_4$

Toby Gee, Olivier Taïbi|arXiv (Cornell University)|2018. 07. 11.

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

한 줄 요약

이 논문은 GSp₄(=GSpin₅와 동형)에 대한 아서의 다중도 공식에 대한 조건부 증명을 제공하며, 이는 이산 보조표류의 전반적 분류를 확립하고, GSp₄와 Sp₄의 국소 리만-랜글랜즈 대응 간의 호환성을 입증한다. 안정된 비틀린 트레이스 공식, 외부 제곱 함자성, θ 대응을 이용하여 국소 아서 패킷을 구성하고, 전역 트레이스 공식 기법을 통해 다중도 공식을 검증한다.

ABSTRACT

We prove the classification of discrete automorphic representations of GSp$_4$ explained in [Art04], as well as a compatibility between the local Langlands correspondences for GSp$_4$ and Sp$_4$ .

연구 동기 및 목표

• 2004년 [Art04]에서 발표된 바로, 일반적 방법론 [Art13]으로는 기술적 복잡성으로 인해 아직 증명되지 않은 GSp₄에 대한 아서의 이산 보조표류 분류에 대한 조건부가 아닌 전면적 증명을 제공하는 것.
• 특히 보조표류 표현의 제약 조건 하에서, GSp₄와 Sp₄의 국소 리만-랜글랜즈 대응 간의 호환성을 확립하는 것.
• MW06와 AMR15의 결과를 바탕으로, 명시적 방법을 이용해 GSp₄의 비온도 상태에서 국소 아서 패킷을 구성하는 것.
• GL₄ × GL₁에 대한 안정된 비틀린 트레이스 공식과 알려진 내부 전이 및 함자성 결과를 조합하여 GSp₄에 대한 전역 다중도 공식을 검증하는 것.
• GSp₄에서 Sp₄로의 보조표류 제약의 스펙트럼 기술을 형식적으로 온도 상태인 전역 매개변수로 일반화하여, Labesse–Langlands와 Ramakrishnan의 결과를 확장하는 것.

제안 방법

• GSpin₅를 비틀린 내부 근원군으로 삼아, 자동형 표류의 자동형 변환 g ↦ t g⁻¹를 적용한 GL₄ × GL₁에 대한 안정된(비틀린) 트레이스 공식을 적용한다.
• GL₄에 대한 외부 제곱 함자성(2003년 [Kim03]에서 증명, 2009년 [Hen09]에서 완성)을 적용하여 GL₄의 보조표류 표현과 GSp₄의 표현을 연결한다.
• GSp₄에 대한 국소 리만-랜글랜즈 대응을 θ 대응을 통해 정의(2011년 [GT11a])하고, 비틀린 내부 근원 특성 관계(2015년 [CG15])와의 호환성을 검증한다.
• GL₂ × GL₂ → GL₄의 텐서 곱 함자성(2000년 [Ram00])을 적용하여 전역 매개변수를 분석하고, Sp₄로의 제약 조건을 통해 그 형태를 제약한다.
• GL₂와 GL₄에 대한 심플렉틱/직교 대안을 적용하여 전역 매개변수를 분류하고, 아서의 예측과의 호환성을 검증한다.
• GSp₄에서 Sp₄로의 제약이 표현의 다중도 없이 분해된다는 사실을 이용하여 국소 및 전역 L-매개변수 간의 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 트레이스 공식 기법과 랭크 2 군에 특화된 추가 도구를 사용하여, GSp₄에 대한 아서의 다중도 공식을 조건부 없이 증명할 수 있는가?
• RQ2 GSp₄와 Sp₄의 국소 리만-랜글랜즈 대응은 보조표류 표현의 제약 조건 하에서 어떻게 관련되어 있는가?
• RQ3 비온도 상태에서 GSp₄의 국소 아서 패킷의 구조는 어떠한가? 그리고 이를 명시적으로 구성할 수 있는가?
• RQ4 GSp₄의 이산 보조표류 표현에 대응하는 전역 매개변수는 안정된 비틀린 트레이스 공식과 함자성을 통해 어느 정도까지 결정될 수 있는가?
• RQ5 GSp₄에서 Sp₄로의 보조표류 표현 제약은 다중도 일치를 유지하는가? 이는 전역 다중도 공식과 어떻게 관련되는가?

주요 결과

• 논문은 GSp₄에 대한 전역 다중도 공식을 증명하여, 전역 패키지에 속한 보조표류 표현이 다중도 일치하며, 전역 아서–랜글랜즈 매개변수에 의해 유일하게 결정됨을 확인한다.
• GSp₄(F)의 기약 적응 표현 π에 대한 Sp₄(F)로의 제약은 단일 국소 패키지의 표현들로 이루어진 직합으로 분해되며, 각 표현의 다중도는 1이다.
• GSp₄에 대한 국소 리만-랜글랜즈 대응은 Sp₄에 대한 것과 호환된다: Sp₄의 각 L-매개변수는 스트레칭을 제외하고 유일하게 GSp₄의 L-매개변수로 올라간다.
• 온도 상태의 표현에 대해서는, π|_Sp₄(F)가 L-매개변수의 SO₄로의 사영에 의해 관련된 국소 패키지에 속한 모든 표현들의 직합과 동형이다.
• GSp₄의 이산 보조표류 표현에 대응하는 전역 매개변수는 Sp₄로의 제약 조건과 매개변수의 외부 제곱을 통해 아서가 예측한 형태로 나타남을 보였다.
• 형식적으로 온도 상태인 전역 매개변수에 대해, GSp₄에서 Sp₄로의 보조표류 제약 사상의 스펙트럼 기술이 완전히 결정되었으며, 고전적 다중도 일치 결과를 일반화한다.