[논문 리뷰] On exceptional rigid local systems

Michael Dettweiler, Stefan Reiter|ArXiv.org|2006. 09. 05.

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

한 줄 요약

이 논문은 $G_2$-rigid 국소계수를 구축하여 심슨의 린어리티 추측의 새로운 사례를 증명한다. 이 국소계수는 $\mathrm{GL}_7$-rigid가 아니지만 모티빅이다. 텐서 곱, 중간 복소화, 쿠른트 공식을 사용하여 저자들은 국소계수가 매끄러운 사상의 고차원 직접영상으로부터 유래됨을 보이며, 그 모티빅 성격을 확인하고, $\mathrm{GL}_n$-rigid 사례를 넘어서 알려진 결과를 확장한다.

ABSTRACT

We prove new instances of Simpson's rigidity conjecture which states that quasi-unipotent rigid local systems should be motivic. We construct new relative motives over the fourfold punctured Riemann sphere which give rise to $G_2$-rigid local systems which are not rigid in the group $\GL_7.$

연구 동기 및 목표

• 모티빅이지만 $\mathrm{GL}_7$-rigid가 아닌 $G_2$-rigid 국소계수에 대해 심슨의 린어리티 추측을 검증하는 것.
• 기존의 $\mathrm{GL}_n$-rigidity에서 유래하는 국소계수의 범주를 $\mathrm{GL}_n$-rigid 사례를 초월해 확장하는 것.
• 주어진 단일기저 형상을 갖는 $\mathbb{P}^1 \setminus \{x_1,x_2,x_3,\infty\}$ 위의 명시적 $G_2$-rigid 국소계수를 구성하는 것.
• $G_2$-rigidity가 $\mathrm{GL}_7$-rigidity를 함의하지는 않지만, 린어리티 추측이 여전히 성립한다는 것을 보여주는 것.

제안 방법

• 두 개의 $\mathrm{GL}_2(\mathbb{C})$-rigid 국소계수를 취하고, 그들의 텐서 곱을 통해 랭크 4인 $\mathrm{SO}_4(\mathbb{C})$-rigid 국소계수를 얻는다.
• 텐서 곱에 매개수 $\zeta_3^{-1}$를 갖는 중간 복소화를 적용하여 랭크 7인 새로운 국소계수를 얻는다.
• 두 번째 중간 복소화와 텐서 연산을 사용하여 $\mathbb{P}^1 \setminus \{x_1,x_2,x_3,\infty\}$ 위의 $G_2(\mathbb{C})$-rigid 국소계수 ${\cal H}$를 구성한다.
• ${\cal H}$의 단일기저 묶음의 단일기저 형상이 $\mathrm{J}(2,2,1,1,1)$, $\mathrm{J}(2,2,1,1,1)$, $\mathrm{diag}(1,\zeta_3,\zeta_3,\zeta_3,\zeta_3^{-1},\zeta_3^{-1},\zeta_3^{-1})$, 및 $\mathrm{J}(3,3,1)$임을 확인한다.
• 단일기저 행렬의 구조와 군론적 제약 조건을 이용하여 단일기저 표현의 자립 폐쇄가 정확히 $G_2(\mathbb{C})$임을 확인한다.
• 카츠의 연구에서 유도된 중간 복소화의 모티빅 해석과 쿠른트 공식을 통해 모티빅성을 확립한다.

실험 결과

연구 질문

• RQ1 $G_2$-rigid 국소계수가 $\mathrm{GL}_7$-rigid가 아니지만 심슨의 린어리티 추측이 예측한 바와 같이 모티빅일 수 있는가?
• RQ2 이러한 $G_2$-rigid 국소계수의 단일기저 구조는 네 개의 구멍이 있는 리만 구면에서 어떻게 되는가?
• RQ3 중간 복소화와 텐서 연산은 $\mathrm{GL}_n$-rigid 프레임워크를 초월해 새로운 모티빅 국소계수를 구성하는 데 사용될 수 있는가?
• RQ4 비자명한 단일기저 형상과 비기약적인 $\mathrm{GL}_7$-공轭류를 갖는 $G_2$-rigid 국소계수에 대해 모티빅 해석이 존재하는가?
• RQ5 이러한 국소계수의 무게와 호지 구조는 이전에 알려진 사례와 어떻게 비교되는가?

주요 결과

• $\mathbb{P}^1 \setminus \{x_1,x_2,x_3,\infty\}$ 위에 단일기저 형상이 각각 $\mathrm{J}(2,2,1,1,1)$, $\mathrm{J}(2,2,1,1,1)$, $\mathrm{diag}(1,\zeta_3,\zeta_3,\zeta_3,\zeta_3^{-1},\zeta_3^{-1},\zeta_3^{-1})$, 및 $\mathrm{J}(3,3,1)$인 $G_2(\mathbb{C})$-rigid 국소계수 ${\cal H}$가 존재한다.
• ${\cal H}$의 단일기저 표현의 자립 폐쇄는 정확히 $G_2(\mathbb{C})$이며, 이는 그 $G_2$-rigid 성격을 확인한다.
• ${\cal H}$는 $\mathrm{SO}_7(\mathbb{C})$-rigid이지만 $\mathrm{GL}_7(\mathbb{C})$-rigid가 아니며, 이는 $G_2$-rigid가 $\mathrm{GL}_7$-rigid를 함의하지는 않음을 보여준다.
• 린어리티 추측은 ${\cal H}$에 대해 성립한다. 왜냐하면 중간 복소화의 모티빅 해석을 통해 고차원 직접영상 $R^i\pi_*(\mathbb{C})$의 부분인자로 유도되기 때문이다.
• ${\cal H}$의 호지 구조로서의 무게는 4이며, 이는 이전 연구에서의 $G_2$-국소계수의 무게 6과 대조된다.
• 명시적인 단일기저 행렬 $h_1, h_2, h_3 \in \mathrm{GL}_7(\mathbb{C})$가 제공되며, $h_4 = (h_1 h_2 h_3)^{-1}$를 만족하고, 요구되는 단일기저 형상과 군 제약 조건을 모두 충족한다.