We continue the study of the twisted Novikov homology, introduced in our joint paper with H.Goda (arXiv:math.DG/0312374), and its generalizations. The main applications of the developed algebraic techniques are to the topology of 3-manifolds. We show in particular that the twisted Novikov homology of a 3-manifold M of zero Euler characteristic vanishes if and only if the corresponding twisted Alexander polynomial of the fundamental group of M is monic. We discuss the relations between the Thurston norm on 1-cohomology of a three-dimensional manifold and the twisted Novikov homology of this manifold.
Using recent results of Agol, Przytycki-Wise and Wise we show that twisted Alexander polynomials detect the Thurston norm of any irreducible 3-manifold which is not a closed graph manifold.
In the early 2000's Cochran and Harvey introduced non-commutative Alexander polynomials for 3-manifolds. Their degrees give strong lower bounds on the Thurston norm. In this paper we make the case that the vanishing of a certain Novikov-Sikorav homology module is the correct notion of a monic non-commutative Alexander polynomial. Furthermore we will use the opportunity to give new proofs of several statements about Novikov-Sikorav homology in the three-dimensional context.
We introduce twisted Alexander norms of a compact connected orientable 3-manifold with first Betti number bigger than one generalizing norms of McMullen and Turaev. We show that twisted Alexander norms give lower bounds on the Thurston norm of a 3-manifold. Using these we completely determine the Thurston norm of many 3-manifolds which can not be determined by norms of McMullen and Turaev.
Every element in the first cohomology group of a 3--manifold is dual to embedded surfaces. The Thurston norm measures the minimal `complexity' of such surfaces. For instance the Thurston norm of a knot complement determines the genus of the knot in the 3--sphere. We show that the degrees of twisted Alexander polynomials give lower bounds on the Thurston norm, generalizing work of McMullen and Turaev. Our bounds attain their most concise form when interpreted as the degrees of the Reidemeister torsion of a certain twisted chain complex. We show that these lower bounds give the correct genus bou…
For a 3-manifold M, McMullen derived from the Alexander polynomial of M a norm on H^1(M, R) called the Alexander norm. He showed that the Thurston norm on H^1(M, R), which measures the complexity of a dual surface, is an upper bound for the Alexander norm. He asked if these two norms were equal on all of H^1(M,R) when M fibers over the circle. Here, I give examples which show that the answer to this question is emphatically no. This question is related to the faithfulness of the Gassner representations of the braid groups. The key tool used to understand this question is the Bieri-Neumann-Stre…
We prove that for "most" closed 3-dimensional manifolds $M$, the existence of a closed non singular one-form in a given cohomology class $u\in H^1 (M,\bf R)$ is equivalent to the fact that every twisted Alexander polynomial $Δ^H(M,u) \in {\bf Z}[G/\ker u]$ associated to a normal subgroup with finite index $H < π_1(M)$ has a unitary $u$-minimal term.
We investigate Friedl-Lück's universal $L^2$-torsion for descending HNN extensions of finitely generated free groups, and so in particular for $F_n$-by-$\mathbb{Z}$ groups. This invariant induces a semi-norm on the first cohomology of the group which is an analogue of the Thurston norm for $3$-manifold groups. We prove that this Thurston semi-norm is an upper bound for the Alexander semi-norm defined by McMullen, as well as for the higher Alexander semi-norms defined by Harvey. The same inequalities are known to hold for $3$-manifold groups. We also prove that the Newton polytopes of the unive…
Recently twisted and higher order Alexander polynomials were used by Cochran, Harvey, Friedl--Kim and Turaev to give lower bounds on the Thurston norm. We first show how Reidemeister torsion relates to these Alexander polynomials. We then give lower bounds on the Thurston norm in terms of the Reidemeister torsion which contain and extend all the above lower bounds and give an elegant reformulation of the bounds of Cochran, Harvey and Turaev. The Reidemeister torsion approach also gives a natural approach to proving and extending certain monotonicity results of Cochran and Harvey.
In a recent paper, McMullen showed an inequality between the Thurston norm and the Alexander norm of a 3-manifold. This generalizes the well-known fact that twice the genus of a knot is bounded from below by the degree of the Alexander polynomial. We extend the Bennequin inequality for links to an inequality for all points of the Thurston norm, if the manifold is a link complement. We compare these two inequalities on two classes of closed braids. In an additional section we discuss a conjectured inequality due to Morton for certain points of the Thurston norm. We prove Morton's conjecture for…
We study when the Thurston norm is detected by twisted Alexander polynomials associated to representations of the 3-manifold group to SL(2, C). Specifically, we show that the hyperbolic torsion polynomial determines the genus for a large class of hyperbolic knots in the 3-sphere which includes all special arborescent knots and many knots whose ordinary Alexander polynomial is trivial. This theorem follows from results showing that the tautness of certain sutured manifolds can be certified by checking that they are a product from the point of view of homology with coefficients twisted by an SL(…
For an irreducible orientable compact $3$-manifold $N$ with empty or incompressible toral boundary, the full $L^2$--Alexander torsion $τ^{(2)}(N,ϕ)(t)$ associated to any real first cohomology class $ϕ$ of $N$ is represented by a function of a positive real variable $t$. The paper shows that $τ^{(2)}(N,ϕ)$ is continuous, everywhere positive, and asymptotically monomial in both ends. Moreover, the degree of $τ^{(2)}(N,ϕ)$ equals the Thurston norm of $ϕ$. The result confirms a conjecture of J.~Dubois, S.~Friedl, and W.~Lück and addresses a question of W.~Li and W.~Zhang. Associated to any admissi…
We introduce $L^2$-Alexander torsions for 3-manifolds, which can be viewed as a generalization of the $L^2$-Alexander polynomial of Li--Zhang. We state the $L^2$-Alexander torsions for graph manifolds and we partially compute them for fibered manifolds. We furthermore show that given any irreducible 3-manifold there exists a coefficient system such that the corresponding $L^2$-torsion detects the Thurston norm.
We show that link Floer homology detects the Thurston norm of a link complement. As an application, we show that the Thurston polytope of an alternating link is dual to the Newton polytope of its multi-variable Alexander polynomial. To illustrate these techniques, we also compute the Thurston polytopes of several specific link complements.
We compute different versions of link Floer homology $HFL^{-}$ and $\widehat{HFL}$ for any $L$-space link with two components. The main approach is to compute the $h$-function of the filtered chain complex which is determined by the Alexander polynomials of every sublink of the $L$-space link. As an application, Thurston polytope and Thurston norm of any 2-component $L$-space link are explicitly determined by Alexander polynomials of the link and the link components.
We study incompressible surfaces constructed by Culler-Shalen theory in the context of twisted Alexander polynomials. For a $1$st cohomology class of a $3$-manifold the coefficients of twisted Alexander polynomials induce regular functions on the $SL_2(\mathbb{C})$-character variety. We prove that if an ideal point gives a Thurston norm minimizing non-separating surface dual to the cohomology class, then the regular function of the highest degree has a finite value at the ideal point.
Let N be a closed, oriented 3-manifold. A folklore conjecture states that $S^{1} \times N$ admits a symplectic structure if and only if $N$ admits a fibration over the circle. We will prove this conjecture in the case when N is irreducible and its fundamental group satisfies appropriate subgroup separability conditions. This statement includes 3-manifolds with vanishing Thurston norm, graph manifolds and 3-manifolds with surface subgroup separability (a condition satisfied conjecturally by all hyperbolic 3-manifolds). Our result covers, in particular, the case of 0-framed surgeries along knots…
We show that a regular isomorphism of profinite completion of the fundamental groups of two 3-manifolds $N_1$ and $N_2$ induces an isometry of the Thurston norms and a bijection between the fibered classes. We study to what extent does the profinite completion of knot groups distinguish knots and show that it distinguishes each torus knot and the figure eight knot among all knots. We show also that it distinguishes between hyperbolic knots with cyclically commensurable complements under the assumption that their Alexander polynomials have at least one zero which is not a root of unity.
We present an overview of the study of the Thurston norm, introduced by W. P. Thurston in the seminal paper "A norm for the homology of 3-manifolds" (written in 1976 and published in 1986). We first review fundamental properties of the Thurston norm of a 3-manifold, including a construction of codimension-1 taut foliations from norm-minimizing embedded surfaces, established by D. Gabai. In the main part we describe relationships between the Thurston norm and other topological invariants of a 3-manifold: the Alexander polynomial and its various generalizations, Reidemeister torsion, the Seiberg…
A classical result in knot theory says that the Alexander polynomial of a fibered knot is monic and that its degree equals twice the genus of the knot. This result has been generalized by various authors to twisted Alexander polynomials and fibered 3-manifolds. In this paper we show that the conditions on twisted Alexander polynomials are not only necessary but also sufficient for a 3-manifold to be fibered. By previous work of the authors this result implies that if a manifold of the form S^1 x N^3 admits a symplectic structure, then N fibers over S^1. In fact we will completely determine the…
We define an infinite sequence of new invariants, delta_n, of a group G that measure the size of the successive quotients of the derived series of G. In the case that G is the fundamental group of a 3-manifold, we obtain new 3-manifold invariants. These invariants are closely related to the topology of the 3-manifold. They give lower bounds for the Thurston norm which provide better estimates than the bound established by McMullen using the Alexander norm. We also show that the delta_n give obstructions to a 3-manifold fibering over S^1 and to a 3-manifold being Seifert fibered. Moreover, we s…
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, suppor…
Given a finitely presented group G and an epimorphism G to the group of integers Cochran and Harvey defined a sequence of integral invariants, which can be viewed as the degrees of higher--order Alexander polynomials. Cochran and Harvey showed that (up to a minor modification) this is a never decreasing sequence of numbers if G is the fundamental group of a 3-manifold with empty or toroidal boundary, and that these invariants give lower bounds on the Thurston norm. Using a certain Cohn localization and the duality of Reidemeister torsion we show that for a fundamental group of a 3--manifold an…
