In this paper, we study transitivity of partially hyperbolic endomorphisms of the two torus whose action in the first homology group has two integer eigenvalues of moduli greater than one. We prove that if the Jacobian is everywhere greater than the modulus of the largest eigenvalue, then the map is robustly transitive. For this, we introduce Blichfedt’s theorem as a tool for extracting dynamical information from the action of a map in homology. We also treat the case of specially partially hyperbolic endomorphisms, for which we obtain a complete dichotomy: either the map is transitive and conjugated to its linear part, or its unstable foliation must contain an annulus which may either be wandering or periodic.

We obtain conditions of uniform continuity for endomorphisms of free-abelian times free groups for the product metric defined by taking the prefix metric in each component and establish an equivalence between uniform continuity for this metric and the preservation of a coarse-median, a concept recently introduced by Fioravanti. Considering the extension of an endomorphism to the completion, we count the number of orbits for the action of the subgroup of fixed points (respectively periodic) points on the set of infinite fixed (respectively periodic) points. Finally, we study the dynamics of infinite points: for automorphisms and some endomorphisms, defined in a precise way, fitting a classification given by Delgado and Ventura, we prove that every infinite point is either periodic or wandering, which implies that the dynamics is asymptotically periodic.

We formulate a strengthening of the Zariski dense orbit conjecture for birational maps of dynamical degree one. So, given a quasiprojective variety X defined over an algebraically closed field K of characteristic $0$ , endowed with a birational self-map $\phi $ of dynamical degree $1$ , we expect that either there exists a nonconstant rational function $f:X\dashrightarrow \mathbb {P} ^1$ such that $f\circ \phi =f$ , or there exists a proper subvariety $Y\subset X$ with the property that, for any invariant proper subvariety $Z\subset X$ , we have that $Z\subseteq Y$ . We prove our conjecture for automorphisms $\phi $ of dynamical degree $1$ of semiabelian varieties X. Moreover, we prove a related result for regular dominant self-maps $\phi $ of semiabelian varieties X: assuming that $\phi $ does not preserve a nonconstant rational function, we have that the dynamical degree of $\phi $ is larger than $1$ if and only if the union of all $\phi $ -invariant proper subvarieties of X is Zariski dense. We give applications of our results to representation-theoretic questions about twisted homogeneous coordinate rings associated with abelian varieties.

In this paper we prove a commutative algebraic extension of a generalized Skolem–Mahler– Lech theorem. Let $A$ be a finitely generated commutative $K$–algebra over a field of characteristic 0, and let $\sigma$ be a $K$–algebra automorphism of $A$. Given ideals $I$ and $J$ of $A$, we show that the set $S$ of integers $m$ such that ${{\sigma }^{m}}(I)\,\supseteq \,J$ is a finite union of complete doubly infinite arithmetic progressions in $m$, up to the addition of a finite set. Alternatively, this result states that for an affine scheme $X$ of finite type over $K$, an automorphism $\sigma \,\in \,\text{Au}{{\text{t}}_{k}}(X)$, and $Y$ and $Z$ any two closed subschemes of $X$, the set of integers $m$ with ${{\sigma }^{m}}(Z)\,\subseteq \,Y$ is as above. We present examples showing that this result may fail to hold if the affine scheme $X$ is not of finite type, or if $X$ is of finite type but the field $K$ has positive characteristic.

The fixed point submonoid of an endomorphism of a free product of a free monoid and cyclic groups is proved to be rational using automata-theoretic techniques. Maslakova’s result on the computability of the fixed point subgroup of a free group automorphism is generalized to endomorphisms of free products of a free monoid and a free group which are automorphisms of the maximal subgroup.

Let $\mathcal{A}$ be a proper independence algebra of finite rank, let $G$ be the group of automorphisms of $\mathcal{A}$, let $a$ be a singular endomorphism and let $a^G$ be the semigroup generated by all the elements $g^{-1}ag$, where $g\in G$. The aim of this paper is to prove that $a^G$ is a semigroup generated by its own idempotents.

AMS 2000 Mathematics subject classification: Primary 20M20; 20M10; 08A35