Zeta functions, Grothendieck groups, and the Witt ring. (English) Zbl 1337.11024

Ramachandran, Niranjan

Bull. Sci. Math. 139, No. 6, 599-627 (2015).

This is a well-written paper on zeta-functions, Grothendieck groups, motivic measures and the Witt ring. For any commutative ring \(A\) with identity denote the big Witt ring with addition and with the multiplication \(\ast\) by \( W(A)\). For any natural \(n\) there are a Frobenius ring homomorphsm \(F_n:W(A)\to W(A)\) and an additive Verschiebung ring homomorphism \(V_n:W(A) \to W(A)\). Let \(k\) be a field. By \(GK_k\) the author of the paper under review denotes the Grothendieck ring \(K_0(\mathrm{Var}_k)\) of schemes of finite type over \(k\).
The author proves the following. Theorem 2.1: Let \(X\) and \(Y\) be schemes of finite type over \(\mathbb F_q\).
(i) The zeta function of the product \(X\times Y\) is the Witt product of the zeta functions of \(X\) and \(Y\). In particular, \(Z(X^n,t)=Z(X,t)\ast\cdots\ast Z(X,t)\).
(ii) The map \(\kappa:GK_{\mathbb F_q}\to W(\mathbb Z)\) is a ring homomorphism. Hence \(X\mapsto Z(X,t)\) is a motivic measure.
(iii) If \(X\to B\) is a (Zariski locally trivial) fiber bundle with fibre \(F\), namely, there is a covering of \(B\) by Zariski opens \(U\) with \(X\times_BU\) isomorphic to \(U\times_{\mathrm{Spec }\mathbb F_q}F\), then \(Z(X, t)=Z(B,t)\ast Z(F,t)\).
(iv) For any \(m\in\mathbb N\), let \(X_m\) be the variety over \(\mathbb F_{q^m}\) obtained by base change along \(b:\mathbb F_q\to\mathbb F_{q^m}\). One has \(Z(X_m/\mathbb F_{q^m},t)=F_mZ(X/\mathbb F_q,t)\).
(v) One has a commutative diagram of ring homomorphisms with upper \(b:GK_{\mathbb F_q}\to GK_{\mathbb F_q^m}\) and low \(F_m:W(\mathbb Z)\to W(\mathbb Z)\) horizontal arrows, and with left \( \kappa:GK_{\mathbb F_q}\to W(\mathbb Z)\) and right \(\kappa:GK_{\mathbb F_q^m}\to W(\mathbb Z)\) vertical arrows.
Analogical results were established by N. Naumann [Trans. Am. Math. Soc. 359, No. 4, 1653–1683 (2007; Zbl 1115.14004)] in connection with the Grothendieck ring of varieties.
Let \(A\) be an abelian variety over \(\mathbb F_q\) and \(A'\) be an abelian variety over \(\mathbb F_q^m\).
Theorem 2.6: Let notations be as above.
(a) Let \(A'\) be an abelian variety over \(\mathbb F_q^m\). Let \(P_1(A',t)=\prod_j(1-\alpha_jt)\) and \(P_1(A,t)=\prod_r(1-\beta_rt)\). One has \(P_1(A,t) =V_mP_1(A',t)=P_1(A',t^m)=\prod_j(1-\alpha_jt^m)\). The set \(\{\beta_1^m,\cdots\}\) coincides with the set \(\{\alpha_1,\cdots\}\).
(b) For any smooth projective variety \(X'\), one has \( P_1(X,t)=V_mP_1( X',t) \).
(c) Let \(X'\) be a smooth proper geometrically connected variety over \(\mathbb F_q^m\). For each integer \(0<i\leq 2\dim X'\), the polynomial \(P_i(X,t)\) is divisible by \(V_mP_i( X',t)\). In general, \(Z(X,t)\neq V_mZ(X',t) \), \(Z(X\times_{\mathbb F_q}\mathbb F_q^m,t)=Z((X')^m,t)=Z(X,t)\ast\cdots\ast Z(X,t)\).
The relation between \(a_r=\sharp X'(\mathbb F_q^r)\) and \(b_r = \sharp X(\mathbb F_q^{mr})\) can be described explicitly (using \(d=gcd(m,r)\) and \(r=sd):b_r = a^d_s\).
The paper is an excellent survey of the results that connecting zeta functions of varieties (over finite fields) with motivic measures on the category of schemes of finite type (over a field) and with the big Witt ring over \(\mathbb Z\). For the sake of completeness the reader should also refer to the paper by S. Lichtenbaum [Fields Inst. Commun. 56, 249–255 (2009; Zbl 1245.14023)], to the book dealing with zeta elements by K. Kato et al. [Number theory 1. Fermat’s dream. Providence, RI: AMS (2000; Zbl 0953.11003)] and also to the preprint dealing with motivic zeta function with coefficients in the Grothendieck ring of varieties by M. Kapranov [“The elliptic curve in the \(S\)-duality theory and Eisenstein series for Kac-Moody groups”, Preprint, arXiv:math/0001005].

Reviewer: Nikolaj M. Glazunov (Kyïv)

MSC:

11E81	Algebraic theory of quadratic forms; Witt groups and rings
11G25	Varieties over finite and local fields
13D15	Grothendieck groups, \(K\)-theory and commutative rings
14C15	(Equivariant) Chow groups and rings; motives
11M41	Other Dirichlet series and zeta functions

Keywords:

zeta functions; symmetric products; big Witt ring; motivic measures

Citations:

Zbl 1115.14004; Zbl 1245.14023; Zbl 0953.11003

References:

[1]	Almkvist, Gert, The Grothendieck ring of the category of endomorphisms, J. Algebra, 28, 375-388, (1974) · Zbl 0281.18012
[2]	Bloch, Spencer, Algebraic K-theory and crystalline cohomology, Publ. Math. IHÉS, 47, 187-268, (1977) · Zbl 0388.14010
[3]	Borger, J., Lambda-rings and the field with one element, (2009)
[4]	Bourbaki, Nicolas, Éléments de mathématique, (Algèbre commutative. Chapitre 8. Dimension. Chapitre 9. Anneaux locaux noethériens complets, (1983), Masson Paris), [Commutative algebra. Chapter 8. Dimension. Chapter 9. Complete Noetherian local rings] · Zbl 1107.13002
[5]	Bourqui, David, Produit eulérien motivique et courbes rationnelles sur LES variétés toriques, Compos. Math., 145, 6, 1360-1400, (2009) · Zbl 1226.14034
[6]	Cartier, Pierre, Groupes formels associés aux anneaux De Witt généralisés, C. R. Acad. Sci. Paris Ser. A-B, 265, A49-A52, (1967) · Zbl 0168.27501
[7]	Cheah, Jan, On the cohomology of Hilbert schemes of points, J. Algebr. Geom., 5, 3, 479-511, (1996) · Zbl 0889.14001
[8]	(Colmez, Pierre; Serre, Jean-Pierre, Correspondance Grothendieck-Serre, Documents Mathématiques (Paris) [Mathematical Documents (Paris)], vol. 2, (2001), Société Mathématique de France Paris)
[9]	Connes, A.; Consani, C., Cyclic homology, Serre’s local factors and the lambda-operations, (2012)
[10]	Deligne, Pierre, La conjecture de Weil. I, Publ. Math. IHÉS, 43, 273-307, (1974) · Zbl 0287.14001
[11]	Deninger, Christopher, Local L-factors of motives and regularized determinants, Invent. Math., 107, 1, 135-150, (1992) · Zbl 0762.14015
[12]	Diem, Claus; Naumann, Niko, On the structure of Weil restrictions of abelian varieties, J. Ramanujan Math. Soc., 18, 2, 153-174, (2003) · Zbl 1080.14536
[13]	Dress, Andreas W. M.; Siebeneicher, Christian, The Burnside ring of the infinite cyclic group and its relations to the necklace algebra, λ-rings, and the universal ring of Witt vectors, Adv. Math., 78, 1, 1-41, (1989) · Zbl 0691.13020
[14]	Elliott, J., Witt vectors and generalizations, (2012)
[15]	Gorsky, E., Adams operations and power structures, Mosc. Math. J., 9, 2, 305-323, (2009), back matter · Zbl 1184.55006
[16]	Göttsche, Lothar, The Betti numbers of the Hilbert scheme of points on a smooth projective surface, Math. Ann., 286, 1-3, 193-207, (1990) · Zbl 0679.14007
[17]	Grayson, Daniel R., Grothendieck rings and Witt vectors, Commun. Algebra, 6, 3, 249-255, (1978) · Zbl 0383.13009
[18]	Grothendieck, Alexander, La théorie des classes de Chern, Bull. Soc. Math. Fr., 86, 137-154, (1958) · Zbl 0091.33201
[19]	Gusein-Zade, S. M.; Luengo, I.; Melle-Hernández, A., A power structure over the Grothendieck ring of varieties, Math. Res. Lett., 11, 1, 49-57, (2004) · Zbl 1063.14026
[20]	Gusein-Zade, S. M.; Luengo, I.; Melle-Hernández, A., Power structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points, Mich. Math. J., 54, 2, 353-359, (2006) · Zbl 1122.14003
[21]	Gusein-Zade, S. M.; Luengo, I.; Melle-Hernández, A., On the pre-λ-ring structure on the Grothendieck ring of stacks and the power structures over it, Bull. Lond. Math. Soc., 45, 3, 520-528, (2013) · Zbl 1272.14006
[22]	Hales, Thomas C., What is motivic measure?, Bull. Am. Math. Soc. (N. S.), 42, 2, 119-135, (2005), (electronic) · Zbl 1081.14033
[23]	Hazewinkel, M., Witt vectors, part I, (2008)
[24]	Hazewinkel, Michiel, Formal groups and applications, (2012), AMS Chelsea Publishing Providence, RI, corrected reprint of the 1978 original · Zbl 1350.14001
[25]	Heinloth, Franziska, A note on functional equations for zeta functions with values in Chow motives, Ann. Inst. Fourier (Grenoble), 57, 6, 1927-1945, (2007) · Zbl 1154.14018
[26]	Hesselholt, L., Lecture notes on the big de Rham-Witt complex, (2009)
[27]	Hood, Christine E.; Jones, John D. S., Some algebraic properties of cyclic homology groups, K-Theory, 1, 4, 361-384, (1987) · Zbl 0636.18005
[28]	Ireland, Kenneth; Rosen, Michael, A classical introduction to modern number theory, Grad. Texts Math., vol. 84, (1990), Springer-Verlag New York · Zbl 0712.11001
[29]	Kahn, Bruno, Zeta functions and motives, Pure Appl. Math. Q., 5, 1, 507-570, (2009) · Zbl 1171.18006
[30]	Kaledin, D., Universal Witt vectors and the “japanese cocycle”, Mosc. Math. J., 12, 3, 593-604, (2012), 669 · Zbl 1267.19003
[31]	Kapranov, M., The elliptic curve in the S-duality theory and Eisenstein series for Kac-Moody groups, (2000)
[32]	Kassel, Christian, Cyclic homology, comodules, and mixed complexes, J. Algebra, 107, 1, 195-216, (1987) · Zbl 0617.16015
[33]	Kato, Kazuya; Kurokawa, Nobushige; Saito, Takeshi, Number theory. 1, Transl. Math. Monogr., vol. 186, (2000), American Mathematical Society Providence, RI, Fermat’s dream, translated from the 1996 Japanese original by Masato Kuwata, Iwanami Series in Modern Mathematics · Zbl 0953.11003
[34]	Knutson, Donald, λ-rings and the representation theory of the symmetric group, Lect. Notes Math., vol. 308, (1973), Springer-Verlag Berlin-New York · Zbl 0272.20008
[35]	Larsen, Michael; Lunts, Valery A., Motivic measures and stable birational geometry, Mosc. Math. J., 3, 1, 85-95, (2003), 259 · Zbl 1056.14015
[36]	Lenstra, H., Construction of the ring of Witt vectors, (2002)
[37]	Lichtenbaum, S., The Weil-étale topology on schemes over finite fields, Compos. Math., 141, 3, 689-702, (2005) · Zbl 1073.14024
[38]	Lichtenbaum, Stephen, Values of zeta-functions, étale cohomology, and algebraic K-theory, (Algebraic K-Theory, II: “Classical” Algebraic K-Theory and Connections with Arithmetic, Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972, Lect. Notes Math., vol. 342, (1973), Springer Berlin), 489-501
[39]	Lichtenbaum, Stephen, Euler characteristics and special values of zeta-functions, (Motives and Algebraic Cycles, Fields Inst. Commun., vol. 56, (2009), Amer. Math. Soc. Providence, RI), 249-255 · Zbl 1245.14023
[40]	Looijenga, Eduard, Motivic measures, Séminaire Bourbaki 1999/2000, Astérisque, 276, 267-297, (2002) · Zbl 0996.14011
[41]	Macdonald, I. G., The Poincaré polynomial of a symmetric product, Proc. Camb. Philos. Soc., 58, 563-568, (1962) · Zbl 0121.39601
[42]	Maxim, Laurentiu; Schürmann, Jörg, Twisted genera of symmetric products, Sel. Math. New Ser., 18, 1, 283-317, (2012) · Zbl 1245.55009
[43]	Mitchell, Stephen A., \(K(1)\)-local homotopy theory, Iwasawa theory and algebraic K-theory, (Handbook of K-Theory. Vol. 1, 2, (2005), Springer Berlin), 955-1010 · Zbl 1111.19002
[44]	Mustaţǎ, M., Zeta functions in algebraic geometry, (2011)
[45]	Naumann, N., Algebraic independence in the Grothendieck ring of varieties, Trans. Am. Math. Soc., 359, 4, 1653-1683, (2007), (electronic) · Zbl 1115.14004
[46]	Serre, Jean-Pierre, Zeta and L functions, (Arithmetical Algebraic Geometry, Proc. Conf. Purdue Univ., 1963, (1965), Harper & Row New York), 82-92
[47]	Serre, Jean-Pierre, Algebraic groups and class fields, Grad. Texts Math., vol. 117, (1988), Springer-Verlag New York, translated from the French · Zbl 0703.14001
[48]	Tabuada, Gonçalo, Chow motives versus noncommutative motives, J. Noncommut. Geom., 7, 3, 767-786, (2013) · Zbl 1296.14019
[49]	Yokura, Shoji, Bivariant motivic Hirzebruch class and a zeta function of motivic Hirzebruch class, (Proceedings of the 5th Franco-Japanese Symposium on Singularities, IRMA Lect. Math. Theor. Phys., vol. 20, (2012), European Math. Soc.), 285-343 · Zbl 1317.14016
[50]	Yoshioka, Kōta, The Betti numbers of the moduli space of stable sheaves of rank 2 on \(\mathbf{P}^2\), J. Reine Angew. Math., 453, 193-220, (1994) · Zbl 0806.14017
[51]	Yoshioka, Kōta, The Betti numbers of the moduli space of stable sheaves of rank 2 on a ruled surface, Math. Ann., 302, 3, 519-540, (1995) · Zbl 0828.14006
[52]	Zakharevich, Inna, A localization theorem for the K-theory of assemblers with an application to the Grothendieck spectrum of varieties · Zbl 1355.19001