[논문 리뷰] Motives with modulus

Bruno Kahn, Shuji Saito외 1명|arXiv (Cornell University)|2015. 11. 23.

Algebraic structures and combinatorial models참고 문헌 32인용 수 19

한 줄 요약

이 논문은 Voevodsky의 $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$를 확장하여 비호모토피 불변 현상을 포착할 수 있도록, 적절한 모듈러스 쌍—즉, 보편적 다양체와 그 보완이 스무스인 다발을 가진 쌍—으로부터 동모티프를 구성함으로써, 모듈러스를 갖는 동모티프의 삼등분 카테고리 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$를 도입한다. 주요 결과 중 하나는 특정 경우에 이러한 동모티프 간의 사상이 블로흐의 고차 호프 그룹과 대응된다는 것이다.

ABSTRACT

We construct and study a triangulated category of motives with modulus $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ over a field $k$ that extends Voevodsky's category $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ in such a way as to encompass non-homotopy invariant phenomena. In a similar way as $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of smooth $k$-varieties, $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of \emph{proper modulus pairs}, that is, pairs of a proper $k$-variety $X$ and an effective divisor $D$ on $X$ such that $X \setminus |D|$ is smooth. To a modulus pair $(X, D)$ we associate its motive $M(X, D) \in \mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$. In some cases the Hom group in $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ between the motives of two modulus pairs can be described in terms of Bloch's higher Chow groups.

연구 동기 및 목표

• Voevodsky의 삼등분 카테고리인 효과적 동모티프 $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$를 비호모토피 불변 현상을 포함하도록 확장한다.
• 적절한 모듈러스 쌍—즉, $X$가 $k$-다양체이고 $D$가 다발이며 $X \setminus |D|$가 스무스인 쌍 $(X,D)$—기반으로 새로운 카테고리 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$를 구성한다.
• 각 모듈러스 쌍 $(X,D)$에 대해 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ 내에서 동모티프 $M(X,D)$를 할당한다.
• 특정 경우에서 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ 내의 사상 군과 블로흐의 고차 호프 그룹 간의 연결 고리를 확립한다.

제안 방법

• 삼등분 카테고리의 프레임워크를 사용하여 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$를 구성하며, 이는 Voevodsky의 $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ 구성 방식과 유사하다.
• 카테고리 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$의 대상으로는 $X$가 보편적이고 $X \setminus |D|$가 스무스인 적절한 모듈러스 쌍 $(X,D)$에 관련된 동모티프 $M(X,D)$를 정의한다.
• 모듈러스 쌍 이론을 활용하여 특이점과 경계 행동에 대한 정보를 코딩함으로써, 비호모토피 불변 현상을 포착할 수 있도록 한다.
• 예비층과 전이를 이용한 이론 및 국소화 기법을 적용하여 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$에 삼등분 구조를 정의한다.
• 사이클 이론적 구성 방법을 통해 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ 내 사상 군과 블로흐의 고차 호프 그룹 간의 비교를 수립한다.
• 기존의 동모티프 이론과의 호환성을 확보하기 위해 $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$를 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$의 전순 삼등분 부분카테고리로 통합한다.

실험 결과

연구 질문

• RQ1 Voevodsky의 효과적 동모티프 카테고리는 비호모토피 불변 현상을 포함하도록 어떻게 확장될 수 있는가?
• RQ2 경계 행동과 특이점을 포착하는 동모티프 카테고리를 구성하기 위한 적절한 기하적 입력은 무엇인가?
• RQ3 모듈러스 쌍의 동모티프 간 사상은 블로흐의 고차 호프 그룹과 같은 대수적 사이클로 기술될 수 있는가?
• RQ4 새로운 카테고리 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$는 고전적 카테고리 $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$와 어떻게 관련이 있는가?
• RQ5 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$는 삼등분 또는 국소화 성질과 같은 어떤 구조적 성질을 갖는가?

주요 결과

• 카테고리 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$는 비호모토피 불변 현상을 포함하도록 $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$를 확장하는 삼등분 카테고리로 구성된다.
• 보편적 모듈러스 쌍 $(X,D)$—여기서 $X$는 보편적 $k$-다양체이고 $D$는 $X \setminus |D|$가 스무스인 다발인 쌍—에 대해 동모티프가 할당된다.
• 카테고리 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$는 Voevodsky의 방식과 유사한 프레임워크를 사용하지만, 보편적 모듈러스 쌍의 카테고리에 기반한다.
• 특정 경우에, $\mathrm{Hom}_{\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}}(M(X,D), M(Y,E))$는 적절한 $r$과 $i$에 대해 블로흐의 고차 호프 그룹 $\mathrm{CH}^r(X \setminus |D|, 2r - i)$와 동형이다.
• $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$는 $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$의 전순 삼등분 부분카테고리로 통합되어 고전적 모티브적 구조를 유지한다.
• 이 이론은 경계 자료가 다발 $D$에 의해 직접적으로 모티브적 구조에 영향을 주는 프레임워크를 제공하며, 불변하지 않은 현상의 연구를 가능하게 한다.