Motivic zeta functions in additive monoidal categories
type: Item
instance of: scholarly article
title: Motivic zeta functions in additive monoidal categories
zbMATH Open document ID: 1271.14009
author: Shun-Ichi Kimura
author: Nobuyoshi Takahashi
author: Kenichiro Kimura
publication date: 2012-08-27T00:00:00Z
Mathematics Subject Classification ID: 14C15
Mathematics Subject Classification ID: 14G10
Mathematics Subject Classification ID: 19D23
zbMATH DE Number: 6072568
zbMATH Keywords: motivic zeta function
zbMATH Keywords: monoidal category
zbMATH Keywords: rationality
MaRDI profile type: MaRDI publication profile
full work available at URL: is011011006jkt174
OpenAlex ID: W2107811318
cites work: POWER OPERATIONS IN K-THEORY
cites work: Intersection theory on algebraic stacks and on their moduli spaces
cites work: Schur functors and motives
cites work: Chow groups are finite dimensional, in some sense
cites work: Rationality criteria for motivic zeta functions
DOI: 10.1017/IS011011006JKT174
published in: Journal of \(K\)-Theory
review text: Let \({\mathcal M}_{\text{rat}}(k)\) be the category of pure Chow motives; with \(\mathbb Q\)-coefficients, over a field \(k\). A motive \(M\in{\mathcal M}_{\text{rat}}(k)\) is finite-dimensional if \(M= M^+\oplus M^-\), with \(\bigwedge^N M^+= 0\) and \(\text{Sym}^N M^-= 0\) for some \(N\gg 0\). Let \(K_0({\mathcal M}_{\text{rat}}(k))\) be the quotient of the free abelian group generated by \([M]\), for \(M\in{\mathcal M}_{\text{rat}}(k)\), modulo the relations \([M_1\oplus M_2]= [M_1]+ [M_2]\). Let \({\mathcal V}^\pm\) be the tensor category of super vector spaces, i.e., the category of \(\mathbb{Z}/2\mathbb{Z}\)-graded vector spaces. Let \({\mathcal P}_k\) be the category of smooth projective variety over \(k\); the functors \(h:{\mathcal P}_k\to{\mathcal M}_{\text{rat}}(k)\) and \(\Phi:{\mathcal M}_{\text{rat}}(k)\to sV^\pm\), with \(\Phi(M)= H^*(M)\) give rise to natural ring homomorphisms NEWLINE\[NEWLINEK_0({\mathcal P}_k)\to K_0({\mathcal M}_{\text{rat}}(k)\to K_0({\mathcal V}^\pm).NEWLINE\]NEWLINE If \(M\in{\mathcal M}_{\text{rat}}(k)\) is a finite-dimensional motive, then its motivic zeta function NEWLINE\[NEWLINE\sum_{0\leq n\leq\infty} [\text{Sym}^n M] t^n\in K_0({\mathcal M}_{\text{rat}}(k))NEWLINE\]NEWLINE is a rational function because NEWLINE\[NEWLINE\sum_{0\leq n\leq\infty} [\text{Sym}^n M]t^n= {\sum_{0\leq n\leq N}[\text{Sym}^n M^-] t^n\over \sum_{0\leq n\leq N}[\bigwedge^n M^+](-t)^n}.NEWLINE\]NEWLINE In order to study finite-dimensionality and the motivic zeta function in a triangulated category of mixed motives one has to consider the more general definition of Schur finiteness, which has the two-out-of-three property, i.e if \(M_1\to M_2\to M_3\to M_1[1]\) is a distinguished triangle with two of the \(M_i\)'s Schur finite, then the third is also Schur finite. An object \(X\), in a \(\mathbb{Q}\)-linear, pseudo-abelian, symmetric, monoidal category \({\mathcal C}\) is Schur finite if there exists a partition, or a Young diagram, \(\lambda\) such…
reviewed by: Claudio Pedrini
description: scientific article; zbMATH DE number 6072568