Irrationality of motivic series of Chow varieties

DOI10.1007/S00209-008-0408-4MaRDI QIDQ834783zbMATH OpenOpenAlexFDO

Authors E. Javier Elizondo, Shun-Ichi Kimura

Publication date 27 August 2009

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0706.0931

zbMATH Keywords

Chow motivesChow schemes

Mathematics Subject Classification ID

Parametrization (Chow and Hilbert schemes) (14C05) (Equivariant) Chow groups and rings; motives (14C15) Algebraic cycles (14C25)

Abstract: The Euler characteristic of all the Chow varieties, of a fixed projective variety, can be collected in a formal power series called the Euler-Chow series. This series coincides with the Hilbert series when the Picard group is a finite generated free abelian group. It is an interesting open problem to find for which varieties this series is rational. A few cases have been computed, and it is suspected that the series is not rational for the blow up of P^2 at nine points in general position. It is very natural to extend this series to Chow motives and ask the question if the series is rational or to find a counterexample. In this short paper we generalized the series and show by an example that the series is not rational. This opens the question of what is the geometrical meaning of the Euler-Chow series.

Review text

Let ChMot denote the category of Chow motives, and define \(R= K_0(\text{ChMot})\) to be \(\text{ChMot}\times \text{ChMot}/\sim\), where \((M_1,N_1)\sim (M_2,N_2)\) if and only if \(M_1\oplus N_2\cong M_2\oplus N_1\). Let \(X\) be a smooth projective scheme, and \(\lambda\in H_{2p}(X,\mathbb{Z})\) be a homology class. Define \(C_\lambda(X)\) to be the space of all effective cycles on \(X\) whose homology class is \(\lambda\). Let \(C\) denote the monoid of homology classes of effective \(p\)-cycles in \(H_{2p}(X,\mathbb{Z})\), and \(RC\) be the set of all \(R\)-valued functions on \(C\). The authors define the Chow series of \(X\), in dimension \(p\), to be the element \(C_p(X)\in RC\) by \(C_p(X)(\lambda)= [C_\lambda(X)]\) for \(\lambda\in H_{2p}(X,\mathbb{Z})\). They show in this paper that the Chow series \(C_{n-1}(\mathbb{P}^n)\), \(n> 1\), is not rational, by proving that the cohomology series \[ \sum_i\dim H_i(C_{n-1}(\mathbb{P}^n)) t^i= \sum {1-s^{2{d+n\choose d}}\over 1-s^2} t^d \] is not rational in \(\mathbb{Q}(s,t)\).

Recommendations

• Rationality of motivic Chow series modulo \(\mathbb A^1\)-homotopy
• Irrationality of motivic zeta functions
• The closed cone of a rational series is rational polyhedral
• Rationality criteria for motivic zeta functions
• Rationality of Euler-Chow series and finite generation of Cox rings

Cites work

• Chow groups are finite dimensional, in some sense
• Chow varieties of abelian varieties
• Descent, motives and K-theory.
• scientific article; zbMATH DE number 1353469 (Why is no real title available?)
• scientific article; zbMATH DE number 596346 (Why is no real title available?)
• scientific article; zbMATH DE number 596350 (Why is no real title available?)
• The Euler Series of Restricted Chow Varieties
• The universal Euler characteristic for varieties of characteristic zero

Cited in

(3)

• The closed cone of a rational series is rational polyhedral
• Rationality of motivic Chow series modulo \(\mathbb A^1\)-homotopy
• Rationality of Euler-Chow series and finite generation of Cox rings

This page was built for publication: Irrationality of motivic series of Chow varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q834783)