No Arabic abstract
Let $ G $ be a discrete subgroup of PU(1,n). Then $ G $ acts on $mathbb {P}^n_mathbb C$ preserving the unit ball $mathbb {H}^n_mathbb {C}$, where it acts by isometries with respect to the Bergman metric. In this work we determine the equicontinuty region $Eq(G)$ of $G$ in $mathbb P^n_{mathbb C}$: It is the complement of the union of all complex projective hyperplanes in $mathbb {P}^n_{mathbb C}$ which are tangent to $partial mathbb {H}^n_mathbb {C}$ at points in the Chen-Greenberg limit set $Lambda_{CG}(G )$, a closed $G$-invariant subset of $partial mathbb {H}^n_mathbb {C}$, which is minimal for non-elementary groups. We also prove that the action on $Eq(G)$ is discontinuous.
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.
If $Gamma$ is a discrete subgroup of $PSL(3,Bbb{C})$, it is determined the equicontinuity region $Eq(Gamma)$ of the natural action of $Gamma$ on $Bbb{P}^2_Bbb{C}$. It is also proved that the action restricted to $Eq(Gamma)$ is discontinuous, and $Eq(Gamma)$ agrees with the discontinuity set in the sense of Kulkarni whenever the limit set of $Gamma$ in the sense of Kulkarni, $Lambda(Gamma)$, contains at least three lines in general position. Under some additional hypothesis, it turns out to be the largest open set on which $Gamma$ acts discontinuously. Moreover, if $Lambda(Gamma)$ contains at least four complex lines and $Gamma$ acts on $Bbb{P}^2_Bbb{C}$ without fixed points nor invariant lines, then each connected component of $Eq(Gamma)$ is a holomorphy domain and a complete Kobayashi hyperbolic space.
The weak mean equicontinuous properties for a countable discrete amenable group $G$ acting continuously on a compact metrizable space $X$ are studied. It is shown that the weak mean equicontinuity of $(X times X,G)$ is equivalent to the mean equicontinuity of $(X,G)$. Moreover, when $(X,G)$ has full measure center or $G$ is abelian, it is shown that $(X,G)$ is weak mean equicontinuous if and only if all points in $X$ are uniquely ergodic points and the map $x to mu_x^G$ is continuous, where $mu_x^G$ is the unique ergodic measure on ${ol{Orb(x)}, G}$.
In this note, it is shown that several results concerning mean equicontinuity proved before for minimal systems are actually held for general topological dynamical systems. Particularly, it turns out that a dynamical system is mean equicontinuous if and only if it is equicontinuous in the mean if and only if it is Banach (or Weyl) mean equicontinuous if and only if its regionally proximal relation is equal to the Banach proximal relation. Meanwhile, a relation is introduced such that the smallest closed invariant equivalence relation containing this relation induces the maximal mean equicontinuous factor for any system.
We show that a homeomorphism of a semi-locally connected compact metric space is equicontinuous if and only if the distance between the iterates of a given point and a given subcontinuum (not containing that point) is bounded away from zero. This is false for general compact metric spaces. Moreover, homeomorphisms for which the conclusion of this result holds satisfy that the set of automorphic points contains those points where the space is not semi-locally connected.