-
Spacetime Wavelet Method for the Solution of Nonlinear Partial Differential Equations
Authors:
Cody D. Cochran,
Karel Matous
Abstract:
We propose a high-order spacetime wavelet method for the solution of nonlinear partial differential equations with a user-prescribed accuracy. The technique utilizes wavelet theory with a priori error estimates to discretize the problem in both the spatial and temporal dimensions simultaneously. We also propose a novel wavelet-based recursive algorithm to reduce the system sensitivity stemming fro…
▽ More
We propose a high-order spacetime wavelet method for the solution of nonlinear partial differential equations with a user-prescribed accuracy. The technique utilizes wavelet theory with a priori error estimates to discretize the problem in both the spatial and temporal dimensions simultaneously. We also propose a novel wavelet-based recursive algorithm to reduce the system sensitivity stemming from steep initial and/or boundary conditions. The resulting nonlinear equations are solved using the Newton-Raphson method. We parallelize the construction of the tangent operator along with the solution of the system of algebraic equations. We perform rigorous verification studies using the nonlinear Burgers' equation. The application of the method is demonstrated solving Sod shock tube problem using the Navier-Stokes equations. The numerical results of the method reveal high-order convergence rates for the function as well as its spatial and temporal derivatives. We solve problems with steep gradients in both the spatial and temporal directions with a priori error estimates.
△ Less
Submitted 13 January, 2025;
originally announced January 2025.
-
Positive operator-valued measures and densely-defined operator-valued frames
Authors:
Benjamin Robinson,
Bill Moran,
Doug Cochran
Abstract:
In the signal-processing literature, a frame is a mechanism for performing analysis and reconstruction in a Hilbert space. By contrast, in quantum theory, a positive operator-valued measure (POVM) decomposes a Hilbert-space vector for the purpose of computing measurement probabilities. Frames and their most common generalizations can be seen to give rise to POVMs, but does every reasonable POVM ar…
▽ More
In the signal-processing literature, a frame is a mechanism for performing analysis and reconstruction in a Hilbert space. By contrast, in quantum theory, a positive operator-valued measure (POVM) decomposes a Hilbert-space vector for the purpose of computing measurement probabilities. Frames and their most common generalizations can be seen to give rise to POVMs, but does every reasonable POVM arise from a type of frame? In this paper we answer this question using a Radon-Nikodym-type result.
△ Less
Submitted 24 April, 2020;
originally announced April 2020.
-
Grope metrics on the knot concordance set
Authors:
Tim D. Cochran,
Shelly Harvey,
Mark Powell
Abstract:
To a special type of grope embedded in 4-space, that we call an admissible grope, we associate a length function for each real number q at least 1. This gives rise to a family of pseudo-metrics d^q, refining the slice genus metric, on the set of concordance classes of knots, as the infimum of the length function taken over all possible grope concordances between two knots. We investigate the prope…
▽ More
To a special type of grope embedded in 4-space, that we call an admissible grope, we associate a length function for each real number q at least 1. This gives rise to a family of pseudo-metrics d^q, refining the slice genus metric, on the set of concordance classes of knots, as the infimum of the length function taken over all possible grope concordances between two knots. We investigate the properties of these metrics. The main theorem is that the topology induced by this metric on the knot concordance set is not discrete for all q>1. The analogous statement for links also holds for q=1. In addition we translate much previous work on knot concordance into distance statements. In particular, we show that winding number zero satellite operators are contractions in many cases, and we give lower bounds on our metrics arising from knot signatures and higher order order signatures. This gives further evidence in favor of the conjecture that the knot concordance group has a fractal structure.
△ Less
Submitted 27 June, 2017; v1 submitted 21 December, 2015;
originally announced December 2015.
-
Analysis of Fisher Information and the Cramér-Rao Bound for Nonlinear Parameter Estimation after Compressed Sensing
Authors:
Pooria Pakrooh,
Ali Pezeshki,
Louis L. Scharf,
Douglas Cochran,
Stephen D. Howard
Abstract:
In this paper, we analyze the impact of compressed sensing with complex random matrices on Fisher information and the Cramér-Rao Bound (CRB) for estimating unknown parameters in the mean value function of a complex multivariate normal distribution. We consider the class of random compression matrices whose distribution is right-orthogonally invariant. The compression matrix whose elements are i.i.…
▽ More
In this paper, we analyze the impact of compressed sensing with complex random matrices on Fisher information and the Cramér-Rao Bound (CRB) for estimating unknown parameters in the mean value function of a complex multivariate normal distribution. We consider the class of random compression matrices whose distribution is right-orthogonally invariant. The compression matrix whose elements are i.i.d. standard normal random variables is one such matrix. We show that for all such compression matrices, the Fisher information matrix has a complex matrix beta distribution. We also derive the distribution of CRB. These distributions can be used to quantify the loss in CRB as a function of the Fisher information of the non-compressed data. In our numerical examples, we consider a direction of arrival estimation problem and discuss the use of these distributions as guidelines for choosing compression ratios based on the resulting loss in CRB.
△ Less
Submitted 5 April, 2015;
originally announced April 2015.
-
Shake slice and shake concordant knots
Authors:
Tim D. Cochran,
Arunima Ray
Abstract:
A crucial step in the surgery-theoretic program to classify smooth manifolds is that of representing a middle--dimensional homology class by a smoothly embedded sphere. This step fails even for the simple 4-manifolds obtained from the 4-ball by adding a 2-handle with framing r along some knot K in S^3. An r-shake slice knot is one for which a generator of the second homology of this 4-manifold can…
▽ More
A crucial step in the surgery-theoretic program to classify smooth manifolds is that of representing a middle--dimensional homology class by a smoothly embedded sphere. This step fails even for the simple 4-manifolds obtained from the 4-ball by adding a 2-handle with framing r along some knot K in S^3. An r-shake slice knot is one for which a generator of the second homology of this 4-manifold can be represented by a smoothly embedded 2-sphere. It is not known whether there exist 0-shake slice knots that are not slice. We define a relative notion of shake sliceness of knots, which we call shake concordance, which is easily seen to be a generalization of classical concordance, and we give the first examples of knots that are 0-shake concordant but not concordant; these may be chosen to be topologically slice. Additionally, for each r we completely characterize r-shake slice and r-shake concordant knots in terms of concordance and satellite operators. Our characterization allows us to construct new families of possible r-shake slice knots that are not slice.
△ Less
Submitted 10 June, 2015; v1 submitted 20 February, 2015;
originally announced February 2015.
-
Operator-Valued Frames for the Heisenberg Group
Authors:
Benjamin Robinson,
William Moran,
Douglas Cochran,
Stephen D. Howard
Abstract:
A classical result of Duffin and Schaeffer gives conditions under which a discrete collection of characters on $\mathbb{R}$, restricted to $E = (-1/2, 1/2)$, forms a Hilbert-space frame for $L^2(E)$. For the case of characters with period one, this is just the Poisson Summation Formula. Duffin and Schaeffer show that perturbations preserve the frame condition in this case. This paper gives analogo…
▽ More
A classical result of Duffin and Schaeffer gives conditions under which a discrete collection of characters on $\mathbb{R}$, restricted to $E = (-1/2, 1/2)$, forms a Hilbert-space frame for $L^2(E)$. For the case of characters with period one, this is just the Poisson Summation Formula. Duffin and Schaeffer show that perturbations preserve the frame condition in this case. This paper gives analogous results for the real Heisenberg group $H_n$, where frames are replaced by operator-valued frames. The Selberg Trace Formula is used to show that perturbations of the orthogonal case continue to behave as operator-valued frames. This technique enables the construction of decompositions of elements of $L^2(E)$ for suitable subsets $E$ of $H_n$ in terms of representations of $H_n$.
△ Less
Submitted 27 September, 2014;
originally announced September 2014.
-
The geometry of the knot concordance space
Authors:
Tim D. Cochran,
Shelly Harvey
Abstract:
Most of the 50-year history of the study of the set of knot concordance classes, C, has focused on its structure as an abelian group. Here we take a different approach, namely we study C as a metric space admitting many natural geometric operators, especially satellite operators. We consider several knot concordance spaces, corresponding to different categories of concordance, and two different me…
▽ More
Most of the 50-year history of the study of the set of knot concordance classes, C, has focused on its structure as an abelian group. Here we take a different approach, namely we study C as a metric space admitting many natural geometric operators, especially satellite operators. We consider several knot concordance spaces, corresponding to different categories of concordance, and two different metrics. We establish the existence of quasi-n-flats for every n, implying that C admits no quasi-isometric embedding into a finite product of (Gromov) hyperbolic spaces. We show that every satellite operator is a quasi-homomorphism P: C --- C with respect to the metric given by the slice genus. We show that winding number one satellite operators induce quasi-isometries. We prove that strong winding number one satellite operators induce isometric embeddings for certain metrics. By contrast, winding number zero satellite operators are bounded functions and hence quasi-contractions. These results contribute to the conjecture that C is a fractal space. We establish various other results about the large-scale geometry of arbitrary satellite operators.
△ Less
Submitted 11 July, 2014; v1 submitted 20 April, 2014;
originally announced April 2014.
-
Applying the $χ^2$ Regularization Parameter Estimator by Downsampling Through Relations with The Singular Value Expansion
Authors:
Rosemary A. Renaut,
Michael Horst,
Yang Wang,
Douglas Cochran,
Jakob Hansen
Abstract:
The solution, $x$, of the linear system of equations $A x\approx b$ arising from the discretization of an ill-posed integral equation with a square integrable kernel $H(s,t)$ is considered. The Tikhonov regularized solution $ x(λ)$ is found as the minimizer of $J( x)=\{ \|A x - b\|_2^2 + λ^2 \|L x\|_2^2\}$. $ x(λ)$ depends on regularization parameter $λ$ that trades off the data fidelity, and on t…
▽ More
The solution, $x$, of the linear system of equations $A x\approx b$ arising from the discretization of an ill-posed integral equation with a square integrable kernel $H(s,t)$ is considered. The Tikhonov regularized solution $ x(λ)$ is found as the minimizer of $J( x)=\{ \|A x - b\|_2^2 + λ^2 \|L x\|_2^2\}$. $ x(λ)$ depends on regularization parameter $λ$ that trades off the data fidelity, and on the smoothing norm determined by $L$. Here we consider the case where $L$ is diagonal and invertible, and employ the Galerkin method to provide the relationship between the singular value expansion and the singular value decomposition for square integrable kernels. The resulting approximation of the integral equation permits examination of the properties of the regularized solution $ x(λ)$ independent of the sample size of the data. We prove that estimation of the regularization parameter can be obtained by consistently down sampling the data and the system matrix, leading to solutions of coarse to fine grained resolution. Hence, the estimate of $λ$ for a large problem may be found by downsampling to a smaller problem, or to a set of smaller problems, effectively moving the costly estimate of the regularization parameter to the coarse representation of the problem. Moreover, the full singular value decomposition for the fine scale system is replaced by a number of dominant terms which is determined from the coarse resolution system, again reducing the computational cost. Numerical results illustrate the theory and demonstrate the practicality of the approach for regularization parameter estimation using generalized cross validation, unbiased predictive risk estimation and the discrepancy principle applied for both the system of equations, and the augmented system of equations.
△ Less
Submitted 2 December, 2015; v1 submitted 2 November, 2013;
originally announced November 2013.
-
Positive Links
Authors:
Tim D. Cochran,
Eamonn Tweedy
Abstract:
Given a link L in the 3-sphere, we ask whether the components of L bound disjoint, nullhomologous disks properly embedded in a simply-connected positive-definite smooth 4-manifold; the knot case has been studied extensively in work of Cochran-Harvey-Horn. Such a 4-manifold is necessarily homeomorphic to a (punctured) connected sum of CP(2)'s. We characterize all links that are slice in a (puncture…
▽ More
Given a link L in the 3-sphere, we ask whether the components of L bound disjoint, nullhomologous disks properly embedded in a simply-connected positive-definite smooth 4-manifold; the knot case has been studied extensively in work of Cochran-Harvey-Horn. Such a 4-manifold is necessarily homeomorphic to a (punctured) connected sum of CP(2)'s. We characterize all links that are slice in a (punctured) connected sum of CP(2)'s in terms of ribbon moves and an operation which we call adding a generalized positive crossing. We find obstructions in the form of the Levine-Tristram signature function, the signs of the first author's generalized Sato-Levine invariants, and certain Milnor's invariants. We show that the signs of coefficients of the Conway polynomial obstruct a 2-component link from being slice in a single punctured CP(2) and conjecture these are obstructions in general. These results have applications to the question of when a 3-manifold bounds a 4-manifold whose intersection form is that of some connected sum of CP(2)'s. For example, we show that any homology 3-sphere is cobordant, via a smooth positive definite manifold, to a connected sum of surgeries on knots in the 3-sphere.
△ Less
Submitted 26 March, 2013;
originally announced March 2013.
-
Counterexamples to Kauffman's Conjectures on Slice Knots
Authors:
Tim D. Cochran,
Christopher William Davis
Abstract:
In 1982 Louis Kauffman conjectured that if a knot in the 3-sphere is a slice knot then on any Seifert surface for that knot there exists a homologically essential simple closed curve of self-linking zero which is itself a slice knot, or at least has Arf invariant zero. Since that time, considerable evidence has been amassed in support of this conjecture. In particular, many invariants that obstruc…
▽ More
In 1982 Louis Kauffman conjectured that if a knot in the 3-sphere is a slice knot then on any Seifert surface for that knot there exists a homologically essential simple closed curve of self-linking zero which is itself a slice knot, or at least has Arf invariant zero. Since that time, considerable evidence has been amassed in support of this conjecture. In particular, many invariants that obstruct a knot from being a slice knot have been explictly expressed in terms of invariants of such curves on the Seifert surface. We give counterexamples to Kauffman's conjecture, that is, we exhibit (smoothly) slice knots that admit (unique minimal genus) Seifert surfaces on which every homologically essential simple closed curve of self-linking zero has non-zero Arf invariant and non-zero signatures.
△ Less
Submitted 11 March, 2014; v1 submitted 18 March, 2013;
originally announced March 2013.
-
Structure in the bipolar filtration of topologically slice knots
Authors:
Tim D. Cochran,
Peter D. Horn
Abstract:
Let T denote the group of smooth concordance classes of topologically sice knots. We show that the first quotient in the bipolar filtration of T (i.e. 0-bipolar knots modulo 1-bipolar knots) has infinite rank, even modulo Alexander polynomial one knots. Any 0-bipolar knot has vanishing tau-, epsilon-, and s-invariants. We prove the result using d-invariants associated to the 2-fold branched covers…
▽ More
Let T denote the group of smooth concordance classes of topologically sice knots. We show that the first quotient in the bipolar filtration of T (i.e. 0-bipolar knots modulo 1-bipolar knots) has infinite rank, even modulo Alexander polynomial one knots. Any 0-bipolar knot has vanishing tau-, epsilon-, and s-invariants. We prove the result using d-invariants associated to the 2-fold branched covers of knot complements.
△ Less
Submitted 28 August, 2012;
originally announced August 2012.
-
Homology cobordism and Seifert fibered 3-manifolds
Authors:
Tim D. Cochran,
Daniel Tanner
Abstract:
It is known that every closed oriented 3-manifold is homology cobordant to a hyperbolic 3-manifold. By contrast we show that many homology cobordism classes contain no Seifert fibered 3-manifold. This is accomplished by determining the isomorphism type of the rational cohomology ring of all Seifert fibered 3-manifolds with no 2-torsion in their first homology. Then we exhibit families of examples…
▽ More
It is known that every closed oriented 3-manifold is homology cobordant to a hyperbolic 3-manifold. By contrast we show that many homology cobordism classes contain no Seifert fibered 3-manifold. This is accomplished by determining the isomorphism type of the rational cohomology ring of all Seifert fibered 3-manifolds with no 2-torsion in their first homology. Then we exhibit families of examples of 3-manifolds (obtained by surgery on links), with fixed linking form and cohomology ring, that are not homology cobordant to any Seifert fibered space (as shown by their rational cohomology ring). These examples are shown to represent distinct homology cobordism classes using higher Massey products and Milnor's u-invariants for links.
△ Less
Submitted 20 July, 2012;
originally announced July 2012.
-
Injectivity of satellite operators in knot concordance
Authors:
Tim D. Cochran,
Christopher W. Davis,
Arunima Ray
Abstract:
Let P be a knot in a solid torus, K a knot in 3-space and P(K) the satellite knot of K with pattern P. This defines an operator on the set of knot types and induces a satellite operator P:C--> C on the set of smooth concordance classes of knots. There has been considerable interest in whether certain such functions are injective. For example, it is a famous open problem whether the Whitehead doubl…
▽ More
Let P be a knot in a solid torus, K a knot in 3-space and P(K) the satellite knot of K with pattern P. This defines an operator on the set of knot types and induces a satellite operator P:C--> C on the set of smooth concordance classes of knots. There has been considerable interest in whether certain such functions are injective. For example, it is a famous open problem whether the Whitehead double operator is weakly injective (an operator is called weakly injective if P(K)=P(0) implies K=0 where 0 is the class of the trivial knot). We prove that, modulo the smooth 4-dimensional Poincare Conjecture, any strong winding number one satellite operator is injective on C. More precisely, if P has strong winding number one and P(K)=P(J), then K is smoothly concordant to J in S^3 x [0,1] equipped with a possibly exotic smooth structure. We also prove that any strong winding number one operator is injective on the topological knot concordance group. If P(0) is unknotted then strong winding number one is the same as (ordinary) winding number one. More generally we show that any satellite operator with non-zero winding number n induces an injective function on the set of Z[1/n]-concordance classes of knots. We extend some of our results to links.
△ Less
Submitted 16 July, 2013; v1 submitted 22 May, 2012;
originally announced May 2012.
-
Filtering smooth concordance classes of topologically slice knots
Authors:
Tim D. Cochran,
Shelly Harvey,
Peter Horn
Abstract:
We propose and analyze a structure with which to organize the difference between a knot in the 3-sphere bounding a topologically embedded 2-disk in the 4-ball and it bounding a smoothly embedded disk. The n-solvable filtration of the topological knot concordance group, due to Cochran-Orr-Teichner, may be complete in the sense that any knot in the intersection of its terms may well be topologically…
▽ More
We propose and analyze a structure with which to organize the difference between a knot in the 3-sphere bounding a topologically embedded 2-disk in the 4-ball and it bounding a smoothly embedded disk. The n-solvable filtration of the topological knot concordance group, due to Cochran-Orr-Teichner, may be complete in the sense that any knot in the intersection of its terms may well be topologically slice. However, the natural extension of this filtration to what is called the n-solvable filtration of the smooth knot concordance group, is unsatisfactory because any topologically slice knot lies in every term of the filtration. To ameliorate this we investigate a new filtration, {B_n}, that is simultaneously a refinement of the n-solvable filtration and a generalization of notions of positivity studied by Gompf and Cochran. We show that each B_n/B_{n+1} has infinite rank. But our primary interest is in the induced filtration, {T_n}, on the subgroup, T, of knots that are topologically slice. We prove that T/T_0 is large, detected by gauge-theoretic invariants and the tau, s, and epsilon-invariants; while the non-triviliality of T_0/T_1 can be detected by certain d-invariants. All of these concordance obstructions vanish for knots in T_1. Nonetheless, going beyond this, our main result is that T_1/T_2 has positive rank. Moreover under a "weak homotopy-ribbon" condition, we show that each T_n/T_{n+1} has positive rank. These results suggest that, even among topologically slice knots, the fundamental group is responsible for a wide range of complexity.
△ Less
Submitted 9 April, 2013; v1 submitted 30 January, 2012;
originally announced January 2012.
-
Positive Operator Valued Measures: A General Setting for Frames
Authors:
Bill Moran,
Stephen Howard,
Doug Cochran
Abstract:
This paper presents an overview of close parallels that exist between the theory of positive operator-valued measures (POVMs) associated with a separable Hilbert space and the theory of frames on that space, including its most important generalizations. The concept of a framed POVM is introduced, and classical frames, fusion frames, generalized frames, and other variants of frames are all shown to…
▽ More
This paper presents an overview of close parallels that exist between the theory of positive operator-valued measures (POVMs) associated with a separable Hilbert space and the theory of frames on that space, including its most important generalizations. The concept of a framed POVM is introduced, and classical frames, fusion frames, generalized frames, and other variants of frames are all shown to to arise as framed POVMs. This observation allows drawing on a rich existing theory of POVMs to provide new perspectives in the study of frames.
△ Less
Submitted 6 November, 2011;
originally announced November 2011.
-
Sensor Management: Past, Present, and Future
Authors:
Alfred O. Hero III,
Douglas Cochran
Abstract:
Sensor systems typically operate under resource constraints that prevent the simultaneous use of all resources all of the time. Sensor management becomes relevant when the sensing system has the capability of actively managing these resources; i.e., changing its operating configuration during deployment in reaction to previous measurements. Examples of systems in which sensor management is current…
▽ More
Sensor systems typically operate under resource constraints that prevent the simultaneous use of all resources all of the time. Sensor management becomes relevant when the sensing system has the capability of actively managing these resources; i.e., changing its operating configuration during deployment in reaction to previous measurements. Examples of systems in which sensor management is currently used or is likely to be used in the near future include autonomous robots, surveillance and reconnaissance networks, and waveform-agile radars. This paper provides an overview of the theory, algorithms, and applications of sensor management as it has developed over the past decades and as it stands today.
△ Less
Submitted 11 September, 2011;
originally announced September 2011.
-
Knot concordance and homology cobordism
Authors:
Tim D. Cochran,
Bridget D. Franklin,
Matthew Hedden,
Peter D. Horn
Abstract:
We consider the question: "If the zero-framed surgeries on two oriented knots in the 3-sphere are integral homology cobordant, preserving the homology class of the positive meridians, are the knots themselves concordant?" We show that this question has a negative answer in the smooth category, even for topologically slice knots. To show this we first prove that the zero-framed surgery on K is Z-ho…
▽ More
We consider the question: "If the zero-framed surgeries on two oriented knots in the 3-sphere are integral homology cobordant, preserving the homology class of the positive meridians, are the knots themselves concordant?" We show that this question has a negative answer in the smooth category, even for topologically slice knots. To show this we first prove that the zero-framed surgery on K is Z-homology cobordant to the zero-framed surgery on many of its winding number one satellites P(K). Then we prove that in many cases the tau and s-invariants of K and P(K) differ. Consequently neither tau nor s is an invariant of the smooth homology cobordism class of the zero-framed surgery. We also show, that a natural rational version of this question has a negative answer in both the topological and smooth categories, by proving similar results for K and its (p,1)-cables.
△ Less
Submitted 28 February, 2011;
originally announced February 2011.
-
Rational knot concordance and homology cobordism
Authors:
Tim D. Cochran,
Bridget D. Franklin,
Peter D. Horn
Abstract:
The following is a long-standing open question: "If the zero-framed surgeries on two knots in the 3-sphere are integral homology cobordant, are the knots themselves concordant?" We show that an obvious rational version of this question has a negative answer. Namely, we give examples of knots whose zero-framed surgeries are rational homology cobordant 3-manifolds, wherein the knots are not rational…
▽ More
The following is a long-standing open question: "If the zero-framed surgeries on two knots in the 3-sphere are integral homology cobordant, are the knots themselves concordant?" We show that an obvious rational version of this question has a negative answer. Namely, we give examples of knots whose zero-framed surgeries are rational homology cobordant 3-manifolds, wherein the knots are not rationally concordant (that is not concordant in any rational homology S^3 x [0,1]). Specifically, we prove that, for any positive integer p and any knot K, the zero framed surgery on K is Z[1/p]-homology cobordant to the zero framed surgery on its (p,1) cable. Then we observe that most knots are not rationally concordant to their (p,1) cables.
△ Less
Submitted 24 November, 2010; v1 submitted 22 November, 2010;
originally announced November 2010.
-
Topological recursion for symplectic volumes of moduli spaces of curves
Authors:
Julia Bennett,
David Cochran,
Brad Safnuk,
Kaitlin Woskoff
Abstract:
We construct locally defined symplectic torus actions on ribbon graph complexes. Symplectic reduction techniques allow for a recursive formula for the symplectic volumes of these spaces. Taking the Laplace transform results in the Eynard-Orantin recursion formulas for the Airy curve x = y^2 / 2.
We construct locally defined symplectic torus actions on ribbon graph complexes. Symplectic reduction techniques allow for a recursive formula for the symplectic volumes of these spaces. Taking the Laplace transform results in the Eynard-Orantin recursion formulas for the Airy curve x = y^2 / 2.
△ Less
Submitted 17 March, 2011; v1 submitted 8 October, 2010;
originally announced October 2010.
-
Higher-order signature cocycles for subgroups of mapping class groups and homology cylinders
Authors:
Tim D. Cochran,
Shelly Harvey,
Peter Horn
Abstract:
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 sho…
▽ More
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.
△ Less
Submitted 2 August, 2011; v1 submitted 25 March, 2010;
originally announced March 2010.
-
2-torsion in the n-solvable filtration of the knot concordance group
Authors:
Tim D. Cochran,
Shelly Harvey,
Constance Leidy
Abstract:
In 1997 Cochran-Orr-Teichner introduced a natural filtration, called the n-solvable filtration, of the smooth knot concordance group, C. Its terms {F_n} are indexed by half integers. We show that each associated graded abelian group G_n=F_n/F_{n.5}, n>1, contains infinite linearly independent sets of elements of order 2 (this was known previously for n=0,1). Each of the representative knots is n…
▽ More
In 1997 Cochran-Orr-Teichner introduced a natural filtration, called the n-solvable filtration, of the smooth knot concordance group, C. Its terms {F_n} are indexed by half integers. We show that each associated graded abelian group G_n=F_n/F_{n.5}, n>1, contains infinite linearly independent sets of elements of order 2 (this was known previously for n=0,1). Each of the representative knots is negative amphichiral, with vanishing s-invariant, tau-invariant, delta-invariants and Casson-Gordon invariants. Moreover each is smoothly slice in a rational homology 4-ball. In fact we show that there are many distinct such classes in G_n, distinguished by their classical Alexander polynomials and by the orders of elements in their higher-order Alexander modules.
△ Less
Submitted 12 April, 2010; v1 submitted 27 July, 2009;
originally announced July 2009.
-
Primary decomposition and the fractal nature of knot concordance
Authors:
Tim D. Cochran,
Shelly Harvey,
Constance Leidy
Abstract:
For each sequence of polynomials, P=(p_1(t),p_2(t),...), we define a characteristic series of groups, called the derived series localized at P. Given a knot K in S^3, such a sequence of polynomials arises naturally as the orders of certain submodules of the sequence of higher-order Alexander modules of K. These group series yield new filtrations of the knot concordance group that refine the (n)-…
▽ More
For each sequence of polynomials, P=(p_1(t),p_2(t),...), we define a characteristic series of groups, called the derived series localized at P. Given a knot K in S^3, such a sequence of polynomials arises naturally as the orders of certain submodules of the sequence of higher-order Alexander modules of K. These group series yield new filtrations of the knot concordance group that refine the (n)-solvable filtration of Cochran-Orr-Teichner. We show that the quotients of successive terms of these refined filtrations have infinite rank. These results also suggest higher-order analogues of the p(t)-primary decomposition of the algebraic concordance group. We use these techniques to give evidence that the set of smooth concordance classes of knots is a fractal set. We also show that no Cochran-Orr-Teichner knot is concordant to any Cochran-Harvey-Leidy knot.
△ Less
Submitted 23 April, 2010; v1 submitted 7 June, 2009;
originally announced June 2009.
-
The Milnor degree of a three-manifold
Authors:
Tim Cochran,
Paul Melvin
Abstract:
The Milnor degree of a 3-manifold is an invariant that records the maximum simplicity, in terms of higher order linking, of any link in the 3-sphere that can be surgered to give the manifold. This invariant is investigated in the context of torsion linking forms, nilpotent quotients of the fundamental group, Massey products and quantum invariants, and the existence of 3-manifolds with any prescr…
▽ More
The Milnor degree of a 3-manifold is an invariant that records the maximum simplicity, in terms of higher order linking, of any link in the 3-sphere that can be surgered to give the manifold. This invariant is investigated in the context of torsion linking forms, nilpotent quotients of the fundamental group, Massey products and quantum invariants, and the existence of 3-manifolds with any prescribed Milnor degree and first Betti number is established.
Along the way, it is shown that the number M(k,r) of linearly independent Milnor invariants of degree k, distinguishing r-component links in the 3-sphere whose lower degree invariants vanish, is positive except in the classically known cases (when r = 1, and when r = 2 with k = 2, 4 or 6).
△ Less
Submitted 23 January, 2010; v1 submitted 10 February, 2009;
originally announced February 2009.
-
Derivatives of Knots and Second-order Signatures
Authors:
Tim Cochran,
Shelly Harvey,
Constance Leidy
Abstract:
We define a set of "second-order" L^(2)-signature invariants for any algebraically slice knot. These obstruct a knot's being a slice knot and generalize Casson-Gordon invariants, which we consider to be "first-order signatures". As one application we prove: If K is a genus one slice knot then, on any genus one Seifert surface, there exists a homologically essential simple closed curve of self-li…
▽ More
We define a set of "second-order" L^(2)-signature invariants for any algebraically slice knot. These obstruct a knot's being a slice knot and generalize Casson-Gordon invariants, which we consider to be "first-order signatures". As one application we prove: If K is a genus one slice knot then, on any genus one Seifert surface, there exists a homologically essential simple closed curve of self-linking zero, which has vanishing zero-th order signature and a vanishing first-order signature. This extends theorems of Cooper and Gilmer. We introduce a geometric notion, that of a derivative of a knot with respect to a metabolizer. We also introduce a new equivalence relation, generalizing homology cobordism, called null-bordism.
△ Less
Submitted 17 January, 2010; v1 submitted 10 August, 2008;
originally announced August 2008.
-
Homological stability of series of groups
Authors:
Tim D. Cochran,
Shelly Harvey
Abstract:
``What aspects of a group are unchanged, or stable, under homology equivalences''? The model theorem in this regard is the 1963 result of J. Stallings that the lower central series is preserved under any integral homological equivalence of groups. Various other theorems of this nature have since appeared. Stallings himself proved similar theorems for homology with rational or mod p coefficients.…
▽ More
``What aspects of a group are unchanged, or stable, under homology equivalences''? The model theorem in this regard is the 1963 result of J. Stallings that the lower central series is preserved under any integral homological equivalence of groups. Various other theorems of this nature have since appeared. Stallings himself proved similar theorems for homology with rational or mod p coefficients. These involved different series of groups- variations of the lower central series. W. Dwyer generalized Stallings' integral results to larger classes of maps, work that was completed in the other cases by the authors. More recently the authors proved analogues of the theorems of Stallings and Dwyer for variations of the derived series. The above theorems are all different but clearly have much in common. Here we present a new concept, that of the stability of a subgroup, or a series of subgroups under a class of maps, that offers a framework in which all of these theorems can be viewed. We contrast it with homological localization of groups, which is a previously well-studied framework that might also be applied to these questions.
△ Less
Submitted 29 September, 2009; v1 submitted 17 February, 2008;
originally announced February 2008.
-
Link concordance and generalized doubling operators
Authors:
Tim Cochran,
Shelly Harvey,
Constance Leidy
Abstract:
We introduce a technique for showing classical knots and links are not slice. As one application we show that the iterated Bing doubles of many algebraically slice knots are not topologically slice. Some of the proofs do not use the existence of the Cheeger-Gromov bound, a deep analytical tool used by Cochran-Teichner. We define generalized doubling operators, of which Bing doubling is an instan…
▽ More
We introduce a technique for showing classical knots and links are not slice. As one application we show that the iterated Bing doubles of many algebraically slice knots are not topologically slice. Some of the proofs do not use the existence of the Cheeger-Gromov bound, a deep analytical tool used by Cochran-Teichner. We define generalized doubling operators, of which Bing doubling is an instance, and prove our nontriviality results in this more general context. Our main examples are boundary links that cannot be detected in the algebraic boundary link concordance group.
△ Less
Submitted 2 September, 2008; v1 submitted 23 January, 2008;
originally announced January 2008.
-
Knot Concordance and Higher-Order Blanchfield Duality
Authors:
Tim D. Cochran,
Shelly Harvey,
Constance Leidy
Abstract:
In 1997, T. Cochran, K. Orr, and P. Teichner defined a filtration {F_n} of the classical knot concordance group C. The filtration is important because of its strong connection to the classification of topological 4-manifolds. Here we introduce new techniques for studying C and use them to prove that, for each natural number n, the abelian group F_n/F_{n.5} has infinite rank. We establish the sam…
▽ More
In 1997, T. Cochran, K. Orr, and P. Teichner defined a filtration {F_n} of the classical knot concordance group C. The filtration is important because of its strong connection to the classification of topological 4-manifolds. Here we introduce new techniques for studying C and use them to prove that, for each natural number n, the abelian group F_n/F_{n.5} has infinite rank. We establish the same result for the corresponding filtration of the smooth concordance group. We also resolve a long-standing question as to whether certain natural families of knots, first considered by Casson-Gordon and Gilmer, contain slice knots.
△ Less
Submitted 14 September, 2008; v1 submitted 16 October, 2007;
originally announced October 2007.
-
New Constructions of Slice Links
Authors:
Tim D. Cochran,
Stefan Friedl,
Peter Teichner
Abstract:
We use techniques of Freedman and Teichner to prove that, under certain circumstances, the multi-infection of a slice link is again slice (not necessarily smoothly slice). We provide a general context for proving links are slice that includes many of the previously known results.
We use techniques of Freedman and Teichner to prove that, under certain circumstances, the multi-infection of a slice link is again slice (not necessarily smoothly slice). We provide a general context for proving links are slice that includes many of the previously known results.
△ Less
Submitted 13 September, 2007;
originally announced September 2007.
-
Knot concordance and Blanchfield duality
Authors:
Tim D. Cochran,
Shelly Harvey,
Constance Leidy
Abstract:
We introduce a new technique for showing classical knots and links are not slice. As one application we resolve a long-standing question as to whether certain natural families of knots contain topologically slice knots. We also present a simpler proof of the result of Cochran-Teichner that the successive quotients of the integral terms of the Cochran-Orr-Teichner filtration of the knot concordan…
▽ More
We introduce a new technique for showing classical knots and links are not slice. As one application we resolve a long-standing question as to whether certain natural families of knots contain topologically slice knots. We also present a simpler proof of the result of Cochran-Teichner that the successive quotients of the integral terms of the Cochran-Orr-Teichner filtration of the knot concordance group have rank 1. For links we have similar results. We show that the iterated Bing doubles of many algebraically slice knots are not topologically slice. Some of the proofs do not use the existence of the Cheeger-Gromov bound, a deep analytical tool used by Cochran-Teichner. Our main examples are actually boundary links but cannot be detected in the algebraic boundary link concordance group, nor by any $ρ$ invariants associated to solvable representations into finite unitary groups.
△ Less
Submitted 28 May, 2007;
originally announced May 2007.
-
Homology and Derived p-Series of Groups
Authors:
Tim D. Cochran,
Shelly Harvey
Abstract:
We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology equivalent have fundamental groups that are isomorphic modulo any term of their p-derived series. Various authors have related the ranks of the successive quotients o…
▽ More
We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology equivalent have fundamental groups that are isomorphic modulo any term of their p-derived series. Various authors have related the ranks of the successive quotients of the lower central p-series and of the derived p-series of the fundamental group of a 3-manifold M to the volume of M, to whether certain subgroups of the fundamental group of M are free, whether finite index subgroups of the fundamental group of M map onto non-abelian free groups, and to whether finite covers of M are ``large'' in various other senses.
Specifically, let A be a finitely-generated group and B be a finitely presented group. If a homomorphism induces an isomorphism (respectively monomorphism) on H_1(- ;Z_p) and an epimorphism on H_2(- ;Z_p), then for each finite n, it induces an isomorphism (respectively monomorphism) between the quotients of A and B by the n-th terms of their respective p-derived series. In fact we prove a stronger version that is analogous to Dwyer's extension of Stallings' theorem.
△ Less
Submitted 5 April, 2007; v1 submitted 28 February, 2007;
originally announced February 2007.
-
Homology and Derived Series of Groups II: Dwyer's Theorem
Authors:
Tim D. Cochran,
Shelly Harvey
Abstract:
We give new information about the relationship between the low-dimensional homology of a group and its derived series. This yields information about how the low-dimensional homology of a topological space constrains its fundamental group. Applications are given to detecting when a set of elements of a group generates a subgroup ``large enough'' to map onto a non-abelian free solvable group, and…
▽ More
We give new information about the relationship between the low-dimensional homology of a group and its derived series. This yields information about how the low-dimensional homology of a topological space constrains its fundamental group. Applications are given to detecting when a set of elements of a group generates a subgroup ``large enough'' to map onto a non-abelian free solvable group, and to concordance and grope cobordism of links. We also greatly generalize several key homological results employed in recent work of Cochran-Orr-Teichner, in the context of classical knot concordance.
In 1963 J. Stallings established a strong relationship between the low-dimensional homology of a group and its lower central series quotients. In 1975 W. Dwyer extended Stallings' theorem by weakening the hypothesis on the second homology groups. The naive analogues of these theorems for the derived series are false. In 2003 the second author introduced a new characteristic series, associated to the derived series, called the torsion-free derived series. The authors previously established a precise analogue, for the torsion-free derived series, of Stallings' theorem. Here our main result is the analogue of Dwyer's theorem for the torsion-free derived series. We also prove a version of Dwyer's theorem for the rational lower central series. We apply these to give new results on the Cochran-Orr-Teichner filtration of the classical link concordance group.
△ Less
Submitted 29 October, 2007; v1 submitted 17 September, 2006;
originally announced September 2006.
-
The Growth Rate of the First Betti Number in Abelian Covers of 3-Manifolds
Authors:
Tim D. Cochran,
Joseph D. Masters
Abstract:
We give examples of closed hyperbolic 3-manifolds with first Betti number 2 and 3 for which no sequence of finite abelian covering spaces increases the first Betti number. For 3-manifolds $M$ with first Betti number 2 we give a characterization in terms of some generalized self-linking numbers of $M$, for there to exist a family of $\mathbb{Z}_n$ covering spaces,
$M_n$, in which $β_1(M_n)$ inc…
▽ More
We give examples of closed hyperbolic 3-manifolds with first Betti number 2 and 3 for which no sequence of finite abelian covering spaces increases the first Betti number. For 3-manifolds $M$ with first Betti number 2 we give a characterization in terms of some generalized self-linking numbers of $M$, for there to exist a family of $\mathbb{Z}_n$ covering spaces,
$M_n$, in which $β_1(M_n)$ increases linearly with $n$.
The latter generalizes work of M. Katz and C. Lescop [KL], by showing that the non-vanishing of any one of these invariants of $M$ is sufficient to guarantee certain optimal systolic inequalities for $M$ (by work of Ivanov and Katz [IK]).
△ Less
Submitted 27 October, 2005; v1 submitted 16 August, 2005;
originally announced August 2005.
-
Higher-order Alexander invariants and filtrations of the knot concordance group
Authors:
Tim D. Cochran,
Taehee Kim
Abstract:
We establish certain "non-triviality" results for several filtrations of the smooth and topological knot concordance groups. First, as regards the n-solvable filtration of the topological knot concordance group defined by K. Orr, P. Teichner and the first author, we refine the recent non-triviality results of Cochran and Teichner by including information on the Alexander modules. These results a…
▽ More
We establish certain "non-triviality" results for several filtrations of the smooth and topological knot concordance groups. First, as regards the n-solvable filtration of the topological knot concordance group defined by K. Orr, P. Teichner and the first author, we refine the recent non-triviality results of Cochran and Teichner by including information on the Alexander modules. These results also extend those of C. Livingston and the second author. We exhibit similar structure in the closely related symmetric Grope filtration of the knot concordance group considered by the first author and Teichner. We also show that the Grope filtration of the smooth concordance group is non-trivial using examples that cannot be distinguished by the Ozsvath-Szabo tau invariant nor by J. Rasmussen's s-invariant. Our broader contribution is to establish, in "the relative case", the key homological results whose analogues Cochran-Orr-Teichner established in "the absolute case".
We say two knots K and J are concordant modulo n-solvability if K#(-J) is n-solvable. Our main result is that, for any knot K whose classical Alexander polynomial has degree greater than 2, and for any positive integer n, there exist infinitely many knots K_i that are concordant to K modulo n-solvability, but are all distinct modulo n.5-solvability. Moreover, the K_i and K share the same classical Seifert matrix and Alexander module as well as sharing the same higher-order Alexander modules and Seifert presentations up to order n-1.
△ Less
Submitted 3 February, 2005; v1 submitted 29 November, 2004;
originally announced November 2004.
-
Knot concordance and von Neumann $ρ$-invariants
Authors:
Tim D. Cochran,
Peter Teichner
Abstract:
We prove the nontriviality, at all integral levels n, of the filtration, F_n, of the classical topological knot concordance group recently defined by the authors and Kent Orr [COT]. Recall that this filtration is significant not only because of it's strong connection to Whitney tower constructions of Casson and Freedman, but also because all previously-known concordance invariants are related to…
▽ More
We prove the nontriviality, at all integral levels n, of the filtration, F_n, of the classical topological knot concordance group recently defined by the authors and Kent Orr [COT]. Recall that this filtration is significant not only because of it's strong connection to Whitney tower constructions of Casson and Freedman, but also because all previously-known concordance invariants are related to the first few terms in the filtration. In [COT] we proved nontriviality at the first new level (n=3) by using von Neumann $ρ$-invariants of the 3-manifolds obtained by zero surgery on the knots. Here, for larger n, we use the Cheeger-Gromov estimate for such $ρ$-invariants, as well as some rather involved algebraic arguments using our noncommutative Blanchfield forms. In addition, we consider a closely related filtration, defined in terms of Gropes in the 4-ball and show that this filtration is non-trivial for all n>2.
△ Less
Submitted 2 November, 2004;
originally announced November 2004.
-
Homology and derived series of groups
Authors:
Tim Cochran,
Shelly Harvey
Abstract:
In 1964, John Stallings established an important relationship between the low-dimensional homology of a group and its lower central series. We establish a similar relationship between the low-dimensional homology of a group and its derived series. We also define a torsion-free-solvable completion of a group that is analogous to the Malcev completion, with the role of the lower central series rep…
▽ More
In 1964, John Stallings established an important relationship between the low-dimensional homology of a group and its lower central series. We establish a similar relationship between the low-dimensional homology of a group and its derived series. We also define a torsion-free-solvable completion of a group that is analogous to the Malcev completion, with the role of the lower central series replaced by the derived series. We prove that the torsion-free-solvable completion is invariant under rational homology equivalence.
△ Less
Submitted 30 November, 2005; v1 submitted 12 July, 2004;
originally announced July 2004.
-
Noncommutative knot theory
Authors:
Tim D. Cochran
Abstract:
The classical abelian invariants of a knot are the Alexander module, which is the first homology group of the the unique infinite cyclic covering space of S^3-K, considered as a module over the (commutative) Laurent polynomial ring, and the Blanchfield linking pairing defined on this module. From the perspective of the knot group, G, these invariants reflect the structure of G^(1)/G^(2) as a mod…
▽ More
The classical abelian invariants of a knot are the Alexander module, which is the first homology group of the the unique infinite cyclic covering space of S^3-K, considered as a module over the (commutative) Laurent polynomial ring, and the Blanchfield linking pairing defined on this module. From the perspective of the knot group, G, these invariants reflect the structure of G^(1)/G^(2) as a module over G/G^(1) (here G^(n) is the n-th term of the derived series of G). Hence any phenomenon associated to G^(2) is invisible to abelian invariants. This paper begins the systematic study of invariants associated to solvable covering spaces of knot exteriors, in particular the study of what we call the n-th higher-order Alexander module, G^(n+1)/G^(n+2), considered as a Z[G/G^(n+1)$-module. We show that these modules share almost all of the properties of the classical Alexander module. They are torsion modules with higher-order Alexander polynomials whose degrees give lower bounds for the knot genus. The modules have presentation matrices derived either from a group presentation or from a Seifert surface. They admit higher-order linking forms exhibiting self-duality. There are applications to estimating knot genus and to detecting fibered, prime and alternating knots. There are also surprising applications to detecting symplectic structures on 4-manifolds. These modules are similar to but different from those considered by the author, Kent Orr and Peter Teichner and are special cases of the modules considered subsequently by Shelly Harvey for arbitrary 3-manifolds.
△ Less
Submitted 25 June, 2004; v1 submitted 24 June, 2002;
originally announced June 2002.
-
Structure in the classical knot concordance group
Authors:
Tim D. Cochran,
Kent E. Orr,
Peter Teichner
Abstract:
We provide new information about the structure of the abelian group of topological concordance classes of knots in $S^3$. One consequence is that there is a subgroup of infinite rank consisting entirely of knots with vanishing Casson-Gordon invariants but whose non-triviality is detected by $L^{(2)}$ signatures.
We provide new information about the structure of the abelian group of topological concordance classes of knots in $S^3$. One consequence is that there is a subgroup of infinite rank consisting entirely of knots with vanishing Casson-Gordon invariants but whose non-triviality is detected by $L^{(2)}$ signatures.
△ Less
Submitted 6 June, 2002;
originally announced June 2002.
-
Knot concordance, Whitney towers and L^2 signatures
Authors:
Tim D. Cochran,
Kent E. Orr,
Peter Teichner
Abstract:
We construct many examples of non-slice knots in 3-space that cannot be distinguished from slice knots by previously known invariants. Using Whitney towers in place of embedded disks, we define a geometric filtration of the 3-dimensional topological knot concordance group. The bottom part of the filtration exhibits all classical concordance invariants, including the Casson-Gordon invariants. As…
▽ More
We construct many examples of non-slice knots in 3-space that cannot be distinguished from slice knots by previously known invariants. Using Whitney towers in place of embedded disks, we define a geometric filtration of the 3-dimensional topological knot concordance group. The bottom part of the filtration exhibits all classical concordance invariants, including the Casson-Gordon invariants. As a first step, we construct an infinite sequence of new obstructions that vanish on slice knots. These take values in the L-theory of skew fields associated to certain {\em universal} groups. Finally, we use the dimension theory of von Neumann algebras to define an L^2 signature and use this to detect the first unknown step in our obstruction theory.
△ Less
Submitted 9 February, 2004; v1 submitted 22 August, 1999;
originally announced August 1999.
-
Dehn Surgery Equivalence Relations on Three-Manifolds
Authors:
Tim Cochran,
Amir Gerges,
Kent Orr
Abstract:
When can one 3-manifold be transformed to another by a finite sequence of Dehn surgeries which are restricted to preserve the first homology of the manifolds ? What is the resulting equivalence relation on 3-manifolds ? What if the surgery circle is further restricted to lie more deeply in the lower central series of the fundamental group ? We answer these questions. It is shown that many of the…
▽ More
When can one 3-manifold be transformed to another by a finite sequence of Dehn surgeries which are restricted to preserve the first homology of the manifolds ? What is the resulting equivalence relation on 3-manifolds ? What if the surgery circle is further restricted to lie more deeply in the lower central series of the fundamental group ? We answer these questions. It is shown that many of these questions have answers in terms of classical toplogical invariants. Relations with Heegard splittings and the Torelli group are discussed. This is also related to whether or not one 3-manifold may be obtained from another by Dehn surgery on a link of restricted type. These equivalence relations form the philosophical basis of the authors joint work with Paul Melvin on a theory of finite type invariants for arbitrary 3-manifolds.
△ Less
Submitted 28 September, 1998;
originally announced September 1998.
-
Quantum cyclotomic orders of 3-manifolds
Authors:
Tim D. Cochran,
Paul Melvin
Abstract:
This paper provides a topological interpretation for number theoretic properties of quantum invariants of 3-manifolds. In particular, it is shown that the p-adic valuation of the quantum SO(3)-invariant of a 3-manifold M, for odd primes p, is bounded below by a linear function of the mod p first betti number of M. Sharper bounds using more delicate topological invariants related to Massey produc…
▽ More
This paper provides a topological interpretation for number theoretic properties of quantum invariants of 3-manifolds. In particular, it is shown that the p-adic valuation of the quantum SO(3)-invariant of a 3-manifold M, for odd primes p, is bounded below by a linear function of the mod p first betti number of M. Sharper bounds using more delicate topological invariants related to Massey products are given as well.
△ Less
Submitted 26 August, 1999; v1 submitted 22 September, 1998;
originally announced September 1998.
-
Finite type invariants of 3-manifolds
Authors:
Tim D. Cochran,
Paul Melvin
Abstract:
A theory of finite type invariants for arbitrary compact oriented 3-manifolds is proposed, and illustrated through many examples arising from both classical and quantum topology. The theory is seen to be highly non-trivial even for manifolds with large first betti number, encompassing much of the complexity of Ohtsuki's theory for homology spheres. (For example, it is seen that the quantum SO(3)…
▽ More
A theory of finite type invariants for arbitrary compact oriented 3-manifolds is proposed, and illustrated through many examples arising from both classical and quantum topology. The theory is seen to be highly non-trivial even for manifolds with large first betti number, encompassing much of the complexity of Ohtsuki's theory for homology spheres. (For example, it is seen that the quantum SO(3) invariants, though not of finite type, are determined by finite type invariants.) The algebraic structure of the set of all finite type invariants is investigated, along with a combinatorial model for the theory in terms of trivalent "Feynman diagrams".
△ Less
Submitted 25 August, 1999; v1 submitted 6 May, 1998;
originally announced May 1998.
