Casson handle

Casson handle

In 4-dimensional topology, a branch of mathematics, a Casson handle is a 4-dimensional topological 2-handle constructed by an infinite procedure. They are named for Andrew Casson, who introduced them in about 1973. They were originally called "flexible handles" by Casson himself. In 1982 Michael Freedman, in his ground-breaking paper "The Topology of Four-Manifolds" introduced the name by which they are known today. In that work he showed that Casson handles are topological 2-handles, and used this to classify simply connected compact topological 4-manifolds.

Motivation

In the proof of the h-cobordism theorem, the following construction is used.Given a circle in the boundary of a manifold, we would often like to find a disk embedded in the manifold whose boundary is the given circle. If the manifold is simply connected then we can find a map from a disc to the manifold with boundary the given circle, and if the manifold is of dimension at least 5 then by putting this disc in "general position" it becomes an embedding. The number 5 appears for the following reason: submanifolds of dimension "m" and "n" in general position do not intersect provided the dimension of the manifold containing them has dimension greater than "m"+"n". In particular, a disc (of dimension 2) in general position will have no self intersections inside a manifold of dimension greater than 2+2.

If the manifold is 4 dimensional, this does not work: the problem is that a disc in general position may have double points where two points of the disc have the same image. This is the main reason why the usual proof of the h-cobordism theorem only works for cobordisms whose boundary has dimension at least 5. We can try to get rid of these double points as follows. Draw a line on the disc joining two points with the same image. If the image of this line is the boundary of an embedded disc (called a Whitney disc), then it is easy to remove the double point. However this argument seems to be going round in circles: in order to eliminate a double point of the first disc, we need to construct a second embedded disc, whose construction involves exactly the same problem of eliminating double points.

Casson's idea was to iterate this construction an infinite number of times, in the hope that the problems about double points will somehow disappear in the infinite limit.

Construction

A Casson handle has a 2-dimensional skeleton, which can be constructed as follows.
# Identify a finite number of pairs of points in the disc.
# For each pair of identified points, choose a path in the disc joining these points, and construct a new disc with boundary this path. (So we add a disc for each pair of identified points.)
#Identify some pairs of points in each of these new discs.
# For each pair of identified points, choose a path joining these points, and construct a new disc with boundary this path.
# And so on: keep repeating this an infinite number of times.

We can represent these skeletons by rooted trees such that each point is joined to only a finite number of other points: the tree has a point for each disc, and a line joining points if the corresponding discs intersect in the skeleton.

A Casson handle is constructed by "thickening" the 2-dimensional construction above to give a 4-dimensional object: we replace each disc "D"2 by a copy of "D"2&times;R2. Informally we can think of this as taking a small neighborhood of the skeleton (thought of as embedded in some 4-manifold). There are some minor extra subtleties in doing this: we need to keep track of some framings, and intersection points now have an orientation.

Casson handles correspond to rooted trees as above, except that now each vertex has a sign attached to it to indicate the orientation of the double point.We may as well assume that the tree has no finite branches, as finite branches can be "unravelled" so make no difference.

The simplest exotic Casson handle corresponds to the tree which is just a half infinite line of points (with all signs the same). It is diffeomorphic to "D"2&times;"D"2 with a cone over the Whitehead continuum removed.There is a similar description of more complicated Casson handles, with the Whitehead continuum replaced by a similar but more complicated set.

tructure

Freedman's main theorem about Casson handles states that they are all homeomorphic to "D"2&times;R2; or in other words they are topological 2-handles. In general they are not diffeomorphic to "D"2&times;R2 as follows from Donaldson's theorem, and there are an uncountable infinite number of different diffeomorphism types of Casson handles. However the interior of a Casson handle is diffeomorphic to R4; Casson handles differ from standard 2 handles only in the way the boundary is attached to the interior.

Freedman's structure theorem can be used to prove the h-cobordism theorem for 5-dimensional topological cobordisms, which in turn implies the 4-dimensional topological Poincaré conjecture.

References

*springer|id=C/c110110|title=Casson handle|author=R. Gompf
*A. Casson, "Three lectures on new infinite constructions in 4-dimensional manifolds", in "À la recherche de la topologie perdue", Prog. Math vol. 62, ISBN 0-8176-3329-4
* [http://www.intlpress.com/journals/JDG/archive/pdf/1982/17-3-357.pdf M. Freedman, "The topology of four-dimensional manifolds" J. Diff. Geom., 17 (1982) pp. 357–453]
* cite book
author = Kirby, Robion
title = The topology of 4-manifolds
year = 1989
publisher = Lecture Notes in Mathematics, no. 1374, Springer-Verlag
id = ISBN 0-387-51148-2

*Alexandru Scorpan, "The wild world of 4-manifolds", ISBN 0-8218-3749-4

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Handle decomposition — In mathematics, a handle decomposition of an n manifold M is a representation of that manifold as an exhaustion:M 0 subset M 1 subset dots subset Mwhere each M i is obtained from M {i 1}by attaching a n i handle. Handle decompositions are never… …   Wikipedia

• Handle (mathematics) — In topology, a branch of mathematics, a handle is just a topological ball; it is called a handle because of the context in which it is discussed, of which there are two: handle decompositions and handlebodies.A handle is a subset of a manifold… …   Wikipedia

• Andrew Casson — Andrew John Casson FRS (born 1943) is a British mathematician, an expert on geometric topology, and a member of the Department of Mathematics at Yale University in the United States. He served as department chair from 2004 to 2007.Casson s Ph.D.… …   Wikipedia

• List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

• Exotic R4 — In mathematics, an exotic R4 is a differentiable manifold that is homeomorphic to the Euclidean space R4, but not diffeomorphic. The first examples were found by Robion Kirby and Michael Freedman, by using the contrast between Freedman s theorems …   Wikipedia

• Whitehead manifold — In mathematics, the Whitehead manifold is an open 3 manifold that is contractible, but not homeomorphic to R3. Henry Whitehead discovered this puzzling object while he was trying to prove the Poincaré conjecture.A contractible manifold is one… …   Wikipedia

• 4-manifold — In mathematics, 4 manifold is a 4 dimensional topological manifold. A smooth 4 manifold is a 4 manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different.… …   Wikipedia

• Whitney disk — In mathematics, given two submanifolds A and B of a manifold X intersecting in two points p and q , a Whitney disc is a mapping from the two dimensional disc D , with two marked points, to X , such that the two marked points go to p and q , one… …   Wikipedia

• Fake 4-ball — In mathematics, a fake 4 ball is a compact contractible topological 4 manifold. Michael Freedman proved that every three dimensional homology sphere bounds a fake 4 ball. His construction involves the use of Casson handles and so does not work in …   Wikipedia

• Galley — For other uses, see Galley (disambiguation). A model of a Maltese design typical of the 16th century, the last great era of the wargalley A galley is a type of ship propelled by rowers that originated in the Mediterranean region and was used for… …   Wikipedia