[논문 리뷰] Galois Codescent For Motivic Tame Kernels

Jilali Assim, A. Movahhedi|arXiv (Cornell University)|2019. 01. 22.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 4

한 줄 요약

이 논문은 수체의 유한 갈루아 확장에 대해 모티브(cohomology)의 갈루아 수축 맵의 핵을 명시적으로 기술하며, 모티브(cohomology)를 통한 짝수 K-군의 계열 공식을 수립한다. 에테ール 코homology와 2-primary K-군의 영성에 대한 산술 조건—특히 분할과 프로베니우스 작용에 기반하여—를 유도하며, 특히 Q의 실수 및 완전 실수 2-확장을 다룬다.

ABSTRACT

Let $L/F$ be a finite Galois extension of number fields with an arbitrary Galois group $G$. We give an explicit description of the kernel of the natural map on motivic tame kernels $H^2_{\mathcal{M}}(o_L, {\bf Z}(i))_{G} { ightarrow} H^2_{\mathcal{M}}(o_F, {\bf Z}(i))$. Using the link between motivic cohomology and $K$-theory, we deduce genus formulae for all even $K$-groups $K_{2i-2}(o_F)$ of the ring of integers. As a by-product, we also obtain lower bounds for the order of the kernel and cokernel of the functorial map $H^2_{\mathcal{M}}(F, {\bf Z}(i)) ightarrow H^2_{\mathcal{M}}( L, {\bf Z}(i) )^{G}$.

연구 동기 및 목표

• 유한 갈루아 확장 $ L/F $의 군 $ G $에 의해 유도되는 모티브(cohomology)의 희생 K-군에 대한 자연스러운 맵의 핵을 모티브(cohomology)를 사용하여 기술한다.
• K-이론과 모티브(cohomology) 사이의 블로흐-카토 동형사상에 의해 $ K $-이론을 모티브(cohomology)로 변환함으로써, 짝수 $ K $-군 $ K_{2i-2}(o_F) $에 대한 계열 공식을 도출한다.
• Q의 2-확장에서 양의 에테ール 코homology 군 $ H^2_+(o_F[1/2], \mathbb{Z}_2(i)) $의 영성에 대한 必要한 및 충분한 산술 조건을 수립한다.
• 갈루아 2-확장 $ L/\mathbb{Q} $에 대해 $ 2 $-primary 부분이 $ K_{2i-2}(o_L) $에 영이 되는지 여부를 $ 2i-2 \mod 8 $의 합동류와 분할 행동에 따라 결정한다.
• B. 칸의 질문—에테ール 코homology에서 서명 맵의 이미지에 관해—를 해결하기 위해, 서명 맵의 여집합의 2-랭크가 임의로 설정 가능한 수체를 구성한다.

제안 방법

• K-이론 문제를 모티브(cohomology) 문제로 변환하기 위해 모티브(cohomology)의 블로흐-카토 동형사상을 사용하여 국소화 시퀀스를 적용한다.
• 지에시의 모티브(cohomology) 국소화 시퀀스를 적용하여 $ H^2_{\mathcal{M}}(o_F, \mathbb{Z}(i)) $와 $ H^2_{\mathcal{M}}(F, \mathbb{Z}(i)) $를 연결함으로써 핵 분석을 가능하게 한다.
• 갈루아 수축에 대한 산술적 장벽을 만들기 위해 에테ール 타이트 커널 $ D_F^{(i)} $와 확장 $ E(\sqrt[p]{D_F^{(i)}})/E $를 사용한다.
• 확장 $ E(\sqrt[p]{D_F^{(i)}})/E $의 갈루아 군에서 프로베니우스 작용을 이용하여 전이 맵이 동형사상이 되는 조건을 특성화한다.
• 서명 맵 $ \mathrm{sgn}_F: H^1(F, \mathbb{Z}_2(i))/2 \to \bigoplus_{v \text{ 실수}} \mathbb{Z}/2 $를 분석하여 $ H^2_+(o_F[1/2], \mathbb{Z}_2(i)) $의 구조를 규명한다.
• 정확한 시퀀스를 사용하여 $ H^2_+ $와 $ H^2 $를 연결함으로써, K-군의 영성과 코homological 조건을 관련지으며, 특히 Q의 2-확장에서 중요한 역할을 한다.

실험 결과

연구 질문

• RQ1 갈루아 수축 맵 $ H^2_{\mathcal{M}}(o_L, \mathbb{Z}(i))_G \to H^2_{\mathcal{M}}(o_F, \mathbb{Z}(i)) $의 핵의 명시적 구조는 무엇인가?
• RQ2 모티브(cohomology)의 정수환에 대한 전이 맵 $ \mathrm{tr}_i $가 언제 동형사상이 되는가? 산술 조건은 무엇인가?
• RQ3 갈루아 2-확장 $ L/\mathbb{Q} $에 대해 $ 2 $-primary 부분이 $ K_{2i-2}(o_L) $에 영이 되는 조건은 $ i \mod 8 $에 따라 어떻게 달라지는가?
• RQ4 서명 맵 $ \mathrm{sgn}_F $의 이미지는 무엇이며, 그 2-랭크 $ \rho_i $를 임의로 설정할 수 있는가?
• RQ5 특히 분할 지수를 나누는 소수에서의 분할 행동이, 모티브(cohomology) 전이 맵의 핵과 여집합에 어떤 영향을 미치는가?

주요 결과

• 맵 $ H^2_{\mathcal{M}}(o_L, \mathbb{Z}(i))_G \to H^2_{\mathcal{M}}(o_F, \mathbb{Z}(i)) $의 핵은 분할 지수를 나누는 소수 $ p $에 대해 $ \mathrm{Gal}(E(\sqrt[p]{D_F^{(i)}})/E) $에서 프로베니우스 원소들의 선형 독립성에 의해 명시적으로 기술된다.
• 순환 $ p $-확장 $ L/F $에 대해, $ K_{2i-2}(o_F) $의 계열 공식은 $ L/F $의 분할 자료에만 의존하며, 이는 코로나리에이 4.12와 4.13에서 보여진다.
• $ i \geq 2 $가 홀수일 때, 임의의 $ n \geq 1 $에 대해 $ \rho_i = n $인 완전 실수 수체 $ F $가 존재하며, 이는 정리 4.15에서 증명되었다.
• $ 2 $-primary 부분이 $ K_{2i-2}(o_L) $에 영이 되는 것은, 완전 실수 갈루아 2-확장 $ L/\mathbb{Q} $에 대해 $ L $이 $ \{2, \infty, \ell\} $ 이외에는 분할되지 않은 경우에 정확히 해당되며, 이는 코로나리에이 6.5에 기록되어 있다.
• $ 2i-2 \equiv 0 \pmod{8} $일 때, 완전 허수 $ L $에 대해 $ 2 $-primary 부분이 영이 되는 것은 $ L $이 $ \{2, \infty, \ell\} $ 이외에는 분할되지 않은 경우에 정확히 해당되며, 이는 코로나리에이 6.6에 기록되어 있다.
• 완전 실수 순환 2-확장에서 $ 2i-2 \equiv 0 \pmod{8} $일 때, $ 2 $-primary 부분이 영이 되는 것은 $ L $이 $ \{2, \ell_1, \ell_2\} $ 이외에는 분할되지 않은 경우에 정확히 해당되며, 이때 $ \ell_1, \ell_2 \not\equiv 1 \pmod{8} $ 이고 $ \ell_1 \not\equiv \ell_2 \pmod{8} $ 이다. 이는 프로포지션 6.7에 기록되어 있다.