Free actions on handlebodies

The equivalence (or weak equivalence) classes of orientation-preserving free actions of a finite group G on an orientable three-dimensional handlebody of genus g?1 can be enumerated in terms of sets of generators of G. They correspond to the equivalence classes of generating n-vectors of elements of G, where n=1+(g−1)/|G|, under Nielsen equivalence (or weak Nielsen equivalence). For Abelian and dihedral G, this allows a complete determination of the equivalence and weak equivalence classes of actions for all genera. Additional information is obtained for other classes of groups. For all G, there is only one equivalence class of actions on the genus g handlebody if g is at least 1+?(G)|G|, where ?(G) is the maximal length of a chain of subgroups of G. There is a stabilization process that sends an equivalence class of actions to an equivalence class of actions on a higher genus, and some results about its effects are obtained.     

Generating pairs and group actions

An action of a finite group on a closed 2-manifold is called almost free if it has a single orbit of points with nontrivial stabilizers. It is called large when the order of the group is greater than or equal to the genus of the surface. We prove that the orientation-preserving large almost free actions of G on closed orientable surfaces correspond to the Nielsen equivalence classes of generating pairs of G  . We classify the almost free actions on the surfaces of genera 3 and 4, find the large almost free actions of the alternating group _A5$A_5$, and give various other examples.     

Orientation-reversing actions on lens spaces and Gaussian integers

A finite group action on a lens space L(p,q) has ‘type OR’ if it reverses orientation and has an invariant Heegaard torus whose sides are interchanged by the orientation-reversing elements. In this paper we enumerate the actions of type OR up to equivalence. This leads to a complete classification of geometric finite group actions on amphicheiral lens spaces L(p,q) with p>2. The family of actions of type OR is partially ordered by lifting actions via covering maps. We show that each connected component of this poset may be described in terms of a subset of the lattice of Gaussian integers ordered by divisibility. This results in a correspondence equating equivalence classes of actions of type OR with pairs of Gaussian integers.     

Extending homeomorphisms from punctured surfaces to handlebodies

Let Hg be a genus g handlebody and MCG2n(Tg) be the group of the isotopy classes of orientation preserving homeomorphisms of Tg=∂Hg, fixing a given set of 2n points. In this paper we find a finite set of generators for , the subgroup of MCG2n(Tg) consisting of the isotopy classes of homeomorphisms of Tg admitting an extension to the handlebody and keeping fixed the union of n disjoint properly embedded trivial arcs. This result generalizes a previous one obtained by the authors for n=1. The subgroup turns out to be important for the study of knots and links in closed 3-manifolds via (g,n)-decompositions. In fact, the links represented by the isotopy classes belonging to the same left cosets of in MCG2n(Tg) are equivalent.     

Determining whether a finite group of outer automorphisms of a free group is geometric

In this article we give necessary and sufficient conditions for a given finite group of outer automorphisms to be induced by the action of a group of orientation-preserving homeomorphisms on the fundamental group of a punctured surface. When the group is abelian, necessary and sufficient conditions can also be given in the absence of orientability assumptions. These properties are formulated in terms of the finite automorphism groups which project into the given outer automorphism group: each non-trivial automorphism in any such group can fix at most a cyclic subgroup of the fundamental group.     

Diagram rigidity for geometric amalgamations of free groups

In this paper, we show that a class of 2-dimensional locally CAT(-1) spaces is topologically rigid: isomorphism of the fundamental groups is equivalent to the spaces being homeomorphic. An immediate application of this result is a diagram rigidity theorem for certain amalgamations of free groups. The direct limits of two such amalgamations are isomorphic if and only if there is an isomorphism between the respective diagrams.     

Local indicability and relative presentations of groups

A relative presentation is a triple where A is a group, X is a set, and R is a set of words in the free product A∗F(X) where F(X) is the free group with basis X. Under certain hypotheses on the relative presentation , we show that (1) the group presented by is locally indicable; (2) the pre-aspherical model for is aspherical; (3) the Freiheitssatz holds for . The result has applications in the computation of cohomology of groups and the field of equations over groups.     

On cyclic bra nched coverings of torus knots

We prove that then-fold cyclic coverings of the 3-sphere branched over the torus knotsK(p,q), p>q2 (i.e. the Brieskorn manifolds in the sense of [12]) admit spines corresponding to cyclic presentations of groups ifp1 (modq). These presentations include as a very particular case the Sieradski groups, first introduced in [14] and successively obtained from geometric constructions in [4], [9], and [15]. So our main theorem answers in affirmative to an open question suggested by the referee in [14]. Then we discuss a question concerning cyclic presentations of groups and Alexander polynomials of knots.Work Performed under the auspicies of the G.N.S.A.G.A. of the C.N.R. (National Research Council) of Italy and partially supported by the Ministero per la Ricerca Scientifica e Tecnologica of Italy Within the projectsGeometria Reale e Complessa andTopologia and by the Korean Science and Engineering Foundation.     

