[논문 리뷰] On Langlands functoriality- reduction to the semistable case

C. S. Rajan|ArXiv.org|2002. 09. 24.

Advanced Algebra and Geometry참고 문헌 25인용 수 3

한 줄 요약

이 논문은 랑글랜드의 함자성에 대한 감소 원리를 확립한다: 자료가 순환 기저 변경과 내림내림에 대해 닫혀 있다면, 자동형 상승을 증명하기 위해선 유계한 경우에서만 이를 증명하면 충분하다. 핵심 결과는 이러한 조건 하에서, 반정적 자동형 표현이 함자적 상승을 갖는다는 것이다. 이를 통해 라움온의 정리와 같은 역정리 정리와 인수분해 정리를 통해 전역적 상승이 가능해진다.

ABSTRACT

We generalize a beautiful method of Blasius and Ramakrishnan, that in order to exhibit particular instances of the Langlands functorial correspondence, it is enough to show that the correspondence holds in the semistable case, provided the arithmetic data we are considering is closed with respect to cyclic base change and descent.

연구 동기 및 목표

• 랭글랜드의 함자성을 반정적 경우에서 증명하면 충분하며, 자료가 순환 기저 변경과 내림내림에 대해 닫혀 있을 조건 하에서 일반 원칙을 확립하는 것.
• 블라시우스와 라마크리슈난의 방법을 특정 사례를 넘어서 보다 넓은 함자성 사례로 확장하는 것.
• 반정적 자동형 표현이 역정리 정리와 에프스실론 인자 인수분해를 통해 약한 및 강한 함자적 상승을 갖는다는 것을 보여주는 것.
• 이 원칙을 적용하여 함수체 위에서 랭킨-셀버그 콘볼루션과 갈루아 표현의 자동형성을 증명하는 것.
• 라움온의 정리를 통해 국소 상수를 이용하여 그로텐디크의 함수방정식에서 전역 에프스실론 인자를 인수분해하는 것.

제안 방법

• 비분리된 자리에서 국소 랑글랜드 대응과의 호환성을 가정함으로써 전역 함자성을 반정적 경우로 감소시킨다.
• 역정리 정리 기반을 이용하여, L-함수와 에프스실론 인자가 해석적 성질과 함수방정식 성질을 만족한다면 자동형 상승이 존재함을 보인다.
• 샤히디의 삼중곱 L-함수와 그 해석적 계속성을 이용하여 반정적 설정에서 L-함수의 '좋은 성질'을 검증한다.
• 라움온의 인수분해 정리를 활용하여 전역 에프스실론 인자를 국소 성분으로 분해함으로써, 역정리 정리에 핵심적인 기여를 한다.
• 순환 기저 변경과 내림내림을 활용하여 반정적 자료가 확장에 대해 닫혀 있음을 보장함으로써 귀납적 상승을 가능하게 한다.
• 강한 다중성 원리를 적용하여, 모든 자리에서 유한 개를 제외한 곳에서 일치하는 자동형 표현이 전역적으로 일치함을 보장한다.

실험 결과

연구 질문

• RQ1 랭글랜드의 함자성이 순환 기저 변경과 내림내림에 대해 자료가 닫혀 있을 조건 하에서 반정적 경우에서만 증명하면 충분한가?
• RQ2 반정적 자동형 표현에 대한 함자적 상승 존재 조건이 모든 자동형 표현에 대한 전역 상승을 암시하는 조건은 무엇인가?
• RQ3 역정리 정리를 어떻게 적용하여 반정적 자료만을 사용해 랭킨-셀버그 L-함수의 자동형성을 증명할 수 있는가?
• RQ4 갈루아 표현이 반정적일 때, 그로텐디크의 함수방정식에서 전역 에프스실론 인자가 국소 상수로 분해되는가?
• RQ5 반정적 기저 변경을 통해 갈루아 표현의 텐서곱에 대한 에프스실론 인자 인수분해를 확립할 수 있는가?

주요 결과

• 반정적 경우로의 감소 원칙이 성립한다: 함자적 상승이 모든 반정적 자동형 표현에 대해 존재하고 자료가 기저 변경과 내림내림에 대해 닫혀 있다면, 전체 함자성이 유도된다.
• GL(2)×GL(2)에 대한 랭킨-셀버그 콘볼루션의 자동형성은 역정리 정리를 통해 증명되며, 반정적 표현과 샤히디의 삼중곱 L-함수의 해석적 성질을 유일하게 사용한다.
• 삼중곱 L-함수 L(s,π₁×π₂×η)는 전체 함수이며, 함수방정식을 만족하고 수직 스트립에서 유계하다. 이는 역정리 정리의 조건을 충족한다.
• 함수체에서는, 역정리 정리와 에프스실론 인자 인수분해를 통해 반정적 갈루아 표현 ρ에 대한 약한 자동형 상승 존재가 증명된다.
• 라움온의 정리에 의한 에프스실론 인자 인수분해가 반정적 경우로 확장되어, 갈루아 표현에서 전역 자동형 상승을 구성할 수 있게 되었다.
• 강한 다중성 원리는 모든 자리에서 유한 개를 제외한 곳에서 일치하는 자동형 표현이 전역적으로 일치함을 보장하며, 이는 상승 과정의 타당성을 검증한다.