Some remarks on homoclinic groups of hyperbolic toral automorphisms

The homoclinic group (an invariant with respect to topological conjugacy) for hyperbolic toral automorphisms is determined. Certain conditions are given for conjugacy of a homeomorphism of a compact space to hyperbolic toral automorphism. Bibliography: 7 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 223, 1994, pp. 140–147. This paper is partially supported by Russian Foundation for Basic Research, grant 94-01-00921. Translated by V. V. Sadovskaya.     

Asymmetric 2‐colorings of graphs

We show that the edges of every 3‐connected planar graph except K₄ can be colored with two colors in such a way that the graph has no color‐preserving automorphisms. Also, we characterize all graphs that have the property that their edges can be 2‐colored so that no matter how the graph is embedded in any orientable surface, there is no homeomorphism of the surface that induces a nontrivial color‐preserving automorphism of the graph.     

A representation of one-dimensional attractors ofA-diffeomorphisms by hyperbolic homeomorphisms

We give a representation for the restrictions ofA-diffeomorphisms of closed orientable surfaces of genus > 1 from a homotopy class containing a pseudo-Anosov diffeomorphism to all one-dimensional attractors that do not contain special pairs of boundary periodic points. The representation is given by the restriction of a hyperbolic homeomorphism to an invariant zero-dimensional set formed by the intersection of two transversal geodesic laminations. It is shown how this result can be generalized to the representation of the restrictions ofA-diffeomorphisms defined on a closed surface of any genus to arbitrary one-dimensional attractors. Translated fromMatematicheskie Zametki, Vol. 62, No. 1, pp. 76–87, July, 1997. Translated by V. E. Nazaikinskii     

Foliations with good geometry

The goal of this article is to show that there is a large class of closed hyperbolic 3-manifolds admitting codimension one foliations with good large scale geometric properties. We obtain results in two directions. First there is an internal result: A possibly singular foliation in a manifold is quasi-isometric if, when lifted to the universal cover, distance along leaves is efficient up to a bounded multiplicative distortion in measuring distance in the universal cover. This means that leaves reflect very well the geometry in the large of the universal cover and are geometrically tight-this is the best geometric behavior. We previously proved that nonsingular codimension one foliations in closed hyperbolic 3-manifolds can never be quasi-isometric. In this article we produce a large class of singular quasi-isometric, codimension one foliations in closed hyperbolic 3-manifolds. The foliations are stable and unstable foliations of pseudo-Anosov flows. Our second result is an external result, relating (nonsingular) foliations in hyperbolic 3-manifolds with their limit sets in the universal cover, that is, showing that leaves in the universal cover have good asymptotic behavior. Let be a Reebless, finite depth foliation in a closed hyperbolic 3-manifold. Then is not quasi-isometric, but suppose that is transverse to a quasigeodesic pseudo-Anosov flow with quasi-isometric stable and unstable foliations-which are given by the internal result. We then show that the lifts of leaves of to the universal cover extend continuously to the sphere at infinity and we also produce infinitely many examples satisfying the hypothesis. The main tools used to prove these results are first a link between geometric properties of stable/unstable foliations of pseudo-Anosov flows and the topology of these foliations in the universal cover, and second a topological theory of the joint structure of the pseudo-Anosov foliation in the universal cover.

     

Small dilatation pseudo-Anosov homeomorphisms and 3-manifolds

The main result of this paper is a universal finiteness theorem for the set of all small dilatation pseudo-Anosov homeomorphisms ?:S→S, ranging over all surfaces S. More precisely, we consider pseudo-Anosov homeomorphisms ?:S→S with |χ(S)|log(λ(?)) bounded above by some constant, and we prove that, after puncturing the surfaces at the singular points of the stable foliations, the resulting set of mapping tori is finite. Said differently, there is a finite set of fibered hyperbolic 3-manifolds so that all small dilatation pseudo-Anosov homeomorphisms occur as the monodromy of a Dehn filling on one of the 3-manifolds in the finite list, where the filling is on the boundary slope of a fiber.     

Nielsen Zeta Function, 3-Manifolds, and Asymptotic Expansions in the Nielsen Theory

