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
Andrew John Casson FRS (born 1943) is a mathematician, studying geometric topology. Casson is the Philip Schuyler Beebe Professor of Mathematics at Yale University.
Education and Career
Casson was educated at Latymer Upper School and Trinity Co ...
, who introduced them in about 1973. They were originally called "flexible handles" by Casson himself, and introduced the name "Casson handle" 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
In geometric topology and differential topology, an (''n'' + 1)-dimensional cobordism ''W'' between ''n''-dimensional manifolds ''M'' and ''N'' is an ''h''-cobordism (the ''h'' stands for homotopy equivalence) if the inclusion maps
: M ...
, 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
In algebraic geometry and computational geometry, general position is a notion of genericity for a set of points, or other geometric objects. It means the ''general case'' situation, as opposed to some more special or coincidental cases that ar ...
" 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
. 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
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 po ...
), 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.
# Start with a 2-disc
.
# 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.)
# Repeat steps 2–3 on each new disc.
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
by a copy of
. 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
with a cone over the
Whitehead continuum
In mathematics, the Whitehead manifold is an open 3-manifold that is contractible, but not homeomorphic to \R^3. discovered this puzzling object while he was trying to prove the Poincaré conjecture, correcting an error in an earlier paper where ...
removed.
There is a similar description of more complicated Casson handles, with the Whitehead continuum replaced by a similar but more complicated set.
Structure
Freedman's main theorem about Casson handles states that they are all homeomorphic to
; or in other words they are topological 2-handles. In general they are not diffeomorphic to
as follows from
Donaldson's theorem
In mathematics, and especially differential topology and gauge theory, Donaldson's theorem states that a definite intersection form of a compact, oriented, smooth manifold of dimension 4 is diagonalisable. If the intersection form is positive (ne ...
, and there are an uncountable infinite number of different diffeomorphism types of Casson handles. However the interior of a Casson handle is diffeomorphic to
; 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
In geometric topology and differential topology, an (''n'' + 1)-dimensional cobordism ''W'' between ''n''-dimensional manifolds ''M'' and ''N'' is an ''h''-cobordism (the ''h'' stands for homotopy equivalence) if the inclusion maps
: M ...
for 5-dimensional topological cobordisms, which in turn implies the 4-dimensional topological
Poincaré conjecture
In the mathematics, mathematical field of geometric topology, the Poincaré conjecture (, , ) is a theorem about the Characterization (mathematics), characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dim ...
.
References
*
*
*
*
*{{cite book, first=Alexandru, last= Scorpan, title=The wild world of 4-manifolds, publisher=
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...
, year=2005, isbn=0-8218-3749-4
4-manifolds
Geometric topology