[논문 리뷰] Relations between the Chow motive and the noncommutative motive of a smooth projective variety

Marcello Bernardara, Gonçalo Tabuada|arXiv (Cornell University)|2013. 03. 13.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 3

한 줄 요약

이 논문은 체 위의 매끄럽고 사영적인 다양체의 초모티프와 비가환 모티프 사이의 정확한 관계를 설정한다. 비가환 모티프가 유닛 유형일 경우(유닛 모티프의 직합), 초모티프는 레프셰츠 유형임을 증명하며, 기존의 함의 관계의 역이 성립하는지를 묻는 핵심 질문에 답한다. 이 결과는 계수 환에 대해 약간의 조건을 만족할 경우 성립하며, 이는 R가 주 이상수환이거나 1/(2d)!를 포함할 경우를 포함한다.

ABSTRACT

In this note we relate the notions of Lefschetz type, decomposability, and isomorphism, on Chow motives with the notions of unit type, decomposability, and isomorphism, on noncommutative motives. Examples, counter-examples, and applications are also described.

연구 동기 및 목표

• 레프셰츠 유형의 초모티프에서 유닛 유형의 비가환 모티프로 가는 함의의 역이 성립하는지 확인하는 것.
• 초모티프와 비가환 모티프의 분해 가능성 간의 관계를 조사하는 것.
• 초모티프의 동형이 비가환 모티프의 동형을 유도하고, 그 반대도 성립하는지 검토하는 것.
• 비가환 모티프가 유닛 유형일 경우 초모티프가 레프셰츠 유형이 되는 조건을 제공하는 것.
• 모티프의 대수적 구조와 K-이론, 초환 등의 기하학적 불변량 사이의 정확한 연결 고리를 설정하는 것.

제안 방법

• 매끄럽고 사영적인 다양체 위의 완전 복합체의 대수적 불변량을 연결하기 위해 dg 범주에서 비가환 모티프로 가는 일반적인 가환 불변량 함자 $ U(-)_{R} $ 를 사용한다.
• 모티프의 자기 사상환을 비교하기 위해 포함 함수 $ \theta $ 와 사영 함수 $ \theta: \text{Chow}(k)_{R} \to \text{Chow}(k)_{R}/_{-\bigotimes R(1)} $ 를 적용한다.
• 비가환 설정에서의 모티프 분해를 유도하기 위해 $ \mathrm{perf}(X) $ 의 반정규 분해를 활용한다.
• 지역화된 범주에서의 동형을 확립하기 위해 카르탕 특성식의 동형 $ K_0(X)_{R[1/(2d)!]} \to \bigoplus_{i} CH^i(X)_{R[1/(2d)!]} $ 를 적용한다.
• 비가환 모티프의 텐서곱을 직합으로 연결하기 위해 $ U(-)_{R} $ 의 대칭 모노이드 구조를 활용한다.
• 알gebraic K-이론과 순환 호모로지의 결과를 적용하여, $ R $ 가 주 이상수환이거나 $ 1/(2d)! \in R $ 와 같은 약간의 가정 하에, 유닛 유형의 비가환 모티프가 레프셰츠 유형의 초모티프를 유도함을 보인다.

실험 결과

연구 질문

• RQ1 레프셰츠 유형의 초모티프에서 유닛 유형의 비가환 모티프로 가는 함의의 역이 성립하는가?
• RQ2 초모티프와 비가환 모티프의 분해 가능성 성질은 어떻게 관련되어 있는가?
• RQ3 초모티프의 동형이 비가환 모티프의 동형을 유도하고, 그 반대도 성립하는가?
• RQ4 비가환 모티프가 유닛 유형일 경우 초모티프가 레프셰츠 유형이 되는 조건은 무엇인가?
• RQ5 지역화된 범주 $ \text{Chow}(k)_{R[1/(2d)!]} $ 에서 초모티프와 비가환 모티프의 자기 사상환 간의 정확한 관계는 무엇인가?

주요 결과

• 논문은 비가환 모티프 $ U(\mathrm{perf}_{\mathsf{dg}}(X))_{R} $ 가 유닛 유형일 경우(즉, 유닛 모티프의 직합일 경우), $ \mathbb{Z} \subseteq R $ 이고 모든 유한 생성 프로젝티브 $ R[1/(2d)!] $-모듈러가 자유임을 가정할 때, 초모티프 $ M(X)_{R} $ 는 레프셰츠 유형임을 증명한다.
• 이 역 함의는 $ R $ 가 주 이상수환이거나 $ 1/(2d)! $ 를 포함할 경우 성립하며, 이는 비가환 모티프가 유닛 유형이면 초모티프가 레프셰츠 유형이 되는 정확한 조건을 제공한다.
• 완전한 포함 함수 $ \theta $ 를 통해 지역화된 범주 $ \text{Chow}(k)_{R[1/(2d)!]} $ 에서 비가환 모티프의 자기 사상환과 초모티프의 자기 사상환이 서로 동형임을 보이며, 핵심적인 대수적 연결 고리를 확립한다.
• 카르탕 특성식은 $ K_0(X)_{R[1/(2d)!]} \to \bigoplus_{i=0}^{d} CH^i(X)_{R[1/(2d)!]} $ 에서 동형을 유도하며, 이는 지역화된 설정에서의 모티프 동형을 증명하는 데 필수적이다.
• 반정규 분해로부터 유도된 모티프 분해 $ U(\mathrm{perf}_{\mathsf{dg}}(X))_{R} \simeq \bigoplus_{i=0}^{d-1} U(\underline{A}^{\bigotimes i})_{R} $ 는 주어진 조건 하에 초모티프 분해로 올라간다.
• 지역화된 범주 $ \text{Chow}(k)_{R[1/(2d)!]} $ 에서 $ M(X)_{R} \simeq M(Y)_{R} \Rightarrow U(\mathrm{perf}_{\mathsf{dg}}(X))_{R} \simeq U(\mathrm{perf}_{\mathsf{dg}}(Y))_{R} $ 의 함의가 성립하며, 이는 $ 1/(2d)! \in R $ 라는 가정 하에 성립한다.