Real monodromy action

摘要

The monodromy group is an invariant for parameterized systems of polynomial equations that encodes structure of the solutions over the parameter space. Since the structure of real solutions over real parameter spaces are of interest in many applications, real monodromy action is investigated here. A naive extension of monodromy action from the complex numbers to the real numbers is shown to be very restrictive. Therefore, we introduce a real monodromy structure which need not be a group but contains tiered characteristics about the real solutions over the parameter space. An algorithm is provided to compute the real monodromy structure. In addition, this real monodromy structure is applied to an example in kinematics which summarizes all the ways performing loops parameterized by leg lengths can cause a mechanism to change poses.