[논문 리뷰] Rigid local systems and relative motives with Galois group G_2

Michael Dettweiler, Stefan Reiter|2006. 05. 15.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 18

한 줄 요약

이 논문은 N. 케츠의 중간 복합 함수를 사용하여 단순형 국소계를 구성하고, 예외적 대수적 군 $G_2$에 대한 단일화된 모노드로미를 가진다. 이는 모티브의 모티브 갈루아 군이 $G_2$ 유형임을 증명하며, 세르의 질문에 부분적인 해결책을 제시하고, 에테일 코homology와 탄나카 dualit에 의해 그로텐디크의 표준 추측을 지지한다.

ABSTRACT

We classify rigid local systems of rank 7 whose monodromy group is dense in the simple algebraic group of type G2. This leads to motives with Galois group G2.

연구 동기 및 목표

• 모노드로미 군이 $G_2$에 대해 조밀한 $\mathbb{P}^1 \setminus \{0,1,\infty\}$ 위의 단순형 국소계의 존재를 확립한다.
• 그러한 단순형 국소계가 랭크 1 층에 대해 적용된 중간 복합 함수 $\mathrm{MC}_\chi$를 통해 유도됨을 보여준다.
• 그로텐디크의 표준 추측 하에, 모티브 갈루아 군이 $G_2$ 유형인 모티브의 존재를 도출한다.
• 세르의 예외적 모티브 갈루아 군을 가진 모티브의 존재에 대한 질문에 부분적인 답을 제공한다.

제안 방법

• 기약 에테일 단순형 국소계에 중간 복합 함수 $\mathrm{MC}_\chi$를 적용하여 랭크 1 층으로 간소화한다.
• 주어진 국소 모노드로미 조건이 기약 단순형 국소계로 올라가는지 테스트하기 위해 케츠의 존재 알고리즘을 사용한다.
• $\mathbb{P}^1_k \setminus \{0,1,\infty\}$ 위에 랭크 7의 에테일 단순형 국소계 $\mathcal{H}(\varphi,\eta)$를 구성하며, $0$, $1$, $\infty$에서의 국소 모노드로미 유형을 특정 조건에 따라 설정한다.
• 에테일 코homology와 유클리드 코homology 사이의 비교 동형사상을 사용하여 모노드로미 표현을 위상적 기본군과 연결한다.
• Künneth 프로젝터와 상대 코hom올로지에 기반하여 가속도 $X/S$에서의 가속도 가족 $M_s = N_s(3)$을 구성한다.
• 탄나카 dualit를 적용하여 모든 $s \in \mathbb{Q} \setminus \mathrm{Exc}$에 대해 $M_s$의 모티브 갈루아 군이 $G_2$와 동형임을 보여준다.

실험 결과

연구 질문

• RQ1 모노드로미 군이 $G_2$에 대해 조밀한 $\mathbb{P}^1 \setminus \{0,1,\infty\}$ 위에 단순형 국소계가 존재하는가?
• RQ2 그러한 단순형 국소계가 중간 복합 함수 $\mathrm{MC}_\chi$를 통해 구성될 수 있는가?
• RQ3 모티브 갈루아 군이 $G_2$ 유형인 모티브가 존재하는가?
• RQ4 그러한 모티브의 존재는 그로텐디크의 표준 추측과 일치하는가?
• RQ5 기하학적 구조를 통해 모티브 갈루아 군이 $G_2$로 실현될 수 있는가?

주요 결과

• 논문은 조건 $\varphi$와 $\eta$에 따라, $\mathbb{P}^1_k \setminus \{0,1,\infty\}$ 위에 랭크 7의 에테일 단순형 국소계 $\mathcal{H}(\varphi,\eta)$를 구성하며, 이는 $G_2(\bar{\mathbb{Q}}_\ell)$에 대해 조밀한 모노드로미 군을 가진다.
• 0에서의 국소 모노드로미는 $-\mathbf{1} \oplus -\mathbf{1} \oplus -\mathbf{1} \oplus -\mathbf{1} \oplus \mathbf{1} \oplus \mathbf{1} \oplus \mathbf{1}$이며, 1에서의 국소 모노드로미는 $\mathrm{U}(2) \oplus \mathrm{U}(2) \oplus \mathrm{U}(3)$이며, $\infty$에서의 국소 모노드로미는 $\varphi$와 $\eta$에 따라 달라지며, $\mathrm{U}(7)$과 유니포텐트 표현의 직합을 포함하는 경우가 있다.
• $\mathcal{H}(\mathbf{1},\mathbf{1})$의 모노드로미 표현은 비교 동형사상과 모티브 갈루아 군의 탄나카 재구성에 의해 $G_2(\bar{\mathbb{Q}}_\ell)$에 대해 조밀하다.
• 모든 $s \in \mathbb{Q} \setminus \mathrm{Exc}$에 대해, $M_s = N_s(3)$의 모티브 갈루아 군은 $G_2$와 동형이며, $N_s$는 가속도 가족의 $\ell$-adic 코hom올로지에서 유래한다.
• $N_s$의 문자 부분의 쌍대 모티브 $A_s$는 테이트 텐서 $({\rm Spec\,}(s), {\rm Id}, 3)$로 확인되며, 이는 $M_s$의 모티브 갈루아 군이 $G_2$임을 확인한다.
• 그로텐디크의 표준 추측 하에, 모티브 갈루아 군이 $G_2$ 유형인 모티브의 존재가 확립되며, 이는 세르의 예외적 모티브 갈루아 군에 대한 질문에 부분적인 답을 제공한다.