Compared with algebraic varieties the local monodromy of Drinfeld modules appears to be hopelessly complex: the image of the wild inertia subgroup under Tate module representations is infinite save for the case of potential good reduction. Nonetheless, we show that Tate modules of Drinfeld modules are ramified in a limited way: the image of a sufficiently deep ramification subgroup is trivial. This leads to a new invariant, the local conductor of a Drinfeld module. We establish an upper bound on the conductor in terms of the volume of the period lattice. As an intermediate step we develop a theory of normed lattices in function field arithmetic including the notion of volume. We relate normed lattices to vector bundles on projective curves. With the aid of Castelnuovo–Mumford regularity this implies a volume bound on norms of lattice generators, and the conductor inequality follows. Last but not least we describe the image of inertia for Drinfeld modules with period lattices of rank $1$. Just as in the theory of local $\ell$-adic Galois representations this image is commensurable with a commutative unipotent algebraic subgroup. However, in the case of Drinfeld modules such a subgroup can be a product of several copies of $\mathbf {G}_a$.

Multiples zeta values and alternating multiple zeta values in positive characteristic were introduced by Thakur and Harada as analogues of classical multiple zeta values of Euler and Euler sums. In this paper, we determine all linear relations between alternating multiple zeta values and settle the main goals of these theories. As a consequence, we completely establish Zagier–Hoffman’s conjectures in positive characteristic formulated by Todd and Thakur which predict the dimension and an explicit basis of the span of multiple zeta values of Thakur of fixed weight.

The deepest arithmetic invariants attached to an algebraic variety defined over a number field $F$ are conjecturally captured by the integral part of its motivic cohomology. There are essentially two ways of defining it when $X$ is a smooth projective variety: one is via the $K$-theory of a regular integral model, the other is through its $\ell$-adic realization. Both approaches are conjectured to coincide. This paper initiates the study of motivic cohomology for global fields of positive characteristic, hereafter named $A$-motivic cohomology, where classical mixed motives are replaced by mixed Anderson $A$-motives. Our main objective is to set the definitions of the integral part and the good $\ell$-adic part of the $A$-motivic cohomology using Gardeyn's notion of maximal models as the analogue of regular integral models of varieties. Our main result states that the integral part is contained in the good $\ell$-adic part. As opposed to what is expected in the number field setting, we show that the two approaches do not match in general. We conclude this work by introducing the submodule of regulated extensions of mixed Anderson $A$-motives, for which we expect the two approaches to match, and solve some particular cases of this expectation.

In 2007 Chang and Yu determined all the algebraic relations among Goss’s zeta values for $A=\mathbb F_q[\theta ]$, also known as the Carlitz zeta values. Goss raised the problem of determining all algebraic relations among Goss’s zeta values at positive integers for a general base ring A, but very little is known. In this paper, we develop a general method, and we determine all algebraic relations among Goss’s zeta values for the base ring A which is the coordinate ring of an elliptic curve defined over $\mathbb F_q$. To our knowledge, this is the first work tackling Goss’s problem when the base ring has class number strictly greater than 1.

We settle a part of the conjecture by Bandini and Valentino [‘On the structure and slopes of Drinfeld cusp forms’, Exp. Math. 31(2) (2022), 637–651] for $S_{k,l}(\Gamma _0(T))$ when $\mathrm {dim}\ S_{k,l}(\mathrm {GL}_2(A))\leq 2$. We frame and check the conjecture for primes $\mathfrak {p}$ and higher levels $\mathfrak {p}\mathfrak {m}$, and show that a part of the conjecture for level $\mathfrak {p} \mathfrak {m}$ does not hold if $\mathfrak {m}\ne A$ and $(k,l)=(2,1)$.

We develop tools for constructing rigid analytic trivializations for Drinfeld modules as infinite products of Frobenius twists of matrices, from which we recover the rigid analytic trivialization given by Pellarin in terms of Anderson generating functions. One advantage is that these infinite products can be obtained from only a finite amount of initial calculation, and consequently we obtain new formulas for periods and quasi-periods, similar to the product expansion of the Carlitz period. We further link to results of Gekeler and Maurischat on the $\infty $ -adic field generated by the period lattice.

Moduli spaces of bounded local G-shtukas are a group-theoretic generalisation of the function field analogue of Rapoport and Zink’s moduli spaces of p-divisible groups. In this article we generalise some very prominent concepts in the theory of Rapoport-Zink spaces to our setting. More precisely, we define period spaces, as well as the period map from a moduli space of bounded local G-shtukas to the corresponding period space, and we determine the image of the period map. Furthermore, we define a tower of coverings of the generic fibre of the moduli space, which is equipped with a Hecke action and an action of a suitable automorphism group. Finally, we consider the $\ell $ -adic cohomology of these towers.

Les espaces de modules de G-chtoucas locaux bornés sont une généralisation des espaces de modules de groupes p-divisibles de Rapoport-Zink, au cas d’un corps de fonctions local, pour des groupes plus généraux et des copoids pas nécessairement minuscules. Dans cet article nous définissons les espaces de périodes et l’application de périodes associés à un tel espace, et nous calculons son image. Nous étudions la tour au-dessus de la fibre générique de l’espace de modules, équipée d’une action de Hecke ainsi que d’une action d’un groupe d’automorphismes. Enfin, nous définissons la cohomologie $\ell $ -adique de ces tours.

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 a Verschiebung map and apply it to deformations of local shtukas and divisible local Anderson modules. As a tool we use Faltings’s and Abrashkin’s theories of strict modules, which we review briefly.

