[논문 리뷰] Formule des Traces et Fonctorialité: le Début d'un Programme

Edward Frenkel, R. P. Langlands외 1명|arXiv (Cornell University)|2010. 03. 24.

Advanced Algebra and Geometry참고 문헌 16인용 수 16

한 줄 요약

이 논문은 안정화된 추적 공식과 파면 합성 기법을 활용하여 랭랜즈 프로그램에서 함자성의 수립을 위한 프로그램을 시작한다. 이는 추적 공식의 주요 기여가 일차원 자동형 양식에서 비롯된다는 것을 보여주며, 추적 공식의 아델화를 도입하고 안정적 설정에서 측도 인자가 단순화됨을 보여, 해석적 도구인 파면 합성의 적용을 가능하게 한다. 이는 추적 공식의 기하학적 및 산술적 응용을 향한 기초 단계이다.

ABSTRACT

We outline an approach to proving functoriality of automorphic representations using trace formula. More specifically, we construct a family of integral operators on the space of automorphic forms whose eigenvalues are expressed in terms of the L-functions of automorphic representations and begin the analysis of their traces using the orbital side of the stable trace formula. We show that the most interesting part, corresponding to regular conjugacy classes, is nothing but a sum over a finite-dimensional vector space over the global field, which we call the Steinberg-Hitchin base. Therefore it may be analyzed using the Poisson summation formula. Our main result is that the leading term of the dual sum (the value at 0) is precisely the dominant term of the trace formula (the contribution of the trivial representation). This gives us hope that the full Poisson summation formula would reveal the patterns predicted by functoriality.

연구 동기 및 목표

• 안정화된 추적 공식을 통해 자동형 양식과代수기하학을 연결짓는 프로그램을 시작하기 위해.
• 추적 공식 기법을 사용하여 랭랜즈 프로그램에서 함자성을 증명하기 위한 프레임워크를 구축하기 위해.
• 추적 공식의 주요 기여가 일차원 자동형 표현에서 비롯된다는 것을 보여주기 위해.
• 안정 설정에서 추적 공식의 측도 인자를 단순화하여 파면 합성과 같은 해석적 방법을 적용할 수 있도록 하기 위해.
• 함수체와 복소대수곡선에 대한 향후 연구를 위한 기초를 다지기 위해.

제안 방법

• 아델 측도를 다루고 해석적 기법을 가능하게 하기 위해 안정화된 추적 공식의 아델화를 수행하기 위해.
• $ V \otimes \mathbb{A}_F $ 공간에 파면 합성을 적용하기 위해 벡터 공간 구조를 활용하기 위해.
• 측도 인자가 안정 설정에서 일정함을 보여주기 위해 코트비츠의 공식을 사용하기 위해.
• 파면 합성을 적용할 수 있도록 제이시 게츠의 아이디어를 활용해 아델 공간을 잘라내기 위해.
• 클래스 체계론과 함자성과의 연결을 위해 $ L $-함수의 로그 도함수를 통합하기 위해.
• 함수체에 대해 $ \ell $-adic 갈루아 표현을 통한 랭랜즈 대응의 기하학적 예측을 수행하기 위해.

실험 결과

연구 질문

• RQ1 안정화된 추적 공식이 측도 인자를 단순화하고 해석적 방법을 가능하게 하는 방식으로 아델화될 수 있는가?
• RQ2 일차원 자동형 표현의 기여가 추적 공식에서 얼마나 지배적인가?
• RQ3 추적 공식의 맥락에서 아델 공간 $ V \otimes \mathbb{A}_F $ 에 파면 합성을 어떻게 적용할 수 있는가?
• RQ4 $ L $-함수의 로그 도함수는 함자성 프로그램을 이끄는 데 어떤 역할을 하는가?
• RQ5 안정화된 추적 공식에서 측도 인자의 단순화를 고계수 군과 기하 설정으로 일반화할 수 있는가?

주요 결과

• 측도 인자가 안정 설정에서 일정함을 보여주는 결과는 코트비츠에게 기인하며, 이는 파면 합성의 적용에 필수적이다.
• 추적 공식의 주요 기여는 일차원 자동형 표현에서 비롯되며, 이는 주요 항 $ \hat{\theta}(0) $ 로 확인된다.
• 자르기 후 아델 공간 $ V \otimes \mathbb{A}_F $ 는 파면 합성에 적합한 구조를 지닌다. 이는 해석적 처리를 가능하게 한다.
• $ L $-함수의 로그 도함수의 사용은 고전적 클래스 체계론과의 연결을 드러내며, 함자성으로 향하는 길을 시사한다.
• 측도 인자의 단순화가 안정 설정에서만 발생함을 보여, 안정화의 필수성을 강조한다.
• 논문은 함수체에 대한 기하학적 랭랜즈 프로그램의 첫걸음을 내딛으며, 복소곡선으로의 확장 가능성을 열어 놓는다.