Avoiding Abelian powers in binary words with bounded Abelian complexity

The notion of Abelian complexity of infinite words was recently used by the three last authors to investigate various Abelian properties of words. In particular, using van der Waerden's theorem, they proved that if a word avoids Abelian $k$-powers for some integer $k$, then its Abelian complexity is unbounded. This suggests the following question: How frequently do Abelian $k$-powers occur in a word having bounded Abelian complexity? In particular, does every uniformly recurrent word having bounded Abelian complexity begin in an Abelian $k$-power? While this is true for various classes of uniformly recurrent words, including for example the class of all Sturmian words, in this paper we show the existence of uniformly recurrent binary words, having bounded Abelian complexity, which admit an infinite number of suffixes which do not begin in an Abelian square. We also show that the shift orbit closure of any infinite binary overlap-free word contains a word which avoids Abelian cubes in the beginning. We also consider the effect of morphisms on Abelian complexity and show that the morphic image of a word having bounded Abelian complexity has bounded Abelian complexity. Finally, we give an open problem on avoidability of Abelian squares in infinite binary words and show that it is equivalent to a well-known open problem of Pirillo-Varricchio and Halbeisen-Hungerb\"uhler.Comment: 16 pages, submitte

Pure Anderson Motives and Abelian \tau-Sheaves

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 \tau-sheaf. In this article we clarify the relation between pure t-motives and abelian \tau-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.Comment: final version as it appears in Mathematische Zeitschrif

Limits over categories of extensions

We consider limits over categories of extensions and show how certain well-known functors on the category of groups turn out as such limits. We also discuss higher (or derived) limits over categories of extensions.Comment: 18 page

The algebra of flows in graphs

We define a contravariant functor K from the category of finite graphs and graph morphisms to the category of finitely generated graded abelian groups and homomorphisms. For a graph X, an abelian group B, and a nonnegative integer j, an element of Hom(K^j(X),B) is a coherent family of B-valued flows on the set of all graphs obtained by contracting some (j-1)-set of edges of X; in particular, Hom(K^1(X),R) is the familiar (real) ``cycle-space'' of X. We show that K(X) is torsion-free and that its Poincare polynomial is the specialization t^{n-k}T_X(1/t,1+t) of the Tutte polynomial of X (here X has n vertices and k components). Functoriality of K induces a functorial coalgebra structure on K(X); dualizing, for any ring B we obtain a functorial B-algebra structure on Hom(K(X),B). When B is commutative we present this algebra as a quotient of a divided power algebra, leading to some interesting inequalities on the coefficients of the above Poincare polynomial. We also provide a formula for the theta function of the lattice of integer-valued flows in X, and conclude with ten open problems.Comment: 31 pages, 1 figur