In this paper, we investigate examples of good and optimal Drinfeld modular towers of function fields. Surprisingly, the optimality of these towers has not been investigated in full detail in the literature. We also give an algorithmic approach for obtaining explicit defining equations for some of these towers and, in particular, give a new explicit example of an optimal tower over a quadratic finite field.

Let $\psi$ be a generic Drinfeld module of rank $r\,\ge \,2$ . We study the first elementary divisor ${{d}_{1,\,\wp }}\,\left( \psi\right)$ of the reduction of $\psi$ modulo a prime $\wp $ , as $\wp $ varies. In particular, we prove the existence of the density of the primes $\wp $ for which ${{d}_{1,\,\wp }}\,\left( \psi\right)$ is fixed. For $r\,=\,2$ , we also study the second elementary divisor (the exponent) of the reduction of $\psi$ modulo $\wp $ and prove that, on average, it has a large norm. Our work is motivated by J.-P. Serre's study of an elliptic curve analogue of Artin's Primitive Root Conjecture, and, moreover, by refinements to Serre's study developed by the first author and M. R. Murty.

We show that for a smooth, projective variety X defined over a number field K, cyclic homology with coefficients in the ring , provides the right theory to obtain, using λ-operations, Serre's archimedean local factors of the complex L-function of X as regularized determinants.

We extend our previous work in collaboration with Ngô Bao Châu and give a fixed point formula for the elliptic part of moduli spaces of $G$-shtukas with arbitrary modifications. Our formula is similar to the fixed point formula of Kottwitz for certain Shimura varieties. Our method is inspired by that of Kottwitz and simpler than that of Lafforgue for the fixed point formula of the moduli space of Drinfeld $\text{GL} (r)$-shtukas.

To give a relatively elementary proof of the Brumer–Stark conjecture in a function field context involving no algebraic geometry beyond the Riemann–Roch theorem for curves, Hayes Compos. Math., vol. 55, 1985, pp. 209–239) defined a normalizing field $H_\mathfrak{e}^*$ associated with a fixed sgn-normalized Drinfeld module and its extension field $K_\mathfrak{m}$, which is an analogue of cyclotomic function fields over a rational function field. We present explicitly in this note the formulae for the genus of the two fields and the maximal real subfield $H_\mathfrak{m}$ of $K_\mathfrak{m}$. In some sense, our results can be regarded as generalizations of formulae for the genus of classical cyclotomic function fields obtained by Hayes Trans. Amer. Math. Soc., vol. 189, 1974, pp. 77–91) and Kida and Murabayashi (Tokyo J. Math., vol. 14(1), 1991, pp. 45–56).

We consider the analogue of the André–Oort conjecture for Drinfeld modular varieties which was formulated by Breuer. We prove this analogue for special points with separable reflex field over the base field by adapting methods which were used by Klingler and Yafaev to prove the André–Oort conjecture under the generalized Riemann hypothesis in the classical case. Our result extends results of Breuer showing the correctness of the analogue for special points lying in a curve and for special points having a certain behaviour at a fixed set of primes.

Let $\phi$ be a Drinfeld module of generic characteristic, and let $X$ be a sufficiently generic affine subvariety of $\mathbb{G}_{a}^{g}$. We show that the intersection of $X$ with a finite rank $\phi$-submodule of $\mathbb{G}_{a}^{g}$ is finite.

Let ϕ be a Drinfeld module of rank 2 over the field of rational functions , with . Let K be a fixed imaginary quadratic field over F and d a positive integer. For each prime of good reduction for ϕ, let be a root of the characteristic polynomial of the Frobenius endomorphism of ϕ over the finite field . Let Πϕ(K;d) be the number of primes of degree d such that the field extension is the fixed imaginary quadratic field K. We present upper bounds for Πϕ(K;d) obtained by two different approaches, inspired by similar ones for elliptic curves. The first approach, inspired by the work of Serre, is to consider the image of Frobenius in a mixed Galois representation associated to K and to the Drinfeld module ϕ. The second approach, inspired by the work of Cojocaru, Fouvry and Murty, is based on an application of the square sieve. The bounds obtained with the first method are better, but depend on the fixed quadratic imaginary field K. In our application of the second approach, we improve the results of Cojocaru, Murty and Fouvry by considering projective Galois representations.

Suppose that $O=\mathbb{F}_q[\pi ]$ is a polynomial ring and $R$ is a commutative unitary $O$-algebra. The category of finite flat group schemes over $R$ with a strict action of $O$ was recently introduced by Faltings and appears as an equal characteristic analogue of the classical category of finite flat group schemes in the equal characteristic case. In this paper we obtain a classification of these modules and apply it to prove analogues of properties that were known earlier for classical group schemes.

We examine which representations of the absolute Galois group of a field of finite characteristic with image over a finite field of the same characteristic may be constructed by the Galois group’s action on the division points of an appropriate Drinfeld module.

Elliptic units of global function fields were first studied by D. Hayes in the case that deg ∞ is assumed to be 1, and he obtained some class number formulas using elliptic units. We generalize Hayes’ results to the case that deg ∞ is arbitrary.

The finiteness of K-rational torsion points of a Drinfeld module of rank 2 over a locally compact complete field K with a discrete valuation is proved.