arXiv research

Defines Whitehead torsion for topological spaces via K-theory.

We construct a higher Whitehead torsion map, using algebraic K-theory of spaces, and show that it satisfies the usual properties of the classical Whitehead torsion. This is used to describe a "geometric assembly map" defined on stabilized structure spaces in purely homotopy theoretic terms.

We study the Whitehead torsions of inertial h-cobordisms, and identify various types representing a nested sequence of subsets of the Whitehead group. A number of examples are given to show that these subsets are all different in general.

The paper describes projective structures with torsion using formal frames and Thomas-Whitehead connections.

New examples of hyperbolic links with generalized torsion elements found.

Study multiplicity of non-acyclic SL2-representations and L-functions of Whitehead links.

The paper develops surgery theories for foliations and solves a problem posed by Weinberger.

New examples of manifolds with similar homotopy but different simple homotopy types.

We refine the Whitehead torsion of a chain equivalence of finite chain complexes in an additive category $\bA$ from an element of $\widetilde{K}^{iso}_1(\bA)$ to an element of the absolute group $K_1^{iso}(\bA)$. We apply this invariant to symmetric Poincaré complexes and identify it in terms of more traditional invari…

Given an $L^2$-acyclic connected finite $CW$-complex, we define its universal $L^2$-torsion in terms of the chain complex of its universal covering. It takes values in the weak Whitehead group $\operatorname{Wh}^w(G)$. We study its main properties such as homotopy invariance, sum formula, product formula and Poincaré d…

Proves loop coproduct invariance under simple homotopy equivalences.

Let p be an odd regular prime, and assume that the Lichtenbaum-Quillen conjecture holds for K(Z[1/p]) at p. Then the p-primary homotopy type of the smooth Whitehead spectrum Wh(*) is described. A suspended copy of the cokernel-of-J spectrum splits off, and the torsion homotopy of the remainder equals the torsion homoto…

We use Klyachko's methods to prove that the natural map G to G-hat, where G is a torsion-free group and G-hat is obtained by adding a new generator t and a new relator w, is surjective only if w is conjugate to gt or gt^{-1} for some g in G. This solves a special case of the surjectivity problem for group extensions, r…

We give a sufficient and necessary condition of the fundamental group homomorphism of a map between manifolds to induce homology equivalences. Moreover, a classification of one-sided h-cobordism of manifolds up to diffeomorphisms is obtained, based on Quillen's plus construction with Whitehead torsions.

Let X be a closed manifold of dimension 2m >= 6 with torsion-free middle-dimensional homology. We construct metrics on X of arbitrarily small volume, such that every middle-dimensional submanifold of less than unit volume necessarily bounds. Thus, Loewner's theorem has no higher-dimensional analogue.

We study a computational method of the hyperbolic Reidemeister torsion (also called in the literature the non-abelian Reidemeister torsion) induced by J. Porti for complete hyperbolic three-dimensional manifolds with cusps. The derivative of the twisted Alexander invariant for a hyperbolic knot exterior gives the hyper…

Let (W,M,M'), dim W > 5, be a non-trivial h-cobordism (i.e., the Whitehead torsion of (W,V) is non-zero). We prove that every smooth function f: W --> [0,1], f(M)=0, f(M')=1 has at least 2 critical points. This estimate is sharp: W possesses a function as above with precisely two critical points.

In this paper we generalize the notion of strongly poly-free group to a larger class of groups, we call them strongly poly-surface groups and prove that the Fibered Isomorphism Conjecture of Farrell and Jones corresponding to the stable topological pseudoisotopy functor is true for any virtually strongly poly-surface g…

We interpret heterotic M-theory in terms of h-cobordism, that is the eleven-manifold is a product of the ten-manifold times an interval is translated into a statement that the former is a cobordism of the latter which is a homtopy equivalence. In the non-simply connected case, which is important for model building, the…

In this paper we show that the fibered isomorphism conjecture of Farrell and Jones corresponding to the stable topological pseudoisotopy functor is true for the fundamental groups of a large class of complex manifolds. A consequence of this result is that the Whitehead group, reduced projective class groups and the neg…

We study random 2-dimensional complexes in the Linial - Meshulam model and find torsion in their fundamental groups at various regimes. We find a simple algorithmically testable criterion for a subcomplex of a random 2-complex to be aspherical; this implies that any aspherical subcomplex of a random 2-complex satisfies…

