I was reading the nice [survey on rigidity][1], focusing on tensegrities by Connelly, and I'd like to know the status and feedback about a question he asks: 

A theorem by [Gluck][5] and [this work of Connelly][4], about [cable/strut/bar finite frameworks][2], relate notions such as the following:
1. local flexibility (i.e. the existence of non-trivial continuous deformations which respect the tensegrity constraints) 
2. infinitesimal flexibility (namely, the conditions one obtains at the first jet level from the above: explicitly, there exist $p_i'$ "tangent vectors" at configuration points $p_i$, satisfying natural constraints such as $(p_i-p_j)\cdot(p_i'-p_j')\le 0$ if $\{p_i,p_j\}$ is a cable, and analogues for bars and struts).

Gluck shows that 1 implies 2 and that for generic frameworks, 1 is equivalent to 2. (As noted in the comments, in without a further genericity assumption, the viceversa is not true.)

**Connelly asks for a continuous analogue of such result.**

One can give an **interpretation of this question** by asking: is an isometric immersion of a Riemannian manifold in Euclidean space *locally flexible* (in the sense that there is a path of isometric immersions that passes through it, not coming from a path of isometries of ambient space) if and only if it is *infinitesimally flexible* (=condition obtained by taking the 1st jet, or tangent vectorfield, version of the above)?

I am curious if the above interpretations seems legit, and if some answers are known, especially in the setting of immersions of $C^{1,\alpha}$-regularity for $\alpha$ small (or zero). In that case, one is probably supposed to take weak derivatives in the definition of infinitesimal rigidity. Or alternatively, give another interpretation of the question.

The emphasis on regularity is motivated by the famous rigidity results by Cohn-Vossen / Pogorelov / Nirenberg / Borisov, which work at higher regularity. If all isometric immersions are rigid, then the question becomes less interesting. Flexibility has been proved at lower $\alpha$ by De Lellis - Inauen - Szekelihidi (amongst others) following a path started by Nash,  and this makes the question perhaps more interesting in that setting. For a better discussion on this [see this survey][3].


 

  [1]: https://www.sciencedirect.com/science/article/pii/B9780444895967500122
  [2]: https://en.wikipedia.org/wiki/Tensegrity
  [3]: https://arxiv.org/pdf/1609.03180
  [4]: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.145.2964&rep=rep1&type=pdf
  [5]: http://pi.math.cornell.edu/~web7510/Gluck-almost-all.pdf