[논문 리뷰] Variations on a theorem of Tate

Stefan Patrikis|arXiv (Cornell University)|2012. 07. 28.

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

한 줄 요약

이 논문은 테이트의 고전적 정리인 $\mathrm{PGL}_n(\mathbb{C})$로의 프로젝티브 갈루아 표현의 릿지닝에 대해 타테의 정리를 자동형 및 모티빅 맥락으로 일반화하여, $W$-대수적 자동형 표현에 대한 조건 없는 릿지닝 결과를 확립하고, 하이퍼카일러 다양체에 대한 일반화된 쿠가-사타케 구조를 개발한다. 주요 기여는 아벨 다양체로부터 새로운 모티빅 허지 근사 구조를 구성하는 모티빅 릿지닝 프레임워크를 수립한 것으로, 표준 추측 하에 Kuga-Satake 다양체를 실현하는 동치론적 모티브의 존재를 증명한다.

ABSTRACT

Let $F$ be a number field. These notes explore Galois-theoretic, automorphic, and motivic analogues and refinements of Tate's basic result that continuous projective representations $Gal(\bar{F}/F) o PGL_n(C)$ lift to $GL_n(C)$. We take special interest in the interaction of this result with algebraicity (on the automorphic side) and geometricity (in the sense of Fontaine-Mazur). On the motivic side, we study refinements and generalizations of the classical Kuga-Satake construction. Some auxiliary results touch on: possible infinity-types of algebraic automorphic representations; comparison of the automorphic and Galois "Tannakian formalisms"; monodromy (independence-of-$\ell$) questions for abstract Galois representations.

연구 동기 및 목표

• 테이트의 프로젝티브 갈루아 표현에 대한 정리를 자동형 및 모티빅 맥락으로 일반화한다.
• $G(\mathbf{A}_F)$ 에서 $\widetilde{G}(\mathbf{A}_F)$ 로의 $W$-대수적 자동형 표현에 대한 조건 없는 릿지닝 결과를 확립한다.
• 모티빅 및 허지 이론적 방법을 사용하여 하이퍼카일러 다양체에 대한 일반화된 쿠가-사타케 이론을 개발한다.
• 대수성과 단일화성의 맥락에서 갈루아, 자동형 및 모티빅 탄나카 포멀리즘 간의 상호작용을 조사한다.
• 특히 아벨 다양체에 대해 표준 추측 하에 Kuga-Satake 다양체를 실현하는 동치론적 모티브의 존재를 증명한다.

제안 방법

• $\ell$-adic 허지 이론과 레이블된 허지-테이트-센 무게를 사용하여 갈루아 표현의 구조를 분석한다.
• 모티브드 사이클 이론과 수치적 모티브를 적용하여, 영양 대칭자와 프로젝터를 통해 $H(X^r)$ 의 부분모티브를 구성한다.
• 쿠가-사타케 구조를 사용하여 하이퍼카일러 다양체 $X$ 에 대해 쿠가-사타케 다양체 $KS(X)$ 를 부여하고, 그 코homology 를 부분모티브로 실현한다.
• 쿠엔트 분해와 수축 사상 $c_{p,q}$ 를 사용하여 $H^1(X)^{\otimes r}$ 내의 대칭 및 원시 코homology 에 대응하는 커널을 정의한다.
• 정규화된 영양 대칭자 $xc_\lambda$ 를 통한 아이디포텐트 대수적 대응관계를 구성하여, 슈어 함수자 $\mathbb{S}_\lambda(H^1(X))$ 를 수치적 모티브로 정의한다.
• 수치적 모티브의 준단순성과 특성 0 에서 수치적 등가와 동치론적 등가의 동치를 이용하여 동치론적 모티브의 존재를 유도한다.

실험 결과

연구 질문

• RQ1 자기형 및 모티빅 맥락에서 프로젝티브 갈루아 표현 $\Gamma_F \to \mathrm{PGL}_n(\mathbb{C})$ 이 $\mathrm{GL}_n(\mathbb{C})$ 로 릿지닝될 수 있는가? 이는 테이트의 정리의 일반화이다.
• RQ2 함수적 전이 $^L\widetilde{G} \to {}^L G$ 에서 테이트의 $H^2(\Gamma_F, \mathbb{Q}/\mathbb{Z})$ 의 소멸성에 대응하는 자동형 해석은 무엇인가?
• RQ3 탄나카 포멀리즘을 통해 쿠가-사타케 구조를 일반화하여 하이퍼카일러 다양체에 대한 모티빅 허지 근사 구조를 생성할 수 있는가?
• RQ4 표준 추측 하에, 특히 타테 추측이 성립할 경우, 하이퍼카일러 케이스에서 모티빅 릿지닝의 존재는 어떤 조건에서 유도되는가?
• RQ5 단일화성과 독립성-$\ell$ 성질이 자동형 및 모티빅 릿지닝 맥락에서 추상 갈루아 표현을 어떻게 제약하는가?

주요 결과

• $\widetilde{G} = (G \times \widetilde{Z})/Z_G$ 인 경우, $G(\mathbf{A}_F)$ 의 커퍼스 표현은 $\widetilde{G}(\mathbf{A}_F)$ 로 릿지닝되며, $\widetilde{Z}/Z_G$ 는 토루스이다. 이는 테이트의 정리의 자동형 해석을 확립한다.
• 아벨 다양체로 생성된 수치적 모티브의 범주가 준단순적이며, 탄나카 포멀리즘적임을 보여, 아이디포텐트 대응관계를 통한 부분모티브 구성이 가능하다.
• 수축 사상 $c_{p,q}$ 의 커널은 수치적 모티브 $M_{p,q}$ 로 실현되며, $\operatorname{Sym}^2(H^1(X)) \otimes H^1(X)^{\otimes r-2}$ 와 $\operatorname{Prim}^2(X) \otimes H^1(X)^{\otimes r-2}$ 와 동형이다.
• 슈어 함수자 $\mathbb{S}_\lambda(H^1(X))$ 는 아이디포텐트 $xc_\lambda \cdot (\pi_X^1)^r$ 를 통해 수치적 모티브로 실현되며, 여기서 $x$ 는 영양 대칭자 $c_\lambda$ 를 정규화한다.
• 쿠가-사타케 다양체 $KS(X)$ 는 동치론적 모티브를 갖는다. 특성 고려에 따라 허지 수를 계산할 수 있으며, 이는 특성 0 에서 수치적 등가와 동치론적 등가가 일치한다는 가정 하에 성립한다.
• 하이퍼카일러 다양체에 대한 모티빅 릿지닝의 존재는 타테 추측에 따라 조건부이지만, 동치론적 모티브 범주 내에서 모티브를 생성한다는 점에서 조건 없는 것이다.