In mathematics, Alexander duality refers to a duality theory initiated by a result of J. W. Alexander in 1915, and subsequently further developed, particularly by Pavel Alexandrov and Lev Pontryagin. It applies to the homology theory properties of the complement of a subspace X in Euclidean space, a sphere, or other manifold. It is generalized by Spanier–Whitehead duality.

General statement for spheres

edit

Let   be a compact, locally contractible subspace of the sphere   of dimension n. Let   be the complement of   in  . Then if   stands for reduced homology or reduced cohomology, with coefficients in a given abelian group, there is an isomorphism

 

for all  . Note that we can drop local contractibility as part of the hypothesis if we use Čech cohomology, which is designed to deal with local pathologies.

Applications

edit

This is useful for computing the cohomology of knot and link complements in  . Recall that a knot is an embedding   and a link is a disjoint union of knots, such as the Borromean rings. Then, if we write the link/knot as  , we have

 ,

giving a method for computing the cohomology groups. Then, it is possible to differentiate between different links using the Massey products.[1] For example, for the Borromean rings  , the homology groups are

 

Combinatorial Alexander duality

edit

Let   be an abstract simplicial complex on a vertex set   of size  . The Alexander dual   of   is defined as the simplicial complex on  whose faces are complements of non-faces of  . That is

 .

Note that  .

Alexander duality implies the following combinatorial analog (for reduced homology and cohomology, with coefficients in any given abelian group):

 

for all  . Indeed, this can be deduced by letting   be the  -skeleton of the full simplex on   (that is,   is the family of all subsets of size at most  ) and showing that the geometric realization   is homotopy equivalent to  . Björner and Tancer presented an elementary combinatorial proof and summarized a few generalizations.[2]

Alexander duality for constructible sheaves

edit

For smooth manifolds, Alexander duality is a formal consequence of Verdier duality for sheaves of abelian groups. More precisely, if we let   denote a smooth manifold and we let   be a closed subspace (such as a subspace representing a cycle, or a submanifold) represented by the inclusion  , and if   is a field, then if   is a sheaf of  -vector spaces we have the following isomorphism[3]: 307 

 ,

where the cohomology group on the left is compactly supported cohomology. We can unpack this statement further to get a better understanding of what it means. First, if   is the constant sheaf and   is a smooth submanifold, then we get

 ,

where the cohomology group on the right is local cohomology with support in  . Through further reductions, it is possible to identify the homology of   with the cohomology of  . This is useful in algebraic geometry for computing the cohomology groups of projective varieties, and is exploited for constructing a basis of the Hodge structure of hypersurfaces of degree   using the Jacobian ring.

Alexander's 1915 result

edit

Referring to Alexander's original work, it is assumed that X is a simplicial complex.

Alexander had little of the modern apparatus, and his result was only for the Betti numbers, with coefficients taken modulo 2. What to expect comes from examples. For example the Clifford torus construction in the 3-sphere shows that the complement of a solid torus is another solid torus; which will be open if the other is closed, but this does not affect its homology. Each of the solid tori is from the homotopy point of view a circle. If we just write down the Betti numbers

1, 1, 0, 0

of the circle (up to  , since we are in the 3-sphere), then reverse as

0, 0, 1, 1

and then shift one to the left to get

0, 1, 1, 0

there is a difficulty, since we are not getting what we started with. On the other hand the same procedure applied to the reduced Betti numbers, for which the initial Betti number is decremented by 1, starts with

0, 1, 0, 0

and gives

0, 0, 1, 0

whence

0, 1, 0, 0.

This does work out, predicting the complement's reduced Betti numbers.

The prototype here is the Jordan curve theorem, which topologically concerns the complement of a circle in the Riemann sphere. It also tells the same story. We have the honest Betti numbers

1, 1, 0

of the circle, and therefore

0, 1, 1

by flipping over and

1, 1, 0

by shifting to the left. This gives back something different from what the Jordan theorem states, which is that there are two components, each contractible (Schoenflies theorem, to be accurate about what is used here). That is, the correct answer in honest Betti numbers is

2, 0, 0.

Once more, it is the reduced Betti numbers that work out. With those, we begin with

0, 1, 0

to finish with

1, 0, 0.

From these two examples, therefore, Alexander's formulation can be inferred: reduced Betti numbers   are related in complements by

 .

References

edit
  1. ^ Massey, William S. (1998-05-01). "Higher order linking numbers" (PDF). Journal of Knot Theory and Its Ramifications. 7 (3): 393–414. doi:10.1142/S0218216598000206. ISSN 0218-2165. Archived from the original on 2 Feb 2021.
  2. ^ Björner, Anders; Tancer, Martin (December 2009). "Note: Combinatorial Alexander Duality—A Short and Elementary Proof". Discrete & Computational Geometry. 42 (4): 586–593. arXiv:0710.1172. doi:10.1007/s00454-008-9102-x.
  3. ^ Iversen, Birger (1986). Cohomology of sheaves. Universitext. Berlin: Springer-Verlag. doi:10.1007/978-3-642-82783-9. ISBN 0-387-16389-1. OCLC 13269489.

Further reading

edit