[논문 리뷰] Noncommutative motives, numerical equivalence, and semi-simplicity

Matilde Marcolli, Gonçalo Tabuada|arXiv (Cornell University)|2011. 05. 15.

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

한 줄 요약

이 논문은 호크시ลด 호몰로지를 통해 비가환 수치 모티프를 도입하며, 그것이 아벨이며 반단순임을 증명한다. 그는 그로텐디크의 수치 모티프 카테고리(테이트 트위스트를 모odulo한)를 비가환 수치 모티프로 완전 충실하게 통합하며, 웨일 호몰로지에 의존하지 않는 새로운 비가환 증명을 통해 장넨의 반단순성 정리에 도달한다.

ABSTRACT

In this article we further the study of the relationship between pure motives and noncommutative motives. Making use of Hochschild homology, we introduce the category NNum(k)_F of noncommutative numerical motives (over a base ring k and with coefficients in a field F). We prove that NNum(k)_F is abelian semi-simple and that Grothendieck's category Num(k)_Q of numerical motives embeds in NNum(k)_Q after being factored out by the action of the Tate object. As an application we obtain an alternative proof of Jannsen's semi-simplicity result, which uses the noncommutative world instead of a Weil cohomology.

연구 동기 및 목표

• 수치 모티프의 비가환 유사체를 개발하기 위해.
• 비가환 수치 모티프의 카테고리가 아벨이자 반단순임을 증명하기 위해.
• 웨일 호몰로지에 의존하지 않고, 비가환 기하학을 사용하여 장넨의 반단순성 결과에 대한 대체 증명을 제공하기 위해.
• 고전적 수치 모티프와 그 비가환 유사체 간의 관계를 명확히 하여, 샤우 모티프 통합의 비슷한 패턴을 반영하기 위해.

제안 방법

• 기저 환 $k$와 체 $F$를 갖는 비가환 수치 모티프의 카테고리 $\operatorname{NNum}(k)_F$를 구성하며, 교차 수를 정의하기 위해 호크시ลด 호몰로지를 사용한다.
• 두 대응의 교차 수를 공식 $\langle\underline{X} \cdot \underline{Y}\rangle := \sum_{i,j} a_i b_j [HH(\mathcal{A}; X_i \otimes^\mathbb{L}_\mathcal{B} Y_j)]$ 를 통해 $K_0(k)_F$ 안에서 정의한다.
• $\operatorname{Chow}(k)_\mathbb{Q}$ 와 $\operatorname{NChow}(k)_\mathbb{Q}$ 에서 테이트 객체 $\mathbb{Q}(1)$ 의 작용을 몫으로 취해 궤도 카테고리를 형성한다.
• 고전적 수치 모티프의 궤도 카테고리에서 비가환 수치 모티프의 카테고리로의 완전 충실한, $\mathbb{Q}$-선형이며, 덧셈적이고, 대칭 모노이드적 함자를 $R_\mathcal{N}$ 으로 구성한다.
• 궤도 카테고리 함수의 보존 성질을 이용하여, 궤도 카테고리에서의 동형사상이 원래 카테고리로 올라가 동형사상이 됨을 증명한다.
• 비가환 수치 모티프 카테고리 $\operatorname{NNum}(k)_\mathbb{Q}$ 내에서의 종말성 대칭 대수의 유한 차원성 특성을 활용하여, 고전적 경우에서도 종말성 대칭 대수가 유한 차원임을 유도한다.

실험 결과

연구 질문

• RQ1 그로텐디크의 수치 모티프 카테고리의 비가환 유사체가 존재하는가?
• RQ2 비가환 수치 모티프의 카테고리가 아벨이자 반단순인가?
• RQ3 웨일 호몰로지에 의존하지 않고, 비가환 방법을 사용하여 장넨의 수치 모티프 반단순성 정리를 재증명할 수 있는가?
• RQ4 테이트 트위스트를 모odulo한 후, 고전적 수치 모티프 카테고리와 그 비가환 유사체 간의 관계는 어떻게 되는가?

주요 결과

• 모든 체 $F$ 에 대해 비가환 수치 모티프의 카테고리 $\operatorname{NNum}(k)_F$ 는 아벨이며 반단순이다.
• 고전적 수치 모티프의 궤도 카테고리 $\operatorname{Num}(k)_\mathbb{Q}/_{\!\!-\otimes\mathbb{Q}(1)}$ 에서 비가환 수치 모티프의 카테고리 $\operatorname{NNum}(k)_\mathbb{Q}$ 로의 완전 충실한, $\mathbb{Q}$-선형이며, 덧셈적이고, 대칭 모노이드적 함자 $R_\mathcal{N}$ 이 존재하여 고전적 수치 모티프를 비가환 설정으로 통합한다.
• 두 대응의 교차 수는 호크시ลด 호몰로지를 통해 정의되며, 이는 유리점 수를 세는 비가환 유사체를 제공한다.
• $\operatorname{Num}(k)_\mathbb{Q}$ 의 임의의 대상의 종말성 대칭 대수는 유한 차원이며, 이는 $\operatorname{NNum}(k)_\mathbb{Q}$ 에의 통합과 그 안에서 종말성 대칭 대수의 유한 차원성의 결과이다.
• 장넨의 반단순성 결과의 증명이 비가환 세계에서 재구성되었으며, 웨일 호몰로지를 전혀 사용하지 않고, 오직 호크시ลด 호몰로지와 범주론적 구성만을 사용한다.
• 이 구성은 샤우 모티프와 수치 모티프 간의 정확한 비가환 일반화를 확립하며, 테이트 트위스트가 비교에서 중심적인 역할을 한다.