We prove that the Nielsen zeta function is either a rational function or a radical of a rational function for orientation-preserving homeomorphisms of closed orientable 3-dimensional manifolds which are special Haken or Seifert manifolds. In the case of a pseudo-Anosov homeomorphism of a surface, we find an asymptotics for the number of twisted conjugacy classes or for the number of Nielsen fixed-point classes with norm at most x. Bibliography: 20 titles.     

Courbure totale des feuilletages des surfaces

The sum of the total curvatures of two orientable orthogonal foliations on the unit sphereS ²⊂R ³ is at least 4Π. The total curvature of a foliation with saddle singularities on a closed hyperbolic surfaceM is at least (12 Log 2–6 Log 3) ... |χ(M)|.      

The Heegaard Genus of Amalgamated 3-Manifolds

Let M and M′ be simple 3-manifolds, each with connected boundary of genus at least two. Suppose that Mand M′ are glued via a homeomorphism between their boundaries. Then we show that, provided the gluing homeomorphism is ‘sufficiently complicated’, the Heegaard genus of the amalgamated manifold is completely determined by the Heegaard genus of Mand M′ and the genus of their common boundary. Here, a homeomorphism is ‘sufficiently complicated’ if it is the composition of a homeomorphism from the boundary ofM to some surface S, followed by a sufficiently high power of a pseudo-Anosov onS, followed by a homeomorphism to the boundary of M′. The proof uses the hyperbolic geometry of the amalgamated manifold, generalised Heegaard splittings and minimal surfaces.     

The Semi-Arc Automorphism Group of a Graph with Application to Map Enumeration

A map is a connected topological graph cellularly embedded in a surface. For a given graph Γ, its genus distribution of rooted maps and embeddings on orientable and non-orientable surfaces are separately investigated by many researchers. By introducing the concept of a semi-arc automorphism group of a graph and classifying all its embeddings under the action of its semi-arc automorphism group, we find the relations between its genus distribution of rooted maps and genus distribution of embeddings on orientable and non-orientable surfaces, and give some new formulas for the number of rooted maps on a given orientable surface with underlying graph a bouquet of cycles B_n, a closed-end ladder L_n or a Ringel ladder R_n. A general scheme for enumerating unrooted maps on surfaces(orientable or non-orientable) with a given underlying graph is established. Using this scheme, we obtained the closed formulas for the numbers of non-isomorphic maps on orientable or non-orientable surfaces with an underlying bouquet B_n in this paper.     

Pseudo-Anosov homeomorphisms with quadratic expansion

We show that if is a pseudo-Anosov homeomorphism on an orientable surface with oriented unstable manifolds and a quadratic expanding factor, then there is a hyperbolic toral automorphism on and a map such that is a semi-conjugacy and is a branched covering space of . We also give another characterization of pseudo-Anosov homeomorphisms with quadratic expansion in terms of the kinds of Euclidean foliations they admit which are compatible with the affine structure associated to .

     

Common homoclinic points of commuting toral automorphisms

The points homoclinic to 0 under a hyperbolic toral automorphism form the intersection of the stable and unstable manifolds of 0. This is a subgroup isomorphic to the fundamental group of the torus. Suppose that two hyperbolic toral automorphisms commute so that they determine a ℤ²-action, which we assume is irreducible. We show, by an algebraic investigation of their eigenspaces, that they either have exactly the same homoclinic points or have no homoclinic point in common except 0 itself. We prove the corresponding result for a compact connected abelian group, and compare the two proofs. The second author would like to thank the Austrian Academy of Sciences and the Royal Society for partial support while this work was done.     

Pseudo-Anosov Homeomorphisms on Translation Surfaces in Hyperelliptic Components Have Large Entropy

We prove that the dilatation of any pseudo-Anosov homeomorphism on a translation surface that belongs to a hyperelliptic component is bounded from below uniformly by ?2{\sqrt{2}} . This is in contrast to Penner’s asymptotic. Penner proved that the logarithm of the least dilatation of any pseudo-Anosov homeomorphism on a surface of genus g tends to zero at rate 1/g (as g goes to infinity).     

An algorithmic construction of group automorphisms and the quantum Yang-Baxter equation

The structure group G of a non-degenerate symmetric set (X,S) is a Bieberbach and a Garside group. We describe a combinatorial method to compute explicitly a group of automorphisms of G and show this group admits a subgroup that preserves the Garside structure. In some special cases, we could also prove the group of automorphisms found is an outer automorphism group.     

