Metric Geometry (math.MG)

  • PDF
    Finite rank median spaces are a simultaneous generalisation of finite dimensional CAT(0) cube complexes and real trees. If $\Gamma$ is an irreducible lattice in a product of rank one simple Lie groups, we show that every action of $\Gamma$ on a complete, finite rank median space has a global fixed point. This is in sharp contrast with the behaviour of actions on infinite rank median spaces. The fixed point property is obtained as corollary to a superrigidity result; the latter holds for irreducible lattices in arbitrary products of compactly generated groups. In previous work, we introduced "Roller compactifications" of median spaces; these generalise a well-known construction in the case of cube complexes. We provide a reduced $1$-cohomology class that detects group actions with a finite orbit in the Roller compactification. Even for CAT(0) cube complexes, only second bounded cohomology classes were known with this property, due to Chatterji-Fernós-Iozzi. As a corollary, we observe that, in Gromov's density model, random groups at low density do not have Shalom's property $H_{FD}$.
  • PDF
    The kinematics of a robot manipulator are described in terms of the mapping connecting its joint space and the 6-dimensional Euclidean group of motions $SE(3)$. The associated Jacobian matrices map into its Lie algebra $\mathfrak{se}(3)$, the space of twists describing infinitesimal motion of a rigid body. Control methods generally require knowledge of an inverse for the Jacobian. However for an arm with fewer or greater than six actuated joints or at singularities of the kinematic mapping this breaks down. The Moore-Penrose pseudoinverse has frequently been used as a surrogate but is not invariant under change of coordinates. Since the Euclidean Lie algebra carries a pencil of invariant bilinear forms that are indefinite, a family of alternative hyperbolic pseudoinverses is available. Generalised Gram matrices and the classification of screw systems are used to determine conditions for their existence. The existence or otherwise of these pseudoinverses also relates to a classical problem addressed by Sylvester concerning the conditions for a system of lines to be in involution or, equivalently, the corresponding system of generalised forces to be in equilibrium.