[논문 리뷰] Higher Chow groups with modulus and relative Milnor K-theory

Kay Rülling, Shuji Saito|arXiv (Cornell University)|2015. 04. 10.

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

한 줄 요약

이 논문은 미분형식이 단순 정규교차를 가진 매끄러운 다양체 $X$와 그 위의 단순 정규교차 분할자 $D$에 대해, Nisnevich 모티브 복합체에서 상대 Milnor $K$-층으로의 명시적 사이클 맵을 구성하며, $i \geq \dim X$ 차수에서 모티브 코hom로지와 상대 Milnor $K$-층의 코호몰로지 사이에 동형을 증명한다. 이 결과는 $D=0$일 때의 고전적 동형을 일반화하며, $({\mathbb{A}}^1_k, (m+1)\{0\})$의 모티브 코호몰로지에 대한 자리지적 내림내림 성질을 확립하여, 추가 카우프만 군과 큰 de Rham-Witt 복합체와 연결한다.

ABSTRACT

Let X be a smooth variety over a field k and D an effective divisor whose support has simple normal crossings. We construct an explicit cycle map from the r-th Nisnevich motivic complex of the pair (X,D) to a shift of the r-th relative Milnor K-sheaf of (X,D). We show that this map induces an isomorphism for all i greater or equal the dimension of X between the motivic Nisnevich cohomology of (X,D) in bidegree (i+r,r) and the i-th Nisnevich cohomology of the r-th relative Minor K-sheaf of (X,D). This generalizes the well-known isomorphism in the case D=0. We use this to prove a certain Zariski descent property for the motivic cohomology of the pair (\A^1_k, (m+1){0}).

연구 동기 및 목표

• 모듈러스가 있는 쌍 $(X,D)$에 대해, $D$가 단순 정규교차를 가질 때, 모티브 코호몰로지와 Milnor $K$-이론 사이의 고전적 동형을 일반화한다.
• 절대 Milnor $K$-층 ${\mathcal{K}}^{M}_{r,X}$의 부분층으로서 상대 Milnor $K$-층 ${\mathcal{K}}^{M}_{r,X|D}$를 정의하고 연구한다.
• Nisnevich 모티브 복합체 $\mathbb{Z}(r)_{X|D,\mathrm{Nis}}$에서 이동된 상대 Milnor $K$-층으로의 사이클 맵을 구축하고, 고차수에서의 동형을 증명한다.
• 모듈러스가 있는 쌍 $({\mathbb{A}}^1_k, (m+1)\{0\})$의 모티브 코호몰로지에 대해 자리지적 내림내림 성질을 증명하며, 이를 추가 카우프만 군과 큰 de Rham-Witt 복합체와 연결한다.

제안 방법

• 분할자 $D$에 의해 유도되는 필터레이션을 통해, 모듈러스가 있는 스킴에서의 Milnor $K$-층의 구조를 이용하여, ${\mathcal{K}}^{M}_{r,X|D}$를 ${\mathcal{K}}^{M}_{r,X}$의 부분층으로 구성한다.
• 사이클에 모듈러스 조건이 만족되는 큐빅 사이클 복합체의 이동으로 Nisnevich 모티브 복합체 $\mathbb{Z}(r)_{X|D,\mathrm{Nis}}$를 정의한다.
• Nisnevich 층의 유도 범주에서 명시적 사이클 맵 $\phi^{r}_{X|D,\mathrm{Nis}}: \tau_{\geq r}\mathbb{Z}(r)_{X|D,\mathrm{Nis}} \to {\mathcal{K}}^{M}_{r,X|D,\mathrm{Nis}}[-r]$을 구성한다.
• 사이클 맵이 모든 $i \geq \dim X$에 대해 $H^{i+r}_{{\mathcal{M}},\mathrm{Nis}}(X|D,\mathbb{Z}(r)) \cong H^i(X_{\mathrm{Nis}}, {\mathcal{K}}^{M}_{r,X|D,\mathrm{Nis}})$ 를 유도함을 증명하며, 이는 $D=0$일 때의 고전적 경우를 일반화한다.
• 호모토피 불변성과 차원 추론을 이용하여, 특히 $({\mathbb{A}}^1_k, (m+1)\{0\})$의 경우에 대해 특정 모티브 코호몰로지 군의 영성과, 자리지적 내림내림 성질을 확립한다.
• 동형과 영성 결과를 통해, $({\mathbb{A}}^1_k, (m+1)\{0\})$의 모티브 코호몰로지를 추가 카우프만 군과 큰 de Rham-Witt 복합체와 연결한다.