Symbolic representations of nonexpansive group automorphisms

Ifα is an irreducible nonexpansive ergodic automorphism of a compact abelian groupX (such as an irreducible nonhyperbolic ergodic toral automorphism), thenα has no finite or infinite state Markov partitions, and there are no nontrivial continuous embeddings of Markov shifts inX. In spite of this we are able to construct a symbolic spaceV and a class of shift-invariant probability measures onV each of which corresponds to anα-invariant probability measure onX. Moreover, everyα-invariant probability measure onX arises essentially in this way. The last part of the paper deals with the connection between the two-sided beta-shiftV _β arising from a Salem numberβ and the nonhyperbolic ergodic toral automorphismα arising from the companion matrix of the minimal polynomial ofβ, and establishes an entropy-preserving correspondence between a class of shift-invariant probability measures onV _β and certainα-invariant probability measures onX. This correspondence is much weaker than, but still quite closely modelled on, the connection between the two-sided beta-shifts defined by Pisot numbers and the corresponding hyperbolic ergodic toral automorphisms.     

A quadratic bound on the number of boundary slopes of essential surfaces with bounded genus

Let M be an orientable 3-manifold with ∂M a single torus. We show that the number of boundary slopes of immersed essential surfaces with genus at most g is bounded by a quadratic function of g. In the hyperbolic case, this was proved earlier by Hass et al.     

The topology of a semisimple Lie group is essentially unique

We study locally compact group topologies on simple and semisimple Lie groups. We show that the Lie group topology on such a group S is very rigid: every “abstract” isomorphism between S and a locally compact and σ-compact group Γ is automatically a homeomorphism, provided that S is absolutely simple. If S is complex, then noncontinuous field automorphisms of the complex numbers have to be considered, but that is all. We obtain similar results for semisimple groups.     

Algebraic Coding of Expansive Group Automorphisms and Two-sided Beta-Shifts

 Let α be an expansive automorphisms of compact connected abelian group X whose dual group is cyclic w.r.t. α (i.e. is generated by for some ). Then there exists a canonical group homomorphism ξ from the space of all bounded two-sided sequences of integers onto X such that , where σ is the shift on . We prove that there exists a sofic subshift such that the restriction of ξ to V is surjective and almost one-to-one. In the special case where α is a hyperbolic toral automorphism with a single eigenvalue and all other eigenvalues of absolute value we show that, under certain technical and possibly unnecessary conditions, the restriction of ξ to the two-sided beta-shift is surjective and almost one-to-one. The proofs are based on the study of homoclinic points and an associated algebraic construction of symbolic representations in [13] and [7]. Earlier results in this direction were obtained by Vershik ([24]–[26]), Kenyon and Vershik ([10]), and Sidorov and Vershik ([20]–[21]). (Received 27 October 1998; in revised form 17 May 1999)     

Algebraic Coding of Expansive Group Automorphisms and Two-sided Beta-Shifts

 Let α be an expansive automorphisms of compact connected abelian group X whose dual group is cyclic w.r.t. α (i.e. is generated by for some ). Then there exists a canonical group homomorphism ξ from the space of all bounded two-sided sequences of integers onto X such that , where σ is the shift on . We prove that there exists a sofic subshift such that the restriction of ξ to V is surjective and almost one-to-one. In the special case where α is a hyperbolic toral automorphism with a single eigenvalue and all other eigenvalues of absolute value we show that, under certain technical and possibly unnecessary conditions, the restriction of ξ to the two-sided beta-shift is surjective and almost one-to-one. The proofs are based on the study of homoclinic points and an associated algebraic construction of symbolic representations in [13] and [7]. Earlier results in this direction were obtained by Vershik ([24]–[26]), Kenyon and Vershik ([10]), and Sidorov and Vershik ([20]–[21]).     

Mumford Curves with Maximal Automorphism Group II: Lamé Type Groups in Genus 5-8

A Mumford curve of genus g=5,6,7 or 8 over a non-Archimedean field ofcharacteristic p (such that if p=0, the residue field characteristic exceeds 5) has at most 12(g–1) automorphisms. In this paper, all curves that attain this bound and their automorphism groups (called of Lamé type) are explicitly determined.