[논문 리뷰] Finite Chow-Witt correspondences

Baptiste Calmès, Jean Fasel|arXiv (Cornell University)|2014. 12. 09.

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

한 줄 요약

이 논문은 특성 ≠ 2인 완전체 위에서 유한 MW-대응 관계의 범주를 도입하며, 차우-위트 군과 이차 데이터를 통합함으로써 베도브스키의 유한 대응 관계를 일반화한다. 이는 고전적 모티브 코homology를 음수 q-등수로 확장하는 MW-모티브 코homology 군을 정의하며, 그들은 게르스텐-위트 복합체의 코homology와 일치함을 보이고, 유한 생성 체 확장에 沿한 기본 변화가 MW-대응 관계에 대해 동형을 유도함을 증명한다.

ABSTRACT

We introduce the category of finite Chow-Witt correspondences over a perfect field k of characteristic not 2. We then use them to define bigraded generalized motivic cohomology groups of a smooth scheme over k and begin the study of their relationship with ordinary motivic cohomology groups.

연구 동기 및 목표

• 베도브스키의 유한 대응 관계 범주를 차우-위트 군의 이차 데이터를 통합하여 일반화하기 위해.
• 유한 전순사 사상과 상대 캐논리컬 번들의 자명화를 위한 전이를 지원하는 새로운 범주인 유한 MW-대응 관계를 정의하기 위해.
• 고전적 모티브 코homology를 음수 q-등수로 확장하는 MW-모티브 코호몰로지 군을 구성하기 위해.
• MW-모티브 코호몰로지의 기본 성질, 특히 기본 변화와 트레이스 사상 등을 확립하기 위해.
• 아티야-히르체브루흐 유형 스펙트럴 시퀀스를 통한 허미트 K-이론과 안정적 호모토피 층 연구에 응용하기 위한 기초를 마련하기 위해.

제안 방법

• 지지가 있는 차우-위트 군 $\widetilde{\mathrm{CH}}^d_T(X \times Y, \omega_Y)$ 를 사용하여 범주 $\widetilde{\mathrm{Cor}}_k$ 를 정의한다.
• 고전적 대응 관계 함자를 인자화하는 함자 $\mathrm{Sm}_k \to \widetilde{\mathrm{Cor}}_k \to \mathrm{Cor}_k$ 를 구성한다.
• MW-모티브 코호몰로지 군 $\mathrm{H}^{p,q}_{\mathrm{MW}}(X, \mathbb{Z})$ 를 $X$ 위의 복합체 층의 초코호몰로지로 정의한다.
• 게르스텐-위트 복합체를 사용하여 음수 q-등수에서의 MW-코호몰로지가 이 복합체의 코호몰로지와 일치함을 확인한다.
• 유한 생성 체 확장 $L/k$ 에 대해 기본 변화 동형 $\Psi_{L/k}: \widetilde{\mathrm{Cor}}_k(X_L, Y) \xrightarrow{\sim} \widetilde{\mathrm{Cor}}_L(X_L, Y_L)$ 을 확립한다.
• 기본 변화와 트레이스 사상의 합성 $\mathrm{tr}_{L/k} \circ \mathrm{bc}_{L/k}$ 가 $\mathrm{K}^\mathrm{MW}_0(k)$ 에서의 트레이스 형식에 대한 곱셈으로 작용함을 증명한다.

실험 결과

연구 질문

• RQ1 베도브스키의 유한 대응 관계 범주를 차우-위트 군의 이차 데이터를 통합하여 어떻게 일반화할 수 있는가?
• RQ2 매끄러운 스킴 $X$ 와 정수 $p,q$ 에 대해 MW-모티브 코호몰로지 군 $\mathrm{H}^{p,q}_{\mathrm{MW}}(X, \mathbb{Z})$ 의 구조는 어떠한가?
• RQ3 유한 생성 체 확장에 沿한 기본 변화에 대해 MW-모티브 코호몰로지 군은 어떻게 행동하는가?
• RQ4 음수 q-등수에서 MW-모티브 코호몰로지와 게르스텐-위트 복합체 사이의 관계는 어떠한가?
• RQ5 MW-모티브 코호몰로지가 더 높은 그로텐디크-위트 군을 계산하는 아티야-히르체브루흐 스펙트럴 시퀀스의 기초로 기능할 수 있는가?

주요 결과

• 차우-위트 군의 이차 데이터를 통합함으로써 $\mathrm{Cor}_k$ 를 확장하는 범주 $\widetilde{\mathrm{Cor}}_k$ 가 유한 MW-대응 관계로 정의된다.
• MW-모티브 코호몰로지 군 $\mathrm{H}^{p,q}_{\mathrm{MW}}(X, \mathbb{Z})$ 는 $q < 0$ 에서 비자명하며, 이 범위에서 게르스텐-위트 복합체의 코호몰로지와 동형이다.
• 모든 유한 생성 체 확장 $L/k$ 에 대해 기본 변화 사상 $\Psi_{L/k}: \widetilde{\mathrm{Cor}}_k(X_L, Y) \xrightarrow{\sim} \widetilde{\mathrm{Cor}}_L(X_L, Y_L)$ 는 동형이다.
• MW-코호몰로지 위에서 기본 변화와 트레이스 사상의 합성은 $\mathrm{K}^\mathrm{MW}_0(k)$ 에서의 트레이스 형식에 대한 곱셈으로 작용한다.
• MW-전이를 가진 층은 고전적 전이를 가진 층뿐만 아니라 $\mathbf{K}^\mathrm{MW}_n$ 과 $\mathbf{H}^\mathrm{A}^1_i(\mathbb{G}_m^{\wedge n})$ 과 같은, 고전적 전이를 갖지 않는 층도 포함한다.
• 범주 $\widetilde{\mathrm{Cor}}_k$ 에서 생성된 유도 범주 $\widetilde{\mathrm{DM}}(k)$ 는 고전적 $\mathrm{DM}(k)$ 보다는 $\mathrm{D}_{\mathbb{A}^1}^\mathrm{eff}(k)$ 에 더 가까운데, 이는 보다 정교한 모티브 호모토피 이론을 시사한다.