The transcendence needed to compute the sphere and the wave front in Martinet \(SR\)-geometry (Q5948396)

The article is devoted to the role of abnormal minimizers on \(SR\)-geometry on the transcendence of the sphere. The authors adress to the following questions: (1) prove that the \(SR\)-sphere is not subanalytic if there exist abnormal minimizers; (2) prove that the \(SR\)-sphere is in the exp-log category if the geodesics equations are integrable by quadratures; (3) investigate if the \(SR\)-sphere is pfaffian in the general case. This paper gives the main lines of the proof of the two first propositions in the \(SR\)-Martinet integrable case. The third, more difficult problem is also briefly discussed.