Monotonicity of Degrees of Generalized Alexander Polynomials of Groups and 3-Manifolds

We investigate the behavior of the higher-order degrees, db_n, of a finitely presented group G. These db_n are functions from H^1(G;Z) to Z whose values are the degrees certain higher-order Alexander polynomials. We show that if def(G) is at least 1 or G is the fundamental group of a compact, orientable 3-manifold then db_n is a monotonically increasing function of n for n at least 1. This is false for general groups. As a consequence, we show that if a 4 manifold of the form X times S^1 admits a symplectic structure then X ``looks algebraically like'' a 3-manifold that fibers over S^1, supporting a positive answer to a question of Taubes. This generalizes a theorem of S. Vidussi and is an improvement on the previous results of the author. We also find new conditions on a 3-manifold X which will guarantee that the Thurston norm of f*(psi), for psi in H^1(X;\Z) and f:Y -> X a surjective map on pi_1, will be at least as large the Thurston norm of psi. When X and Y are knot complements, this gives a partial answer to a question of J. Simon. More generally, we define Gamma-degrees, db_Gamma, corresponding to a surjective map G -> Gamma for which Gamma is poly-torsion-free-abelian. Under certain conditions, we show they satisfy a monotonicity condition if one varies the group. As a result, we show that these generalized degrees give obstructions to the deficiency of a group being positive and obstructions to a finitely presented group being the fundamental group of a compact, orientable 3-manifold.Comment: 19 page

Higher-order signature cocycles for subgroups of mapping class groups and homology cylinders

We define families of invariants for elements of the mapping class group of S, a compact orientable surface. Fix any characteristic subgroup H of pi_1(S) and restrict to J(H), any subgroup of mapping classes that induce the identity modulo H. To any unitary representation, r of pi_1(S)/H we associate a higher-order rho_r-invariant and a signature 2-cocycle sigma_r. These signature cocycles are shown to be generalizations of the Meyer cocycle. In particular each rho_r is a quasimorphism and each sigma_r is a bounded 2-cocycle on J(H). In one of the simplest non-trivial cases, by varying r, we exhibit infinite families of linearly independent quasimorphisms and signature cocycles. We show that the rho_r restrict to homomorphisms on certain interesting subgroups. Many of these invariants extend naturally to the full mapping class group and some extend to the monoid of homology cylinders based on S.Comment: 38 pages. This is final version for publication in IMRN, deleted some material and many references (sorry-at referee's insistence

On the Cut Number of a 3-manifold

The question was raised as to whether the cut number of a 3-manifold X is bounded from below by 1/3 beta_1(X). We show that the answer to this question is `no.' For each m>0, we construct explicit examples of closed 3-manifolds X with beta_1(X)=m and cut number 1. That is, pi_1(X) cannot map onto any non-abelian free group. Moreover, we show that these examples can be assumed to be hyperbolic.Comment: Published in Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol6/paper15.abs.htm