Divided powers in Chow rings and integral Fourier transforms (Q981627)

Let \(M\) be a commutative monoid with identity in the category of quasi-projective schemes over a field \(k\) such that the multiplication map \(M \times M \rightarrow M\) is proper. For example, \(M\) could be an abelian variety over \(k\). The first result of the paper is that there is a natural PD-structure on the ideal \(\mathrm{CH}_{>0}(M)\) for the Pontryagin product, which is defined as follows. Given a closed subscheme \(Z \subset M\) of pure positive dimension, the \(d\)-th divided power \(\gamma_d([Z])\) is the image in \(\mathrm{CH}_*(M)\) of the class of \(\mathrm{Sym}^dZ \subset \mathrm{Sym}^dM\) under the iterated multiplication map \(\mathrm{Sym}^dM \rightarrow M\). When \(M\) is an abelian variety, the Pontryagin product with respect to the augmentation ideal and the usual intersection product on \(\mathrm{CH}_*(M)_{\mathbb{Q}}\) are interchanged by the Fourier transform. The existence of an integral transform with good properties would thus make it possible to define a PD-structure on \(\mathrm{CH}^{>0}(M)\) with respect to the usual intersection product. It was however shown in [\textit{H. Esnault}, Int. Math. Res. Not. 2004, No. 19, 929--935 (2004; Zbl 1081.14063)] that there is in general no PD-structure on \(\mathrm{CH}^{>0}(M)\) with respect to the usual intersection product. The authors are thus led to study some of the integral aspects of the Fourier transform. Precisely, the case of the Jacobian \(J\) of a hyperelliptic curve of genus \(g\) is considered. It is proved that, at the level of the motive of \(J\), an integral Fourier transform can be defined up to a factor \(2^{1+\lfloor \log_2(g)\rfloor}\). Finally, for \(E\) an elliptic curve defined over an algebraically closed field, a motivic integral Fourier transform is constructed up to a factor \(2\) and it is shown that in general this factor \(2\) cannot be eliminated.