nLab framed link

Redirected from "framed links".

Contents

Idea

A framed link is a link where the circles forming the components are viewed as having a thickness, albeit an arbitrarily small thickness. That is to say, instead of the components of the links being embedded circles, they are embedded solid tori.

The thickening can be considered in one direction only which gives embedded ribbons. This is an equivalent definition which can be useful as it makes the distinction clearer between an embedding and the same embedding composed with, say, a Dehn twist.

A link diagram can be made into a diagram of a framed links by giving it the blackboard framing: this views each segment of the link diagram as a ribbon lying on the “blackboard”.

Two diagrams represent the same link diagram if and only if they can be related by a modified version of the Reidemeister moves in which the first move is replaced by the following move.

category: svg

Definition

The precise notion of a framing on a link is perhaps most naturally given in terms of smooth structures on manifolds. We’ll start from there and later give other versions.

Framing

Let MM be an oriented 3-manifold, for example S 3S^3. The tangent bundle p:TMMp: T M \to M is a bundle with structure group GL ( 3 ) = GL ( 3 ) GL(3) = GL(\mathbb{R}^3) which in fact admits a reduction to GL +(3)GL_+(3) (invertible linear transformations with positive determinant) since MM is oriented. A further reduction to the structure group SO ( 3 ) SO(3) can be effected by a number of means, e.g., by equipping MM with a Riemannian metric.

Now let

L:S 1S 1M L \;\colon\; S^1 \sqcup \ldots \sqcup S^1 \hookrightarrow M

be a smoothly embedded link (of oriented circles). The normal bundle of LL is the cokernel of the bundle inclusion

T(S 1S 1)L *TMT(S^1 \sqcup \ldots \sqcup S^1) \to L^\ast T M

(as bundles over S 1S 1S^1 \sqcup \ldots \sqcup S^1); it is naturally associated with a principal SO(2)SO(2)-bundle. A framing of LL is simply a choice of section σ\sigma of this principal SO(2)SO(2)-bundle. It can be thought of as a smooth choice of unit normal vectors along points of the embedded link, and can be visualized as “ribbons”, one for each component S 1S^1, with one edge of the ribbon being that component.

The SO(2)SO(2)-bundle or circle bundle over each component S 1S^1 can be seen as an embedded torus in MM. The framing itself induces a diffeomorphism on this torus which takes an element (ξ,p)(\xi, p) over pS 1p \in S^1 to (σ(p)ξ,p)(\sigma(p)\xi, p).

Framing number

However, it is often convenient to consider such framings, or rather their associated torus diffeomorphisms, only up to isotopy. For each component S 1S^1, the isotopy class is specified by an integer which gives the number of 360 degree clockwise rotations of the unit normal or clockwise twists of the ribbon as one traverses the component in the direction of its orientation. This is called the framing number.

If one regards the framed link as a ribbon link, then its framing number is the linking number of the two boundaries of the ribbon.

Thus an alternative way of describing a framing on an oriented link is by assigning an integer (framing number) to each link component.

Examples

Framings of the trefoil knot:

From CMNP 19

References

Textbooks:

Lecture notes:

  • Roland van der Veen: Def. 4 of: A smooth introduction to knots, lecture notes (2016) [pdf, pdf]

Vivid illustrations:

  • Nadav Drukker, Elise Paznokas, Dominik Schrimpel: Knitting Knots & the Framing Anomaly, in: Proceedings of Bridges 2022: Mathematics, Art, Music, Architecture, Culture, Tessalations Publishing (2022) 245-252 [arXiv:2210.16677, web, pdf]

Discussion of framed links in the context of regularizing Wilson loop quantum observables in Chern-Simons theory:

Last revised on July 17, 2024 at 16:38:10. See the history of this page for a list of all contributions to it.