Schur finiteness and nilpotency (Q2565523)

Let \(\mathcal A\) be a pseudo-abelian tensor category. Any partition \(\lambda\) of an integer \(n\) gives a central idempotent \(d_{\lambda}\) in the group algebra \(Q\Sigma_n.\) Let \(S_{\lambda}(A)=d_{\lambda}(A^{\otimes n}).\) An object \(A\) of \(\mathcal A\) is called Schur-finite if there exists a partition \(\lambda\) such that \(S_{\lambda}(A)=0.\) An object \(A\) is called odd (resp. even) if \(S_{\lambda}(A)=0\) for \({\lambda}=(n)\) (resp. \({\lambda}=(1^n)\)). The object is called Kimura-finite if \(A=A_+ \oplus A_-\) with \(A_+\) even and \(A_-\) odd. Let \({\mathcal N}(A)\) denote the ideal of numerically trivial endomorphisms of an object \(A.\) It is known that \({\mathcal N}(A)\) is nilpotent if \(A\) is a Kimura-finite object [\textit{S.-I Kimura}, Math. Ann. 331, No. 1, 173--201 (2005; Zbl 1067.14006)]. Although the corresponding result is not true in general for Schur-finite objects, the authors prove that under some additional hypotheses on \(A\) (such objects are called special Schur-finite objects) it is true. As a consequence they prove that in the category of Chow motives, the Kimura-finitness, special Schur-finitness and the nilpotency of \(\text{CH}^{\text{ni}}(X^i\times X^i)_{\text{num}}\) for all \(i\) are all equivalent if \(X\) is a smooth projective variety satisfying the homological sign conjecture.