실험 결과

연구 질문

• RQ1 단순 정규교차 분할자를 가진 쌍 $(X,D)$의 모티브 코호몰로지에서 상대 Milnor $K$-층으로 가는 자연스러운 사이클 맵이 존재하는가? 이는 $D=0$일 때의 고전적 동형을 일반화하는가?
• RQ2 $({\mathbb{A}}^1_k, (m+1)\{0\})$의 모티브 코호몰로지는 상대 Milnor $K$-층과 추가 카우프만 군을 통해 기술될 수 있는가?
• RQ3 분할자가 모듈러스를 가진 쌍 $({\mathbb{A}}^n_k, D)$에 대해, 모티브 코호몰로지는 자리지적 내림내림 성질을 어떻게 보이는가?
• RQ4 추가 K-이론의 맥락에서 상대 Milnor $K$-층 ${\mathcal{K}}^{M}_{r,X|D}$는 큰 de Rham-Witt 복합체와 어떻게 관련이 있는가?
• RQ5 고차수에서 $({\mathbb{A}}^n_k, D)$의 모티브 코호몰로지에 대해 어떤 영성 정리가 성립하며, 이는 자리지적 내림내림 성질을 어떻게 유도하는가?

주요 결과

• 분할자 $D_{\mathrm{red}}$가 단순 정규교차를 가질 때, Nisnevich 층의 유도 범주에서 사이클 맵 $\phi^{r}_{X|D,\mathrm{Nis}}: \tau_{\geq r}\mathbb{Z}(r)_{X|D,\mathrm{Nis}} \to {\mathcal{K}}^{M}_{r,X|D,\mathrm{Nis}}[-r]$이 구성되었으며, 이는 동형임을 증명하였다.
• 모든 $i \geq \dim X$에 대해 $H^{i+r}_{{\mathcal{M}},\mathrm{Nis}}(X|D,\mathbb{Z}(r)) \cong H^i(X_{\mathrm{Nis}}, {\mathcal{K}}^{M}_{r,X|D,\mathrm{Nis}})$ 이 성립하며, 이는 $D=0$일 때의 고전적 동형을 일반화한다.
• $({\mathbb{A}}^1_k, (m+1)\{0\})$의 모티브 코호몰로지는 자리지적 내림내림 성질을 만족하며, $n \geq 2$ 및 $\mathfrak{m} \in ({\mathbb{N}}_{\geq 1})^n$일 때, $H^{r+d+n}_{{\mathcal{M}},\mathrm{Nis}}(X\times{\mathbb{A}}^n|p^*D+E_{\mathfrak{m}}, \mathbb{Z}(r))$ 가 영이 됨을 보였다.
• $\mathrm{CH}^{r}(X\times{\mathbb{A}}^n|p^*D+E_{\mathfrak{m}}, r-(d+n))$ 는 $n \geq 2$일 때 영이 되며, 이는 자연스러운 사상이 모티브 코호몰로지로의 동형임을 시사한다.
• 상대 Milnor $K$-층 ${\mathcal{K}}^{M}_{r,X|D}$ 는 $\omega^{r-1}_{\mathfrak{n},\nu}/B^{r-1}_{s+1,\mathfrak{n},\nu}$ 의 연속적 확장임을 보였으며, 이는 코homological 영성에 대한 스펙트럴 시퀀스 추론에 활용할 수 있다.
• $H^{d+1}(X_{\nu}\times{\mathbb{A}}^1, \omega^{r-1}_{\mathfrak{n},\nu})$ 의 영성은 Leray 스펙트럴 시퀀스와 차원적 이유로 증명되었으며, 이는 내림내림 성질을 위한 핵심 영성 결과를 입증한다.