Fermat motives and the Artin-Tate formula. II (Q1187005)

[For part I of this paper see the preceding review.] Let \(X\) be the Fermat variety over \(k=\mathbb{F}_ q\), \(q=p^ h\), of dimension \(n=2r\) and degree \(m\). The group \(G=(\mu_ m)^{n+2}/(diag)\) acts naturally on \(X_{\bar k}=X\otimes\bar k\). One identifies the character group \(\hat G\) with \((\mathbb{Z}/m)^{n+2}\) such that \(\sum^{n+1}_{i=0}a_ i=0\), \(a_ i\in\mathbb{Z}/m\). \({\mathfrak A}\subset\hat G\) consists of all \({\mathbf a}=(a_ 0,\ldots,a_{n+1})\in\hat G\) such that \(a_ i\neq 0\) for all \(i=0,\ldots,n+1\). An orbit \(A\subset{\mathfrak A}\) under the \((\mathbb{Z}/m)^ \times\)-action on \(\hat G\) defines a projector \(p_ A\) on \(X\), thus a motive over \(k\), the so-called Fermat submotive \(M_ A=(X,p_ M)\) of \(X\). Several Artin-Tate-Milne formulas on the cohomology \(H^ n(M_ A,\mathbb{Z}_ \ell(r))\), \(H^ n(M_ A,\mathbb{Z}_ p(r))\), \(H^{n+1}(M_ A,\mathbb{Z}_ \ell(r))\), \(H^{n+1}(M_ A,\mathbb{Z}_ p(r))\) as well as the \(\ell\)- (resp. \(p\)-)torsion of the Brauer group \(Br(M_ A)\) are reminded. The distinction between supersingular and non-supersingular \(M_ A\) is crucial. Combined with work of Iwasawa a result for Jacobi sums can be derived. If one assumes the validity of the Tate conjecture for \(X\) and the surjectivity of the cycle map \(CH^ r(X)\otimes_ \mathbb{Z}\mathbb{Z}_ \ell\to H^ n(X_{\bar k},\mathbb{Z}_ \ell)^{Gal(\bar k/k)}\), for all primes \(\ell\) with \((\ell,m)=1\), then \(\text{det} N^ r(X_{\bar k})\), where \(N^ r(X_{\bar k})\) denotes the group of numerical equivalence classes of algebraic cycles on \(X_{\bar k}\) of codimension \(r\), divides a power of \(mp\). Moreover, if \(X\) is ordinary, i.e. \(p\equiv 1\bmod m\), then \(\text{det} N^ r(X_{\bar k})\) divides a power of \(m\). A similar statement holds for the Néron-Severi groups \(NS(X)\) and \(NS(X_{\bar k})\).