This paper extends the main result of the paper Duality of Anderson $t$-motives, that the lattice of the dual of a t-motive $M$ is the dual lattice of $M$, to the case when the nilpotent operator $N$ of $M$ is non-zero.
Let $M$ be a T-motive. We introduce the notion of duality for $M$. Main results of the paper (we consider uniformizable $M$ over $F_q[T]$ of rank $r$, dimension $n$, whose nilpotent operator $N$ is 0): 1. Algebraic duality implies analytic duality
(Theorem 5). Explicitly, this means that the lattice of the dual of $M$ is the dual of the lattice of $M$, i.e. the transposed of a Siegel matrix of $M$ is a Siegel matrix of the dual of $M$. 2. Let $n=r-1$. There is a 1 -- 1 correspondence between pure T-motives (all they are uniformizable), and lattices of rank $r$ in $C^n$ having dual (Corollary 8.4).
This is a survey on Anderson t-motives -- the functional field analogs of abelian varieties with multiplication by an imaginary quadratic field. We define their lattices, the group $H^1$, their tensor products and the duality functor. Some examples o
f explicit calculations are given, some elementary research problems are stated.
We consider Anderson t-motives $M$ of dimension 2 and rank 4 defined by some simple explicit equations parameterized by $2times2$ matrices. We use methods of explicit calculation of $h^1(M)$ -- the dimension of their cohomology group $H^1(M)$ ( = the
dimension of the lattice of their dual t-motive $M$) developed in our earlier paper. We calculate $h^1(M)$ for $M$ defined by all matrices having 0 on the diagonal, and by some other matrices. These methods permit to make analogous calculations for most (probably all) t-motives. $h^1$ of all Anderson t-motives $M$ under consideration satisfy the inequality $h^1(M)le4$, while in all known examples we have $h^1(M)=0,1,4$. Do exist $M$ of this type having $h^1=2,3$? We do not know, this is a subject of further research.
Let $M$ be an Anderson t-motive of dimension $n$ and rank $r$. Associated are two $Bbb F_q[T]$-modules $H^1(M)$, $H_1(M)$ of dimensions $h^1(M)$, $h_1(M)le r$ - analogs of $H^1(A,Bbb Z)$, $H_1(A,Bbb Z)$ for an abelian variety $A$. There is a theorem
(Anderson): $h^1(M)=r iff h_1(M)=r$; in this case $M$ is called uniformizable. It is natural to expect that always $h^1(M)=h_1(M)$. Nevertheless, we explicitly construct a counterexample. Further, we answer a question of D.Goss: is it possible that two Anderson t-motives that differ only by a nilpotent operator $N$ are of different uniformizability type, i.e. one of them is uniformizable and other not? We give an explicit example that this is possible.
Using Dold--Puppe category approach to the duality in topology, we prove general duality theorem for the category of motives. As one of the applications of this general result we obtain, in particular, a generalization of Friedlander--Voevodskys dual
ity to the case of arbitrary base field characteristic.