We propose a unified computational framework for the problem of deformation and rigidity of submanifolds in a homogeneous space under geometric constraint. A notion of 1-rigidity of a submanifold under admissible deformations is introduced. It means every admissible deformation of the submanifold osculates a one parameter family of motions up to 1st order. We implement this idea to the question...

‎Based on a definition for circle in Finsler space‎, ‎recently proposed by one of the present authors and Z‎. ‎Shen‎, ‎a natural definition of extrinsic sphere in Finsler geometry is given and it is shown that a connected submanifold of a Finsler manifold is totally umbilical and has non-zero parallel mean curvature vector field‎, ‎if and only if its circles coincide with circles of the ambient...

Given a control-affine system and a controlled invariant submanifold, we present necessary and sufficient conditions for local feedback equivalence to a system whose dynamics transversal to the submanifold are linear and controllable. A key ingredient used in the analysis is the new notion of transverse controllability indices of a control system with respect to a set.

Let G be a definably compact definable C group and 1 ≤ r < ∞. Let X be a definable CG submanifold of a representation of G and Y a definable C submanifold of R. We prove that every G invariant surjective submersive definable C map f : X → Y is piecewise definably CG trivial.