G. Anderson作为Drinfeld模的高维推广，并作为函数域算术中阿贝尔簇的适当类似物。为了构造纯t-模的模空间，第二作者在前面引入了交换τ-层的概念。本文阐明了纯t-基模与交换τ-层之间的关系。我们得到了相应的拟等价范畴。此外，我们发展的基本理论，这两种结构的态射，同源，泰特模块，和当地shtukas。后者是p-可除群的类似物。
英文摘要：
Pure t-motives were introduced by G. Anderson as higher dimensional generalizations of Drinfeld modules, and as the appropriate analogs of abelian varieties in the arithmetic of function fields. In order to construct moduli spaces for pure t-motives the second author has previously introduced the concept of abelian τ-sheaf. In this article we clarify the relation between pure t-motives and abelian τ-sheaves. We obtain an equivalence of the respective quasi-isogeny categories. Furthermore, we develop the elementary theory of both structures regarding morphisms, isogenies, Tate modules, and local shtukas. The later are the analogs of p-divisible groups.
Analogy between Anderson T-motives and abelian varieties with multiplication by an imaginary quadratic field (MIQF) is a source of 2 results: 1. A description of abelian varieties with MIQF of dimension $r$ and signature $(n, r-n)$ in terms of "lattices" of dimension $r$ in $\Bbb C^n$; 2. A construction of exterior powers of abelian varieties with MIQF having $n=1$.
Pure Anderson Motives and Abelian Sheaves over Finite Fields
G. Anderson作为Drinfeld模的高维推广，并作为函数域算术中阿贝尔簇的适当类似物。在这篇文章中，我们发展他们的理论，关于态射，同源，泰特模，和当地shtukas。后者类似于p-可除群。我们调查纯t动机是半单的，也就是说，同源简单的直接和。我们给出的例子，纯t-动机是不是半单。在有限域上，半单性等价于自同态代数的半单性，但在无限域上也不成立。仍然在有限域上，我们研究了纯t-动机的自同态环，并得到了类似于Tate关于阿贝尔簇的著名结果。最后，我们澄清了纯t-模与第二作者为了构造模空间而引入的交换τ-层的关系。我们得到了相应的拟等价范畴。
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…
We consider Anderson t-motives $M$ of dimension 2 and rank 4 defined by some simple explicit equations parameterized by $2\times2$ 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…
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 uniformizab…
We develop the analog of crystalline Dieudonné theory for p-divisible groups in the arithmetic of function fields. In our theory p-divisible groups are replaced by divisible local Anderson modules, and Dieudonné modules are replaced by local shtukas. We show that the categories of divisible local Anderson modules and of effective local shtukas are anti-equivalent over arbitrary base schemes. We also clarify their relation with formal Lie groups and with global objects like Drinfeld modules, Anderson's abelian t-modules and t-motives, and Drinfeld shtukas. Moreover, we discuss the existence of …
The integral $t$-motivic cohomology and the class module of a (rigid analytically trivial) Anderson $t$-motive were introduced by the first author in [Gaz22b]. This paper is devoted to their determination in the particular case of tensor powers of the Carlitz $t$-motive, namely, the function field counterpart $\underline{A}(n)$ of Tate twists $\mathbb{Z}(n)$. We find out that these modules are in relation with fundamental objects of function field arithmetic: integral $t$-motivic cohomology governs linear relations among Carlitz polylogarithms, its torsion is expressed in terms of the denomina…
In 1997 Richard Pink has clarified the concept of Hodge structures over function fields in positive characteristic, which today are called Hodge-Pink structures. They form a neutral Tannakian category over the underlying function field. He has defined Hodge realization functors from the uniformizable abelian $t$-modules and $t$-motives of Greg Anderson to Hodge-Pink structures. This allows one to associate with each uniformizable $t$-motive a Hodge-Pink group, analogous to the Mumford-Tate group of a smooth projective variety over the complex numbers. It further enabled Pink to prove the analo…
Anderson generating functions have received a growing attention in function field arithmetic in the last years. Despite their introduction by Anderson in the 80s where they were at the heart of comparison isomorphisms, further important applications e.g. to transcendence theory have only been discovered recently. The Anderson-Thakur special function interpolates L-values via Pellarin-type identities, and its values at algebraic elements recover Gauss-Thakur sums, as shown by Anglès and Pellarin. For Drinfeld-Hayes modules, generalizations of Anderson generating functions have been introduced b…
