Bloch Suslin 복합과 강한 에이원 불변성의 불가능성

초록

본 논문은 차수가 0인 완전체 k 위의 스키마 범주 Smₖ에서 Bloch‑Suslin 복합에 등장하는 군 P와 A를 강하게 A¹‑불변인 Nisnevich 층으로 확장할 수 없음을 증명한다. 특히 Gₘ와 Gₘ∧2 로부터의 전통적인 기호 사상을 보존하려는 시도가 불가능함을 보이며, 이 결과는 Milnor‑Witt K‑이론의 보편성 정리와 결합된 새로운 대수적 위상학적 장애를 제시한다.

상세 분석

논문은 먼저 Morel‑Voevodsky의 A¹‑동형론에서 사용되는 강한 A¹‑불변성(strongly A¹‑invariant)과 엄격한 A¹‑불변성(strictly A¹‑invariant)의 정의를 상기한다. 이 두 개념은 Nisnevich 위상에서의 코호몰로지 군 Hⁱₙᵢₛ(X; G)가 A¹ × X와 동형인지를 판단하는 기준이며, Milnor‑Witt K‑이론 K^{MW}_n 은 이러한 성질을 만족하는 대표적인 예시이다. 특히 정리 2.3에 의해 Gₘ∧ⁿ → K^{MW}_n 의 기호 사상 σₙ 은 모든 강한 A¹‑불변 층으로의 사상 중 보편성을 가진다.

Bloch‑Suslin 복합은 두 단계로 구성된다. 첫 단계는 필드 F에 대해 자유 아벨 군 ℤ