atoroidal

Atoroidal is an adjective used in geometric topology to describe spaces that do not contain an essential torus. In the common 3-manifold setting, a compact orientable 3-manifold M is atoroidal if every embedded torus T in M that is incompressible is either boundary-parallel or bounds a solid torus. An essential torus is an embedded torus that is incompressible and not boundary-parallel, so atoroidal means no such torus exists.

The concept plays a central role in the JSJ (torus) decomposition of 3-manifolds. According to this decomposition, any compact orientable 3-manifold can be cut along a minimal collection of incompressible tori into pieces that are either atoroidal or Seifert fibered. This structure helps classify manifolds up to geometric decomposition and relates to Thurston’s geometrization program.

In practice, many hyperbolic 3-manifolds are atoroidal. For example, the exterior of a non-satellite knot (such as the figure-eight knot) is atoroidal and, when appropriate conditions hold, supports a hyperbolic structure. By contrast, manifolds that contain essential tori are called toroidal, and in knot theory this usually corresponds to satellite knots whose complements contain such tori.

Overall, atoroidal spaces are those free of essential tori, a key condition in understanding the geometric and topological structure of 3-manifolds and their decompositions.