[논문 리뷰] Operations in Milnor K-theory

Charles Vial|arXiv (Cornell University)|2008. 12. 02.

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

한 줄 요약

이 논문은 체와 스무스 스킴에 대한 mod $p$ 밀너 K-이론의 모든 연산을 분류하며, 체 확장에 대해 가환하는 연산들이 분할 거듭제곱 연산에 의해 생성됨을 보여준다. $p$ 가 홀수일 경우, 연산들은 분할 거듭제곱 $\gamma_n$ 에 의해 생성된다; $p=2$ 일 경우, $-1$ 이 제곱근이 아닐 때 분할 거듭제곱이 잘 정의되지 않는 점을 고려한 수정된 구조가 $\mathrm{Ker}(\tau_i)$ 를 포함한다.

ABSTRACT

We show that operations in Milnor K-theory mod $p$ of a field are spanned by divided power operations. After giving an explicit formula for divided power operations and extending them to some new cases, we determine for all fields $k$ and all prime numbers $p$, all the operations $K^M_i/p o K^M_j/p$ commuting with field extensions over the base field $k$. Moreover, the integral case is discussed and we determine the operations $K^M_i/p o K^M_j/p$ for smooth schemes over a field.

연구 동기 및 목표

• 기본 체 $k_0$ 에 대해 체 확장과 가환하는 자연 변환(연산) $K^\mathrm{M}_i/k \to K^\mathrm{M}_*/k$ 모듈로 $p$ 를 분류하는 것.
• 기본 체 $k_0$ 에서 $-1$ 이 제곱근이 아닐 경우 mod 2 밀너 K-이론에서 분할 거듭제곱이 잘 정의되지 않는 경우를 해결하는 것.
• 체에 대한 분류를 정수 연산과 체 위의 스무스 스킴에 대한 연산으로 확장하는 것.
• 덧셈 연산이 정확한 의미에서 자명함을 보여주며 일반 연산과의 차이를 부각하는 것.
• 사이클 모듈의 이론과 전이 사상들을 사용하여 분할 거듭제곱이 연산 대수의 기저를 이룬다는 것을 확립하는 것.

제안 방법

• 모듈로 $p$ 에서 $K^\mathrm{M}_i(k)/p$ 의 기호 합에 대해 분할 거듭제곱 연산 $\gamma_n(x)$ 를, 합에 포함된 서로 다른 $n$ 개의 기호의 곱으로 정의한다.
• Revoy 와 Kahn 의 결과를 사용하여, $p$ 가 홀수거나 $p=2$ 이고 $k$ 가 $\sqrt{-1}$ 를 포함할 경우 $\gamma_n$ 이 잘 정의된 연산임을 증명한다.
• $p=2$ 이고 $k_0$ 에서 $-1$ 이 제곱근이 아닐 경우, 사상 $\tau_i: x \mapsto \{-1\}^{i-1} \cdot x$ 의 핵을 이용해 새로운 연산을 정의한다.
• 사이클 모듈의 호모토피 성질과 전이 사상을 사용하여, 스무스 스킴에 대한 연산이 분할 거듭제곱에 의해 생성됨을 증명한다.
• 제5.1조의推論을 적용하여 $x \mapsto x \cdot \{t\}$ 가 $M_*(k(t))/p$ 에서 단사임을 보장함으로써 분류를 확보한다.
• 환의 구조를 가진 사이클 모듈의 구조를 활용하여, 체에서의 결과를 스무스 스킴과 정수 연산으로 확장한다.

실험 결과

연구 질문

• RQ1 기본 체 $k_0$ 에 대해 체 확장과 가환하는 $K^\mathrm{M}_i/k \to K^\mathrm{M}_*/k$ 모듈로 $p$ 의 모든 연산의 완전한 대수적 구조는 무엇인가?
• RQ2 왜 표준적인 분할 거듭제곱 연산은 $k_0$ 에서 $-1$ 이 제곱근이 아닐 경우 mod 2 밀너 K-이론에서 잘 정의되지 않는가?
• RQ3 분할 거듭제곱이 잘 정의되지 않는 경우, 예를 들어 $\sqrt{-1}$ 가 없는 체 위의 mod 2 K-이론에서 연산을 어떻게 분류할 수 있는가?
• RQ4 전이 사상은 체 위의 스무스 스킴에 대한 정수 연산을 분류하는 데 어떤 역할을 하는가?
• RQ5 밀너 K-이론의 덧셈 연산은 비자명한가, 아니면 항등사상과 같은 간단한 경우로 줄어드는가?

주요 결과

• 모듈로 $p$ 에서 $p$ 가 홀수이고 $i \geq 2$ 가 짝수일 경우, 연산 대수 $K^\mathrm{M}_i/k \to K^\mathrm{M}_*/k$ 는 $n \geq 0$ 에 대해 $\gamma_n$ 에 의해 생성되는 자유 $K^\mathrm{M}_*(k_0)/p$-모듈이다.
• 모듈로 $p$ 에서 $p$ 가 홀수이고 $i \geq 1$ 이 홀수일 경우, 연산들은 $K^\mathrm{M}_*(k_0)/p$ 위에서 $\gamma_0$ 와 $\gamma_1$ 에 의해 생성된다.
• 모듈로 $p=2$ 이고 $i \geq 2$ 일 경우, 연산들은 $\gamma_0$, $\gamma_1$, 그리고 $n \geq 2$ 에 대해 $\mathrm{Ker}(\tau_i) \cdot \gamma_n$ 에 의해 생성되며, 여기서 $\tau_i(x) = \{-1\}^{i-1} \cdot x$ 이다.
• $-1$ 이 $k_0$ 에 제곱근일 경우 $\mathrm{Ker}(\tau_i) = K^\mathrm{M}_*(k_0)/2$ 이므로, 이 구조는 $K^\mathrm{M}_*(k_0)/2$ 위의 자유 모듈로 단순화된다.
• 체 위의 스무스 스킴에 대한 정수 연산에 대해, 연산 $K^\mathrm{M}_i/k \to H^0(-, M_*/p)$ 는 분할 거듭제곱에 의해 $H^0(X, M_*/p)$-모듈로 생성된다.
• 덧셈 연산 $K^\mathrm{M}_i \to M_*$ 는 모두 항등사상의 스칼라 배수임을 보여주는 정리 5.6에 의해 자명하다.