Whitehead torsion

In mathematics, Whitehead torsion is an invariant of an h-cobordism in a Whitehead group, that is important in simple homotopy theory and surgery theory. It is named for J. H. C. Whitehead.

Whitehead torsion

Suppose that "W" is an h-cobordism from "M" to "N"; this means roughly that "W" is a manifold with boundary the union of "M" and "N" and that "W" is homotopy equivalent to both "M" and "N". The Whitehead torsion of the cobordism "W" is an element of the Whitehead group Wh("M") of "M" (see below), and is an obstruction to the cobordism being a product "M"× [0,1] . For "W" of dimension at least 6, the s-cobordism theorem says that it is the only obstruction; in fact the isomorphism classes of h-cobordisms from "M" to something correspond exactly to elements of the Whitehead group of "M".

The Whitehead group of a group

The Whitehead group of a manifold "M" is equal to the Whitehead group Wh(π₁("M")) of the fundamental group π₁("M") of "M".

If "G" is a group, the Whitehead group of "G" is defined to be the abelian group given as the quotient of GL_∞(Z("G")) by the subgroup generated by elementary matrices, elements of "G", and −1.It is a "quotient" of the K-group $K\_1(mathbf\{Z\}\; [G]\; )$; this latter is called the Whitehead group of the "ring" $mathbf\{Z\}\; [G]$.

Here Z("G") is the group ring of "G", and for any ring "A", the group GL_∞("A") is defined to be the direct limit of the finite dimensional groups $operatorname\{GL\}\_n(A)\; o\; operatorname\{GL\}\_\{n+1\}(A)$; concretely, the group of invertible infinite matrices which differ from the identity matrix in only a finite number of coefficients. (An elementary matrix here is a transvection: one such that all main diagonal elements are 1 and there is at most one non-zero element not on the diagonal.)

The subgroup generated by elementary matrices is exactly the derived subgroup, in other words the smallest normal subgroup such that the quotient by it is abelian. The quotient of

:GL_∞("A")

by the group generated by elementary matrices is the K-group K₁("A"), which is therefore the "abelianization" of GL_∞("A") (and which is sometimes called the Whitehead group of the ring "A").

When "A" is commutative there is a natural homomorphism from K₁("A") to the invertible elements "A"^* of "A", induced by taking the determinant of a matrix. In this case K₁("A") splits as the sum of the group SK₁("A") of elements of determinant 1, and the group "A"^*. The group SK₁("A") is hard to understand in general, but is often trivial.

The Whitehead group Wh("G") can be thought of as the group K₁(Z("G")) modulo the subgroup of "obvious" elements ±"G".

Geometric definition

Given CW-complex "A", consider the set of all pairs of CW-complexes "(X,A)" such that the inclusion of "A" into "X" is a homotopy equivalence. Two pairs "(X₁,A)" and "(X₂,A)" are said to be equivalent, if there is a simple homotopy equivalence between "X₁" and "X₂" relative to "A". The set of such equivalence classes form the Whitehead group Wh("A") of CW-complex "A". The group operation is defined by taking union of "X₁" and "X₂" with common subspace "A".It turns out that Wh("A")=Wh("π₁A"). The proof of this fact is similar to the proof of s-cobordism theorem.

Examples of Whitehead groups

*The Whitehead group of the trivial group is trivial. Since the group ring of the trivial group is Z, we have to show that any matrix can be written as a product of elementary matrices times a diagonal matrix; this follows easily from the fact that Z is a Euclidean domain.

*The Whitehead group of a free abelian group is trivial. This is quite hard to prove, but is important as it is used in the proof that an "s"-cobordism of dimension at least 6 whose ends are tori is a product.

*The Whitehead group of a braid group (or any subgroup of a braid group) is trivial. This was proved by Farrell and Roushon.

*The Whitehead group of the cyclic groups of orders 2, 3, 4, and 6 are trivial.

*The Whitehead group of the cyclic group of order 5 is Z. An example of a non-trivial unit in the group ring is (1−"t"−t⁴)(1−"t"²−t³)=1, where "t" is a generator of the cyclic group of order 5. This example is closely related to the existence of units of infinite order in the ring of integers of the cyclotomic field generated by fifth roots of unity.

*The Whitehead group of any finite group "G" is finitely generated, of rank equal to the number of irreducible real representations of "G" minus the number of irreducible rational representations.

* If "G" is a finite abelian group then K₁(Z("G")) is isomorphic to the units of the group ring Z("G") under the determinant map, so Wh("G") is just the group of units of Z("G") modulo the group of "trivial units" generated by elements of "G" and −1.

* It is a well-known conjecture that the Whitehead group of any torsion-free group should vanish.

Whitehead torsion of a PL manifold

ee also

*Algebraic K-theory
*Reidemeister torsion

References

*Cohen, "A course in simple homotopy theory"
*Milnor, J. "Whitehead torsion" Bull. Amer. Math. Soc. 72 1966 358--426.

External links

* [http://arxiv.org/abs/math.GT/0108115 A description of Whitehead torsion is in section two] .