Algebraic cycles of dimension 2 on the square of a generic abelian surface 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)?
 A: 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}$. 
A: 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.
A: Not an answer per se, but you might be interested in http://arxiv.org/abs/1003.3183, where similar questions are investigated.
A: 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.
