[논문 리뷰] Equivariant cycles and cancellation for motivic cohomology

Jeremiah Heller, Mircea Voineagu외 1명|arXiv (Cornell University)|2013. 04. 22.

Algebraic structures and combinatorial models참고 문헌 27인용 수 10

한 줄 요약

이 논문은 유한군 작용을 가진 스무스 스킴에 대해, 등변 Nisnevich 위상에서 등변 대응의 복합체의 초호모로지로 정의되는, 등변 고차 Chow 군의 개선된 형태인 Bredon 동역학 코homology를 소개한다. 주요 기여는 이러한 코homology 군에 대한 호모토피 불변성을 확보하는 Cancellation Theorem의 수립으로, 전통적인 동역학 코homology를 표현-중심의 불변량을 갖는 등변 설정으로 일반화한다.

ABSTRACT

We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of complexes of equivariant correspondences in the equivariant Nisnevich topology. We generalize the theory of presheaves with transfers to the equivariant setting and prove a Cancellation Theorem.

연구 동기 및 목표

• 유한군 작용을 가진 스킴로 Suslin과 Voevodsky의 동역학 코homology를 일반화하여, 전이를 갖는 프레샤프의 이론을 등변 설정으로 확장한다.
• 유한군 G의 표현으로 분류되는 Bredon 스타일의 동역학 코homology 이론을 구축하여, 등변 고차 Chow 군의 개선된 형태를 제공한다.
• 이 코homology 이론에 대해 Cancellation Theorem를 수립하여, 등변 맥락에서의 호모토피 불변성을 확보한다.
• 위상적 Bredon 코homology의 동역학적 유사체를 제공하며, 허미션 케이 이론과 등변 스펙트럴 시퀀스에 잠재적인 응용을 가능하게 한다.
• 새로운 코homology를 위상적 실현과 연결하고, 등변 Beilinson-Lichtenbaum 추측을 수립한다.

제안 방법

• 유한군 작용을 가진 스무스 G-스킴의 범주를 정의하고, 잔여체와 안정자에 대한 등변 Nisnevich 위상을 도입한다.
• 등변 전이를 갖는 프레샤프를 도입하여, G-스킴 간의 등변 대응으로 전이의 개념을 일반화한다.
• 등변 동역학 복합체 $\mathbb{Z}_G(n)$을 $\mathbb{A}^1$-특이 체인 복합체로 정의한다: $\mathbb{Z}_{tr,G}(\mathbb{P}(k[G]^n \oplus 1))/\mathbb{Z}_{tr,G}(\mathbb{P}(k[G]^n))$.
• 등변 Nisnevich 위상에서 $\mathbb{Z}_G(n)$의 초호모로지를 Bredon 동역학 코homology로 정의한다.
• 등변 Dold-Thom 정리와 유사하게, $\mathbb{Z}_G(n)$이 등변 Eilenberg-MacLane 스펙트럼의 역할을 한다고 본다.
• 등변 분류 정사각형의 구조를 이용하여, $\mathbb{G}_m^\sigma$와 표현 구면을 포함하는 스펙트럴 시퀀스와 준동형사상을 통해 Cancellation Theorem을 증명한다.

실험 결과

연구 질문

• RQ1 호모토피 불변성과 전이를 유지하면서, 어떻게 동역학 코homology를 유한군 작용을 가진 스무스 스킴으로 일반화할 수 있는가?
• RQ2 등변 맥락에서 동역학 복합체 $\mathbb{Z}(n)$의 적절한 등변 유사체는 무엇이며, $\mathbb{A}^1$-호모토피 하에서 어떻게 행동하는가?
• RQ3 클래식한 동역학 코hom로지의 결과와 유사하게, 등변 맥락에서 Cancellation Theorem를 수립할 수 있는가?
• RQ4 새로운 Bredon 동역학 코homology는 등변 고차 Chow 군과 위상적 Bredon 코homology와 같은 기존 이론과 어떻게 관련이 있는가?
• RQ5 부호 표현과 등변 $\mathbb{G}_m^\sigma$는 어떻게 취해져서 Cancellation 동형사상의 구성에 기여하는가?

주요 결과

• Cancellation Theorem가 성립한다: 임의의 스무스 $\mathbb{Z}/2$-스킴 $X$와 유한 차원 표현 $V$에 대해 자연 동형사상 $H^n_{GNis}(X, C_*\mathbb{Z}_{tr,G}(Y)) \cong H^n_{GNis}(X \wedge T^V, C_*\mathbb{Z}_{tr,G}(Y \wedge T^V))$ 가 존재한다.
• 코homology 군은 G의 표현으로 분류되며, 이는 정수-분류된 등변 고차 Chow 군의 개선된 형태임을 보여준다.
• Bredon 동역학 코homology에서 등변 고차 Chow 군으로 가는 비교 사상이 구성되며, 이는 기존 구성과의 일致성을 확인한다.
• 복합체 $C_*\mathbb{Z}_{tr,G}(\mathbb{G}_m^\sigma)$는 $C_*(\mathbb{Z}_{tr,G}(\mathbb{P}(\sigma \oplus 1))/\mathbb{Z}_{tr,G}(\mathbb{P}(\sigma))) \otimes_{tr} \mathbb{Z}_{top}(S^\sigma)$ 와 준동형사상이 존재하여, 동역학적 및 위상적 모델을 연결한다.
• 일부 조건 하에서 $\mathbb{Z}_G(n)$의 초호모로지가 직접 합으로 분해되며, 이는 등변 층이 기약 표현으로 분해됨을 반영한다.
• 이 이론은 Dugger의 스펙트럴 시퀀스의 동역학적 유사체를 지지하며, $K\mathbb{R}^{alg}$ 를 통한 허미션 케이 이론에의 응용 가능성을 시사한다.