In geometric topology, a branch of mathematics, the lantern relation is a relation that appears between certain Dehn twists in the mapping class group of a surface. The most general version of the relation involves seven Dehn twists. The relation was discovered by Dennis Johnson in 1979.[1]
The general form of the lantern relation involves seven Dehn twists in the mapping class group of a disk with three holes,[2] as shown in the figure on the right. According to the relation,
where,, and are the right-handed Dehn twists around the blue curves,, and, and,,, are the right-handed Dehn twists around the four red curves.
Note that the Dehn twists,,, on the right-hand side all commute (since the curves are disjoint, so the order in which they appear does not matter. However, the cyclic order of the three Dehn twists on the left does matter:
Also, note that the equalities written above are actually equality up to homotopy or isotopy, as is usual in the mapping class group.
Though we have stated the lantern relation for a disk with three holes, the relation appears in the mapping class group of any surface in which such a disk can be embedded in a nontrivial way. Depending on the setting, some of the Dehn twists appearing in the lantern relation may be homotopic to the identity function, in which case the relation involves fewer than seven Dehn twists.
The lantern relation is used in several different presentations for the mapping class groups of surfaces.