The rho-invariant is an invariant of odd-dimensional manifolds with finite fundamental group, and lies in the representations modulo the regular representations (after tensoring with Q). It is a fundamental invariant that occurs in classifying lens spaces, their homotopy analogues, and is intimately related to the eta-invariant for the signature operator. The goal of this note is to use some of the technology developed in studying the Novikov higher signature conjecture to define an analogous invariant for certain situations with infinite fundamental group.
The equivariant rho-invariants studied in this paper are a version of the classical rho-invariants of Atiyah, Patodi, and Singer in the presence of an isometric involution. We compute these rho-invariants for all involutions on the 3-dimensional lens spaces with 1-dimensional fixed point sets, as well as for some involutions on Brieskorn homology spheres. As an application, we compute the generators and Floer gradings in the singular instanton chain complex of (p,q)-torus knots with odd p and q.
We show that if the connected sum of two knots with coprime Alexander polynomials has vanishing von Neumann rho-invariants associated with certain metabelian representations then so do both knots. As an application, we give a new example of an infinite family of knots which are linearly independent in the knot concordance group.
Relations between the Atiyah-Patodi-Singer rho invariant and signatures of links have been known for a long time, but they were only partially investigated. In order to explore them further, we develop a versatile cut-and-paste formula for the rho invariant, which allows us to manipulate manifolds in a convenient way. With the help of this tool, we give a description of the multivariable signature of a link $L$ as the rho invariant of some closed $3$-manifold $Y_L$ intrinsically associated to $L$. We study then the rho invariant of the manifolds obtained by Dehn surgery on a $L$ along integer …
We use a link invariant defined by Cimasoni-Florens to compute ρ-invariants. This generalizes results of Cochran-Teichner and Friedl on knots to the setting of links. As an application, we prove with only twelve possible exceptions that the twist knots of algebraic order two are linearly independent in the topological concordance group.
We give a sufficient condition under which vanishing property of Cochran-Orr-Teichner knot concordance obstructions splits under connected sum. The condition is described in terms of self-annihilating submodules with respect to higher-order Blanchfield linking forms. This extends results of Levine and the authors on distinguishing knots with coprime Alexander polynomials up to concordance. As an application, we show that the knots constructed by Cochran, Orr and Teichner as the first examples of nonslice knots with vanishing Casson-Gordon invariants are not concordant to any knot of genus one.
Using adiabatic limits of Eta invariants, Rho invariants of the total space of a fiber bundle are investigated. One concern is to formulate the aspects of local index theory for families of Dirac operator in terms of the odd signature operator, and place known results in a context which permits the treatment of Rho invariants. The main focus is, however, to use this to compute Rho invariants for explicit classes of fibered 3-manifolds. More precisely, we consider $\U(1)$-Rho invariants of principal $S^1$-bundles over closed, oriented surfaces as well as mapping tori with torus fiber. Hyperboli…
We address the primary decomposition of the knot concordance group in terms of the solvable filtration and higher-order von Neumann $ρ$-invariants by Cochran, Orr, and Teichner. We show that for a nonnegative integer n, if the connected sum of two n-solvable knots with coprime Alexander polynomials is slice, then each of the knots has vanishing von Neumann $ρ$-invariants of order n. This gives positive evidence for the conjecture that nonslice knots with coprime Alexander polynomials are not concordant. As an application, we show that if K is one of Cochran-Orr-Teichner's knots which are the f…
This article is a follow up of the previous article of the authors on the analytic surgery of eta- and rho-invariants. We investigate in detail the (Atiyah-Patodi-Singer)-rho-invariant for manifolds with boundary. First we generalize the cut-and-paste formula to arbitrary boundary conditions. A priori the rho-invariant is an invariant of the Riemannian structure and a representation of the fundamental group. We show, however, that the dependence on the metric is only very mild: it is independent of the metric in the interior and the dependence on the metric on the boundary is only up to its ps…
We establish enhanced bounds on Cheeger-Gromov rho-invariants for general 3-manifolds and yet stronger bounds for special classes of 3-manifold. As key ingredients, we construct chain null-homotopies whose complexity is linearly bounded by its boundary's. This result can be regarded as an algebraic topological analogue of Gromov's conjecture for quantitative topology. The author hopes for applications to various fields including the smooth knot concordance group, quantitative topology, and complexity theory.
Let $X$ be a closed oriented connected topological manifold of dimension $n\geq 5$. The structure group of $X$ is the abelian group of equivalence classes of all pairs $(f, M)$ such that $M$ is a closed oriented manifold and $f\colon M \to X$ is an orientation-preserving homotopy equivalence. The main purpose of this article is to prove that a higher rho invariant defines a group homomorphism from the topological structure group of $X$ to the $C^*$-algebraic structure group of $X$. In fact, we introduce a higher rho invariant map on the homology manifold structure group of a closed oriented co…
We discuss an infinite class of metabelian Von Neumann rho-invariants. Each one is a homomorphism from the monoid of knots to the real line. In general they are not well defined on the concordance group. Nonetheless, we show that they pass to well defined homomorphisms from the subgroup of the concordance group generated by anisotropic knots. Thus, the computation of even one of these invariants can be used to conclude that a knot is of infinite order. We introduce a method to give a computable bound on these invariants. Finally we compute this bound to get a new and explicit infinite set of t…
We define the secondary invariants L^2- eta and -rho forms for families of generalized Dirac operators on normal coverings of fibre bundles. On the covering family we assume transversally smooth spectral projections, and Novikov--Shubin invariants bigger than 3(dim B+1) to treat the large time asymptotic for general operators. In the particular case of a bundle of spin manifolds, we study the L^2- rho class in relation to the space of positive scalar curvature vertical metrics.
In this paper, we discuss relations among several invariants of 3-manifolds including Meyer's function, the eta-invariant, the von Neumann rho-invariant and the Casson invariant from the viewpoint of the mapping class group of a surface.
For any group G, we define a new characteristic series related to the derived series, that we call the torsion-free derived series of G. Using this series and the Cheeger-Gromov rho-invariant, we obtain new real-valued homology cobordism invariants rho_n for closed (4k-1)-dimensional manifolds. For 3-dimensional manifolds, we show that {rho_n} is a linearly independent set and for each n, the image of rho_n is an infinitely generated and dense subset of R. In their seminal work on knot concordance, T. Cochran, K. Orr, and P. Teichner define a filtration F_(n)^m of the m-component (string) link…
We show that for each Seifert form of an algebraically slice knot with nontrivial Alexander polynomial, there exists an infinite family of knots having the Seifert form such that the knots are linearly independent in the knot concordance group and not concordant to any knot with coprime Alexander polynomial. Key ingredients for the proof are Cheeger-Gromov-von Neumann rho-invariants for amenable groups developed by Cha and Orr and polynomial splittings of metabelian rho-invariants.
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 e…
We prove that, if M is a compact oriented manifold of dimension 4k+3, where k>0, such that pi_1(M) is not torsion-free, then there are infinitely many manifolds that are homotopic equivalent to M but not homeomorphic to it. To show the infinite size of the structure set of M, we construct a secondary invariant tau_(2): S(M)-->R that coincides with the rho-invariant of Cheeger-Gromov. In particular, our result shows that the rho-invariant is not a homotopy invariant for the manifolds in question.
Results are obtained on extending flat vector bundles or equivalently general representations from the fundamental group of S, a connected subsurface of the connected boundary of a compact, connected, oriented 3-dimensional manifold, to the whole manifold M. These are applied to representations of fundamental groups of 3-dimensional rational homology cobordisms. The proofs use the introduction and complete computation up to sign of new numerical invariants which "count with multiplicities and signs" the number of representations up to conjugacy of the fundamental group of M to the unitary grou…
Using deep analytic methods, Cheeger and Gromov showed that for any smooth (4k-1)-manifold there is a universal bound for the von Neumann $L^2$ $ρ$-invariants associated to arbitrary regular covers. We present a proof of the existence of a universal bound for topological (4k-1)-manifolds, using $L^2$-signatures of bounding 4k-manifolds. For 3-manifolds, we give explicit linear universal bounds in terms of triangulations, Heegaard splittings, and surgery descriptions respectively. We show that our explicit bounds are asymptotically optimal. As an application, we give new lower bounds of the com…
For a closed, oriented, odd dimensional manifold $X$, we define the rho invariant $ρ(X,E,H)$ for the twisted odd signature operator valued in a flat hermitian vector bundle $E$, where $H = \sum i^{j+1} H_{2j+1}$ is an odd-degree closed differential form on $X$ and $H_{2j+1}$ is a real-valued differential form of degree ${2j+1}$. We show that the twisted rho invariant $ρ(X,E,H)$ is independent of the choice of metrics on $X$ and $E$ and of the representative $H$ in the cohomology class $[H]$. We establish some basic functorial properties of the twisted rho invariant. We express the twisted eta …
In this paper, we study the space of metrics of positive scalar curvature using methods from coarse geometry. Given a closed spin manifold M with fundamental group G, Stephan Stolz introduced the positive scalar curvature exact sequence, in analogy to the surgery exact sequence in topology. It calculates a structure group of metrics of positive scalar curvature on M (the object we want to understand) in terms of spin-bordism of BG and a somewhat mysterious group R(G). Higson and Roe introduced a K-theory exact sequence in coarse geometry which contains the Baum-Connes assembly map, with one cr…
In this paper, by using Atiyah-Patodi-Singer index theorem, we obtain a formula for the signature of a flat symplectic vector bundle over a surface with boundary, which is related to the Toledo invariant of a surface group representation in the real symplectic group and the Rho invariant on the boundary. As an application, we obtain a Milnor-Wood type inequality for the signature. In particular, we give a new proof of the Milnor-Wood inequality for the Toledo invariant in the case of closed surfaces and obtain some modified inequalities for the surface with boundary.
