In the mathematical field of topology, a free loop is a variant of the mathematical notion of a loop. Whereas a loop has a distinguished point on it, called a basepoint, a free loop lacks such a distinguished point. Formally, let
Thus, a free loop, as opposed to a based loop used in the definition of the fundamental group, is a map from the circle to the space without the basepoint-preserving restriction. Free homotopy classes of free loops correspond to conjugacy classes in the fundamental group.
In the last years, interest in the space of all free loops