Some notation:
R^{n} denotes the open set of reals in n dimensions.
S^{n} denotes the n-dimensional sphere (S^{1} is a circle, S^{2} is the surface of a ball, etc.).
B^{n} denotes the n-dimensional ball (B^{1} is a line segment with end points, B^{2} is a disc, etc.).
I^{n} is the unit line segment, square, cube, etc.
Z_{n} is the group of integers modulo n.A group is a set of elements closed under an associative multiplication operator (a product is a member of the group), which possesses an identity element (I), such that every element has an inverse (G G^{-1} = I). The number of elements in the group is the order.
Q = G / H is the quotient group, such that
- for all elements g in G and h in H, g h g^{-1} is in H (H is a normal subgroup), and
- for all elements q_{1} and q_{2} in Q, q_{1} q_{2}^{-1} is in H.
Therefore the elements of H all act as the identity element for Q.
O(n) is the group of rotations in n dimensions; SO(n) is the subgroup of O(n) which includes the identity. As with all special groups, its elements have unit determinant.
A manifold equipped with an atlas of coordinate charts (a set of local coordinate systems mapping open patches of the manifold to R^{n}) is a G-manifold when the transition functions (which map overlapping coordinate charts) are members of the group G. Atlases are not unique.A manifold is C^{n} if its derivatives up to and including order n are all continuous. A C^{∞} manifold is called smooth.
A space X is compact if every open cover (a possibly infinite collection of open subsets of X whose union is equal to X) has a finite sub-cover (a finite sub-collection which still covers X). S^{1} is compact, R^{1} is not.(Tao)
A group acts freely if only the identity element leaves fixed points.(Thurston, p. 243)
- if any element of Γ changes the orientation, n must be even;
- if any element other than the identity of Γ preserves the orientation, n must be odd;
- if n is even and Γ is nontrivial, it must be a cyclic group of order 2, and H_{p}(M) = 0 if p is even, H_{p}(M) = Γ if p is odd;
- if n is odd and Γ is abelian, Γ is cyclic, H_{n}(M) = Z and H_{p}(M) = 0 if p is even, H_{p}(M) = Γ if p is odd;
A group is abelian if its elements all commute (g_{1} g_{2} = g_{2} g_{1}). Cyclic groups are abelian. The number of linearly independent elements in the maximal Abelian subgroup of a group is called the rank of the group.The maximal rank of an isometry group for an (n > 2)-dimensional geometry is n (n - 1) / 2.
- a discrete group Γ acting freely on a compact manifold implies that Γ is finite.
(Hu, p. 290, 291)
An h-cobordism is a cobordism where the inclusions of M and N into W are homotopy equivalences.
Any h-cobordism between simply connected manifolds of dimension > 5 is diffeomorphic to the cylinder. (Averett, p. 8)
Consider a triangulated space. The link of a vertex is the complex consisting of the neighboring vertices. For an n-dimensional space, if the link of every vertex is homeomorphic to an n-1 sphere, the space is a manifold. (Thurston, p. 121)
The set of equivalence classes of such maps forms a group π_{k}(M), the k^{th} homotopy group of M.
π_{1} is called the fundamental group.
π_{1} are isomorphic for homeomorphic manifolds.
If M = M_{1} ⊗ M_{2}, π_{k}(M) = π_{k}(M_{1}) +
π_{k}(M_{2}).
For k > 1, π_{k} is abelian.
For k > 1, π_{k}(S^{1}) = 0.
For k < n, π_{k}(S^{n}) = 0.
π_{k}(S^{k}) = Z.
For n > 1, π_{1}(RP^{n}) = Z_{2}.
(Greenberg, p. 25, 34, 36)
Every closed manifold homotopy equivalent to S^{n} is homeomorphic to S^{n} (the Poincare Conjecture).
A homotopy sphere is an n-manifold homotopically equivalent to S^{n}. An exotic sphere is a homotopy sphere which is not diffeomorphic to S^{n}. An "ordinary sphere" has a smooth structure inherited from its embedding into R^{n+1}. The following table gives the number of diffeomorphism classes of spheres in dimensions 1 through 15:
(Averett, p. 7, 8, 10)
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 1 1 1 ∞ ? 1 1 28 2 8 6 992 1 3 2 16256
The genus is the number of "handles". g = 1 for the surface of a donut.The following illustrate the nonintuitive result that higher-dimensional spheres can be mapped onto lower-dimensional spheres:
π_{k}(S^{n}) = π_{k}(S^{2n-1}) = π_{k-1}(S^{n-1}).(Hu, p. 58, 153, 325, 328, 329, 332)
π_{n+1}(S^{n}) = π_{n+2}(S^{n}) = Z_{2} for n > 2.
π_{k}(S^{2}) = π_{k}(S^{3}) for k > 2.
π_{3}(S^{2}) = Z.
π_{k}(S^{2}) = Z_{2} for k = 4, 5, 7 and 8.
π_{6}(S^{2}) = Z_{12}.
π_{9}(S^{2}) = Z_{3}.
π_{10}(S^{2}) = Z_{15}.
A fiber bundle is a total space E which locally is a Cartesian product of the fiber space F and the base space M, with a projection E → M.SO(3) is topologically RP^{3}, with π_{1} = Z_{2}, and universal cover S^{3}.A connection is a field transverse to the fibers which defines motion among fibers relative to motion in the base manifold; it is the same dimension as the base manifold. Except in the trivial (flat) case, it can only be defined within a local coordinate patch.
If M is a closed surface other than S^{2} or RP^{2}, π_{1}(M) is infinite and the universal cover is R^{2}. (Hu, p. 96)
The index of a subgroup H is the number of elements x h_{i} in G where h_{i} is in H and x is not in H.Of S^{n}, T^{2} (of arbitrary genus), RP^{n}, CP^{n} and HP^{n}, only RP^{n} for n even is not orientable. (Greenberg, p. 162, 168)
The tangent space of a Lie group at the identity has the structure of a Lie algebra: a vector space equipped with a commutator [x,y] = - [y,x] which statisfies the Jacobi identity [[x,y],z] + [[y,z],x] + [[z,x],y] = 0.Diffeomorphism classes of closed n-Euclidean manifolds are in 1:1 correspondence, via their fundamental groups, with torsion-free groups containing a subgroup of finite index isomorphic to Z^{ n}.The stabilizers of a group are those elements which leave fixed points.
A (G, X) structure on a space X is a maxmial coordinate chart such that the coordinate systems in every overlapping patch are related by elements of the group G; a diffeomorphism class of metrics on M.
The elements g_{i} form a conjugacy class if for all elements x in G, x^{-1} g_{i} x is one of the g_{i}.
A torsion element x satisfies x^{m} = 0 for some integer m.(Thurston, p. 157, 167, 222)
H_{p}(M;G) = 0 for p > n = dim(M).
If M is connected, H_{0}(M;G) = G.
If M is orientable, H_{n}(M;G) = G.
If M is orientable and G is R, C or Z_{2}, H_{p}(M;G) = H_{n-p}(M;G)
(Poincare Duality). (Eguchi, Gilkey and Hanson, p. 233)
H_{p}(S^{n}) is isomorphic to H_{p-1}(S^{n-1}) for p > 1.
H_{p}(RP^{n}) = G_{2} (submodule annihilated by multiplication by 2) for p even > 1;
G / 2 for p odd > 0, < n; G for p = 0 or n odd. (Greenberg, p. 83, 121)
If [G, G] is the smallest normal subgroup of G such that G / [G, G] is abelian, H_{1} = π_{1} / [π_{1}, π_{1}]. (Bott and Tu, p. 225)
If E is the universal cover of M, π_{2}(M) is isomorphic to H_{2}(E).
If π_{k}(M) = 0 for k < p, π_{p}(M) is isomorphic to H_{p}(M).
(Hurewicz Theorem) (Hu, p. 154, 167)
b_{0} = the number of connected components.
b_{p} = 0 (0 < p < n) for a compact, orientable manifold of positive constant curvature (M is a homology sphere).
b_{p} <= (n p) for a compact, orientable, locally flat manifold. T^{n} saturates that bound.
b_{p} = 0 (0 < p < n) for a compact, orientable conformally flat manifold of positive definite Ricci curvature.
(Goldberg, p. 89, 118; see also pp. 91, 92, 131)
b_{1} = b_{2} = 0 for a compact semi-simple Lie group (metric is non-degenerate). b_{3} = 1 for a compact simple Lie group. (Goldberg, p. 140, 145; see also p. 144)
b_{p} = 0 for RP^{n} except for b_{0} = 1, and b_{n} = 1 if n is odd.
If M is a compact submanifold of R^{n} (n > 1) with k connected components, b_{n-1}(R^{n} - M) = k.
(Greenberg, p. 129, 167)
An n-manifold M is equivalent to the product of a 1-manifold and an (n-1)-manifold iff χ(M) = 0. (Thurston, p. 115)
Further, χ(M) = χ(M_{1}) χ(M_{2}). (Eguchi, Gilkey and Hanson, p. 238)
If M and N are connected n-manifolds, χ(M # N) = χ(M) + χ(N), - 2 if n is even. (Greenberg, p. 131)
H^{0}(M;R) is the space of constant functions.
H^{n}(M;R) is the space of volume forms.
(Eguchi, Gilkey and Hanson, p. 234)
Note that an n-manifold is orientable iff it has a nowhere-vanishing n-form.
Two manifolds with the same homotopy type have the same de Rham cohomology. (Bott and Tu, p. 29, 36)
M is a boundary of a smooth compact manifold iff the Stiefel-Whitney numbers of M are all zero.
Characteristic numbers are topologically invariant integrals of elements of H^{p}(M;G) over p-chains.Two smooth closed n-manifolds belong to the same cobordism class iff their Stiefel-Whitney numbers are all equal. (Milnor and Stasheff, p. 52, 53)
Det(I - Ω / 2π) = 1 + p_{4} + p_{8} + ...where Ω is the O(k) curvature of the bundle. (Eguchi, Gilkey and Hanson, p. 311)
If some Pontrjagin number of M^{4 k} is nonzero, M cannot possess any orientation-reversing diffeomorphism, and M cannot be the boundary of a smooth compact oriented manifold with boundary.
M is an oriented boundary iff all Pontrjagin numbers and Stiefel-Whitney numbers are zero. (Milnor and Stasheff, p. 186, 217)
tr A ^ dA + (2/3) A ^ A ^ Awhere A is the connection one-form. (Eguchi, Gilkey and Hanson, p. 313, 350)
χ(M) = 2 κ^{n/2} Vol(M) / Vol(S^{n})This is the Gauss-Bonnet theorem.
If M is also orientable and hyperbolic, χ(M) is even. If n is even and M is hyperbolic and of finite volume,
Vol(M) = (-1)^{n/2} χ(M) Vol(RP^{n})(Ratcliffe, p. 528-531)
If f is not an isometry, the Euler characteristic is the signed sum of the number of zeroes, where the sign is determined by whether or not the diffeomorphism preserves the orientation. (Eguchi, Gilkey and Hanson, p. 335)
The sign here comes from the index, which is +1 for a source or a sink, and -1 for a saddle. (Thurston, p. 23)
A bundle section is a continuous map from the base space to the total space. It associates a single point on the fiber over each point in the base space.If such a section exists, the manifold is said to be parallelizable.
The Euler class of a parallelizable manifold is zero.
If G is a group of analytic diffeomorphisms on a simply connected space X, any complete (G,X) manifold can be reconstructed from its holonomy group Γ as X / Γ.
If the isotropy group of every point is compact, the manifold is complete. (The isotropy subgroup of a group leaves one or more points fixed.)If H is a subgroup of G, the G-structure can be stiffened to an H-structure iff its holonomy group is conjugate to a subgroup of H. (Thurston, p. 141, 143, 151, Thurston Notes, p. 35)Completeness is equivalent to geodesic completeness. (Ratcliffe, p. 367)
The holonomy group Hol(g) depends on the connection. Hol(g) ⊆ O(n). For loops isotopic to I, the subgroup of Hol(g) is Hol^{0}(g). Hol^{0}(g) ⊆ SO(n). If π_{1}(M) = 0, Hol^{0}(g) = Hol(g).
SO(n) U(n/2) for n ≥ 4 M is Kahler SU(n/2) for n ≥ 4 M is Kahler and Ricci-flat (Calabi-Yau) Sp(1) ⋅ Sp(n/4) for n ≥ 8 M is Einstein and quaternionic Kahler Sp(n/4) for n ≥ 8 M is Riici-flat Spin(9) for n = 16 M is Einstein and either flat or the Cayley plane Spin(7) for n = 8 M is Ricci-flat G2 for n = 7 M is Ricci-flat (Spin(n) is the double cover of SO(n))
A Kahler metric is a Hermitian metric whose complex operator is covariantly constant.
If M admits an exterior form α : Dα = 0, and if α is not a power of the Kahler form associated with the metric, M is Einstein.
(Besse, ch. 10)
A Riemannian space V_{ n} (n > 2) has constant curvature iff it locally admits an isotropy group of rank n (n - 1) / 2 at each point. (Kramer et al, Th. 8.13, 8.14)
(Besse, pp. 6, 17, 157-158)
N^{D}_{0} = ( D - 2 ) ( D - 1 ) D ( D + 3 ) / 12while for order k there are:
N^{D}_{k} = D ( k + 1 ) ( D + k + 1 ) ! / ( 2 ( D - 2 ) ! ( k + 3 ) ! )(Haskins)
In both cases, geodesics are the intersection with a (timelike) plane in the embedding. (Ratcliffe, chs. 2, 3)
positive (S^{n}) negative (H^{n}) embedding Σ x_{i}^{2} = r^{2} in R^{n+1} x_{0}^{2} - Σ x_{i}^{2} = - r^{2} in R^{1,n} (one sheet) embedding map x_{1} = r cos θ_{1} x_{0} = r cosh η x_{2} = r sin θ_{1} cos θ_{2} x_{1} = r sinh η cos θ_{1} ... ... x_{n} = r sin θ_{1} sin θ_{2} ... sin θ_{n-1} cos θ_{n} x_{n-1} = r sinh η sin θ_{1} ... sin θ_{n-2} cos θ_{n-1} x_{n+1} = r sin θ_{1} sin θ_{2} ... sin θ_{n-1} sin θ_{n} x_{n} = r sinh η sin θ_{1} ... sin θ_{n-2} sin θ_{n-1} isometry group O(n+1) PO(1,n) (one sheet) arc length (ds^{2}) r^{2} (dθ_{1}^{2} + sin^{2}θ_{1} dθ_{2}^{2} + ... + sin^{2}θ_{1} ... sin^{2}θ_{n-1} dθ_{n}^{2}) r^{2} (dη^{2} + sinh^{2} η d&theta_{1}^{2} + ... + sinh^{2} η sin^{2}θ_{1} ... sin^{2}θ_{n-2} d&theta_{n-1}^{2}) curvature n (n-1) / r^{2} -n (n-1) / r^{2} volume element r^{n} (sin^{n-1} &theta_{1}) (sin^{n-2} &theta_{2}) ... (sin θ_{n-1}) Π dθ_{i} r^{n} (sinh^{n-1} &eta) (sin^{n-2} &theta_{1}) ... (sin θ_{n-2}) dη Π dθ_{i} volume 2 π^{(n+1)/2} r^{n} / Γ((n+1)/2) 2 π^{n/2} r^{n} / Γ(n/2) * (-1/i^{n}) Cosh(η) _{2}F_{1}(1/2, 1-n/2, 3/2, Cosh^{2}(η))
(η runs from 0 to ∞; all θ coordinates run from 0 to π except the last, which runs to 2π)
Any manifold finitely covered by S^{2} ⊗ S^{1} does not admit a metric with constant sectional curvature. (Besse, p. 158)
The Poincare ball model of H^{n} is a unit ball in Euclidean space. r=0 at the center and the boundary is r=∞. Any arc of a circle orthogonal to the boundary is a hyperbolic geodesic. Inversions (see below) in (n-1)-spheres orthogonal to the boundary are hyperbolic isometries. A metric for the model is
ds^{2} = 4 dx^{2} / (1 - r^{2})^{2}where dx^{2} is the ordinary Euclidean metric.
SO(4) is isomorphic to (S^{3} ⊗ S^{3}) / C_{2}(Thurston, pp. 64,107)
An inversion smoothly exchanges the interior with the exterior, keeping the sphere fixed. Inversions are conformal: they preserve angles. They also preserve orientation.These transformations form the Moebius group. The group of Euclidean isometries is a sub-group of the Moebius group. (Ratcliffe, p. 111)
Moebius transformations on E^{2} can be written asf(z) = (a z +b) / (c z + d),where a, b, c and d are complex numbers subject to a d ≠ b c. These are the most general functions on E^{2} which map circles to circles.The trace (Tr) of f(z) is a+d. If Tr(f) isOne element f of a group may be conjugated by another element g as g f g^{-1}. Conjugation can be used to effect a coordinate transformation on an iterated Moebius map {z, f(z), f^{2}(z),...}.
- <-2 or >2, f is loxodromic: a screw motion;
- <-2 or >2 and real, f is hyperbolic: a translation (this term sometimes is used to include loxodromic);
- >-2 and <2 and real, f is elliptic: a rotation;
- equal to ±2, f is parabolic: a Euclidean translation on the sphere at ∞.
A parabolic map has a single fixed point; a loxodromic, hyperbolic or elliptic map has two fixed points.The set of all points in E^{2} that can be reached by iteration of the maps in a Moebius sub-group G is called the ordinary set (Ω(G)) of the group. It has either one, two, or infinitely many connected components, each of which is either simply connected or contractible (to a point).If E^{2} is the sphere at ∞ of H^{3}, the convex hull boundary of the group is the smallest convex set in H^{3} which meets ∞ in the limit set. The region contained is the union of horoballs covering the ordinary set.E^{2} - Ω(G) is called the limit set. These are fixed points of the sub-group. If the sub-group has only elliptic elements, it is finite and the limit set is empty. If the limit set is not empty, it has one, two, or uncountably infinite points.
In the latter case it is a dense, closed set, whose components are either topologically circles or totally disconnected fractal dust. (Marden, sections 2.4.1, 2.8)(Series, p. 8)Considering the quotient space obtained by Ω(G) / G. If G is
(Mumford et. al., chs. 3, 4, 6, 7, 9, 12)
- a translation, the quotient space is T^{2};
- a hyperbolic sub-group of order n operating on 2n disjoint Jordan (simple plane closed) curves (with disjoint interiors) such that each group element maps the inside of one curve to the outside of a second, and the inside of the second to the outside of the first (such curves are paired), the quotient space is a surface of genus n;
- a hyperbolic sub-group of order two operating on paired curves all of which are tangent in pairs in order C_{a} to C_{b} to C_{a-1} to C_{b-1} to C_{a}, whose points of tangency are fixed, and whose commutator aba^{-1}b^{-1} has trace -2 (so aba^{-1}b^{-1} is parabolic), the quotient space is a surface of genus two with a cusp pinch (puncture) between the "holes"; the limit set of such a group is a closed curve passing through the points of tangency;
- a parabolic sub-group of order two operating on paired curves such that C_{a}, C_{b} and C_{b-1} are all tangent to C_{a-1} as well as each other, and such that aba^{-1}b^{-1} has trace -2, the quotient space is a surface of genus two with a cusp pinch on each hole as well as a pinch between them;
- a parabolic modular (a, b, c and d are all integers) sub-group of order two operating on paired curves all of which are tangent in pairs in order C_{a} to C_{a-1} to C_{b} to C_{b-1} to C_{a}, whose points of tangency are fixed, the quotient space is a pair of S^{2} joined with three cusp pinches (this space is rigid (Marden, section 2.10));
- a sub-group of order two where there exist group elements which are parabolic permutations of a^{p}(b^{-1})^{q} (p and q integers), the quotient space is a once-punctured torus with a (p,q) Dehn twist.;
The subgroup of Moeb_{n-1} which takes an S^{k} to itself is isomorphic to Moeb_{k} ⊗ O(n-k).
Moeb_{n} is equivalent to the homeomorphisms of S^{n} which map S^{n-1}s to each other.
(Thurston, pp. 61, 62, 83)
If the n-gon is embedded in a surface of positive curvature, the sum is greater; if it is embedded in a surface of negative curvature, the sum is less.
The two tori represent rectangular and hexagonal tilings of the Euclidean plane, respectively.
After identifying the single-hashed sides of the hexgonal torus, the resultant "penne" must be twisted 180 degrees before the other sides will match up. (Thurston, p. 5)Omit the singly-hashed identification on the Klein bottle to make a Moebius strip. (Henle, p. 106, 111, 112)
If you want to construct these, use a large piece of cloth and safety pins. Make each identified edge pair a noticeably different length, and pin them in the order of longest to shortest. It helps to use an additional set of pins for the identified vertices to keep them organized as you pin.Since the boundary of a Moebius strip is S^{1}, we can remove a B^{2} from an S^{2} and glue in a Moebius strip to obtain RP^{2}. Do it twice to obtain a Klein bottle. This operation is termed adding a cross-cap.A simple notation is often used in such constructions. Label each singly-hatched side "a", each doubly-hatched side "b" and each triply-hatched side "c" (etc.). Then, typically starting with an "a" side whose direction is clockwise, proceed clockwise; whenever the side's arrow is parallel to your clockwise direction, write the letter; when the side has an arrow which is in the opposite direction, write the letter as an inverse. Hence we have:
- rectangular torus: a b^{-1} a^{-1} b
- hexagonal torus: a b^{-1} c^{-1} a^{-1} b c
- Klein bottle: a b a^{-1} b
- RP^{2}: a b a b
A sphere with g cross-caps has χ = 2 - g. (Edelbrunner and Harer, p. 34, 36)
Consider a surface of genus 2. A two-holed torus can be constructed using identifications on an octagon:
a b a^{-1} b^{-1} c d c^{-1} d^{-1}(Another construction identifies parallel sides; this can also be done with a decagon to produce a genus-2 torus.)
An interior angle of a regular octagon is 3π/4. At each vertex, two octagons is not enough and three is too many. But as we see below, χ for the genus-2 torus is -2, which means that it can only be given a hyperbolic structure. When the octagon is embedded in H^{2}, the sides become curved; by an appropriate choice of size for the octagon, the interior angles will be π/4, and the octagon can then be used to tile H^{2}.
(Thurston, section 1.2)
a_{1} b_{1} a_{1}^{-1} b_{1}^{-1} ... a_{g} b_{g} a_{g}^{-1} b_{g}^{-1}will produce a genus-g torus. There are many identifications which will produce the same handlebody. In most cases twists (as in the hexagonal torus) will be required
An identification of the sides of a 2g-gon of the form
a_{1} a_{1} ... a_{g} a_{g}will produce a non-orientable genus-g surface. All non-orientable surfaces can be obtained this way. Any two non-orientable closed surfaces with the same χ are homeomorphic.
(Thurston, p. 26)
(Gray, p. 46 ^{(1)}) (Henle, p. 167 ^{(2)}, 193 ^{(3)}, 295 ^{(4)}) (Hu, p. 28 ^{(5)})
surface b_{1} b_{2} χ π_{1} E^{2} 0 1 2 0 H^{2} 0 1 2 0 annulus 1 1 0 Z cylinder 1 1 0 Z disc 0 1 1 0 S^{2} 0 1 2 ^{(4)} 0 T^{2} 2 1 0 ^{(2)} Z ⊗ Z Riemann surface genus g 2 g 1 2 - 2 g ^{(4)} Z^{ 2g} | aba^{-1}b^{-1}cdc^{-1}d^{-1}... = 1 (Bott and Tu, p. 240) Moebius strip 1 0 0 Z Klein bottle 2 ^{(3)} 1 ^{(3)} 0 ^{(2)} Z ⊗ Z | abab^{-1} = 1 RP^{2} 0 0 1 ^{(2)} Z_{2} connected sum of n RP^{2} n - 1 0 2 - n ^{(4)} Z^{n} | aabbcc... = 1 ^{(1)} non-orientable surface genus g g - 1 ^{(5)} 0 ^{(5)} 2 - g
Every closed 2-manifold is homeomorphic to S^{2}, a connected sum of tori, a connected sum of tori and one projective plane, or a connected sum of tori and one Klein bottle. (Averett, p. 4)
Every compact, connected 2-manifold is topologically equivalent to a sphere (2-cell notation aa^{-1}), a connected sum of tori (aba^{-1}b^{-1}cdc^{-1}d^{-1}...), or a connected sum of projective planes (aabbccdd...). Every compact, connected 2-manifold with boundary is equivalent as just stated, with some finite number of discs removed. (Henle, p. 122, 129) (Christenson, p. 439)
Every compact connected surface is diffeomorphic to S^{2} - some number of B^{2}, with either I^{2} or Moebius bands connecting the holes.
Two surfaces are diffeomorphic iff they have the same genus, Euler characteristic and number of boundary components.
Two surfaces are diffeomorphic iff they have the same Euler characteristic and number of boundary components, and are both either orientable or non-orientable.
Every connected compact orientable 2-manifold is diffeomorphic to the surface obtained from an orientable surface of genus 1 - (χ + δ) / 2 by the removal of δ disjoint B^{2}. (Hirsch, p. 189, 205, 207)
Every open surface admits a hyperbolic structure. (Scott, p. 421)
χ = #vertices - #edges + #facesA closed surface has hyperbolic, Euclidean or spherical (elliptical) structure iff its Euler characteristic is negative, zero or positive, respectively.
The Euler characteristic of a surface formed by gluing two surfaces with boundary along a boundary component is the sum of the original Euler characteristics.
Note that RP^{2} is equal to a Moebius strip glued to a disc.The Euler characteristic of the union of two surfaces is equal to the sum of their Euler characteristics minus the Euler characteristic of their intersection.
A sphere with g handles, c cross-caps and d open discs removed has Euler characteristic
χ = 2 - 2g - c - d
If a surface has empty boundary, two structures of S are equivalent in moduli space iff they have the same holonomy group (up to conjugacy), They are equivalent in Teichmuller space iff they have the same holonomy map.
The mapping class group of T^{2} is PSL(2,Z) (the projective special linear group acting on pairs of integers).
The Teichmuller space of a compact surface that admits a hyperbolic structure is homeomorphic to R^{ 3 |χ|}.
The maximum number of disjoint, non-parallel simple closed curves on a hyperbolic surface is 3g - 3. Cutting the surface along the corresponding geodesics divides the surface into 2g - 2 surfaces homeomorphic to S^{2} - 3 B^{2} (pairs of pants). The Teichmuller space of the original surface corresponds to the degrees of freedom defining the lengths of the boundary components of the pants, along with the number of twists with which the pants are glued back together.The mapping class group of a closed surface is isomorphic to the outer automorphism group of its fundamental group.
The outer automorphism group is the conjugacy class under diffeomorphisms of maps of π_{1} into itself.(Thurston, p. 260, 262, 264, 266, 271, 276, Thurston Notes, pp. 89-91)
For a given 3-manifold M, the minimum genus for all possible splittings is the Heegaard genus. The rank of π_{1}(M) cannot be larger than the Heegaard genus. (Marden, section 2.8.1)
χ = #vertices - (2 #edges - 3 #faces + 4 #tetrahedra) / 2is zero. So χ = 0 for any closed 3-manifold.
If X is a 3-space and it has k vertices v_{k},When identifying faces of polyhedra, the total number of faces must be even, and every identification must be orientation-reversing between pairs of faces. This produces an oriented manifold except near the vertices, which must be removed in order for the identification to produce a manifold. (Thurston Notes, p. 3)χ(X) = k - ½ Σ χ(link(v_{k}))(Thurston, p. 122)
If M is orientable and irreducible, then π_{2}(M) = 0. (Scott, p. 483)
Sphere / Prime Decomposition - every orientable closed 3-manifold has a finite connected sum decomposition into prime manifolds. (Borisenko, p. 8)
- S^{3} / Γ, where Γ is a finite subgroup of SO(4) acting freely by rotations; Γ = π_{1}(M). If Γ is cyclic, M is a lens space.
A (p,q)-lens space is generated by Γ = ((e^{2πi/p},0),(0,e^{2πiq/p})). Two lens spaces with indices (p,q) and (p',q') are homeomorphic iff p=p' and either q=+-q'(mod p) or qq' = +-1(mod p). (Ratcliffe, p. 342)- S^{1} ⊗ S^{2}, with infinite cyclic fundamental group. It is the only orientable 3-manifold that is prime but not irreducible, and the only prime orientable 3-manifold with nontrivial π_{2}.
- aspherical manifolds, irreducible with infinite noncyclic π_{1}.
A Seifert fibration is a 3-manifold fibered by circles which are the orbits of a circle action which is free except on at most finitely many fibers.(Borisenko, p. 6, 10)
The vertices of the original tetrahedra are numbered 1 through 4 and 5 through 8, all identified, and the faces (identified) are labeled A through D. All of the red edges are identified, as are all of the blue edges. The edge labels (z_{i} and w_{i}) are vertex invariants, each corresponding to the the opposite dihedral angle. The link of each vertex is denoted by the directed circles; since the tetrahdrea are ideal, the links are Euclidean triangles.The identifications produce an object with 1 vertex, 2 edges, 4 sides and 2 tetrahedra; removal of the vertex (so that χ = 0) makes the object a 3-manifold.The vertex invariant of a vertex of a Euclidean triangle in the complex plane is the ratio of the adjacent sides. Labeling the vertices clockwise,
- z_{1} = z / 1
- z_{2} = (z - 1) / z
- z_{3} = 1 / (1 - z)
Note that z_{1} z_{2} z_{3} = -1.
By considering the neighborhood of the removed vertex, we see that the boundary is a torus (the grayed area is a fundamental domain for the torus, but the green area is the fundamental domain with respect to the knot):
Here, the numbers indicate the vertices, the vertex invariants are labeled, and each triangle represents the link of its associated vertex. The arrows correspond to the directed circles; rotation across a vertex invariant z_{i} in a counterclockwise direction introduces a factor of z_{i} in the numerator, while rotating across z_{i} in a clockwise direction introduces a factor of z_{i} in the denominator. The red line corresponds to the holonomy generator in the longitudinal direction of the torus (dH(l)/dl = z_{1}^{2}/w_{1}^{2}, after dividing by z_{1}^{2}z_{2}^{2}z_{3}^{2}w_{1}^{2}w_{2}^{2}w_{3}^{2} ≡ 1), and the blue line correspond to the generator of holonomy in the meridianal direction ( dH(m)/dm = w_{1}/z_{3}).
This calculation used the "gray" domain. If we use the "green" domain, the meridian stays the same, but the longitude becomesFor the manifold to be complete, the products of the vertex invariants around any intersection of the link diagram must be 1:1/√z_{1} * w_{3} * z_{2} * w_{3} * 1/z_{2} * w_{2} * w_{3} * z_{2} * w_{3} * z_{3} * z_{1} * w_{2} * √z_{1} * -1= - z_{1} z_{2} z_{3} w_{2}^{2} w_{3}^{4}(Neumann and Zagier, p. 329)= w_{3}^{2} / w_{1}^{2}
= 1 / (w_{1}^{2} (1- w_{1}^{2}))
(These are often called gluing consistency conditions.)In addition, completeness imposes two other conditions: dH(l)/dl and dH(m)/dm must both equal one (the holonomy must be trivial). The first condition tells us that z=w; the second determines z:
z (1 - z) ≡ 1Since we require solutions such that Im(z) > 0 (Im(w) > 0) (all dihedral angles positive and ≤ π), z = (-1)^{1/3}. Notes that this solution also satisfies the first completeness condition.
M = X / Γ. (Borisenko, p. 11, 16, 20, 22)So X is the universal cover of M, and π_{1}(M) = Γ.Thurston conjectured that every oriented closed prime 3-manifold has a torus decomposition such that its components have one of the following geometric structures. It was proved by Perelman in 2003.
X | S^{3} | H^{3} | E^{3} | H^{2} ⊗ R | S^{2} ⊗ R | SL(2,R)~ | Nil | Sol |
---|---|---|---|---|---|---|---|---|
G | SO(4) | PSL(2,C) | R^{3} ⊗ SO(3) | OPS Isom H^{2} ⊗ Isom E^{1} | OPS SO(3) ⊗ Isom E^{1} | SL(2,R)~ ⊗ R | (1) | (2) |
H_{0} | SO(3) | SO(3) | SO(3) | SO(2) | SO(2) | SO(2) | SO(2) | {e} |
ds^{2} | dθ_{1}^{2} + sin(θ_{1})^{2} dθ_{2}^{2} + sin(θ_{1})^{2} sin(θ_{2})^{2} dφ^{2} | (dx^{2} + dy^{2} + dz^{2}) / z^{2} | dx^{2} + dy^{2} + dz^{2} | dx^{2} + cosh^{2}x dy^{2} + dz^{2} | dθ^{2} + sin(θ)^{2} dφ^{2} + dz^{2} | dx^{2} + dy^{2} - dz^{2} | dx^{2} + dy^{2} + (dz - x dy)^{2} | e^{2z} dx^{2} + e^{-2z} dy^{2} + dz^{2} |
isometry group | O(4) | Moeb(E^{2}) | O(3) ⊗ R^{3} | Isom(H^{2}) ⊗ R | O(3) ⊗ R | SL(2,R)~ ⊗ R | Nil ⊗ S^{1} | Sol |
topologically = | H^{2} ⊗ R | R^{3} | R^{3} | |||||
bundle structure | nontrivial S^{1} over S^{2} | trivial S^{1} over T^{2} | trivial S^{1} over surface g > 1 | S^{1} over S^{2} | nontrivial S^{1} over surface g > 1 | nontrivial S^{1} over T^{2} | nontrivial T^{2} over S^{1} | |
Bianchi class | IX | V, VII | I | III | (none) | III, VIII | II | VI |
topological invariants | e ≠ 0 | e = 0 | e = 0 | e = 0 | e ≠ 0 | e ≠ 0 | ||
R | 6 | -6 | 0 | -2 | 2 | 0 | -1/2 | -2 |
R_{a b}R^{a b} | 12 | 12 | 0 | 2 | 2 | 0 | 3/4 | 4 |
X | "round" T^{3} | H^{3} | H^{3} |
---|---|---|---|
ds^{2} | (r_{a} - c_{2} r_{b} + c_{2} c_{3} r_{c})^{2} dc_{1}^{2} + (r_{b} - c_{3} r_{c})^{2} / (1 - c_{2}^{2}) dc_{2}^{2} + r_{c}^{2} / (1 - c_{3}^{2}) dc_{3}^{2} | dx^{2} + dy^{2} + dz^{2} - Σ x_{i} x_{j} dx_{i} dx_{j} / (1 + r^{2}) | dr^{2} + cosh^{2} r dx^{2} + sinh^{2} r dθ^{2} |
R | 2 c_{3} (r_{a} - 2 c_{2} r_{b} + 3 c_{2} c_{3} r_{c}) / (r_{c} (-r_{b} + c_{3} r_{c}) (r_{a} - c_{2} r_{b} + c_{2} c_{3} r_{c})), < 0 | -6 | -6 |
R_{a b}R^{a b} | (2 c_{3}^{2} (r_{a}^{2} - 3 c_{2} r_{a} r_{b} + 3 c_{2}^{2} r_{b}^{2} + 4 c_{2} c_{3} r_{a} r_{c} - 8 c_{2}^{2} c_{3} r_{b} r_{c} + 6 c_{2}^{2} c_{3}^{2} r_{c}^{2})) / (r_{c}^{2} (-r_{b} + c_{3} r_{c})^{2} (r_{a} - c_{2} r_{b} + c_{2} c_{3} r_{c})^{2}), > 0 | 12 | 12 |
(bundle structure Anderson, p. 185)
(curvature invariants from Koehler)
In the above coordinates, geodesics beginning in the x-y plane lift into the z direction; similarly with the x-z and y-z planes. In the x and z directions, straight lines are geodesics, but not in the y direction.
In the above coordinates, geodesics in the x-z or y-z planes stay in those planes; geodesics in the x-y plane do not. Straight lines in the z direction are geodesics, but not in the x or y directions.
The center of a group is the set of all members which commute with every member of the group.
d g(t) / dt = -2 Ric(g(t)) + λ(t) g(t)to approach the singularities and then excise them. To get a feel for how it works, consider Einstein metrics, which are "fixed points" of the flow. For metrics of positive curvature, the flow contracts the metric (to a point in finite time, unless the flow is volume-normalized); for metrics of negative curvature, the flow expands the metric forever. The Ricci Flow preserves isometries since it is diffeomorphism invariant, so the geometric structure is valid arbitrarily close to each singular region. Perelman showed that for an arbitrary 3-manifold, only a finite number of surgeries are required to decompose the manifold into sub-manifolds, each of which has one of the eight geometric structures above. (Anderson, p. 185-9, 191-2)
S^{3}, E^{3}, SL(2,R)~, Nil and Sol are unimodular Lie groups. (Scott, p. 464, 468, 470, 478)
A Kleinian group is a discrete torsion-free group of isometries of H^{3} (and is therefore a discrete subgroup of Moeb(E^{2})), which acts properly discontinuously (the inverse image any any compact set is also compact).(Series, p. 1, 2, 5, 7)
Any metric of curvature +1 on a spherical 3-manifold is unique up to isometry. (Borisenko, p. 13)
A horoball, which is centered at a point x on the sphere at infinity, is the union of the surface orthogonal to all lines through x (a horosphere), with its interior. A horosphere is the limit surface of both a sphere and a cylinder in hyperbolic space as r → ∞, and has Euclidean geometry.The volumes of two homotopy equivalent, closed, oriented hyperbolic manifolds are equal.
The volumes of complete hyperbolic manifolds are indexed by countable ordinals in subsets, first with no cusps, then with one cusp, etc., with the volume increasing with the number of cusps:
A cusp is a region isometric to the psuedosphere: the t → ∞ end of the surface of revolution of (x,y) = (t - tanh t, sech t) (parameterized in two dimensions as ds^{2} = tanh^{2}(u) du^{2} + sech^{2}(u) dv^{2}, u ∈ [0,∞), v ∈ [0, 2π]):(Thurston Notes, p. 38, 116, 129, 139) (Thurston How..., p. 2559, 2563)
It is topologically T^{2} ⊗ [0,∞), has finite surface area (2π) and (interior) volume (π/3), and constant negative curvature; here (and below), the hyperbolic radian is unit distance. Note that the surface is not extensible at the t=0 end; the tangent with respect to t is infinite there. The limit surface of the bounding torus is a horosphere (isometric to R^{2}).
Think of T^{3} with conical deficits along the generators. As the deficit angles go to zero, the "cones" become cusps.For a nonorientable cusp, substitute a Klein bottle for the T^{2}. (Ratcliffe, p. 445)
The first integral betti number of a hyperbolic 3-manifold with cusps must be ≥ the number of cusps. (Callahan et al., p. 329)
Topological invariants of a cusped manifold include:
The Chern-Simons invariant is defined modulo 1/2 for orientable manifolds. It changes sign with a change in orientation, so if there is an orientation reversing homomorphism of the manifold, the Chern-Simons invariant must be 0 or 1/4 mod 1/2.
(Callahan et al., p. 329)
Every closed Euclidean 3-manifold is the quotient of T^{2} ⊗ R by the action of a discrete group Γ:
The remaining manifolds are not orientable:
Three of these are Klein bottle bundles over circles. (Weeks (Shape), p. 248)
(Thurston, pp. 159, 233-238)
All 10 closed Euclidean 3-manifolds are finitely covered by the 3-torus. (Scott, p. 448)
Every elliptic 3-manifold is either a lens space, or the quotient of RP^{3} by one of the following groups:
(Thurston, pp. 243, 250)
3-manifolds with geometries E^{3}, H^{2} ⊗ R or S^{2} ⊗ R are, up to finite covers, trivial circle bundles over oriented surfaces of genus g, with g = 1, g > 1 or g = 0, respectively.
3-manifolds with geometries S^{3}, SL(2,R)~ or Nil are, up to finite covers, nontrivial circle bundles over oriented surfaces of genus g, with g = 0, g > 1 or g = 1, respectively.
These are also twisted line bundles over S^{2}, H^{2} and E^{2}, respectively. (Weeks (Shape), p. 253, 254)A closed 3-manifold possessing Sol geometry is finitely covered by a torus bundle over S^{1} with holonomy given by a hyperbolic automorphism of T^{2} (an element of SL(2,Z) with distinct real eigenvalues). (Borisenko, p. 29)
(Thurston, pp. 281, 283)
A knot is a simple closed curve.A knot complement has a cusp along each link component. (Gukov, p. 17)
A link is a union of disjoint knots.
Every noncompact hyperbolic 3-manifold of finite volume can be decomposed into a finite number of ideal hyperbolic tetrahedra. (Callahan et al., p. 321)
The toral cross-section of a cusp can be seen as the open tubular neighborhood of the link components strung along the edges of an ideal tetrahedron. (Weeks)
The link of a cusp (topologically a torus or a Klein bottle) is triangulated by the links of the vertices with appropriate identification.
If the first homotopy group is generated by {x^{i}} and the product of the vertex invariants along each x is Z_{i}, the holonomy along a path a_{i}x^{i} is Z_{i}^{ai} (implicit summation). If the manifold is complete, the holonomy is trivial.
(Ratcliffe, section 10.5)
(p,q)-Dehn surgery is a Dehn filling where the meridian wraps p times around the meridian and q times around the longitude (p and q relatively prime, q ≠ 0).
The meridian is the homotopy generator of "shorter" radius. The longitude is the homotopy generator of "larger" radius.(p,q) and (-p,-q) surgeries produce the same manifold.
(p,q) Dehn surgery on a hyperbolic manifold will produce another hyperbolic manifold except in finitely many cases.The result of Dehn surgery always has a cyclic fundamental group. (Thurston Notes, p. 2)
Every 3-manifold can be obtained from Dehn filling of a finite-degree covering space of the Borromean Rings: they are a universal link.
The Borromean Rings are 3 linked S^{1} such that cutting any one unlinks the other two:(Thurston Notes, p. 57, 61) (Thurston, p. 131) (Thurston How..., p. 2569) (Hilden)
The Whitehead link:
and the 9_{46} knot are also universal.
π_{1}(knot complement) = Z iff the knot is trivial. (Thurston Notes, p. 2)
For the figure 8 knot complement, the generator of translations in the meridianal direction is (from the link diagram above)
w_{1} / z_{3}and the generator of translations in the longitudinal direction is the product of the longitudinal holonomy generator with the square of the meridianal holonomy generator:= w_{1} (1 - z_{1})
w_{2}^{2} w_{3}^{2} z_{1}^{4} z_{2}^{2} z_{3}^{2} * (w_{1} (1 - z_{1}))^{2}The gluing (completeness) conditions for (p,q) Dehn surgery can then be written as= z_{1}^{2} (1 - z_{1})^{2}.(which by the gluing consistency conditions is equal to the result we obtained above.)
where z = z_{1} is the vertex invariant of the first tetrahedron and w = w_{1} of the second.
(Ratcliffe, p. 497)
Consider the (1,2) Dehn twist of the figure 8 knot complement. We find z and w by requiring both that the original gluing condition be satisfied and that the product of one meridian traversal and two longitude traversals gives the identity:
There are 16 solutions to these equations; only one satisfies the Dehn surgery gluing conditions and produces z_{i} and w_{i} in the interval (0,π):
Adding all of the interior angles in the torus boundary of the removed vertex, we obtain 1440 degrees. Therefore the torus is described by a 10-sided polygon:
|z_{1}| arg(z_{1}) |z_{2}| arg(z_{2}) |z_{3}| arg(z_{3}) |w_{1}| arg(w_{1}) |w_{2}| arg(w_{2}) |w_{3}| arg(w_{3}) 0.61071 113.458 2.23268 42.2824 0.733397 24.2599 1.5253 27.4688 0.516168 35.8646 1.27014 116.667 (arg values in degrees)
Traversal of a meridian results in the length of a vector increasing by a factor of |w_{1} (1 - z_{1})| = 2.07978 and a rotation of arg(w_{1} (1 - z_{1})) = 3.20887 degrees counterclockwise; traversal of a longitude results in the length of a vector decreasing by a factor of |z_{1}^{2} (1 - z_{1})^{2}| = 0.693412 and a rotation of arg(z_{1}^{2} (1 - z_{1})^{2}) = 178.396 degrees:
Each "twisted quadrilateral" is a slice of the Dehn-filled cusp with torus cross-section, with meridian and longitude edge labeling indicating traversal along two longitudes (red to green and green to blue) and one meridian (blue back to red). Since the manifold is now complete and compact (with torus boundary), the red and blue quadrilaterals share a meridian edge (M_{0}): traversal along one meridian and two longitudes brings you back to where you started. (See Weeks.)
The volume of an ideal tetrahedron with dihedral angles α, β and γ is Π(α)+Π(β)+Π(γ). (Thurston Notes, pp. 160, 167-169)
is 6 Π(π/3) = 2.02988321282... (since an equilateral tetrahedron has dihedral angles of π/3).
The volume of the (1,2) Dehn-filled figure 8 complement is
Π(z_{1}) + Π(z_{2}) + Π(z_{3}) + Π(w_{1}) + Π(w_{2}) + Π(w_{3})= 1.3985088842...
v(S^{3} - C_{k}) = 2 k (2 Π(β/2) + Π(α + π/k) + Π(α - π/k))Another family of chain complements is D_{2k} (k > 2), with volumes
v(S^{3} - D_{2k}) = 8 k (Π(π/4 + π/(2k)) + Π(π/4 - π/(2k)))(Thurston Notes, p. 147, 151, 167)
Here are the volumes produced by (p,q) surgery on the figure 8 knot complement for p,q ≤ 20. Note that for (p,q) = (1,1), (2,1), (3,1) and (4,1), the resulting manifolds are not hyperbolic. The minimum volume (0.981369) is for the (5,1) surgery; the maximum volume shown (2.02326) is for (19,20) surgery; the limiting volume is 2.02988.
The isometry group of the Riemann Sphere is PSL(2,C). As a function of coordinates in the complex plane, an element of PSL(2,C) can be written:
f(z) = (a z + b) / (c z + d),where a, b, c and d are complex numbers subject to (a d) - (b c) = 1, and any two functions which are scalar multiples are identifed.
Since in the Poincare model, the Riemann sphere is taken to be the sphere at ∞, and all isometries of H^{3} are generated by inversions in S^{2}s orthogonal to the sphere at ∞, the action of PSL(2,C) on the sphere at ∞ can be extendeed into all of H^{3}. (Thurston, p. 99)
For any two sets of three points, there is exactly one element of PSL(2,C) which maps the first set to the second. (Thurston, p. 87)
In general, 3g + n -3 ≥ 1. The deformation space (Teichmuller space) has dimension 6g + 2n - 6.(Marden, sections 2.5, 2.7, 2.10)Such a surface has finite area 2π (2g + n - 2) > 0, constraining a sphere to have at least 4 punctures, and a simple torus to have at least 1.
The crossing number of a knot is the minimum number of crossings for all planar projections of the knot. It is an isotopy invariant.
An isotopy is a homotopy between embeddings.For an oriented link, we can assign a value to each crossing of different components:
The linking number is half of the sum of those crossing numbers, and is also an isotopy invariant.
- +1 if rotating the overstrand in a counterclockwise direction will align it with the understrand;
- -1 if rotating the overstrand in a clockwise direction will align it with the understrand.
For a projection of an oriented link, the writhe is the sum of the crossing numbers for all crossings. It is not an isotopy invariant.
A knot which can be separated into nontrivial sub-knots, each of which can be enclosed in a sphere intersected by only two arcs, is composite (denoted as K_{1} # K_{2}). If such a decomposition is not possible, the knot is prime.
The number of prime knots with each crossing number up to 15 have been computed:A knot which is isotopically equivalent to its mirror image is amphicheiral.
3 4 5 6 7 8 9 10 11 12 13 14 15 1 1 2 3 7 21 49 165 552 2176 9988 46972 253293
Of the knots up to 9 crossings, the only achiral knots are 3_{1}, 6_{3}, 8_{3}, 8_{9}, 8_{12}, 8_{17} and 8_{18}.A sub-knot whose planar projection intersects a surrounding circle four times is a tangle.
A knot formed by rotation or inversion of a tangle is a mutant.
An alternating knot is a knot whose crossing signs alternate as the knot is traversed in a given direction.
A knot which can be invertibly mapped to the surface of a torus is a torus knot.
A (p,q)-torus knot wraps around the meridian p times and around the longitude q times. A (9,2) torus knot:
If a knot is embedded in an unknotted solid torus, and that solid torus is then knotted, the resultant embedded knot is a satellite knot. (Adams, pp. 2-3, 8-9, 15, 19, 41, 49, 108, 115, 152) (Lickorish, p. 6)
The crossing number for a (p,q)-torus knot is min (p (q - 1), q (p - 1)). (Adams, pp. 110-111)
There are similar expansions for Lissajous knots and the knots 3_{1}, 4_{1}, 5_{1} and 8_{19}. (Kauffman (Fourier), p. 366) (Trautwein, pp. 355-356, 359, 361)
A hyperbolic knot is a knot whose complement can be given a metric of constant curvature -1.(Adams, pp. 119-120)
P_{L} for an arbitrary link is constructed recursively from polynomials for simpler links.
P_{L1 # L2} = P_{L1} P_{L2}
P_{L} is unchanged by mutation of L.
P_{L} is invariant under reversal of orientation of all components. (Lickorish, p. 179, 180)
The Alexander polynomial Δ_{L} (t) = P_{L} (i, i (t^{1/2} - t^{-1/2}). (Lickorish, p. 180)
The Kauffman polynomial F(a,z) = a^{- writhe} Λ (a,z) is defined by the following skein relations:
F(a,z) is an isotopy invariant independent of P(l,m). (Lickorish, p. 174)
F_{L1 # L2} = F_{L1} F_{L2}
F_{L} is unchanged by mutation of L.
F_{L} is invariant under reversal of orientation of all components. (Lickorish, p. 179, 180)
©2016, Kenneth R. Koehler. All Rights Reserved. This document may be freely reproduced provided that this copyright notice is included.