We completely describe the weak closure of the powers of the Koopman operator associated to Chacons classical automorphism. We show that weak limits of these powers are the ortho-projector to constants and an explicit family of polynomials. As a consequence, we answer negatively the question of alpha-weak mixing for Chacons automorphism.
In this article we study automorphisms of Toeplitz subshifts. Such groups are abelian and any finitely generated torsion subgroup is finite and cyclic. When the complexity is non superlinear, we prove that the automorphism group is, modulo a finite cyclic group, generated by a unique root of the shift. In the subquadratic complexity case, we show that the automorphism group modulo the torsion is generated by the roots of the shift map and that the result of the non superlinear case is optimal. Namely, for any $varepsilon > 0$ we construct examples of minimal Toeplitz subshifts with complexity bounded by $C n^{1+epsilon}$ whose automorphism groups are not finitely generated. Finally, we observe the coalescence and the automorphism group give no restriction on the complexity since we provide a family of coalescent Toeplitz subshifts with positive entropy such that their automorphism groups are arbitrary finitely generated infinite abelian groups with cyclic torsion subgroup (eventually restricted to powers of the shift).
We study the geometry and dynamics of discrete subgroups $Gamma$ of $PSL(3,mathbb{C})$ with an open invariant set $Omega subset PC^2$ where the action is properly discontinuous and the quotient $Omega/Gamma$ contains a connected component whicis compact. We call such groups {it quasi-cocompact}. In this case $Omega/Gamma$ is a compact complex projective orbifold and $Omega$ is a {it divisible set}. Our first theorem refines classical work by Kobayashi-Ochiai and others about complex surfaces with a projective structure: We prove that every such group is either virtually affine or complex hyperbolic. We then classify the divisible sets that appear in this way, the corresponding quasi-cocompact groups and the orbifolds $Omega/Gamma$. We also prove that excluding a few exceptional cases, the Kulkarni region of discontinuity coincides with the equicontinuity region and is the largest open invariant set where the action is properly discontinuous.
It has been recently proved that the automorphism group of a minimal subshift with non-superlinear word complexity is virtually $mathbb{Z}$ [DDPM15, CK15]. In this article we extend this result to a broader class proving that the automorphism group of a minimal S-adic subshift of finite alphabet rank is virtually $mathbb{Z}$. The proof is based on a fine combinatorial analysis of the asymptotic classes in this type of subshifts, which we prove are a finite number.
Let $f$ be an endomorphism of the projective line. There is a natural conjugation action on the space of such morphisms by elements of the projective linear group. The group of automorphisms, or stabilizer group, of a given $f$ for this action is known to be a finite group. We determine explicit families that parameterize all endomorphisms defined over $bar{mathbb{Q}}$ of degree $3$ and degree $4$ that have a nontrivial automorphism, the textit{automorphism locus} of the moduli space of dynamical systems. We analyze the geometry of these loci in the appropriate moduli space of dynamical systems. Further, for each family of maps, we study the possible structures of $mathbb{Q}$-rational preperiodic points which occur under specialization.
Given an ideal $I=(f_1,ldots,f_r)$ in $mathbb C[x_1,ldots,x_n]$ generated by forms of degree $d$, and an integer $k>1$, how large can the ideal $I^k$ be, i.e., how small can the Hilbert function of $mathbb C[x_1,ldots,x_n]/I^k$ be? If $rle n$ the smallest Hilbert function is achieved by any complete intersection, but for $r>n$, the question is in general very hard to answer. We study the problem for $r=n+1$, where the result is known for $k=1$. We also study a closely related problem, the Weak Lefschetz property, for $S/I^k$, where $I$ is the ideal generated by the $d$th powers of the variables.