[논문 리뷰] Modularity of solvable Artin representations of GO(4)-type

Dinakar Ramakrishnan|ArXiv.org|2001. 02. 06.

Advanced Algebra and Geometry참고 문헌 19인용 수 11

한 줄 요약

이 논문은 수체 위의 GO(4)-형 4차원 가역 아르틴 표현의 모듈러성을 증명하며, 그 L함수들이 GL(4) 위의 이소바릭 아큐멘타티브 형식과 일치함을 확립한다. 핵심 결과는 이러한 표현들이 모듈러성을 갖으며, 귀납성과 기약성의 동치성을 보여주며, 랑글랜즈의 모듈러성 추측을 GL(2)를 초월하는 짝수 차원의 새로운 비단항, 원시적 표현 계열으로 확장한다.

ABSTRACT

This is an updated version of ANT-0253. Let F be a number field with absolute Galois group G. We associate, to each continuous, solvable C-representation of G of GO(4)-type, an automorphic form P of GL(4)/F with the same L-function. As a consequence we exhibit an infinite class of primitive, 16-dimensional representations for which the Artin conjecture holds.

연구 동기 및 목표

• 수체 위의 GO(4)-형 4차원 가역 갈로와 표현의 모듈러성 추측을 확립한다.
• 아르틴의 추측을 만족하는 새로운 기약, 비단항, 원시적 아르틴 표현의 예를 제시한다.
• 이러한 표현의 텐서곱에 대해 강력한 아르틴 추측을 확장한다.
• 일부 비정규적 3^a차 수체 확장에 대해 강력한 디데킨트 추측을 검증한다.
• 해결 가능한 GO(4)-형 표현의 맥락에서 기저 변경과 유도의 아큐멘타티비티를 탐색한다.

제안 방법

• GL(2,C) × GL(2,C)를 C*로 나눈 GO(4,C)의 구조를 이용하여, 이 군을 통해 인코딩되는 표현을 분석한다.
• 클리포드 정리와 가역군의 구조를 통한 내림 내림 기법을 적용하여 문제를 차원 ≤2인 기약 성분으로 환원한다.
• 2차원 가역 표현에 대해 랑글랜즈-탐넬 정리를 기본 입력으로 활용한다.
• 자기형 유도와 아사이 올림프(As(π))의 구성 기법을 이용하여, 2차 표현의 텐서곱으로부터 GL(4) 위의 아큐멘타티브 형식을 구축한다.
• 이소바릭 아큐멘타티브 형식 이론과 기저 변경 이론을 적용하여, 3^a차 확장으로의 모듈러성 확장을 이룬다.
• 아르틴-클로젤 이론의 아큐멘타티브 유도 이론과 해결 가능한 갈로와 군의 구조를 활용하여 L함수의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 GO(4)-형 4차원 가역 아르틴 표현은 모듈러성을 갖는다 할 수 있는가, 즉 GL(4) 위의 이소바릭 아큐멘타티브 형식의 L함수와 일치하는가?
• RQ2 이러한 표현의 텐서곱은 아르틴의 추측을 만족하는 새로운 원시적, 기약적 아르틴 L함수의 예를 제공하는가?
• RQ3 GO(4)-형 표현에서 유도된 비정규적 3^a차 확장에 대해 강력한 디데킨트 추측이 성립하는가?
• RQ4 이미지가 O(n,C)에 포함되는 경우, 특히 홀수 m에 대해 GO(2m+1)-형 표현의 모듈러성이 확립될 수 있는가?
• RQ5 기저 변경이 이차 확장으로 이루어질 때 어떤 조건에서 표현이 여전히 기약성을 유지하며, 이는 아큐멘타티비티에 어떤 영향을 미치는가?

주요 결과

• 정리 A는 수체 F 위의 연속적이고 4차원인 GO(4)-형 가역 아르틴 표현 ρ에 대해, 어떤 이소바릭 아큐멘타티브 표현 π가 존재하여 L(s,ρ) = L(s,π_f)임을 증명한다. 여기서 π는 GL(4,AF) 위에 존재한다.
• 아큐멘타티브 표현 π가 귀납적임과 갈로아 표현 ρ가 기약임은 동치이다.
• 보조정리 B는 두 표현 ρ⊗ρ′의 텐서곱에 대해 아르틴의 추측이 성립함을 확인한다. 이는 텐서곱이 기약이면서 차원이 16인 경우에도 성립한다.
• 각 수체 F에 대해, 아르틴의 추측을 만족하는 기약적이고 원시적인 16차원 표현 ρ⊗ρ′의 이중 무한 가속이 존재한다.
• 비정규적 확장 N/F에 대해 강력한 디데킨트 추측이 3^a차, a ≥ 1인 경우에 검증되었으며, ζ_N(s)/ζ_F(s)는 GL(3^a−1)/F 위의 이소바릭 아큐멘타티브 형식의 L함수와 일치한다.
• 정리 C는 수체 위의 임의의 기약적, 해결 가능한, 홀수 차원의 GO(n)-형 표현은 단항임을 증명하며, 따라서 아르틴의 추측을 만족한다.