We solve Dehn's isomorphism problem for virtually torsion-free relatively hyperbolic groups with nilpotent parabolic subgroups. We do so by reducing the isomorphism problem to three algorithmic problems in the parabolic subgroups, namely the isomorphism problem, separation of torsion (in their outer automorphism groups…

We compute the A-polynomial 2-tuple of twisted Whitehead links. As applications, we determine canonical components of twisted Whitehead links and give a formula for the volume of twisted Whitehead link cone-manifolds.

Study on Whitehead doubles and their sliceness properties.

Computes A-polynomials of knots from Whitehead sister link fillings.

Character variety of Whitehead link described in detail.

Whitehead doubles have matching meridional rank and bridge number.

We prove the volume conjecture for an infinite family of links called Whitehead chains that generalizes both the Whitehead link and the Borromean rings.

Computes invariant for smooth h-cobordisms families, proving duality and vanishing theorems.

This work treats on the question whether a given map f: M -> B of smooth closed manifolds is homotopic to a smooth fiber bundle. We define a first obstruction in H^1(B;Wh(π_1(E))) and, provided that this obstruction vanishes and one additional condition is verified, a second obstruction in Wh(π_1(E)) >. Both elements v…

We provide an example in each rank of an ageometric fully irreducible outer automorphism whose ideal Whitehead graph has a cut vertex. Consequently, we show that there exist examples in each rank of Handel-Mosher axis bundles that are not just a single axis, as well as of "nongeneric" behavior in the sense of the "trai…

Using geodesic currents, we provide a theoretical justification for some of the experimental results regarding the behavior of Whitehead's algorithm on non-minimal inputs, that were obtained by Haralick, Miasnikov and Myasnikov via pattern recognition methods. In particular we prove that the images of "random" elements…

Study $p$-torsion growth in covers of 3-manifolds, proving Iwasawa formulas.

We show that if K is any knot whose Ozsvath-Szabo concordance invariant tau(K) is positive, the all-positive Whitehead double of any iterated Bing double of K is topologically but not smoothly slice. We also show that the all-positive Whitehead double of any iterated Bing double of the Hopf link (e.g., the all-positive…

Paper confirms Whitehead's conjecture for aspherical 2-complexes.

A technique to calculate the colored Jones polynomials of satellite knots, illustrated by the Whitehead doubles of knots, is presented. Then we prove the volume conjecture for Whitehead doubles of a family of torus knots and show some interesting observations.

The operation of (untwisted) Whitehead doubling trivializes the Alexander module of a knot (and consequently, all known abelian invariants), and converts knots to topologically slice ones. In this note we show that Whitehead doubling does not trivialize the rational function that equals to the 2-loop part of the Kontse…

The article calculates asymptotic expansions for quantum invariants from surgeries on Whitehead link components.

We observe that Whitehead's lemma is an immediate consequence of Stallings folds.

New knots are found to be non-simple in Legendrian contact geometry.

For a closed symplectic manifold $(M,ω)$, a compatible almost complex structure $J$, a 1-periodic time dependent symplectic vector field $Z$ and a homotopy class of closed curves $γ$ we define a Floer complex based on 1-periodic trajectories of $Z$ in the homotopy class $γ$. We suppose that the closed 1-form $i_{Z_t}ω$…

In this paper we study the knot Floer homology invariants of the twisted and untwisted Whitehead doubles of an arbitrary knot K. We present a formula for the filtered chain homotopy type of HFK(D(+,K,t)) in terms of the invariants for K, where D(+,K,t) denotes the t-twisted positive-clasped Whitehead double of K. In pa…

New 3-manifold spines with unique Whitehead graphs identified.

Proves a generalized Whitehead cut vertex lemma for tree groups.

Bing-Whitehead Cantor sets were introduced by DeGryse and Osborne in dimension three and greater to produce examples of Cantor sets that were non standard (wild), but still had simply connected complement. In contrast to an earlier example of Kirkor, the construction techniques could be generalized to dimensions bigger…

In this paper we determine topologically the canonical component of the $SL_2(\mathbb{C})$ character variety of the Whitehead link complement.

Classifies tight contact structures on surgeries of the Whitehead link.

The Whitehead link exterior lacks most Euler class taut foliations.