Georgia Institute of Technology College of Sciences

It is a theorem of Bass, Lazard, and Serre, and, independently, Mennicke, that the special linear group SL(n,Z) enjoys the congruence subgroup property when n is at least 3. This property is most quickly described by saying that the profinite completion of the special linear group injects into the special linear group of the profinite completion of Z. There is a natural analog of this property for mapping class groups of surfaces.

The Heegaard Floer package provides a robust tool for studying contact 3-manifolds and their subspaces. Within the sphere of Heegaard Floer homology, several invariants of Legendrian and transverse knots have been defined. The first such invariant, constructed by Ozsvath, Szabo and Thurston, was defined combinatorially using grid diagrams. The second invariant was obtained by geometric means using open book decompositions by Lisca, Ozsvath, Stipsicz and Szabo. We show that these two previously defined invariant agree.

The hyperelliptic Torelli group SI(S) is the subgroup of the mapping class group of a surface S consisting of elements which commute with a fixed hyperelliptic involution and which act trivially on homology. The group SI(S) appears in a variety of settings, for example in the context of the period mapping on the Torelli space of a Riemann surface and also as a kernel of the classical Burau representation of the braid group. We will show that the cohomological dimension of SI(S) is g-1; this result fits nicely into a pattern with other subgroups of

There are two simple ways to construct new surface bundles over surfaces from old ones, namely, we can connect sum along the base or the fiber. In joint work with Inanc Baykur, we construct explicit surface bundles over surfaces that are indecomposable in both senses. This is achieved by first translating the problem into one about embeddings of surface groups into mapping class groups.

There is little known about the existence of contact strucutres in high dimensions, but recently in work of Casals, Pancholi and Presas the 5 dimensional case is largely understood. In this talk I will discuss the existence of contact structures on 5-manifold and outline an alternate construction that will hopefully prove that any almost contact structure on a 5-manifold is homotopic, though almost contact structures, to a contact structure.

Surface bundles and Lefschetz fibrations over surfaces constitute a rich source of examples of smooth, symplectic, and complex manifolds. Their sections and multisections carry interesting information on the smooth structure of the underlying four-manifold. In this talk we will discuss several problems and results on surface bundles, Lefschetz fibrations, and their (multi)sections, which we will tackle, for the most part, using various mapping class groups of surfaces.

We prove the moduli space M_{g,n} of the surface of g genus with n punctures admits no complete, visible, nonpositively curved Riemannian metric, which will give a connection between conjectures from P.Eberlein and Brock-Farb. Motivated from this connection, we will prove that the translation length of a parabolic isometry of a proper visible CAT(0) space is zero. As an application of this zero property, we will give a detailed answer toP.Eberlein's conjecture.

Let S_g be a closed orientable surface of genus g > 1 and C a simple closed nonseparating curve in S_g. Let t_C denote a left handed Dehn twist about C. A fractional power of t_C of exponent L/n is a h in Mod(S_g) such that h^n = t_C^L. Unlike a root of a t_C, a fractional power h can exchange the sides of C. We will derive necessary and sufficient conditions for the existence of both side-exchanging and side-preserving fractional powers. We will give some applications of the main result in both cases.