Algebraic cycles of dimension 2 on the square of a generic abelian surface

Question

I would like to know, what is known on algebraic cycles of dimension 2 modulo algebraic or rational equivalence on the square of a generic abelian surface.

First, let $A$ be a generic abelian surface (generic abelian variety of dimension 2) over $\mathbb{C}$. Then the group of cycles of dimension 1 (divisors) up to rational equivalence is known, it its the Picard group of $A$, see e.g. the answers to this question and Fulton, Intersection Theory, Chapter 19. Still I have a stupid question: Can one "write down" all the (positive?) divisors on $A$?

The real question concerns the square $A^2=A\times_{\mathbb{C}} A$ of a generic abelian surface $A$. This is an abelian variety of dimension 4. I am interested in algebraic cycles of dimension 2 on $A^2$. I think I know the group of algebraic cycles of dimension 2 on $A^2$ modulo homological equivalence and modulo torsion, it is $\mathbb{Z}^6$ (because the space of invariants of $\mathrm{Sp}_{4,\mathbb{Q}}$ in $\wedge^4(\mathbb{Q}^4\oplus\mathbb{Q}^4)$ is of dimension 6). What is known about the group of algebraic cycles of dimension 2 on $A^2$ modulo rational or algebraic equivalence? In particular, what is known about the Griffiths group? Again a stupid question: Can one "write down" all the cycles of dimension 2 on $A^2$ (in some sense)?

Answer 1

Here is an easy $5$ dimensional space of cycles: Inside $A \times A$, consider the subvarieties $\{ (a,b) : a=mb \}$, for $m=0$, $1$, $2$, $3$, $4$. I will show that these are linearly independent over $\mathbb{Q}$.

By Kunneth and Poincare, $$H^4(A \times A, \mathbb{Q}) \cong \bigoplus_{i=0}^4 H^{i}(A, \mathbb{Q}) \otimes H^{4-i}(A, \mathbb{Q}) \cong \bigoplus_{i=0}^4 \mathrm{End}(H^{i}(A, \mathbb{Q})).$$

The graph of multiplication by $m$, in this presentation, has class $$(\mathrm{Id}, m \mathrm{Id}, m^2 \mathrm{Id}, m^3 \mathrm{Id}, m^4 \mathrm{Id})$$

Since the Vandermonde matrix $$\begin{pmatrix} 0^0 & 0^1 & 0^2 & 0^3 & 0^4 \\ 1^0 & 1^1 & 1^2 & 1^3 & 1^4 \\ 2^0 & 2^1 & 2^2 & 2^3 & 2^4 \\ 3^0 & 3^1 & 3^2 & 3^3 & 3^4 \\ 4^0 & 4^1 & 4^2 & 4^3 & 4^4 \end{pmatrix}$$ has nonzero determinant, the $5$ classes I listed are linearly independent over $\mathbb{Q}$.

Answer 2

As far as I know, there is no smooth projective variety over $\mathbb{C}$ of dimension $n>2$ with all possible Hodge numbers nonzero (i.e. $h^{p,q} \neq 0$ for all $p+q = n$) for which the Griffiths group of codimension $r$ cycles is known to be zero for any $1<r<n$.

For codimension $2$ cycles the Abel-Jacobi map is expected to detect the Griffiths group, however the computations in Nori: Algebraic cycles and Hodge theoretic connectivity, p. 372, suggest that for the self product of the generic abelian surface the Abel-Jacobi map on the Griffiths group might well be nonzero.

Answer 3

Not an answer per se, but you might be interested in http://arxiv.org/abs/1003.3183, where similar questions are investigated.

Answer 4

Probably you know this, but I might point out that Nori [Proc. Indian Acad, 1989] proved that the Griffiths group of a generic abelian 3-fold is infinitely generated. It may be worth looking at, even though I have some doubts about whether his method would give anything useful in your case.