To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time. 4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds In geometric topology, a field within mathematics, the obstruction to a homotopy equivalence $f\colon X\to Y$ of finite CW-complexes being a simple homotopy equivalence is its Whitehead torsion $\tau (f)$ which is an element in the Whitehead group $\operatorname {Wh} (\pi _{1}(Y))$ . These concepts are named after the mathematician J. H. C. Whitehead.

The Whitehead torsion is important in applying surgery theory to non-simply connected manifolds of dimension > 4: for simply-connected manifolds, the Whitehead group vanishes, and thus homotopy equivalences and simple homotopy equivalences are the same. The applications are to differentiable manifolds, PL manifolds and topological manifolds. The proofs were first obtained in the early 1960s by Stephen Smale, for differentiable manifolds. The development of handlebody theory allowed much the same proofs in the differentiable and PL categories. The proofs are much harder in the topological category, requiring the theory of Robion Kirby and Laurent C. Siebenmann. The restriction to manifolds of dimension greater than four are due to the application of the Whitney trick for removing double points.

In generalizing the h-cobordism theorem, which is a statement about simply connected manifolds, to non-simply connected manifolds, one must distinguish simple homotopy equivalences and non-simple homotopy equivalences. While an h-cobordism W between simply-connected closed connected manifolds M and N of dimension n > 4 is isomorphic to a cylinder (the corresponding homotopy equivalence can be taken to be a diffeomorphism, PL-isomorphism, or homeomorphism, respectively), the s-cobordism theorem states that if the manifolds are not simply-connected, an h-cobordism is a cylinder if and only if the Whitehead torsion of the inclusion $M\hookrightarrow W$ vanishes.

The Whitehead group of a connected CW-complex or a manifold M is equal to the Whitehead group $\operatorname {Wh} (\pi _{1}(M))$ of the fundamental group $\pi _{1}(M)$ of M.

If G is a group, the Whitehead group $\operatorname {Wh} (G)$ is defined to be the cokernel of the map $G\times \{\pm 1\}\to K_{1}(\mathbb {Z} [G])$ which sends (g, ±1) to the invertible (1,1)-matrix (±g). Here $\mathbb {Z} [G]$ is the group ring of G. Recall that the K-group K1(A) of a ring A is defined as the quotient of GL(A) by the subgroup generated by elementary matrices. The group GL(A) is the direct limit of the finite-dimensional groups GL(n, A) → 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.

In other words, the Whitehead group $\operatorname {Wh} (G)$ of a group G is the quotient of $\operatorname {GL} (\mathbb {Z} [G])$ by the subgroup generated by elementary matrices, elements of G and $\pm 1$ . Notice that this is the same as the quotient of the reduced K-group ${\tilde {K}}_{1}(\mathbb {Z} [G])$ by G.

Examples