A presentation for the mapping class group of the closed non-orientable surface of genus 4

In [B. Szepietowski, A presentation for the mapping class group of a non-orientable surface from the action on the complex of curves, Osaka J. Math. 45 (2008) 283-326] we proposed a method of finding a finite presentation for the mapping class group of a non-orientable surface by using its action on the so called ordered complex of curves. In this paper we use this method to obtain an explicit finite presentation for the mapping class group of the closed non-orientable surface of genus 4. The set of generators in this presentation consists of 5 Dehn twists, 3 crosscap transpositions and one involution, and it can be immediately reduced to the generating set found by Chillingworth [D.R.J. Chillingworth, A finite set of generators for the homeotopy group of a non-orientable surface, Proc. Camb. Phil. Soc. 65 (1969) 409-430].     

Controlled topology invariants of translation actions

We develop invariants Ωn of a translation action of a group on Rm analogous to the Bieri-Neumann-Strebel-Renz invariants Σn. The invariants Σn were defined to be the set of “directions” e∈_∂∞Rm such that a suitable universal G-space is (n−1)-connected over the half-spaces defined by e. We replace half-spaces by topologically more natural neighborhoods of e to obtain the new invariants Ωn. The invariants Σn and Ωn are related as follows: e∈Ωn if and only if every e^′ in an open -neighborhood of e lies in Σn.     

Algebraic and geometric intersection numbers for free groups

We show that the algebraic intersection number of Scott and Swarup for splittings of free groups coincides with the geometric intersection number for the sphere complex of the connected sum of copies of S²×S¹.     

Every finite semigroup is embeddable in a finite relatively free semigroup

The title result is proved by a Murskii-type embedding.Results on some related questions are also obtained. For instance, it is shown that every finitely generated semigroup satisfying an identity ξ^d=ξ^2d is embeddable in a relatively free semigroup satisfying such an identity, generally with a larger d; but that an uncountable semigroup may satisfy such an identity without being embeddable in any relatively free semigroup.It follows from known results that every finite group is embeddable in a finite relatively free group. It is deduced from this and the proof of the title result that a finite monoid S is embeddable by a monoid homomorphism in a finite (or arbitrary) relatively free monoid if and only if its group of invertible elements is either {e} or all of S.     

Growth functions for semi-regular tilings of the hyperbolic plane

This paper studies the growth function, with respect to the generating set of edge identifications, of a surface group with fundamental domainD in the hyperbolic plane ann-gon whose angles alternate between /p and /q. The possibilities ofn,p andq for which a torsion-free surface group can have such a fundamental polygon are classified, and the growth functions are computed. Conditions are given for which the denominator of the growth function is a product of cyclotomic polynomials and a Salem polynomial.This work was supported in part by NSF Research Grants.     

Finite maximal orientation reversing group actions on handlebodies and 3-manifolds

We study arbitrary (that is not necessarily orientation preserving) finite group actions on 3-dimensional orientable or nonorientable handlebodies of genus g. For g>1, the maximal possible order is 24(g−1); we characterize the corresponding groups of this order and also the occuring quotient orbifolds. Then we use this to study finite group actions of large order (with respect to the equivariant Heegaard genus g) on closed 3-manifolds, again concentrating on the maximal case of order 24(g−1). Our results extend corresponding results in the orientation preserving setting. Whereas for arbitrary finite group actions on handlebodies much more types of quotient orbifolds occur than in the orientation preserving case, it turns out that for closed 3-manifolds the situation is quite rigid, in contrast to the orientation preserving case where one has many possibilities to construct manifolds with large group actions.     

Asymptotic normality of the sample mean and covariances of evanescent fields in noise

We consider the asymptotic properties of the sample mean and the sample covariance sequence of a field composed of the sum of a purely indeterministic and evanescent components. The asymptotic normality of the sample mean and sample covariances is established. A Bartlett-type formula for the asymptotic covariance matrix of the sample covariances of this field, is derived.     

The complex of pant decompositions of a surface

We exhibit a set of edges (moves) and 2-cells (relations) making the complex of pant decompositions on a surface a simply connected complex. Our construction, unlike the previous ones, keeps the arguments concerning the structural transformations independent from those deriving from the action of the mapping class group. The moves and the relations turn out to be supported in subsurfaces with 3g−3+n=1,2 (where g is the genus and n is the number of boundary components), illustrating in this way the so-called Grothendieck principle.     

Twisted second homology groups of the automorphism group of a free group

In this paper, we compute the second homology groups of the automorphism group of a free group with coefficients in the abelianization of the free group and its dual group except for the 2-torsion part, using combinatorial group theory.