노리 동기식 사상 두 이론의 비교와 통합

초록

이 논문은 Ivorra–Morel과 Ayoub이 각각 제시한 두 가지 노리 동기식 사상 이론이 동일한 범주를 제공한다는 것을 보인다. 6함수 형식과 타낙카이 이론을 활용해 두 이론 사이의 정준 동형을 구축하고, 이를 통해 Voevodsky 동기식 사상을 노리 동기식 사상으로 실현하는 새로운 실현 사상 체계를 얻는다.

상세 분석

본 논문은 먼저 Nori 동기식 사상의 두 주요 구축 방식—Ivorra–Morel이 제시한 보편적 성질을 기반으로 한 범주와 Ayoub이 동기식 갈루아군의 표현을 이용한 범주—을 상세히 정리한다. 두 접근법은 각각 ‘보편적 아벨 범주’를 강조하거나 ‘동기식 갈루아군 행동’을 강조함으로써 서로 다른 기술적 장점을 가진다. 저자는 이러한 차이를 극복하기 위해 6함수 형식(six functor formalism)을 전면에 두고, 특히 베일린의 퍼버스(t‑structure)와 Beilinson의 동등성을 핵심 도구로 삼는다.

핵심 단계는 다음과 같다. 첫째, Voevodsky 동기식 사상에서 베타 실현(Betti realization)과 기하학적 기원(geometric origin)의 구성 복합체 Dᵦᵍᵉᵒ(X)를 정의하고, 이 위에 퍼버스 t‑구조를 부여한다. 둘째, Ayoub이 구축한 동기식 갈루아군 G_A^mot(k)의 작용이 Dᵦᵍᵉᵒ(X)와 호환됨을 보이며, 이 작용을 고정점(homotopy‑fixed points)으로 취한 범주 Dᵦᵍᵉᵒ(X)^{G_A^mot(k)}가 ‘동기식 퍼버스’ 범주의 후보가 됨을 확인한다. 셋째, Ivorra–Morel식 범주 M(X)는 Dᵦᵍᵉᵒ(X)^{G_A^mot(k)}에 대한 퍼버스 심장(perverse heart)으로 식별될 수 있음을, 타낙카이 이론을 이용해 정확히 증명한다. 여기서 중요한 것은 G_A^mot(k) 작용이 t‑exact하다는 사실이며, 이는 Beilinson의 고전적 증명 방식을 G_A^mot(k)‑불변 버전으로 끌어올린 결과이다.

그 후 저자는 두 범주 사이의 비교 사상 o_X: M(X) → Pervᵍᵉᵒ(X)^{G_A^mot(k)}를 보편적 성질을 이용해 정의하고, 파생 범주 수준에서 Dᵇ(M(X)) → Dᵇᵍᵉᵒ(X)^{G_A^mot(k)}가 동등함을 보인다. 이 동등성은 Noetherian 귀납법과 ‘밀집 열린 부분집합’에 대한 2‑colimit 기술을 통해 일반적인 X에 대해 확장된다. 특히, X가 매끄러운 연결된 k‑다양체일 때는 두 범주의 타낙카이 이중군이 동일한 기본 정확한 서열을 공유함을 이용해, G_N^mot(X,x)와 G_A^mot(X,x) 사이의 차이를 π₁^{geo}(X,x)라는 기하학적 기본군을 통해 정확히 기술한다.

결과적으로, 논문은 모든 k‑다양체 X에 대해 Dᵇ(M(X))와 Dᵇᵍᵉᵒ(X)^{G_A^mot(k)}가 6함수와 호환되는 정준 동형을 갖는다는 ‘비교 정리’를 증명한다. 이 정리는 기존에 Tubach가 다른 방법으로 구축한 Voevodsky 동기식 사상의 Nori 실현 사상을 새로운 관점에서 재구성하고, 두 이론 사이의 완전한 일치를 제공한다.