• The Whitehead group of the trivial group is trivial. Since the group ring of the trivial group is $\mathbb {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 $\mathbb {Z}$ is a Euclidean domain.
• 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 $\mathbb {Z}$ . This was proved in 1940 by Graham Higman. An example of a non-trivial unit in the group ring arises from the identity $(1-t-t^{4})(1-t^{2}-t^{3})=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 particular, the golden ratio) in the ring of integers of the cyclotomic field generated by fifth roots of unity.
• If G is a finite cyclic group then $K_{1}(\mathbb {Z} [G])$ is isomorphic to the units of the group ring $\mathbb {Z} [G]$ under the determinant map, so Wh(G) is just the group of units of $\mathbb {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.

At first we define the Whitehead torsion $\tau (h_{*})\in {\tilde {K}}_{1}(R)$ for a chain homotopy equivalence $h_{*}:D_{*}\to E_{*}$ of finite based free R-chain complexes. We can assign to the homotopy equivalence its mapping cone C* := cone*(h*) which is a contractible finite based free R-chain complex. Let $\gamma _{*}:C_{*}\to C_{*+1}$ be any chain contraction of the mapping cone, i.e., $c_{n+1}\circ \gamma _{n}+\gamma _{n-1}\circ c_{n}=\operatorname {id} _{C_{n}}$ for all n. We obtain an isomorphism $(c_{*}+\gamma _{*})_{\mathrm {odd} }:C_{\mathrm {odd} }\to C_{\mathrm {even} }$ with

$C_{\mathrm {odd} }:=\bigoplus _{n{\text{ odd}}}C_{n},\qquad C_{\mathrm {even} }:=\bigoplus _{n{\text{ even}}}C_{n}.$ We define $\tau (h_{*}):=[A]\in {\tilde {K}}_{1}(R)$ , where A is the matrix of $(c_{*}+\gamma _{*})_{\rm {odd}}$ with respect to the given bases.

For a homotopy equivalence $f:X\to Y$ of connected finite CW-complexes we define the Whitehead torsion $\tau (f)\in \operatorname {Wh} (\pi _{1}(Y))$ as follows. Let ${\tilde {f}}:{\tilde {X}}\to {\tilde {Y}}$ be the lift of $f:X\to Y$ to the universal covering. It induces $\mathbb {Z} [\pi _{1}(Y)]$ -chain homotopy equivalences $C_{*}({\tilde {f}}):C_{*}({\tilde {X}})\to C_{*}({\tilde {Y}})$ . Now we can apply the definition of the Whitehead torsion for a chain homotopy equivalence and obtain an element in ${\tilde {K}}_{1}(\mathbb {Z} [\pi _{1}(Y)])$ which we map to Wh(π1(Y)). This is the Whitehead torsion τ(ƒ) ∈ Wh(π1(Y)).

Properties

Homotopy invariance: Let $f,g\colon X\to Y$ be homotopy equivalences of finite connected CW-complexes. If f and g are homotopic, then $\tau (f)=\tau (g)$ .

Topological invariance: If $f\colon X\to Y$ is a homeomorphism of finite connected CW-complexes, then $\tau (f)=0$ .

Composition formula: Let $f\colon X\to Y$ , $g\colon Y\to Z$ be homotopy equivalences of finite connected CW-complexes. Then $\tau (g\circ f)=g_{*}\tau (f)+\tau (g)$ .

Geometric interpretation

The s-cobordism theorem states for a closed connected oriented manifold M of dimension n > 4 that an h-cobordism W between M and another manifold N is trivial over M if and only if the Whitehead torsion of the inclusion $M\hookrightarrow W$ vanishes. Moreover, for any element in the Whitehead group there exists an h-cobordism W over M whose Whitehead torsion is the considered element. The proofs use handle decompositions.

There exists a homotopy theoretic analogue of the s-cobordism theorem. Given a 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 (X1, A) and (X2, A) are said to be equivalent, if there is a simple homotopy equivalence between X1 and X2 relative to A. The set of such equivalence classes form a group where the addition is given by taking union of X1 and X2 with common subspace A. This group is natural isomorphic to the Whitehead group Wh(A) of the CW-complex A. The proof of this fact is similar to the proof of s-cobordism theorem.
{"ft_lang_label":"__label__en","ft_lang_prob":0.88907003,"math_prob":0.9917352,"size":8243,"snap":"2022-05-2022-21","text_gpt3_token_len":2037,"char_repetition_ratio":0.16688919,"word_repetition_ratio":0.043768547,"special_character_ratio":0.23134781,"punctuation_ratio":0.11934673,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99978334,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90],"im_url_duplicate_count":[null,null,null,null,null,null,null,2,null,2,null,null,null,2,null,null,null,4,null,2,null,null,null,4,null,2,null,null,null,2,null,null,null,null,null,null,null,2,null,2,null,null,null,null,null,2,null,2,null,2,null,2,null,2,null,2,null,2,null,2,null,null,null,2,null,3,null,null,null,2,null,3,null,2,null,null,null,1,null,null,null,1,null,null,null,null,null,3,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-01-27T03:30:08Z\",\"WARC-Record-ID\":\"<urn:uuid:c5045fe2-9789-4e6b-937f-02c65339e27c>\",\"Content-Length\":\"99764\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:4140d5f4-fc2e-463c-b49b-6e3d4dba38c0>\",\"WARC-Concurrent-To\":\"<urn:uuid:bd324116-daf7-47e8-9d25-8f6d79e05f6c>\",\"WARC-IP-Address\":\"31.184.250.11\",\"WARC-Target-URI\":\"https://wiki2.org/en/Whitehead_torsion\",\"WARC-Payload-Digest\":\"sha1:SD7SOSUJENSQNYKKVTCUMFIS2YQZVMUD\",\"WARC-Block-Digest\":\"sha1:X7KPR46OVTG2LAX7B4D3JH5LVP5U2432\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-05/CC-MAIN-2022-05_segments_1642320305052.56_warc_CC-MAIN-20220127012750-20220127042750-00519.warc.gz\"}"}