Namespaces
Variants
Actions

Reidemeister torsion

From Encyclopedia of Mathematics
Jump to: navigation, search


de Rham torsion, Franz torsion

An invariant which allows one to distinguish many structures in differential topology, for example knots and smooth structures on manifolds, particularly on lens spaces. Reidemeister torsion was first introduced by K. Reidemeister (see [1]) while studying three-dimensional lenses, the generalization for $ n $- dimensional lenses was obtained independently in [2] and [3].

Let $ C $ be a free complex of left $ A $- modules, where $ A $ is an associative ring with a unit element. Further, let $ h $ be a matrix representation of $ A $, i.e. a homomorphism from $ A $ into the ring $ \mathbf R ^ {n \times n } $ of all real $ ( n \times n) $- matrices. Let $ c _ {k} $ be distinguished bases in the modules $ C _ {k} $ of the complex $ C $, and let the complex $ C ^ \prime = \mathbf R ^ {n \times n } \otimes _ {A} C $ of $ \mathbf R ^ {n \times n } $- modules be acyclic; then the Whitehead torsion is defined as $ \tau ( C ^ \prime ) \in \overline{K}\; _ {1} \mathbf R ^ {n \times n } = \overline{K}\; _ {1} \mathbf R = \mathbf R _ {+} $, where $ \mathbf R _ {+} $ is the multiplicative group of the field of real numbers. The number $ \tau ( C ^ \prime ) $ is called the Reidemeister torsion of the complex $ C ^ \prime $, and also the real Reidemeister torsion.

The usefulness of transforming the Whitehead torsion into the Reidemeister torsion is based on Bass' theorem [4]. If $ \pi $ is a finite group, then the element $ \omega \in \mathop{\rm Wh} ( \pi ) $ has finite order if $ h _ {*} ( \omega ) = 1 $ for any representation $ h $, where $ h _ {*} ( \omega ) $ is the Reidemeister torsion induced by the element $ \omega $.

References

[1] K. Reidemeister, "Homotopieringe und Linsenräume" Abh. Math. Sem. Univ. Hamburg , 11 (1935) pp. 102–109
[2] W. Franz, "Ueber die Torsion einer Ueberdeckung" J. Reine Angew. Math. , 173 (1935) pp. 245–254
[3] G. de Rham, "Sur les nouveaux invariants de M. Reidemeister" Mat. Sb. , 1 : 5 (1936) pp. 737–743
[4] H. Bass, "-theory and stable algebra" Publ. Math. IHES , 22 (1964) pp. 5–60

Comments

References

[a1] J. Milnor, "Whitehead torsion" Bull. Amer. Math. Soc. , 72 (1966) pp. 358–426
How to Cite This Entry:
Reidemeister torsion. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Reidemeister_torsion&oldid=48494
This article was adapted from an original article by A.S. Mishchenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article