On the tautological ring of a Jacobian modulo rational equivalence (Q2467194): Difference between revisions

Let \(C\) be a smooth projective curve of genus \(g\geq 2\) and \(J\) its Jacobian variety. For a fixed point \(x_0\in C\), let \(\iota: C\to J\) denote the natural map given by \(x\mapsto{\mathcal O}_C(x- x_0)\). The tautological ring \({\mathcal T}\) is defined to be the smallest subring of the Chow ring \(\mathrm{CH}(J)\) containing the class \(\iota_*[C]\) which is closed under the pull-backs \(k^*\) and push-forwards \(k_*\) for all \(k\in\mathbb{Z}\), and under the Fourier transform \({\mathcal F}\). Let \(\iota_*[C]= \sum_{0\leq i\leq g-1} C_{(i)}\), where \(C_{(i)}\in \mathrm{CH}^{g-1}_{(i)}(J)\), the subspace on which \(k^*\) acts through the multiplication by \(k^{2(g-1)-i}\). For a symmetric theta divisor \(\theta\) on \(J\), one defines \(p_i= {\mathcal F}(C_{(i-1)})\in \mathrm{CH}^i_{(i-1)}(J)\) \((i\geq 1)\), \(q_i={\mathcal F}(C_{(i)}\cdot\theta)\in \mathrm{CH}_{(i)}\) \((i\geq 0)\). The main purpose of this paper is to investigate which elements of the set \(\{p_i,q_j\}\) are needed to generate the tautological ring \({\mathcal T}\). Among other things the authors prove that if \(C\) admits a pure ramification of degree \(d\), then \({\mathcal T}\) is generated by the classes \(p_i\), \(i\leq d-1\) and \(q_1\).