Clasper (mathematics)

Clasper (mathematics)

In the mathematical field of low-dimensional topology, a clasper is a surface (with extra structure) in a 3-manifold on which surgery can be performed.

Contents

Motivation

Beginning with the Jones polynomial, infinitely many new invariants of knots, links, and 3-manifolds were found during the 1980s. The study of these new `quantum' invariants expanded rapidly into a sub-discipline of low-dimensional topology called quantum topology. A quantum invariant is typically constructed from two ingredients: a formal sum of Jacobi diagrams (which carry a Lie algebra structure), and a representation of a ribbon Hopf algebra such as a quantum group. It is not clear a-priori why either of these ingredients should have anything to do with low-dimensional topology. Thus one of the main problems in quantum topology has been to interpret quantum invariants topologically.

The theory of claspers comes to provide such an interpretation. A clasper, like a framed link, is an embedded topological object in a 3-manifold on which one can perform surgery. In fact, clasper calculus can be thought of as a variant of Kirby calculus on which only certain specific types of framed links are allowed. Claspers may also be interpreted algebraically, as a diagram calculus for the braided strict monoidal category Cob of oriented connected surfaces with connected boundary. Additionally, most crucially, claspers may be roughly viewed as a topological realization of Jacobi diagrams, which are purely combinatorial objects. This explains the Lie algebra structure of the graded vector space of Jacobi diagrams in terms of the Hopf algebra structure of Cob.

Definition

A clasper G=\mathbf{A}\cup\mathbf{B} is a compact surface embedded in the interior of a 3-manifold M equipped with a decomposition into two subsurfaces \mathbf{A} and \mathbf{B}, whose connected components are called the constituents and the edges of G correspondingly. Each edge of G is a band joining two constituents to one another, or joining one constituent to itself. There are four types of constituents: leaves, disk-leaves, nodes, and boxes.

Clasper surgery is most easily defined (after elimination of nodes, boxes, and disk-leaves as described below) as surgery along a link associated to the clasper by replacing each leaf with its core, and replacing each edge by a right Hopf link.

HabiroWiki-5.png

Clasper calculus

The following are the graphical conventions used when drawing claspers (and may be viewed as a definition for boxes, nodes, and disk-leaves):

Replacing nodes, disk-leaves, and boxes with leaves
Convensions drawing claspers


Habiro found 12 moves which relate claspers along which surgery gives the same result. These moves form the core of clasper calculus, and give considerable power to the theory as a theorem-proving tool.

Habiro's twelve moves.


Cn-equivalence

Two knots, links, or 3-manifolds are said to be Cn-equivalent if they are related by Cn-moves, which are the local moves induced by surgeries on a simple tree claspers without boxes or disk-leaves and with n leaves.

A Cn-move.


For a link L\subset M, a C1-move is a crossing change. A C2-move is a Delta move. Most applications of claspers use only Cn-moves.

Main results

For two knots K and K^\prime and a non-negative integer k, the following conditions are equivalent:

  1. K and K^\prime are not distinguished by any invariant of type k.
  2. K and K^\prime are Ck-equivalent.

The corresponding statement is false for links.

3-Manifolds

References

  • S. Garoufalidis, M. Goussarov, and M. Polyak, Calculus of clovers and finite-type invariants of 3-manifolds, Geom. and Topol., vol. 5 (2001), 75–108.
  • M.N. Goussarov, Variations of knotted graphs. The geometric technique of $n$-equivalence (Russian) Algebra i Analiz 12(4) (2000), 79—125; translation in St. Petersburg Math. J. 12(4) (2001) 569—604.
  • M.N. Goussarov, Finite type invariants and $n$-equivalence of $3$-manifolds C. R. Acad. Sci. Paris Ser. I Math. 329(6) (1999), 517—522.
  • K. Habiro, Claspers and the Vassiliav skein module, PhD thesis, University of Tokyo (1997).
  • K. Habiro, Claspers and finite type invariants of links, Geom. and Topol., vol. 4 (2000), 1–83.
  • S. Matveev, Generalized surgeries of three-dimensional manifolds and representations of homology spheres, Mat. Zametki, 42 (1987) no. 2, 268-278.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • List of knot theory topics — Knot theory is the study of mathematical knots. While inspired by knots which appear in daily life in shoelaces and rope, a mathematician s knot differs in that the ends are joined together so that it cannot be undone. In precise mathematical… …   Wikipedia

  • Outline of sharks — A great white shark at Isla Guadalupe, Mexico Sharks (superorder Selachimorpha) are a type of fish with a full cartilaginous skeleton and a highly streamlined body. The earliest known sharks date from more than 420 million years ago, before the… …   Wikipedia

  • City of Sunderland College — Sunderland College Type Further and Higher Education College Principal Ms Angela O Donoghue Location …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”