Abstract
In this paper we prove the strong Sard conjecture for subRiemannian structures on 3dimensional analytic manifolds. More precisely, given a totally nonholonomic analytic distribution of rank 2 on a 3dimensional analytic manifold, we investigate the size of the set of points that can be reached by singular horizontal paths starting from a given point and prove that it has Hausdorff dimension at most 1. In fact, provided that the lengths of the singular curves under consideration are bounded with respect to a given complete Riemannian metric, we demonstrate that such a set is a semianalytic curve. As a consequence, combining our techniques with recent developments on the regularity of subRiemannian minimizing geodesics, we prove that minimizing subRiemannian geodesics in 3dimensional analytic manifolds are always of class \(C^1\), and actually they are analytic outside of a finite set of points.
1 Introduction
Let M be a smooth connected manifold of dimension \(n\ge 3\) equipped with a subRiemannian structure \((\Delta ,g)\) which consists of a totally nonholonomic distribution \(\Delta \) of rank \(m<n\) on M, that is, a smooth subbundle of TM of dimension m generated locally by m smooth vector fields \(X^1, \ldots ,X^m\) satisfying the Hörmander condition
and a smoothly varying inner product g on \(\Delta \). By the ChowRashevsky Theorem, M is horizontally pathconnected with respect to \(\Delta \); in other words, for every pair of points \(x,y \in M\) there is a horizontal path \(\gamma : [0,1] \rightarrow M\) connecting them, i.e., an absolutely continuous curve \(\gamma : [0,1] \rightarrow M\) with derivative in \(L^2\) satisfying
As a consequence, thanks to the metric g on \(\Delta \) that allows to measure the length of horizontal paths, we can define a distance \(d_{SR}\) on M, called the subRiemannian distance, which reflects the metric properties of \((\Delta ,g)\). The subRiemannian geometry is precisely concerned with the study of the metric and geometric properties of the metric space \((M,d_{SR})\) and its related objects, such as for instance the minimizing horizontal paths between two points. The presence of the socalled singular horizontal paths, which is specific to the subRiemannian world (such phenomenon does not occur in Riemannian geometry), is the source of many troubles that include two outstanding problems within subRiemannian geometry: the Sard conjecture and the problem of regularity of minimizing geodesics. The purpose of the present paper is to settle these two problems in the case of analytic subRiemannian structures in dimension 3. In order to define the notion of singular horizontal paths and to state our results, in the next paragraph we first identify the horizontal paths with the trajectories of a control system. For further details on the notions and results of subRiemannian geometry given in the introduction, we refer the reader to Bellaïche’s monograph [7], or to the books by Montgomery [28], by Agrachev, Barilari and Boscain [1], or by the fourth author [36].
Given a subRiemannian structure \((\Delta ,g)\) as above, it can be shown that there exist an integer \(k \in [m,m(n+1)]\) and a family of k smooth vector fields \({\mathcal {F}}=\{X^1,\ldots ,X^k\}\) such that
For every \(x\in M\), the set of controls \(u=(u_1,\ldots ,u_k) \in L^2([0,1],{\mathbb {R}}^k)\) for which the solution \({\mathbf {x}}(\cdot )={\mathbf {x}}(\cdot \,;x,u)\) to the Cauchy problem
exists over [0, 1] is a nonempty open set \({\mathcal {U}}^x\subset L^2([0,1],{\mathbb {R}}^k)\). By construction, any solution \({\mathbf {x}}(\cdot \,; x,u) : [0,1] \rightarrow M\) with \(u\in {\mathcal {U}}^x\) is a horizontal path in \(\Omega _{\Delta }^{x}\), the set of horizontal paths on [0, 1] starting from x. Moreover, by definition, any path \(\gamma \in \Omega _{\Delta }^{x}\) is equal to \({\mathbf {x}}(\cdot \,;x,u)\) for some \(u\in {\mathcal {U}}^x\) (which is not necessarily unique). Given a point \(x\in M\), the EndPoint Mapping from x (associated with \({\mathcal {F}}\) in time 1) is defined as
and it is of class \(C^{\infty }\) on \({\mathcal {U}}^x\) equipped with the \(L^2\)topology. A control \(u \in {\mathcal {U}}^{x}\subset L^2([0,1], {\mathbb {R}}^k)\) is called singular (with respect to \(E^u\)) if the linear mapping
is not onto, that is, if \(\text{ E}^{x}\) is not a submersion at u. Then, a horizontal path \(\gamma \in \Omega _{\Delta }^{x}\) is called singular if it coincides with \({\mathbf {x}}(\cdot \,; x,u)\) for some singular control \(u \in {\mathcal {U}}^x\). It is worth noticing that the property of singularity of a horizontal path is independent of the choice of the family \(X^1, \ldots , X^k\) and of the control u which is chosen to parametrize the path. Moreover, by the CauchySchwarz inequality, all singular horizontal paths have finite length with respect to g. For every \(x\in M\), we denote by \({\mathcal {S}}^{x}_{\Delta }\) the set of singular horizontal paths starting at x and we set
By construction, the set \({\mathcal {X}}^x_{\Delta }\) coincides with the set of critical values of a smooth mapping over a space of infinite dimension. In analogy with the classical Sard Theorem in finite dimension (see e.g. [13]), the Sard conjecture in subRiemannian geometry asserts the following:
Sard Conjecture: For every \(x\in M\), the set \({\mathcal {X}}^x_{\Delta }\) has zero Lebesgue measure inside M.
The Sard Conjecture cannot be obtained as a straightforward consequence of a general Sard Theorem in infinite dimension, as the latter fails to exist (see for example [6]). This conjecture remains still largely open, except for some particular cases in dimension \(n\ge 4\) (see [24, 28, 37]) and for the 3dimensional case (where actually a stronger conjecture is expected).
Whenever M has dimension 3, the singular horizontal paths can be shown to be contained inside the socalled Martinet surface \(\Sigma \) (see Sect. 2.1 below for the definition of the Martinet surface) which happens to be a 2dimensional set. So, in this case, the Sard Conjecture is trivially satisfied. For this reason, in the 3dimensional case, the meaningful version of the Sard conjecture becomes the following (here and in the sequel, \({\mathcal {H}}^s\) denotes the sdimensional Hausdorff measure):
Sard Conjecture in dimension 3: For every \(x\in M\), \({\mathcal {H}}^2({\mathcal {X}}^x_{\Delta })=0\).
In fact, whenever M has dimension 3, it can be shown that singular horizontal paths correspond exactly to finite length concatenations of integral curves of the characteristic line foliation, also called the Martinet line field, which is given by the trace of the distribution on the Martinet surface (see Sect. 2.2). In [47], Zelenko and Zhitomirskii proved that, for generic ranktwo distributions in dimension 3, a stronger version of the Sard conjecture holds. More precisely they showed that, in the generic setting, the Martinet surface is smooth and the sets \({\mathcal {X}}^x_{\Delta }\) are locally unions of finitely many smooth curves which correspond to stable manifold of singularities of the characteristic line foliation of saddle type. In particular, this implies the generic validity of the Strong Sard Conjecture in dimension 3 (we refer the interested reader to [28] for a statement of Strong Sard Conjectures in higher dimensions):
Strong Sard Conjecture in dimension 3: For every \(x\in M\), the set \({\mathcal {X}}^x_{\Delta }\) has Hausdorff dimension at most 1.
We note that such a result is the best one can hope for. Indeed, if \(y \in {\mathcal {X}}^x_{\Delta }\) with \(y=\gamma (1) \ne x\) for some singular curve \(\gamma \), then \(\gamma (t) \in {\mathcal {X}}^x_{\Delta }\) for any \(t \in [0,1]\) (this follows by reparameterizing \(\gamma \)). Thus, whenever \({\mathcal {X}}^x_{\Delta }\) contains a point \(y \ne x\) then automatically it has at least Hausdorff dimension 1.
As mentioned above, the results in [47] are concerned with generic distributions. Hence, it is natural to investigate what one can say without a genericity assumption, both for the Sard Conjecture and for its Strong version. Recently, in [9] the first and fourth authors proved that the Sard Conjecture in dimension 3 holds whenever at least one of these two conditions holds: either \(\Sigma \) is smooth; or the distribution satisfies some suitable tangency assumption over the set of singularities of \(\Sigma \). Unfortunately, the approach used in [9] strongly relies on the assumptions listed above and cannot be adapted to study the general case, nor to attack the Strong Sard Conjecture. Indeed, a possible pathological case (see Example 1.2 below) illustrates a phenomenon that cannot be handled via the methods in [9].
The aim of the present paper is to show that the description of singular curves given in [47] holds in fact for any analytic distribution in dimension 3. In particular, we shall prove that the Strong Sard Conjecture holds for any analytic distribution.
To state precisely our result, we assume that g is given by the restriction of a complete smooth Riemannian metric to \(\Delta \) and, for every \(x\in M\) and every \(L>0\), we denote by \({\mathcal {S}}^{x,L}_{\Delta ,g}\) the set of \(\gamma \) in \({\mathcal {S}}^{x}_{\Delta }\) with length bounded by L (the length being computed with respect to g). Then we define
We observe that since g is complete, the sets \({\mathcal {X}}^{x,L}_{\Delta ,g}\) are compact. Moreover we note that, independently of the metric g, there holds
Our first result settles the Strong Sard Conjecture in the analytic case. Here and in the sequel, we call singular horizontal curve any set of the form \(\gamma ([0,1])\), where \(\gamma :[0,1] \rightarrow M\) is a singular horizontal path. Furthermore, we call semianalytic curve in M any semianalytic compact connected subset of M of Hausdorff dimension at most 1 (see “Appendix B”). It is wellknown that semianalytic curves admit a nice stratification into 0dimensional and 1dimensional pieces, see Lemma B.3.
Theorem 1.1
Let M be an analytic manifold of dimension 3 and \(\Delta \) a ranktwo totally nonholonomic analytic distribution on M. Then any singular horizontal curve is a semianalytic curve in M. Moreover, if g is a complete smooth Riemannian metric on M then, for every \(x\in M\) and every \(L>0\), the set \({\mathcal {X}}^{x,L}_{\Delta ,g}\) is a finite union of singular horizontal curves, so it is a semianalytic curve. In particular, for every \(x\in M\), the set \({\mathcal {X}}^{x}_{\Delta }\) is a countable union of semianalytic curves and it has Hausdorff dimension at most 1.
The proof of Theorem 1.1 uses techniques from resolution of singularities, an analytic argument based on the Stokes’ Theorem, and a regularity result for transition maps of hyperbolic singularities. Some of these techniques can be generalized to higher dimensions and some seem, at the moment, restricted to the three dimensional case. Although the first two were already present in [9], what was done there is not sufficient to attack the general problem considered in this paper. Hence, here we have to further develop them, as explained below.
The techniques from resolution of singularities can be applied thanks to a compactness argument which is also welladapted to higher dimensions. A crucial step in the proof of Theorem 1.1 is to show that the socalled monodromic convergent transversesingular trajectories (see Definitions 2.7 and 2.9 ) necessarily have infinite length and therefore cannot correspond to singular horizontal paths. This type of trajectories is a generalization of the singular curves that were investigated by the first and fourth authors at the end of the Introduction of [9], but there is an extra transcendental behavior illustrated in the following:
Example 1.2
Consider the case when the Martinet surface \(\Sigma \) is stratified by a singleton \(\{x\}\), a stratum \(\Gamma \) of dimension 1, and two strata of dimension 2 as in Fig. 1. This occurs, for example, for
in which case we get
Then, from each z in \(\Gamma \) there exist uncountably many distinct integral curves of the characteristic line foliation between x and z. This is in sharp contrast with the study in [9], where the authors only needed to consider a unique such integral curve between x and z.
Following the situation illustrated in the previous example, each z in \(\Gamma \) gives rise to an uncountable number of monodromic convergent transversesingular trajectories. Fix one of them, and call it \(\gamma ^z\). We note that, if \(\gamma ^z\) had finite length, then it would correspond to a singular horizontal path from x to z. In particular, since the area swept out by the curves \(\gamma ^z\) (as z varies transversally) is 2dimensional, if the curves \(\gamma ^z\) had finite length then the set \({\mathcal {X}}^x_{\Delta }\) would have dimension 2 and the example of Fig. 1 would contradict the Sard Conjecture. As we shall see this is not the case since all the curves \(\gamma ^z\) have infinite length, so they do not correspond to singular horizontal curves starting from x. In [9], the authors had to handle a similar problem and in that case the lengths of the singular trajectories under consideration were controlled “by hand” under the assumption that \(\Sigma \) was smooth. Here we combine the resolution of singularities with a recent (highly nontrivial) regularity result for transition maps of hyperbolic singularities of planar vector fields due to Speissegger [38] (used in Lemma 4.14), following previous works by Ilyashenko [20], and an analytic argument (based on the Stokes Theorem) in the cotangent bundle. The latter argument, valid in any dimension, generalizes the divergencetype argument used in [9], that is insufficient here because of the phenomenon illustrated in Example 1.2.
Another important step in the proof of Theorem 1.1 consists in describing the remaining possible singular horizontal paths. We show that the sets \({\mathcal {X}}^{x,L}_{\Delta ,g}\) consist of a finite union of semianalytic curves, which are projections of either characteristic or dicritical orbits of analytic vector fields by an analytic resolution map of the Martinet surface. A key point in the proof is the fact that the singularities of those vector fields are of saddle type, which holds because of a divergencetype restriction, in the same spirit as the one studied in [9].
Theorem 1.1 allows us to address one of the main open problems in subRiemannian geometry, namely the regularity of lengthminimizing curves. Given a subRiemannian structure \((\Delta ,g)\) on M, we recall that a minimizing geodesic from x to y in M is a horizontal path \(\gamma :[0,1] \rightarrow M\) which minimizes the energy^{Footnote 1} (and so the length) among all horizontal paths joining x to y. It is wellknown that minimizing geodesics may be of two types, namely:
 either normal, which means that they are the projection of a trajectory (called normal extremal) of the socalled subRiemannian Hamiltonian vector field^{Footnote 2} in \(T^*M\);
 or singular, in which case they are given by the projection of an abnormal extremal (cf. Proposition A.1).
Note that a geodesic can be both normal and singular. In addition, as shown by Montgomery [27] in the 1990s, there exist minimizing geodesics which are singular but not normal. While a normal minimizing geodesic is smooth (being the projection of a trajectory of a smooth dynamical system), a singular minimizing geodesic which is not normal might be nonsmooth. In particular it is widely open whether all singular geodesics (which are always Lipschitz) are of class \(C^1\). We refer the reader to [30, 37, 42] for a general overview on this problem, to [4, 22, 23, 25, 29, 41] for some regularity results on singular minimizing geodesics for specific types of subRiemannian structures, and to [14, 31, 39] for partial regularity results for general (possibly analytic) SR structures.
In our setting, the main result of [14] can be combined with our previous theorem to obtain the first \(C^1\) regularity result for singular minimizing geodesics in arbitrary analytic 3dimensional subRiemannian structures. More precisely, we can prove the following result:
Theorem 1.3
Let M be an analytic manifold of dimension 3, \(\Delta \) a ranktwo totally nonholonomic analytic distribution on M, and g a complete smooth subRiemannian metric on \(\Delta \). Let \(\gamma :[0,1] \rightarrow M\) be a singular minimizing geodesic. Then \(\gamma \) is of class \(C^1\) on [0, 1]. Furthermore \(\gamma ([0,1])\) is semianalytic, and therefore it consists of finitely many points and finitely many analytic arcs.
Theorem 1.3 follows readily from Theorem 1.1, the regularity properties of semianalytic curves recalled in Appendix B, and a breakthrough result of Hakavuori and Le Donne [14] on the absence of cornertype singularities of minimizing geodesics. Their theorem^{Footnote 3} asserts that if \(\gamma :[0,1] \rightarrow M\) is a minimizing geodesic which is differentiable from the left and from the right at \(t=1/2\), then it is differentiable at \(t=1/2\). By Theorem 1.1 and Lemma B.3, if \(\gamma :[0,1]\rightarrow M\) is a singular minimizing geodesic, then it is piecewise \(C^1\) and so left and right differentiable everywhere^{Footnote 4} (see Remark B.4 (ii)). Then the main result of [14] implies our Theorem 1.3.
The paper is organized as follows: In Sect. 2, we introduce some preliminary notions (such as the ones of Martinet surface and characteristic line foliation), and introduce the concepts of characteristic and monodromic transversesingular trajectories. Section 3 is devoted to the proof of Theorem 1.1, which relies on two fundamental results: first Proposition 3.1, which provides a clear description of characteristic orbits, and second Proposition 3.3, which asserts that convergent monodromic transversesingular trajectories have infinite length and so allow us to rule out monodromic horizontal singular paths. The proofs of Proposition 3.1 and of a part of Proposition 3.3 (namely, Proposition 3.7) are postponed to Sect. 4. That section contains results on the divergence of vector fields and their singularities, a major theorem on resolution of singularities (Theorem 4.7), and the proofs mentioned before. Finally, the four appendices collect some basic results on singular horizontal paths, semianalytic sets, Hardy fields, and resolution of singularities of analytic surfaces and reduction of singularities of planar vector fields.
In the rest of the paper, M is an analytic manifold of dimension 3, \(\Delta \) a ranktwo totally nonholonomic analytic distribution on M, and g a complete smooth subRiemannian metric on \(\Delta \).
2 Characteristic line foliation and singular trajectories
2.1 The Martinet surface
The Martinet surface \(\Sigma \) associated to \(\Delta \) is defined as
where \([\Delta ,\Delta ]\) is the (possibly singular^{Footnote 5}) distribution given by
We recall that the singular curves for \(\Delta \) are those horizontal paths which are contained in the Martinet surface \(\Sigma \) (see e.g. [36, Example 1.17 p. 27]).
Remark 2.1
(Local Model) Locally, we can always suppose that M coincides with a connected open subset \({\mathcal {V}}\subset {\mathbb {R}}^3\), and that \(\Delta \) is everywhere generated by global analytic sections. More precisely, we can choose one of the following equivalent formulations:

(i)
\(\Delta \) is a totally nonholonomic distribution generated by an analytic 1form \(\mu \) (that is, a section in \( \Omega ^1(M)\)) and
$$\begin{aligned} \mu \wedge d\mu = h \cdot \omega _M, \end{aligned}$$(2.1)where h is an analytic function defined in M whose zero locus defines the Martinet surface (that is, \(\Sigma = \{p\in M\,\vert \, h(p)=0\}\)) and \(\omega _M\) is a local volume form.

(ii)
\(\Delta \) is generated by two global analytic vector fields \(X^1\) and \(X^2\) which satisfy the Hörmander condition, and \(\Delta +[\Delta ,\Delta ]\) is generated by \(X^1\), \(X^2\), and \([X^1,X^2]\). Also, up to using the Flowbox Theorem and taking a linear combination of \(X^1\) and \(X^2\), we can suppose that
$$\begin{aligned} X^1 = \partial _{x_1}, \quad X^2 = \partial _{x_2} + A(x) \, \partial _{x_3}, \quad [X^1,X^2] = A_1(x) \, \partial _{x_3}, \end{aligned}$$where \((x_1,x_2,x_3)\) is a coordinate system on M, and \(A_1(x) := \partial _{x_1} A(x)\). In this case, the zero locus of \(A_1(x)\) defines the Martinet surface (that is, \(\Sigma = \{p\in M\,\vert \, A_1(p)=0\}\)).
Since M and \(\Delta \) are both analytic, the Martinet surface is an analytic set (see e.g. [16, 33, 40]), and moreover the fact that \(\Delta \) is totally nonholonomic implies that \(\Sigma \) is a proper subset of M of Hausdorff dimension at most 2. Furthermore, we recall that \(\Sigma \) admits a global structure of reduced and coherent realanalytic space,^{Footnote 6} which we denote by \({\mathscr {M}}\) (see [9, Lemma C.1]). We refer the reader to [9, Appendix C] for the precise definitions.
2.2 Characteristic line foliation
The local models given in Remark 2.1 have been explored, for example, in [47] and later in [9, eqs. (2.2) and (3.1)] in order to construct a locally defined vector field whose dynamics characterizes singular horizontal paths at almost every point (cf. Lemma 2.2(ii) below). Since \(\Sigma \) admits a global structure of coherent analytic space, these local constructions yield a globally defined (singular^{Footnote 7}) line foliation \({\mathscr {L}}\) (in the sense of Baum and Bott [5, p. 281]), which we call characteristic line foliation (following Zelenko and Zhitomirskii [47, Section 1.4]). More precisely, we have:
Lemma 2.2
(Characteristic line foliation) The set
is analytic of dimension less than or equal to 1, and there exists a line foliation \({\mathscr {L}}\) defined over \(\Sigma \) such that:

(i)
The line foliation \({\mathscr {L}}\) is regular everywhere in \(\Sigma \setminus S\).

(ii)
If a horizontal path \(\gamma :[0,1] \rightarrow M\) is singular with respect to \(\Delta \), then its image \(\gamma ([0,1])\) is contained in \(\Sigma \) and it is tangent to \({\mathscr {L}}\) over \(\Sigma \setminus S\), that is
$$\begin{aligned} \gamma (t) \in \Sigma \setminus S\quad \Longrightarrow \quad {\dot{\gamma }}(t) \in {\mathscr {L}}_{\gamma (t)} \qquad \text{ for } \text{ a.e. } t \in [0,1]. \end{aligned}$$
Proof of Lemma 2.2
S is analytic because \(\Delta \) and \(\Sigma \) are both analytic. The total nonholonomicity of \(\Delta \) implies that S has dimension smaller than or equal to 1, see Lemma 2 of [9].
Let \(i: {\mathscr {M}} \rightarrow M\) be the inclusion. Since \(\Delta \) is a coherent subsheaf of \(\Omega ^1(M)\) (cf. Remark 2.1), the pullback \({\mathscr {L}} := i^{*}(\Delta )\) is also a coherent subsheaf of \(\Omega ^1({\mathscr {M}})\). Furthermore, since \(\Delta \) is everywhere locally generated by one section, so is \({\mathscr {L}}\). It is thus enough to study \({\mathscr {L}}\) locally.
Fix a point \(p \in \Sigma \). If \(\Sigma \) has dimension smaller than or equal to 1 at p, then \(\Sigma = S\) (because, in contrast to the definition of singularities of analytic sets, the singular set of the analytic space \({\mathscr {M}}\) contains all the points where the differential of its generator is zero) in a neighborhood of p and the claim of lemma holds trivially. If \(\Sigma \) has dimension 2 at p, then \({\mathscr {L}}\) generates a line foliation over a neighborhood of p in \(\Sigma \).
To prove (i) fix a point p where \({\mathscr {M}}\) is smooth (in particular, \(\Sigma \) is smooth as a subset of M) and \(\Delta _p + T_p\Sigma = T_pM\). Then there exists a local coordinate system \((x_1,x_2,x_3)\) centered at p so that \(\Sigma = \{x_3=0\}\) and \(\mu = dx_1 + A(x) dx_2\), therefore \({\mathscr {L}}\) is regular at p.
Finally, assertion (ii) follows from the above formulae in local coordinates and the characterization of singular horizontal paths given in Proposition A.2. \(\square \)
Remark 2.3
(Characteristic vectorfield) We follow [9, eq. (3.1)]. In the notation of Remark 2.1(ii), let h be a reduced analytic function whose zero set is equal to the Martinet surface \(\Sigma \). Consider the vectorfield
Then the restriction of \({\mathcal {Z}}\) over \(\Sigma \) is a generator of the line foliation \({\mathscr {L}}\).
2.3 Stratification of the Martinet surface
Every real analytic set X (or in general every real analytic space) admits a semianalytic stratification into nonsingular analytic strata, i.e., a locally finite partition by locally closed analytic submanifolds of X that are, at the same time, semianalytic subsets of X, see for instance [26, Lemme 5, page 69]. (We recall the definition of a semianalytic set in “Appendix B”, where we describe some geometric properties of semianalytic curves. For more details on semianalytic sets, we refer the reader to [11, 26].) Furthermore, it is always possible to choose such stratification Whitney regular, i.e., that satisfies Whitney regularity conditions (a) and (b), cf. [26, Section 25] or [43]. For our purpose we need a stratification of the Martinet surface \(\Sigma \) that, in addition, is compatible with the distribution \(\Delta \) in the sense of the following lemma.
Lemma 2.4
(Stratification of \(\Sigma \)) There exists a regular semianalytic stratification of \(\Sigma \),
which satisfies the following properties:

(i)
\(S = \Sigma ^0 \cup \Sigma ^1_{tr} \cup \Sigma ^1_{tan}\) (cf. Lemma 2.2).

(ii)
\(\Sigma ^0\) is a locally finite union of points.

(iii)
\(\Sigma ^1_{tan}\) is a locally finite union of 1dimensional strata with tangent spaces everywhere contained in \(\Delta \) (that is, \(T_p\Sigma ^1_{tan} \subset \Delta _p\) for all \(p\in \Sigma ^1_{tan}\)).

(iv)
\(\Sigma ^1_{tr}\) is a locally finite union of 1dimensional strata transverse to \(\Delta \) (that is, \(T_p\Sigma ^1_{tr} \oplus \Delta _p = T_pM\) for all \(p\in \Sigma ^1_{tr}\));

(v)
\(\Sigma ^2\) is a locally finite union of 2dimensional strata transverse to \(\Delta \) (that is, \(T_p\Sigma ^2 + \Delta _p = T_pM\) for all \(p\in \Sigma ^2\)).
Moreover, every 1dimensional stratum \(\Gamma \) satisfies the following local triviality property: For each point p in \(\Gamma \) there exists a neighborhood \({\mathcal {V}} \) of p in M such that \(\Sigma ^2 \cap {\mathcal {V}}\) is the disjoint union of finitely many 2dimensional analytic submanifolds \(\Pi _1, \ldots , \Pi _r\) (\(\Sigma ^2 \cap {\mathcal {V}}\) could be empty) such that, for each i, \(\Pi _i \cup \Gamma \) is a closed \(C^1\)submanifold of \({\mathcal {V}}\) with boundary, denoted by \({{\overline{\Pi }}}_i\), with \(\Gamma = \partial {{\overline{\Pi }}}_i\).
Proof of Lemma 2.4
By Lemma 2.2, the set \(\Sigma ^2:= \Sigma \setminus S\) is smooth and the line foliation \({\mathscr {L}}\) restricted to \(\Sigma ^2\) is nonsingular. Now, we recall that S is an analytic set of dimension at most 1, so it admits a semianalytic stratification \(S_0 \cup S_1\), where \(S_0\) is a locally finite union of points and \(S_1\) is a locally finite union of analytic curves (i.e., connected nonsingular semianalytic sets of dimension 1). Moreover, by [26] or [43], we may assume that \(\Sigma ^2\), \(S_1\), and \(S_0\), is a Whitney regular stratification of \(\Sigma \).
Fixed a 1dimensional stratum \(\Gamma \) in \(S_1\), its closure \({\overline{\Gamma }}\) is a closed semianalytic set. Note that condition \(T_p\Gamma \subset \Delta _p\) is semianalytic (that is, it is locally given in terms of analytic equations and inequalities). Therefore, up to removing from \(\Gamma \) a locally finite number of points, we can assume that:

either \(\Delta _p\) contains \(T_p{\Gamma }\) for every \(p\in \Gamma \);

or \(\Delta _p\) transverse to \(T_p\Gamma \) for every \(p\in \Gamma \).
In other words, up to adding a locally finite union of points to \(S_0\), and correspondingly refining \(S_1\), we can suppose that the above dichotomy is constant along connected components of \(S_1\). Then, it suffices to define as \(\Sigma ^1_{tan}\) the union of all connected components \(\Gamma \) of \(S_1\) where \(T_p\Gamma \subset \Delta _p\) for every \(p \in \Gamma \), and as \(\Sigma ^1_{tr}\) the union of all connected components where the transversality condition \(\Delta _p \oplus T_p\Gamma = T_p M\) holds.
The last claim of Lemma follows from [43, Proposition p. 342]. \(\square \)
Remark 2.5
(Puiseux with parameter) As follows from [35, Proposition 2] or [43] (proof of Proposition p.342), we may require in Lemma 2.4 the following stronger version of local triviality of \(\Sigma \) along \(\Gamma \): Given \(p \in \Gamma \), there exist a positive integer k and a local system of analytic coordinates \(x=(x_1,x_2,x_3)\) at p such that \(\Gamma = \{x_2=x_3=0\}\) and each \(\Pi _i\) is the graph \(x_3= \varphi _i (x_1,x_2)\), defined locally on \(\{(x_1,x_2)\, \vert \, x_2\ge 0 \}\) (or \(\{(x_1,x_2)\, \vert \, x_2\le 0 \}\)), such that \(\varphi _i \) is \(C^1\) and the mapping \((t,x_1)\mapsto \varphi _i (x_1, t^k)\) is analytic.
One may remark that the latter two conditions imply that, in fact, \(\varphi _i\) is of class \(C^{1,1/k}\). Indeed, we may write for \(x_2\ge 0\)
The fact that \(\varphi _i \) is \(C^1\) implies that in this sum \(j=0\) or \(j\ge k\). Therefore the derivative \(\partial \varphi _i/ \partial x_2\) is Hölder continuous with exponent 1/k.
By the local triviality property stated in Lemma 2.4 and by Remark 2.5, the restriction of \(\Delta \) to a neighborhood of a point of \(\Sigma ^1_{tr}\) satisfies the following property (we recall that M is equipped with a metric g):
Lemma 2.6
(Local triviality of \(\Delta \) along \(\Sigma _{tr}^1\)) Let \(\Gamma \) be a 1dimensional stratum in \(\Sigma ^1_{tr}\) and let \(p \in \Gamma \) be fixed. Then the following properties hold:

(i)
There exists a neighborhood \({\mathcal {V}}\) of p and \(\delta >0\) such that, for every point \(q\in {\mathcal {V}} \cap \Sigma _{tr}^1\) and every injective singular horizontal path \(\gamma :[0,1]\rightarrow \Sigma \) such that \(\gamma (0)=q\), \(\gamma (1) \in \Sigma _{tr}^1\), and \(\gamma ((0,1)) \subset \Sigma ^2\), the length of \(\gamma \) is larger than \(\delta \).

(ii)
The image of a singular horizontal path \(\gamma : [0,1] \rightarrow M\) such that \(\gamma ([0,1)) \subset \Sigma ^{2}\) and \(\gamma (1)\in \Sigma _{tr}^1\) is semianalytic.
In particular, if \({\mathcal {V}} \) is a neighborhood of p in M such that \(\Sigma ^2 \cap {\mathcal {V}}\) is the disjoint union of the 2dimensional analytic submanifolds \(\Pi _1, \ldots , \Pi _r\) as in Lemma 2.4, then for \(\epsilon >0\) small enough there are singular horizontal paths \(\gamma _1, \ldots , \gamma _r :[0,1] \rightarrow \Sigma \), with \(\gamma _i(0)=p\) and \(\gamma _i((0,1]) \subset \Pi _i\) for \(i=1, \ldots ,r\), such that
(see Fig. 2), where \({\mathcal {X}}^{p,\epsilon }_{\Delta ,g}\) is defined in (1.1).
Proof of Lemma 2.6
The lemma follows readily from the following observation. Let \(x=(x_1,x_2,x_3)\) denote the system of coordinates at p introduced in Remark 2.5. Suppose that the distribution \(\Delta \) is locally defined by the 1form \(\mu \) as in Remark 2.1. Then the pullback of \(\mu \) on \(\Pi _i\) by the map \((x_1,t) \rightarrow (x_1,t^k, \varphi _i (x_1, t^k))\) is an analytic 1form: \(\mu _i= a(x_1,t) dx_1 + b(x_1,t) dt\). The condition of transversality of \(\Delta \) and \(\Gamma \) at p means \(a(0,0) \ne 0\) and therefore the integral curves of \(\Delta _i\) (that is, the singular horizontal paths of \(\Delta \) in \(\Pi _i\)) are uniformly transverse to \(\Gamma \) in a neighborhood of p. \(\square \)
It remains now to introduce some definitions related to singular horizontal paths or more precisely singular trajectories (i.e., trajectories of the characteristic line foliation) converging to the set
This is the purpose of the next section.
2.4 Characteristic and monodromic transversesingular trajectories
We restrict our attention to a special type of trajectories of the characteristic foliation \({\mathscr {L}}\).
Definition 2.7
(Convergent transversesingular trajectory) We call transversesingular trajectory any absolutely continuous path \(\gamma :[0,1) \rightarrow \Sigma \) such that
and
Moreover, we say that \(\gamma \) is convergent if it admits a limit in \({\widetilde{\Sigma }}=\Sigma ^1_{tan} \cup \Sigma ^0\) as \(t\rightarrow 1^\).
We are going to introduce a dichotomy between two types of convergent transversesingular trajectories which is inspired by the following wellknown result (see [21, Theorem 9.13] and [21, Definitions 9.4 and 9.6]):
Proposition 2.8
(Topological dichotomy for planar analytic vectorfields) Let \({\mathcal {Z}}\) be an analytic vector field defined over an open neighborhood U of the origin 0 in \({\mathbb {R}}^2\), and suppose that 0 is a singular point of \({\mathcal {Z}}\). Given a regular orbit \(\gamma (t)\) of \({\mathcal {Z}}\) converging to 0, we have:

(i)
either \(\gamma \) is a characteristic orbit, that is, the secant curve \(\psi (t) := \gamma (t) /\gamma (t) \in {\mathbb {S}}^{1}\) has a unique limit point;

(ii)
or \(\gamma \) is a monodromic orbit, that is, there exists an analytic section \(\Lambda \) of the vectorfield \({\mathcal {Z}}\) at 0 (that is, \(\Lambda \) is a connected segment whose boundary contains 0 and the vector field \({\mathcal {Z}}\) is transverse to \(\Lambda \) everywhere outside of 0) such that \(\gamma \cap \Lambda \) is the disjoint union of an infinite number of points.
Here is our definition.
Definition 2.9
(Characteristic and monodromic convergent transversesingular trajectories) Let \(\gamma : [0,1) \rightarrow \Sigma \) be a convergent transversesingular trajectory such that \({\bar{y}}:=\lim _{t\rightarrow 1} \gamma (t)\) belongs to \({\widetilde{\Sigma }}\) (see (2.2)). Then we say that:

(i)
\(\gamma \) is monodromic if there exists a section \(\Lambda \subset \Sigma \) of \({\mathscr {L}}\) at \({\bar{y}}\) (that is, \(\Lambda \) is a connected 1dimensional semianalytic manifold with boundary contained in \(\Sigma \), whose boundary contains \({\bar{y}}\) and such that \(\Lambda \setminus \{{\bar{y}}\} \subset \Sigma ^2\cup \Sigma ^1_{tr}\) is everywhere transverse to \({\mathscr {L}}\)) such that \(\gamma ([0,1)) \cap \Lambda \) is the disjoint union of infinitely many points. In addition, we say that \(\gamma \) is final if \(\gamma ([0,1)) \cap \Sigma ^1_{tr}\) is empty or infinite. In the latter case, we may choose as \(\Lambda \) a branch of \(\Sigma ^1_{tr}\).

(ii)
\(\gamma \) is characteristic if it is not monodromic.
From now on, we call monodromic (resp. characteristic) trajectory any convergent transversesingular trajectory with a limit in \({\widetilde{\Sigma }}\) which is monodromic (resp. characteristic). The next section is devoted to the study of characteristic and monodromic trajectories, and to the proof of Theorem 1.1.
3 Proof of Theorem 1.1
The proof of Theorem 1.1 proceeds in three steps. Firstly, we describe some properties of regularity and finiteness satisfied by the characteristic trajectories. Secondly, we rule out monodromic trajectories as possible horizontal paths starting from the limit point. Finally, combining all together, we are able to describe precisely the singular horizontal curves and the sets of the form \({\mathcal {X}}^{x,L}_{\Delta ,g}\) (see (1.1)).
3.1 Description of characteristic trajectories
The following result is a consequence of the results on resolution of singularities stated in Theorem 4.7 and the fact that the characteristic trajectories correspond, in the resolution space, to characteristics of an analytic vector field with singularities of saddle type.
Proposition 3.1
Let \(\Sigma ^0\) and \({{\widetilde{\Sigma }}}\) be as in Lemma 2.4 and (2.2). There exist a locally finite set of points \({\widetilde{\Sigma }}^0\), with \(\Sigma ^0 \subset {\widetilde{\Sigma }}^0\subset {\widetilde{\Sigma }}\), such that the following properties hold:

(i)
If \(\gamma : [0,1) \rightarrow \Sigma \) is a convergent transversesingular trajectory such that \({\bar{y}}:=\lim _{t\rightarrow 1} \gamma (t)\) belongs to \({\widetilde{\Sigma }}\) then \({\bar{y}}\) belongs to \( {\widetilde{\Sigma }}^0\). Moreover, if \(\gamma \) is characteristic then \(\gamma ([0,1))\) is semianalytic and there is \({\bar{t}} \in [0,1)\) such that \(\gamma ([{\bar{t}},1)) \subset \Sigma ^2\).

(ii)
For every \({\bar{y}} \in {\widetilde{\Sigma }}^{0}\) there exist only finitely many (possibly zero) characteristic trajectories converging to \({\bar{y}}\) and all of them are semianalytic curves.
The proof of Proposition 3.1 is given in Sect. 4.3, as a consequence of Theorem 4.7.
Remark 3.2
(On Proposition 3.1and its proof)

(i)
There exist elementary proofs of Proposition 2.8. However, for proving Proposition 3.1(ii) we cannot use the topological simplicity of the plane. In this context it is natural to use resolution of singularities (cf. [21, Proof of Theorem 9.13]).

(ii)
Proposition 3.1(ii) is specific to characteristic line foliations, and does not hold for arbitrary line foliations over a surface. In our situation we can show that there exists a (locally defined) vector field which generates the characteristic foliation \({\mathscr {L}}\) and whose divergence is controlled by its coefficients (see Sect. 4.1, cf. [9, Lemmas 2.3 and 3.2]). This guarantees that, after resolution of singularities, all singular points of the pull back of \({\mathscr {L}}\) are saddles (see Theorem 4.7(II), cf. Lemma 4.3).
3.2 Monodromic trajectories have infinite length
The main objective of this subsection is to prove the following crucial result:
Proposition 3.3
(Length of monodromic trajectories) The length of any monodromic trajectory is infinite.
Remark 3.4
If we assume that the distribution \(\Delta \) is generic (with respect to the \({\mathcal {C}}^{\infty }\)Whitney topology), then the Martinet surface is smooth and the above result corresponds to [47, Lemma 2.1].
The proof of Proposition 3.3 is done by contradiction. The first step consists in showing that if \(\gamma \) has finite length, then every monodromic trajectory which is “topologically equivalent” to \(\gamma \) (see Definition 3.5 below) also has finite length (see Proposition 3.7 below). Hence, as discussed in the introduction, the assumption of finiteness on the length of \(\gamma \) implies that \({\mathcal {X}}^{{\bar{y}}}_{\Delta }\) has positive 2dimensional Hausdorff measure (cf. Lemma 3.6). Then, the second step consists in using an analytic argument based on Stokes’ Theorem to obtain a contradiction.
Let us consider a monodromic trajectory \(\gamma :[0,1) \rightarrow \Sigma \) with limit \({\bar{y}} \in {\widetilde{\Sigma }}\) and assume that \(\gamma \) is injective and final (cf. Definition 2.9(i)), and that its image is contained in a neighborhood \({\mathcal {V}}\) of \({\bar{y}}\) where the line foliation \({\mathscr {L}}\) is generated by a vectorfield \({\mathcal {Z}}\) (see Remark 2.3). Denote by \(\varphi ^{{\mathcal {Z}}}_s(x)\) the flow associated to \({\mathcal {Z}}\) with time s and initial condition \(x\in {\mathcal {V}} \cap \Sigma \), by \(\Lambda \) a fixed section as in Definition 2.9, and by \(d^{\Lambda }: \Lambda \rightarrow {\mathbb {R}}\) the function which associates to each point \(p \in \Lambda \) the length of the halfarc contained in \(\Lambda \) which joins p to \({\bar{y}}\) (we may also assume that \(\Lambda \cap {\mathcal {V}}\) is a curve connecting \({\bar{y}}\) to a point of the boundary of \({\mathcal {V}}\)). Moreover assume that \(\gamma (0)\) belongs to \(\Lambda \). By monodromy, there exists an infinite increasing sequence \(\{t_k^{\gamma }\}_{k\in {\mathbb {N}}}\) in [0, 1) with \(t_0^{\gamma }=0\) such that
and
We shall introduce a sequence of Poincaré mappings adapted to \(\gamma \), to do so we need to distinguish two cases, depending on whether the set \(\gamma ([0,1)) \cap \Sigma _{tr}^1\) is finite or not. Note that, if \(\gamma ([0,1)) \cap \Sigma _{tr}^1\) is a finite set, then up to restricting \(\gamma \) to an interval of the form \([t_0,1)\) for some \(t_0\in [0,1)\), we can assume that \(\gamma ([0,1)) \cap \Sigma _{tr}^1=\emptyset \). Hence the two cases to analyze are the case where \(\gamma ([0,1)) \cap \Sigma _{tr}^1\) is empty and the case where \(\gamma ([0,1)) \cap \Sigma _{tr}^1\) is infinite (Figs. 3, 4).
First case: \(\gamma ([0,1)) \cap \Sigma ^1_{tr} = \emptyset \).
This is the classical case where we can consider the Poincaré first return map from \(\Lambda \) to \(\Lambda \) (see e.g. [21, Definition 9.8]). By a PoincaréBendixon type argument, up to shrinking \({\mathcal {V}}\) and changing the orientation of \({\mathcal {Z}}\) we may assume that the mapping
which assigns to each \(p\in \Lambda \cap {\mathcal {V}}\) the first point \(\varphi ^{{\mathcal {Z}}}_{t}(p) \in \Lambda \) with \(t>0\) and \(d^{\Lambda }(\varphi ^{{\mathcal {Z}}}_{t}(p))<d^{\Lambda }(p)\) is welldefined, continuous, and satisfies
and
for every \(p_1, p_2, q\) in \(\Lambda \cap {\mathcal {V}}\).
Second case: \(\gamma ([0,1)) \cap \Sigma ^1_{tr}\) is infinite.
In this case, up to shrinking \({\mathcal {V}}\), by semianalyticity of \(\Sigma ^{1}_{tr}\) and Lemma 2.4 we can assume that \(\Sigma ^1_{tr}\cap {\mathcal {V}}\) is the union of r connected components, say \(\Gamma ^1, \ldots , \Gamma ^r\), whose boundaries are given by \({\bar{y}}\) and a point in the boundary of \({\mathcal {V}}\) (this point is distinct for each \(i=1,\ldots ,r\)). In addition, for each \(i=1, \ldots , r\) there exists a neighborhood \({\mathcal {V}}^i\) of \(\Gamma ^i\) such that \(\left( \Sigma \setminus \Gamma ^i\right) \cap {\mathcal {V}}^i\) is the union of \(s_i\) connected smooth subsets of \(\Sigma ^2\), say \(S_{j}^i\) for \(j = 1, \ldots , s_i\). Furthermore, as in the first case and up to shrinking \({\mathcal {V}}\) again, by a PoincaréBendixon type argument (see [17]) we may assume that for every \(i=1, \ldots , r\), if a piece of \(\gamma ([0,1))\) joins \(\Gamma ^i\) to some \(\Gamma ^{i'}\) through some \(S^i_j\) then the corresponding Poincaré mapping from \(\Gamma ^{i}\) to \(\Gamma ^{i'}\) is welldefined. To be more precise, for each \(i=1, \ldots ,r\) we consider the maximal subset of the \(S^i_j\)’s, relabeled \(S^i_1, \ldots , S^i_{{\hat{s}}_i}\), with the jump correspondence
such that the transition maps
that assign to each \(p\in \Gamma ^i\) the point \(q\in \Gamma ^{J(i,j)}\) such that there is an absolutely continuous path \(\alpha :[0,1] \rightarrow \Sigma \) tangent to \({\mathscr {L}}\) over (0, 1) satisfying \(\alpha (0)=p\), \(\alpha (1)=q\), \(\alpha ((0,1)) \subset \Sigma ^2\) and \(\alpha ((0,\epsilon )) \subset S^i_j\) for some \(\epsilon >0\), are welldefined and continuous. Similarly as before, if we denote by \(d^i:\Gamma ^i \rightarrow {\mathbb {R}}\) the function which associates to each point p the length of the halfarc contained in \(\Gamma ^i\) which joins p to \({\bar{y}}\), then we may also assume that for every \(i=1, \ldots ,r \) and every \(p,q \in \Gamma ^i\),
By construction, for each integer k, there are \(i_k \in \{1, \ldots ,r\}\) and \(j_k \in \{1, \ldots , {\hat{s}}_{i_k}\}\) such that \(\gamma (t_k^{\gamma }) \in \Gamma ^{i_k}\) and \(\gamma (t_{k+1}^{\gamma }) \in \Gamma ^{J(i_k,j_k)}=\Gamma ^{i_{k+1}}\). We call sequence of jumps of \(\gamma \) the sequence \(\{(i_k,j_k)\}_{k\in {\mathbb {N}}}\) associated with \(\{t_k^{\gamma }\}_{k\in {\mathbb {N}}}\).
We can now introduce the equivalence class on the set of monodromic trajectories.
Definition 3.5
(Equivalence of monodromic paths) Let \(\gamma _1, \gamma _2: [0,1) \rightarrow \Sigma \cap {\mathcal {V}}\) be two final and injective monodromic trajectories with the same limit point \({\bar{y}}\) and which share the same section \(\Lambda \), where \(\gamma _i(0) \in \Lambda \) for \(i=1,2\). We say that \(\gamma _1\) and \(\gamma _2\) are jumpequivalent if:

either \(\gamma _1([0,1)) \cap \Sigma ^{1}_{tr} = \gamma _2 ([0,1)) \cap \Sigma _{tr}^1 = \emptyset \);

or they have the same sequence of jumps.
By Eq. (3.2) in the first case, and by a concatenation of orbits of \({\mathscr {L}}\) connecting \(\Gamma ^i\) to \(\Gamma ^j\) and Eq. (3.3) in the second case, the following holds:
Lemma 3.6
(One parameter families of equivalent monodromic paths) Let \(\gamma : [0,1) \rightarrow \Sigma \cap {\mathcal {V}}\) be a final and injective monodromic trajectory with limit point \({\bar{y}}\), and let \(\Lambda \) be a section such that \(\gamma (0) \in \Lambda \). Then, for every point \(p \in \Lambda \) with \(d^{\Lambda }(p)<d^{\Lambda }(\gamma (0))\), there exists a final and injective monodromic trajectory \(\lambda :[0,1) \rightarrow \Sigma \cap {\mathcal {V}}\), with \(\lambda (0)=p\), which is jumpequivalent to \(\gamma \). Moreover, such a trajectory is unique as a curve (that is, up to reparametrization).
Lemma 3.6 plays a key role in the proof of Proposition 3.3. Indeed, from the existence of one monodromic trajectory, it allows us to infer the existence of a parametrized set of monodromic trajectories filling a 2dimensional surface. The next result will also be crucial to control the length of the monodromic trajectories in such a set (we denote by \(\text{ length}^g\) the length of a curve with respect to the metric g).
Proposition 3.7
(Comparison of equivalent monodromic paths) Let \(\gamma \) be a monodromic trajectory with limit point \({\bar{y}}\) and section \(\Lambda \) such that \(\gamma (0) \in \Lambda \). Suppose that the length of \(\gamma \) is finite. Then there exists a constant \(K>0\) such that, for every monodromic trajectory \(\lambda \) jumpequivalent to \(\gamma \) satisfying \(d^{\Lambda }(\lambda (0)) < d^{\Lambda }(\gamma (0))\), we have
The proof of Proposition 3.7 is given in Sect. 4.4 as a consequence of Theorem 4.7. We give here just an idea of the proof.
Remark 3.8
(Idea of the proof of Proposition 3.7)

(i)
If \(\gamma ([0,1)) \cap \Sigma ^1_{tr} = \emptyset \), then Proposition 3.7 can be proved by a much more elementary argument based on the following observation. By properties (3.1)–(3.2) we note that, for all \(k\in {\mathbb {N}}\) and all \(p\in \Lambda \),
$$\begin{aligned}&d^{\Lambda }\left( \gamma (t_k^{\gamma })\right)>d^{\Lambda }(p)>d^{\Lambda } \left( \gamma (t_{k+1}^{\gamma })\right) \quad \\&\quad \implies \quad d^{\Lambda }\left( \gamma (t_{k+1}^{\gamma })\right)>d^{\Lambda }\left( T^{\Lambda }(p) \right) >d^{\Lambda } \left( \gamma (t_{k+2}^{\gamma })\right) . \end{aligned}$$So, if we denote by \(\lambda _k\) the halfleaf of \({\mathscr {L}}\) connecting p and \(T^{\Lambda }(p)\), it follows by elementary (although nontrivial) geometrical arguments that there exist \(K>0\) and \(\epsilon _k\ge 0\) such that
$$\begin{aligned} \mathrm{length}^g(\lambda _k) \le K\, \mathrm{length}^g \left( \gamma ([t_k^{\gamma },t_{k+2}^{\gamma }])\right) + \epsilon _k \qquad \forall \,k \in {\mathbb {N}}, \end{aligned}$$where \(\sum _{k\in {\mathbb {N}}}\epsilon _k< \infty \) (since we will not use this fact, we do not prove it). This bound essentially allows one to prove 3.7, up to an extra additive constant in the bound \(\mathrm{length}^g(\lambda ) \le K\, \mathrm{length}^g(\gamma )\) that anyhow is inessential for our purposes; note that this argument depends essentially on the fact that \(\gamma (t_k^{\gamma })\) belongs to the same section \(\Lambda \) for every k.

(ii)
In the case where \(\gamma ([0,1)) \cap \Sigma ^1_{tr} \ne \emptyset \) is infinite, the situation is much more delicate. One needs to work with the countable composition of transition maps \(T^{i_k}_{j_k}\) (in order to replace the Poincaré return), and the sequence of maps that one needs to consider is arbitrary. In particular, paths \(\gamma \) whose jump sequences are nonperiodic are specially challenging because we can not adapt the argument of the first part of the remark to this case. This justifies our use of more delicate singularity techniques (e.g. the regularity of transition maps [38] and the biLipschitz class of the pulledback metric [8]). This leads to the more technical statement in Theorem 4.7(IV) (see also Lemma 4.14).
We are now ready to prove Proposition 3.3.
Proof of Proposition 3.3
Consider a monodromic trajectory \(\gamma :[0,1) \rightarrow \Sigma \) with limit \({\bar{y}} \in {\widetilde{\Sigma }}\) as above, and assume that it has finite length. As before, we may assume that \(\gamma \) is final, injective, and that \({\bar{z}}:=\gamma (0)\in \Lambda \). By Lemma 3.6, for every \(z\in \Lambda \) such that \(d^{\Lambda }(z)<d^{\Lambda }({\bar{z}}) \) there exists a unique final monodromic singular trajectory \(\gamma ^z :[0,1] \rightarrow \Sigma \), with \(\gamma ^z(0)=z\), which is jumpequivalent to \(\gamma \). Moreover, by Proposition 3.7 there exists \(K>0\) such that
Let \(\{(i_k,j_k)\}_k\) be the sequence of jumps associated with \(\gamma \). For every \(z \in \Lambda \) with \(d^{\Lambda }(z)<d^{\Lambda }({\bar{z}}) \) the path \(\gamma ^z :[0,1] \rightarrow \Sigma \) is a singular horizontal path starting at z, so it admits an abnormal lift \(\psi ^z=(\gamma ^z,p^z):[0,1] \rightarrow T^*M\) such that \(\psi ^z(0)=(z,p)\) with \(p \perp \Delta _z\) and \(p^*=1\) (see Proposition A.1). Moreover, by (3.4) and Proposition A.3, there exists \({\tilde{K}}>0\) such that
Fix \(z \in \Lambda \cap {\mathcal {V}}\) such that \(d^{\Lambda }(z)<d^{\Lambda }({\bar{z}})\). Then there is an injective smooth path \(\xi =(\alpha ,\beta ): [0,1] \rightarrow T^*M\) which satisfies the following properties:
and
Note that (3.8) can be satisfied because \(\Delta \) is transverse to \(\Lambda \). For every \(s\in [0,1]\), set \(\gamma ^s:=\gamma ^{\alpha (s)}\) and note that \(\gamma ^0=\gamma \). By construction, each path \(\gamma ^s\) has the same sequence of jumps \(\{(i_k,j_k)\}_{k\in {\mathbb {N}}}\) which is associated to sequences of times \(\{t^s_k:=t_k^{\gamma ^s}\}_{k\in {\mathbb {N}}}\). For every \(s\in [0,1]\), denote by \(\psi ^s=(\gamma ^s,p^s)\) the abnormal lift associated to \(\gamma ^s\) starting at \((\alpha (s),\beta (s))=\xi (s)\). We may assume without loss of generality that \(p^s=p^{\alpha (s)}\) for all \(s\in [0,1]\), so that \(\psi ^s=\psi ^{\alpha (s)}\).
From \(t_0=0\) to \(t_1^s\), the set of lifts \(\psi ^s=(\gamma ^s,p^s):=\psi ^{\alpha (s)}\) of the paths \(\gamma ^s\) starting at \((\alpha ^s,\beta ^s)\) span a surface \({\mathcal {S}}^0\) homeomorphic to a 2dimensional disc whose boundary is composed by \(\xi \), the lift \(\psi ^0_{[0,t_1^0]}\), the lift \(\psi ^1_{[0,t_1^1]}\), and a path \(\xi ^1=(\alpha ^1,\beta ^1):[0,1] \rightarrow T^*M\) whose projection is contained in \(\Gamma ^{J(i_0,j_0)}\) and which connects \(\psi ^0(t_1^0)\) to \(\psi ^1(t_1^1)\) (see Fig. 5). Thus, by Stokes’ Theorem we have, using the canonical symplectic form \(\omega \) on \(T^*M\) (see “Appendix A”),
Since \(\gamma \) and \(\gamma ^1\) are both singular horizontal paths we have \(p^0(t) \cdot {\dot{\gamma }}(t) = p^1(t) \cdot {\dot{\gamma }}^1(t)=0\) for all \(t\in [0,1]\). Moreover, since the derivative of the lifts \(\psi ^s\) is always contained in the kernel of \(\omega _{\vert \Delta ^{\perp }}\) (see “Appendix A”), we have \(\int _{{\mathcal {S}}^0} \omega =0\). As a consequence, we infer that
Repeating this argument and recalling (3.5), we get a sequence of arcs \(\xi ^k=(\alpha ^k,\beta ^k):[0,1] \rightarrow T^*M\) such that
and
This provides the desired contradiction, which proves the result. \(\square \)
The proof of Theorem 1.1 is given hereafter as a consequence of both Proposition 3.1 and Proposition 3.3.
3.3 Proof of Theorem 1.1
Before starting the proof let us summarize the different types of points \(y\in \Sigma \) that can be crossed by a singular horizontal path. We distinguish four cases.
First case: \(y\in \Sigma ^2\).
The line foliation is regular in a neighborhood of y, so there is an analytic curve such that any singular path containing y is locally contained in this curve.
Second case: \(y\in {\widetilde{\Sigma }}^1_{tan}:=\Sigma ^1_{tan}\setminus {\widetilde{\Sigma }}^0\).
By Proposition 3.1 and the fact that \({\widetilde{\Sigma }}^0\) is locally finite, any singular path passing through y is contained in \({\widetilde{\Sigma }}^1_{tan}\), that is locally analytic.
Third case: \(y\in {\widetilde{\Sigma }}^0\).
The singular paths that contain y are either the branches of \({\Sigma }^1_{tan}\) or the characteristic singular paths. In the first case, these branches are actually contained inside \({{\widetilde{\Sigma }}}^1_{tan}\) with the exception of y. In the second case, there are only finitely many characteristic singular paths by Proposition 3.1, and they are semianalytic by Proposition 4.12.
Fourth case: \(y\in \Sigma ^1_{tr}\).
By Lemma 2.6, there are finitely many semianalytic singular horizontal curves that can cross y.
In conclusion, if we travel along a given singular path \(\gamma :[0,1]\rightarrow M\) then bifurcation points may happen only when \(\gamma \) crosses the set \({\widetilde{\Sigma }}^0 \cup \Sigma ^1_{tr}\). Since \({\mathcal {X}}^{x,L}_{\Delta ,g}\) is compact, there are only finitely many points of \({\widetilde{\Sigma }}^0\) to consider. Moreover, by Lemma 2.6, from every bifurcation point in \(\Sigma ^1_{tr}\) there are only finitely many curves exiting from it. By Proposition 3.1 any singular horizontal path interesect \(\Sigma ^1_{tr}\) finitely many times, but we need to show that the intersection of \({\mathcal {X}}^{x,L}_{\Delta ,g}\) with \(\Sigma ^1_{tr}\) is finite. This follows from the fact that \({\mathcal {X}}^{x,L}_{\Delta ,g}\) can be constructed from finitely many singular path emanating from x, by successive finite branching at the points of \({\widetilde{\Sigma }}^0 \cup \Sigma ^1_{tr}\) met by the paths. Let us present this argument precisely.
We associate to \({\mathcal {X}}^{x,L}_{\Delta ,g}\) a tree T constructed recursively as follows. Let the initial vertex \(v_0\) of the tree represent the point x and let the edges from \(v_0\) be in onetoone correspondence with different singular horizontal paths of length \(\le L\) starting from x. If such path arrives to a branching point, that is a point of \({{\widetilde{\Sigma }}}_0\cup \Sigma ^1_{tr}\), we represent this point as another vertex of the tree (even if this point is again x). If a singular path does not arrive at \({{\widetilde{\Sigma }}}_0\cup \Sigma ^1_{tr}\) we just add formally a (final) vertex. In this way we construct a connected (a priori infinite) locally finite tree. We note that any injective singular horizontal path starting at x, of length bounded by L, is represented in T by a finite simple path of the tree (a path with no repeated vertices).
Suppose, by contradiction, that T is infinite. By König’s Lemma (see, e.g. [45]), the tree T contains a simple path \(\omega _\infty \) that starts at \(v_0\) and continues from it through infinitely many vertices. Such path corresponds to a singular horizontal trajectory \(\gamma _\infty \) that passes infinitely many times through \({{\widetilde{\Sigma }}}_0\cup \Sigma ^1_{tr}\). Since any finite subpath of \(\omega _\infty \) corresponds to a singular horizontal path of length bounded by L, \(\gamma _\infty \) itself has length bounded by L and crosses infinitely many times \(\Sigma ^1_{tr}\) (a finite length path cannot pass infinitely many times through \({{\widetilde{\Sigma }}}_0\cap {\mathcal {X}}^{x,L}_{\Delta ,g}\) that is finite). Hence:

either \(\gamma _\infty \) is monodromic of finite length, and this contradicts Proposition 3.1;

or the limit point of \(\gamma _\infty \) belongs to \(\Sigma ^1_{tr}\), which contradicts Lemma 2.6(i).
Therefore, the tree T is finite, and \({\mathcal {X}}^{x,L}_{\Delta ,g}\) consist of finitely many singular horizontal curves by 2.6(ii).
The last part of Theorem 1.1 follows from the fact that any smooth manifold can be equipped with a complete Riemannian metric (see [34]).
4 Singularities of the characteristic linefoliation
4.1 Divergence property
In this subsection we introduce some basic results about the divergence of vector fields. The subsection follows a slightly more general setting than the previous section, but which relates to the study of the Sard Conjecture via the local model given in Remark 2.1(i).
We start by considering a nonsingular analytic surface \({{\mathscr {S}}}\) with a volume form \(\omega _{{{\mathscr {S}}}}\). Denote by \({\mathcal {O}}_{{\mathscr {S}}}\) the sheaf of analytic functions over \({{\mathscr {S}}}\). We note that there exists a onetoone correspondence between 1differential forms \(\eta \in \Omega ^1({{\mathscr {S}}})\) and vector fields \({\mathcal {Z}} \in Der_{{\mathscr {S}}}\) given by
This correspondence gives the following formula on the divergence:
Remark 4.1
(Basic properties)

(i)
Suppose that u, v are local coordinates on \({{\mathscr {S}}}\) such that \(\omega _{{{\mathscr {S}}}}= du\wedge dv\). Then the form \(\eta = \alpha du + \beta dv\) corresponds to \({\mathcal {Z}} = \alpha \partial _y  \beta \partial _x\).

(ii)
Given an analytic function \(f: {\mathscr {S}} \rightarrow {\mathbb {R}}\), we have
$$\begin{aligned} df\wedge \eta = df\wedge i_{{{\mathcal {Z}}}} \omega _{{{\mathscr {S}}}}= i_{{{\mathcal {Z}}}} df \wedge \omega _{{{\mathscr {S}}}}= {\mathcal {Z}}(f) \omega _{{{\mathscr {S}}}}\end{aligned}$$where \(i_{{{\mathcal {Z}}}}\omega \) denotes the contraction of a form \(\omega \) by \({{\mathcal {Z}}}\) (see, e.g. [2, page 198]).

(iii)
The above results can easily be generalized to ddimensional analytic manifolds, where the onetoone correspondence is between \(d1\) forms and vector fields (that is, between \(\Omega ^{d1}(M)\) and \(Der_M\)).
We denote by \({{\mathcal {Z}}}({\mathcal {O}}_{{\mathscr {S}}})\) the ideal sheaf generated by the derivation \({{\mathcal {Z}}}\) applied to the analytic functions in \({\mathcal {O}}_{{\mathscr {S}}}\), that is, the ideal sheaf locally generated by the coefficients of \({{\mathcal {Z}}}\). In what follows, we study closely the property \(\text{ div}_{\omega _{{{\mathscr {S}}}}}({\mathcal {Z}}) \in {\mathcal {Z}}({\mathcal {O}}_{{\mathscr {S}}})\), following [9, Lemma 2.3 and 3.2]. The next result shows that the property is independent of the volume form.
Lemma 4.2
(Intrinsicality) Let \(\omega _{{{\mathscr {S}}}}\) and \(\omega _{{{\mathscr {S}}}}'\) be two volume forms over \({\mathscr {S}}\). Then \(\text{ div}_{\omega _{{{\mathscr {S}}}}}({\mathcal {Z}}) \in {\mathcal {Z}}({\mathcal {O}}_{{\mathscr {S}}})\) if and only if \(\text{ div}_{\omega _{{{\mathscr {S}}}}'}({\mathcal {Z}}) \in {\mathcal {Z}}({\mathcal {O}}_{{\mathscr {S}}})\).
Proof
Given a point \(p \in {\mathscr {S}}\), there exist an open neighborhood U of p and a smooth function \(F: U \rightarrow {\mathbb {R}}\) which is everywhere nonzero and such that \(\omega _{{{\mathscr {S}}}}' = F\cdot \omega _{{{\mathscr {S}}}}\) in U. Therefore,
and we conclude easily. \(\square \)
Lemma 4.3 below illustrates the importance of this property; in its statement we use the notion of elementary singularities (see, e.g. [21, Definition 4.27])), that we recall in “Appendix D.4” (Definition D.8).
Lemma 4.3
(Final singularities) Let \({\mathcal {Z}}\) be a real analytic vectorfield defined in an open neighborhood \(U \subset {\mathbb {R}}^2\) of the origin and \(\omega _U\) to be a volume form over U. Let (x, y) be a coordinate system defined over U and suppose that:

(i)
\(\text{ div}_{\omega _U}({\mathcal {Z}}) \in {\mathcal {Z}}({\mathcal {O}}_{U})\);

(ii)
\({\mathcal {Z}} = x^{\alpha }y^{\beta }\, \widetilde{{\mathcal {Z}}}\), for some \(\alpha \) and \(\beta \in {\mathbb {N}}\) and a real analytic vector field \(\widetilde{{\mathcal {Z}}}\) all of whose singularities are isolated and elementary.
Then the vector field \(\widetilde{{\mathcal {Z}}}\) is tangent to the set \(\{x^{\alpha }y^{\beta }=0\}\) and all of its singularities are saddles.
Proof of Lemma 4.3
By Lemma 4.2, up to shrinking U we can suppose that \(\omega _U = dx\wedge dy\). We set by \(A ={\mathcal {Z}}(x)\) and \(B={\mathcal {Z}}(y)\) so that \({\mathcal {Z}}= A(x,y) \partial _x+B(x,y) \partial _y\). By assumption (ii), these functions are divisible by \(x^{\alpha }y^{\beta }\), namely \(A=x^{\alpha }y^{\beta } {\widetilde{A}}\) and \(B=x^{\alpha }y^{\beta }{\widetilde{B}}\). By assumption (i), there exist smooth functions f and g such that
In particular \(\alpha {\widetilde{A}}/x + \beta {\widetilde{B}}/y \) does not have poles, which implies that \({\widetilde{A}}\) is divisible by x if \(\alpha \ne 0\), and \({\widetilde{B}}\) is divisible by y if \(\beta \ne 0\). In other words, \(\widetilde{{\mathcal {Z}}} = {\widetilde{A}}(x,y) \partial _x+{\widetilde{B}}(x,y) \partial _y\) is tangent to \(\{x^{\alpha }y^{\beta }=0\}\).
Without loss of generality, we can suppose that the origin is the only singularity of \(\widetilde{{\mathcal {Z}}}\). We consider the determinant and the trace of the Jacobian of \(\widetilde{{\mathcal {Z}}}\) at the origin:
In order to conclude, thanks to Remark D.9(i) it is enough to prove that \(\det \bigl (\text{ Jac }(\widetilde{{\mathcal {Z}}})(0)\bigr )<0\). We distinguish two cases, depending on the value of \(\alpha \) and \(\beta \).
First, suppose that \(\alpha =\beta =0\) (in particular \(A = {\widetilde{A}}\) and \(B={\widetilde{B}}\)). Then, thanks to (4.1),
Since the origin is an elementary singularity of \(\widetilde{{\mathcal {Z}}}\), using Remark D.9(ii) we conclude that the determinant is negative. Thus, the singularity is a saddle point.
Second, without loss of generality we suppose that \(\alpha \ne 0\). In this case x divides \({\widetilde{A}}\), which implies that \(\partial _y{\widetilde{A}}(0)=0\) and \(\partial _x{\widetilde{A}}(0)= \bigl ({\widetilde{A}}/x\bigr )(0)\). In particular, this yields
Also, since \(\partial _x{\widetilde{A}}(0)= \bigl ({\widetilde{A}}/x\bigr )(0)\), and either \(\beta =0\) or \(\partial _y{\widetilde{B}}(0)= \bigl ({\widetilde{B}}/y\bigr )(0)\), using (4.1) we get
It follows that \(\partial _x{\widetilde{A}}(0)\) and \(\partial _y{\widetilde{B}}(0)\) have opposite signs (if they are both zero then the determinant and the trace are zero, contradicting the definition of elementary singularity), and therefore the determinant is negative (see (4.2)). Once again, since the origin is an elementary singularity of \(\widetilde{{\mathcal {Z}}}\), using Remark D.9(ii) we conclude that the singularity is a saddle point. \(\square \)
Next, suppose that M is a 3dimensional analytic manifold and denote by \(\omega _M\) its volume form. We now return to the study of the Martinet surface \(\Sigma \), cf. Remark 2.1(i).
Let \(\mu \in \Omega ^1(M)\) be an everywhere nonsingular analytic 1form and denote by h the analytic function defined as in Eq. (2.1). Denote by \(*: \Omega ^1 (M) \rightarrow \Omega ^2(M)\) the Hodge star operator, cf. [44, Ch. V]. We start by a known characterization of \(d\mu \) in terms of \(\mu \) and \(*\mu \):
Lemma 4.4
There exists an analytic form \(a\in \Omega ^1 (M)\) such that:
Proof of Lemma 4.4
Since \(\mu \) is nonsingular, the induced scalar product \(\langle \mu , *\mu \rangle \) is a nowhere vanishing function and we have
The form \(d\mu \) can be decomposed as
where a is an analytic 1form and b is an analytic function. Combining (2.1), (4.4), and (4.5), we deduce that \(h= b \langle \mu , *\mu \rangle \), which proves (4.3). \(\square \)
Now, we consider an analytic map \(\pi : {\mathscr {S}}\rightarrow \Sigma \subset M\) from an analytic surface \({\mathscr {S}}\) to the Martinet surface \(\Sigma \), and we set \(\eta := \pi ^* (\mu )\). It follows from Lemma 4.4 that
with \({{\tilde{a}}} = \pi ^* a\), because \( \pi ^*h \equiv 0\). Let \({\mathcal {Z}}\) be the vector field associated to \(\eta \), and denote by \({\mathcal {Z}}(\pi )\) the ideal subsheaf of \({\mathcal {Z}}({\mathcal {O}}_{{\mathscr {S}}})\) generated by the derivation \({\mathcal {Z}}\) applied to the pullback by \(\pi \) of analytic functions on M.
Remark 4.5

(i)
For our applications, the map \(\pi \) is either going to be an inclusion of the regular part of \(\Sigma \) into M, or a resolution of singularities of (the analytic space) \(\Sigma \) (cf. Theorem 4.7).

(ii)
If we write (locally) \(\pi =(\pi _1, \pi _2, \pi _3)\), then \({\mathcal {Z}}(\pi )\) is locally generated by \({\mathcal {Z}} (\pi _1), {\mathcal {Z}} (\pi _2), {\mathcal {Z}} (\pi _3)\).
The next proposition shows that, in the local setting (following Remarks 2.1(i) and 4.5 (i)), the property “\(\text{ div}_{\omega _{{{\mathscr {S}}}}}({{\mathcal {Z}}}) \in {{\mathcal {Z}}}({\mathcal {O}}_{{\mathscr {S}}})\)” is always satisfied. This can be seen as a reformulation of [9, Lemmas 2.3, 3.1, and 4.3]
Proposition 4.6
(Divergence bound) Let \(\eta \in \Omega ^1({\mathscr {S}})\), and let \({\mathcal {Z}}\) be the vector field associated to \(\eta \).

(i)
If \(\eta \) satisfies (4.6), then \(\text{ div}_{\omega _{{{\mathscr {S}}}}}({{\mathcal {Z}}}) \in {{\mathcal {Z}}}({\mathcal {O}}_{{\mathscr {S}}})\).

(ii)
If in addition \(\eta = \pi ^* (\mu )\), then \(\text{ div}_{\omega _{{{\mathscr {S}}}}}({{\mathcal {Z}}}) \in {\mathcal {Z}}(\pi )\). In particular, for every compact subset \({\mathcal {K}}\subset {\mathscr {S}}\) there is a constant \(K>0\) such that
$$\begin{aligned} \left \text{ div}_{\omega _{{{\mathscr {S}}}}}({{\mathcal {Z}}}) \right \le K\left \pi _* ({\mathcal {Z}})\right \qquad \text { on }{\mathcal {K}}. \end{aligned}$$
Proof of Proposition 4.6
Let a be as in (4.5), and write it in local coordinates on M as \(a = \sum g_i dx_i\). Then \(\pi ^* (a) = \sum (g_i\circ \pi )\, d\pi _i\), which implies that, in local coordinates on \({\mathscr {S}}\), we have
The bound follows from the fact that \(\pi _* ({\mathcal {Z}}) = ( {\mathcal {Z}} (\pi _1), {\mathcal {Z}} (\pi _2), {\mathcal {Z}} (\pi _3))\). \(\square \)
4.2 Resolution of singularities
Here we follow the notation and framework introduced in “Appendix D” and in Sects. 2.1 and 2.2 . All definitions and concepts concerning resolution of singularities (e.g. blowingsup, simple normal crossing divisors, strict transforms, etc) are recalled in “Appendix D”.
Theorem 4.7
There exist an analytic surface \({\mathscr {S}}\), and a simple normal crossing divisor E in \({\mathscr {S}}\) (see Sect. D.1), and a sequence of admissible blowingsup \(\pi : {\mathscr {S}} \rightarrow \Sigma \) with exceptional divisor E (see Definition D.2) such that:

(I)
The restriction of \(\pi \) to \({\mathscr {S}}\setminus E\) is a diffeomorphism onto its image \(\Sigma \setminus S\) (c.f. Lemma 2.2).

(II)
Denote by \(\widetilde{{\mathscr {L}}}\) the strict transform of the foliation \({\mathscr {L}}\) (cf. Sect. D.4). Then all singularities of \(\widetilde{{\mathscr {L}}}\) are saddle points.

(III)
The exceptional divisor E is given by the union of two locally finite union of divisors, \(E_{tan}\) and \(E_{tr}\), such that \(E_{tan} \cap E_{tr}\) is a locally finite set of points, \(\widetilde{{\mathscr {L}}}\) is tangent to \(E_{tan}\), and \(\widetilde{{\mathscr {L}}}\) is everywhere transverse to \(E_{tr}\). Furthermore, the logrank of \(\pi \) at \(E_{tr}\setminus E_{tan}\) is constant equal to 1 (we recall the definition of logrank in “Appendix D.3”).

(IV)
At each point \({\bar{z}}\in E_{tan}\), there exists an open neighborhood \(U_{{\bar{z}}}\) of \({\bar{z}}\) such that:

(i)
Suppose that there exists only one irreducible component of \(E_{tan}\) passing through \({\bar{z}}\). Then there exists a coordinate system (u, v) centered at \({\bar{z}}\) and defined in \(U_{{\bar{z}}}\), such that:

(a)
The exceptional divisor \(E_{tan}\) restricted to \(U_{{\bar{z}}}\) coincides with \(\{u=0\}\).

(b)
Either \({\bar{z}}\) is a saddle point of \(\widetilde{{\mathscr {L}}}\) (see Fig. 6); or at each halfplane (bounded by \(E_{tan}\)) there exist two smooth analytic semisegments \(\Lambda _{{\bar{z}}}^1\) and \(\Lambda _{{\bar{z}}}^2\) which are transverse to \(\widetilde{{\mathscr {L}}}\) and \(E_{tan}\), such that the flow (of a local generator \({\widetilde{{\mathcal {Z}}}}\)) associated to \(\widetilde{{\mathscr {L}}}\) gives rise to a bianalytic transition map
$$\begin{aligned} \phi _{{\bar{z}}} : \Lambda _{{\bar{z}}}^1 \rightarrow \Lambda _{{\bar{z}}}^2, \end{aligned}$$and there exist a rectangle \(V_{{\bar{z}}}\) bounded by \(E_{tan}\), \(\Lambda _{{\bar{z}}}^1\), \(\Lambda _{{\bar{z}}}^2\) and a regular leaf \({\mathcal {L}} \not \subset E_{tan}\) of \(\widetilde{{\mathscr {L}}}\) such that \({\bar{z}} \in \partial V_{{\bar{z}}} \setminus (\Lambda _{{\bar{z}}}^1 \cup \Lambda _{{\bar{z}}}^2 \cup {\mathcal {L}})\) (see Fig. 7).

(c)
If \({\bar{z}} \in E_{tr}\), then \({\bar{z}}\) is a regular point of \(\widetilde{{\mathscr {L}}}\) and \(E_{tr} \cap U_{{\bar{z}}} = \{v=0\}\) does not intersect \(\Lambda _{{\bar{z}}}^1\) nor \(\Lambda _{{\bar{z}}}^2\). Furthermore, the map \(\phi _{{\bar{z}}}\) is the composition of two analytic maps (see Fig. 8):
$$\begin{aligned} \phi _{{\bar{z}}}^1: \Lambda _{{\bar{z}}}^1 \rightarrow E_{tr}, \qquad \phi _{{\bar{z}}}^2: E_{tr} \rightarrow \Lambda _{{\bar{z}}}^2. \end{aligned}$$

(a)

(ii)
Suppose that there exist two irreducible components of \(E_{tan}\) passing through \({\bar{z}}\). Then there exists a coordinate system \(\pmb {u}=(u_1,u_2)\) centered at \({\bar{z}}\) and defined in \(U_{{\bar{z}}}\), such that:

(a)
The exceptional divisor \(E_{tan}\) restricted to \(U_{{\bar{z}}}\) coincides with \(\{u_1\cdot u_2=0\}\).

(b)
At each quadrant (bounded by \(E_{tan}\)) there exist two smooth analytic semisegments \(\Lambda _{{\bar{z}}}^1\) and \(\Lambda _{{\bar{z}}}^2\) which are transverse to \(\widetilde{{\mathscr {L}}}\) and to \(E_{tan}\), such that the flow (of a local generator \(\widetilde{{\mathcal {Z}}}\)) associated to \(\widetilde{{\mathscr {L}}}\) gives rise to a bijective (but not necessarily analytic) transition map
$$\begin{aligned} \phi _{{\bar{z}}} : \Lambda _{{\bar{z}}}^1 \rightarrow \Lambda _{{\bar{z}}}^2 \end{aligned}$$and there exist a region \(V_{{\bar{z}}}\) bounded by \(E_{tan}\), \(\Lambda _{{\bar{z}}}^1\), \(\Lambda _{{\bar{z}}}^2\) and a regular leaf \({\mathcal {L}} \not \subset E\) of \(\widetilde{{\mathscr {L}}}\) such that \({\bar{z}} \in \partial V_{{\bar{z}}} \setminus (\Lambda _{{\bar{z}}}^1 \cup \Lambda _{{\bar{z}}}^2 \cup {\mathcal {L}})\) (see Fig. 9).

(c)
There exist \(\alpha ,\,\beta \in {\mathbb {N}}^2\) such that the pulledback metric \(\pi ^{*}(g) = g^{*}\) is locally biLipschitz equivalent to:
$$\begin{aligned} \begin{aligned} h_{{\bar{z}}}&= (d \pmb {u}^{\alpha })^2 + (d \pmb {u}^{\beta })^2,\quad \text { where } \quad \pmb {u}^{\alpha } = u_1^{\alpha _{1}}u_2^{\alpha _{2}} \text { and } \, \pmb {u}^{\beta }=u_1^{\beta _{1}}u_2^{\beta _{2}}. \end{aligned} \end{aligned}$$Furthermore, there exists a vector field \(\widetilde{{\mathcal {Z}}}\), which locally generates \(\widetilde{{\mathscr {L}}}\), such that:

either \(\widetilde{{\mathcal {Z}}}(\pmb {u}^{\alpha }) \ge \widetilde{{\mathcal {Z}}}(\pmb {u}^{\beta })\) everywhere in \(V_{{\bar{z}}}\), and \(\widetilde{{\mathcal {Z}}}(\pmb {u}^{\alpha }) \ne 0\) everywhere in \(V_{{\bar{z}}}\setminus E\);

or \(\widetilde{{\mathcal {Z}}}(\pmb {u}^{\beta }) \ge \widetilde{{\mathcal {Z}}}(\pmb {u}^{\alpha })\) everywhere in \(V_{{\bar{z}}}\), and \(\widetilde{{\mathcal {Z}}}(\pmb {u}^{\beta }) \ne 0\) everywhere in \(V_{{\bar{z}}} \setminus E\).


(a)

(i)
Proof of Theorem 4.7
Denote by \({\mathscr {M}}\) the reduced analytic space associated with \(\Sigma \). By [8, Theorem 1.3] (we recall the details in Theorem D.6 below), there exists a resolution of singularities \(\pi : {\mathscr {S}} \rightarrow \Sigma \subset M\) via admissible blowingsup which satisfies the Hsiang–Pati property (see “Appendix D.3”). All blowingsup project into the singular set \(Sing({\mathscr {M}}) \subset S\); we can further suppose that the preimage of S is contained in the exceptional divisor (which is useful for combinatorial reasons), which guarantees (I). These properties are preserved by further real blowingsup described in Theorem D.6(i)(ii).
Next, by [21, Theorem 8.14] (we recall the details in Theorem D.10 below) we can further compose \(\pi \) with a locally finite number of blowingsup of points in the exceptional divisor so that the strict transform of \({\mathscr {L}}\), which we denote by \(\widetilde{{\mathscr {L}}}\), has only elementary singularities and is either tangent or transverse to connected components of the exceptional divisor E. Denote by \(E_{tan}\) the union of connected exceptional divisors tangent to \({\mathscr {L}}\), and by \(E_{tr}\) the remaining ones.
Now, fix a point \({\bar{z}} \in {\mathscr {S}}\) and let \({\mathcal {W}}\) be a sufficiently small neighborhood of \({\bar{z}}\) so that \({\mathcal {W}}\) is orientable; in particular, fix a volume form \(\omega _{{\mathcal {W}}}\) defined over \({\mathcal {W}}\). Next, up to shrinking \({\mathcal {W}}\), there exists a relatively compact open set \({\mathcal {V}} \subset M\), with \(\pi ({\mathcal {W}}) \subset {\mathcal {V}}\), such that \(\Delta \) is generated on \({\mathcal {V}}\) by a 1form \(\mu \in \Omega ^1({\mathcal {V}})\) (cf. Remark 2.1(i)).
Consider the vector field \({\mathcal {Z}}\) (which is defined over \({\mathcal {W}}\)) given by:
By Proposition 4.6 we have that \(\text{ div}_{\omega _{{\mathcal {S}}}}({\mathcal {Z}}) \in {\mathcal {Z}}(\pi )\). Now, denote by \(\widetilde{{\mathcal {Z}}}\) a local generator of \(\widetilde{{\mathscr {L}}}\) defined over \({\mathcal {W}}\); we note that \(\widetilde{{\mathcal {Z}}}\) is given by the division of \({\mathcal {Z}}\) by as many powers as possible of the exceptional divisor (c.f. Lemma 4.3(ii)). It follows from Lemma 4.3 that all singularities of \(\widetilde{{\mathscr {L}}} \cap {\mathcal {W}}\) are saddles, and that the foliation is tangent to connected components of the exceptional divisors where the logrank of \(\pi \) is zero (because, by Eq. (4.7), the vector field \({\mathcal {Z}}\) is divisible by powers of these exceptional divisors). In particular, the logrank over \(E_{tr}\setminus E_{tan}\cap {\mathcal {W}}\) must be equal to 1. Since \({\mathcal {V}}\) was arbitrary, we conclude Properties (II) and (III).
Next, we provide an argument over 2points in order to prove (IV)(ii). Let \({\bar{z}}\) be a point in the intersection of two connected components of \(E_{tan}\). Since \(\widetilde{{\mathscr {L}}}\) is tangent to \(E_{tan}\), we deduce that \({\bar{z}}\) is a saddle point of \(\widetilde{{\mathscr {L}}}\). Now, by Lemma D.7, the pulled back metric \(g^{*}\) is locally (at \({\bar{z}}\)) biLipschitz equivalent to the metric
Recalling that \(\widetilde{{\mathcal {Z}}}\) is a local generator of \(\widetilde{{\mathscr {L}}}\), we consider the locally defined analytic set \(T = \{\pmb {u}\,\,\widetilde{{\mathcal {Z}}}(\pmb {u}^{\alpha }) = \widetilde{{\mathcal {Z}}}(\pmb {u}^{\beta })\}\).
If T is a 2dimensional set then \(\widetilde{{\mathcal {Z}}}(\pmb {u}^{\alpha }) = \widetilde{{\mathcal {Z}}}(\pmb {u}^{\beta })\) everywhere on a neighborhood of \({\bar{z}}\), and by the existence of transition maps close to saddle points (see, e.g. [3, Section 2.4]), we conclude easily Properties (IV.ii.a), (IV.ii.b), and (IV.ii.c).
Therefore, we can suppose that T is an analytic curve. We claim that, up to performing combinatorial blowingsup (that is, blowingsup whose centers are the intersection of exceptional divisors), we can suppose that \(T \subset E_{tan}\) (we recall that the argument is only for 2points). As a result, without loss of generality, we locally have: either \(\widetilde{{\mathcal {Z}}}(\pmb {u}^{\alpha })>  \widetilde{{\mathcal {Z}}}(\pmb {u}^{\beta })\), or \(\widetilde{{\mathcal {Z}}}(\pmb {u}^{\beta })> \widetilde{ {\mathcal {Z}}}(\pmb {u}^{\alpha })\) everywhere outside the exceptional divisor \(E_{tan}\). Hence, again by the existence of transition maps close to saddle points, we conclude the proof of Properties (IV.ii.a), (IV.ii.b), and (IV.ii.c).
In order to prove the claim, consider a sequence of combinatorial blowingsup so that the strict transform \(T^{st}\) of T does not intersect 2points. Indeed, by direct computation over local charts, the pullback of the metric \(h_{{\bar{z}}}\) again satisfies the Hsiang–Pati coordinate system over 2points in the preimage of \({\bar{z}}\) (more explicitly, this follows by combining Eqs. (4.8) with (D.2)). Now, denote by \({\bar{T}}\) the analogue of the set T, but computed after the sequence of combinatorial blowingsup; since \(\widetilde{{\mathscr {L}}}\) is a line foliation (therefore, generated by one vector field), we conclude that \(T^{st}\) and \({\bar{T}}\) coincide everywhere outside of the exceptional divisor, which proves the claim.
Finally, let \({\bar{z}}\) be a point contained in only one connected component of \(E_{tan}\) and assume that \({\bar{z}}\) is not a singularity of \(\widetilde{{\mathscr {L}}}\). Then, up to taking a sufficiently small neighborhood of \({\bar{z}}\), the flowbox Theorem (see e.g. [3, Theorem 1.12] or [21, Theorem 1.14]) implies properties (IV.i.a), (IV.i.b), and (IV.i.c). This concludes the proof. \(\square \)
Remark 4.8
As follows from Lemma 4.3, \(\widetilde{{\mathscr {L}}}\) is tangent to a component F of the exceptional divisor if and only if so is the pullback foliation \(\pi ^* {\mathscr {L}}\). Indeed, in the language of the local vector fields generating these foliations, Lemma 4.3 yields “\({\mathcal {Z}}\) is tangent to F if and only if \(\widetilde{{\mathcal {Z}}}\) is”.
Lemma 4.9
(Compatibility of stratifications) Recall the notation of Lemma 2.4 and of Theorem 4.7. Up to adding a locally finite number of points to \(\Sigma ^0\), we have:
Proof of Lemma 4.9
We start by making two remarks:
(1) up to adding a locally finite number of points to \(\Sigma ^0\), without loss of generality we can assume that \(\Sigma ^0\) contains all points \({\bar{w}}\in \Sigma \) where \(\pi \) has \(\text{ log } \text{ rk }\) equal to 0 over the fiber of \({\bar{w}}\).
(2) Let F be an irreducible exceptional divisor of E where the logrank is constant equal to 1. Then \(\pi (F)\) is an analytic curve over \(\Sigma \); furthermore, by expression (D.3), it follows that \(d\pi _{T F}: TF \rightarrow T\pi (F)\) is an isomorphism. In particular, \(\Delta \) is tangent to \(\pi (F)\) at \({\bar{w}} = \pi ({\bar{z}})\) if and only if \(\pi ^* {\mathscr {L}}\) is tangent to F at \({\bar{z}}\). By Remark 4.8, this latter property is equivalent to the tangency of \(\widetilde{{\mathscr {L}}}\) to F at \({\bar{z}}\).
Now, by Theorem 4.7(I), we know that \(\pi ( E_{tan} \cup E_{tr}) \subset \Sigma ^0 \cup \Sigma ^1_{tan}\cup \Sigma ^1_{tr}\). Therefore, by the second remark, it is clear that \(\pi (E_{tr}) \subset \Sigma ^1_{tr}\). Next, let \({\bar{w}} \in \Sigma _{tr}^1\) and note that the \(\text{ log } \text{ rk }\) can be assumed to be constant equal to 1 along the fiber \(\pi ^{1}({\bar{w}})\), thanks to the first remark. Moreover, if we assume by contradiction that there exists \({\bar{z}} \in \pi ^{1}({\bar{w}})\) which belongs to \(E_{tan}\), we get a contradiction with the second remark. We conclude easily. \(\square \)
Remark 4.10
Unlike for the complex analytic spaces, a resolution map of a real analytic space is not necessarily surjective and its image equals the closure of the regular part. For instance for the Whitney umbrella \(\{(x,y,z)\in {\mathbb {R}}^3; y^2= z x^2 \}\), the singular part is the vertical line \(\{x=y=0\}\), and the image of any resolution map equals \(\{(x,y,z)\in {\mathbb {R}}^3; y^2= z x^2, z\ge 0 \}\) and does not contain “the handle” \(\{x=y=0, z<0\}\).
4.3 Proof of Proposition 3.1
We follow the notation of Theorem 4.7. Without loss of generality, we may suppose that the preimage of \(\Sigma ^0\) contain all points over which \(\pi \) has logrank equal to 0. Next, we note that the singular set of \(\widetilde{{\mathscr {L}}}\) is a locally finite set of discrete points contained in \(E_{tan}\). By Lemma 4.9 and the fact that \(\pi \) is proper, we conclude that there exists a locally finite set of points \({\widetilde{\Sigma }}^0 \subset \Sigma ^0 \cup \Sigma ^1_{tan} = {\widetilde{\Sigma }}\) whose preimage contain all singular points of \(\widetilde{{\mathscr {L}}}\) and all points where logrank of \(\pi \) is zero. Apart from adding a locally finite number of points to \({\widetilde{\Sigma }}^0\), we can suppose that \(\Sigma ^0 \subset {\widetilde{\Sigma }}^0\).
Now, let \(\gamma : [0,1) \rightarrow \Sigma \) be a convergent transversesingular trajectory such that \({\bar{y}}:=\lim _{t\rightarrow 1} \gamma (t) \in {\widetilde{\Sigma }}\). Denote by \({\widetilde{\gamma }}\) the strict transform of \(\gamma ([0,1))\) under \(\pi \), that is
By hypothesis, we know that the topological limit of \({\widetilde{\gamma }}\), which is defined by
is contained in the preimage of \({\bar{y}}\), say \(F =\pi ^{1}({\bar{y}}) \subset E_{tan}\).
Now, suppose for a contradiction that \({\bar{y}} \notin {\widetilde{\Sigma }}^0\). In this case, \(\widetilde{{\mathscr {L}}}\) is an everywhere regular foliation over F, and \(\pi \) has logrank equals to 1 over F. By Eq. (D.3) and Theorem 4.7(IV.i.b), we conclude that the topological limit of \({\widetilde{\gamma }}\) must contain an open neighborhood of F in \(E_{tan}\), which projects into a 1dimensional analytic set over \(\Sigma \). This is a contradiction with the definition of convergent transversesingular trajectory, which implies that \({\bar{y}} \in {\widetilde{\Sigma }}^0\).
We now need the following:
Proposition 4.11
A convergent transversesingular trajectory \(\gamma :[0,1) \rightarrow \Sigma \) is characteristic, if and only if, the topological limit \(\omega ({\tilde{\gamma }})\) is a singular point \({\bar{z}}\) of \(\widetilde{{\mathscr {L}}}\) and in this case \({{\widetilde{\gamma }}}\) is a characteristic orbit of an analytic vector field that generates \(\widetilde{{\mathscr {L}}}\) in a neighborhood of \({\bar{z}}\).
Proof of Proposition 4.11
Let \(\gamma \) be a convergent transversesingular trajectory. Since \(\omega (\gamma ) \in {\widetilde{\Sigma }}\), we conclude that \(\omega ({\widetilde{\gamma }}) \subset E_{tan}\). Now, if \(\omega ({\widetilde{\gamma }})\) contains a regular point \({\bar{z}}\) of \(\widetilde{{\mathscr {L}}}\), then it follows by the FlowBox Theorem that there exists a neighborhood U of \({\bar{z}}\) where \({\widetilde{\gamma }} \cap U\) intersects an infinite number of times a transverse section of \(\widetilde{{\mathscr {L}}}\) passing by \({\bar{z}}\). Therefore, since all singular points of \(\widetilde{{\mathscr {L}}}\) are isolated, we may assume that \(\omega ({\widetilde{\gamma }})= \{{\bar{z}}\}\), where \({\bar{z}}\) is singular point of \(\widetilde{{\mathscr {L}}}\). Since all singular points are saddles, given a local generator \(\widetilde{{\mathcal {Z}}}\) of \(\widetilde{{\mathscr {L}}}\) defined in a sufficiently small open neighborhood of \({\bar{z}}\), there are only a finite number of characteristic orbits of \(\widetilde{{\mathcal {Z}}}\) converging to \({\bar{z}}\). We conclude easily. \(\square \)
As a consequence of the last proposition, we can now prove the following result, which concludes the proof of Proposition 3.1.
Proposition 4.12
Let \(\gamma :[0,1) \rightarrow \Sigma \) be a (convergent transversesingular) characteristic trajectory, then \(\gamma ([0,1))\) is a semianalytic curve.
Proof of Proposition 4.12
The strict transform \({{\widetilde{\gamma }}}\) of \(\gamma \) is a characteristic orbit of a saddle singularity, and therefore, it is semianalytic by the stable manifold Theorem of Briot and Bouquet [10] (see, e.g. [3, Theorem 2.7]). To conclude, we note that the image of a semianalytic curve by a proper analytic map is semianalytic, see Remark B.2. \(\square \)
4.4 Proof of Proposition 3.7
We follow the notation of Theorem 4.7, Proposition 3.7, and Remark 3.8. Without loss of generality, we may assume that there exists an open neighborhood \({\mathcal {W}}\) of \({\bar{y}}\) such that \(\gamma ([0,1)) \subset {\mathcal {W}}\), \(\lambda ([0,1)) \subset {\mathcal {W}}\), and either \(\gamma ([0,1))\cap \Sigma _{tr}^1 = \lambda ([0,1))\cap \Sigma _{tr}^1 = \emptyset \) with sequences of times \(\{t_k^{\gamma }\}_{k\in {\mathbb {N}}}, \{t_k^{\lambda }\}_{k\in {\mathbb {N}}}\), or \(\gamma ([0,1))\cap \Sigma _{tr}^1 \ne \emptyset \), \(\lambda ([0,1))\cap \Sigma _{tr}^1 \ne \emptyset \) are infinite with a common sequence of jumps \(\{(i_k,j_k)\}_{k\in {\mathbb {N}}}\) associated respectively with \(\{t_k^{\gamma }\}_{k\in {\mathbb {N}}}\) and \(\{t_k^{\lambda }\}_{k\in {\mathbb {N}}}\).
The Riemmanian metric g is bilipschitz equivalent to an analytic metric over \({\mathcal {W}}\). Since Proposition 3.7 is invariant by local bilipschitz equivalence of metrics, we suppose without loss of generality that g is analytic. We denote by \({\mathcal {V}}\) the preimage of \({\mathcal {W}}\) under \(\pi \), and by \(g^{*}\) the pullback of g via \(\pi \) (which is analytic).
We recall that \(\gamma (0)\) and \(\lambda (0)\) are assumed to belong to the same section \(\Lambda \) and that \(d^{\Lambda }(\lambda (0))<d^{\Lambda }(\gamma (0))\). We denote by \({\widetilde{\gamma }}\) and \({\widetilde{\lambda }}\) the strict transform of \(\gamma \) and \(\lambda \) (defined as in the proof of Proposition 3.1).
Since the transition maps \(T^{\Lambda }\) and \(T^{j_k}_{i_k}\) satisfy property (3.2) and (3.3) respectively, we note that
in the case \(\gamma ([0,1))\cap \Sigma _{tr}^1 = \lambda ([0,1))\cap \Sigma _{tr}^1 = \emptyset \), and
in the case where \(\gamma ([0,1))\cap \Sigma _{tr}^1 \ne \emptyset \) and \(\lambda ([0,1))\cap \Sigma _{tr}^1 \ne \emptyset \) are infinite.
Finally, since \(\pi \) is a proper morphism, in order to prove Proposition 3.7 it is enough to show a similar result, locally, at every point on the resolution space which belongs to the topological limit \(\omega ({\widetilde{\gamma }}) = \omega ({\widetilde{\lambda }})\).
Since \(\gamma \) is monodromic, if a point \({\bar{z}} \in \omega ({\widetilde{\gamma }})\) is a saddle of \(\widetilde{{\mathscr {L}}}\), then there are two connected components of \(E_{tan}\) which contain \({\bar{z}}\) (in other words, it satisfies the normal form given in Theorem 4.7(IV.ii)). Therefore, for each \({\bar{z}} \in \omega ({\widetilde{\gamma }})\), either the normal form (IV.i) or (IV.ii) of Theorem 4.7 is verified. We study these two possibilities separately (we do not distinguish (IV.i.b) and (IV.i.c) in this part of the proof). In both cases, given local sections \(\Lambda _{{\bar{z}}}^{j}\) for \(j=1,2\) we consider the distance functions
where \(d_{{\bar{z}}}^j(p)\) is the length (via \(g^{*}\)) of the half arc contained in \(\Lambda _{{\bar{z}}}^j\) that joins p to \(E_{tan}\), and \(\text{ length}^{g^{*}}\) denotes the length with respect to \(g^{*}\).
The next lemma handles the first case.
Lemma 4.13
Recalling the notation of Theorem 4.7(IV.i), assume that there exists only one connected component of \(E_{tan}\) which contains \({{\bar{z}}}\). For each point \(p \in \Lambda ^1_{{\bar{z}}}\), denote by L(p) the halfleaf of \(\widetilde{{\mathscr {L}}}\) whose boundary is given by p and \(\phi _{{\bar{z}}}(p)\). Then there exists \(\epsilon >0\) (which depends only on the neighborhood of \({\bar{z}}\)) such that
Proof of Lemma 4.13
Note that \(\widetilde{{\mathscr {L}}}\) is nonsingular, so there exists a nonsingular locally defined vector field \(\widetilde{{\mathcal {Z}}}\) which generates \(\widetilde{{\mathscr {L}}}\). Denote by \(\varphi ^{\widetilde{{\mathcal {Z}}}}_p(t)\) the flow of \(\widetilde{{\mathcal {Z}}}\) with time t and initial condition p. Since \(\widetilde{{\mathcal {Z}}}\) is nonzero, for each \(p\in \Lambda ^1_{{\bar{z}}}\) the minimal time \(t_p\) so that \(\varphi _p^{\widetilde{{\mathcal {Z}}}}(t_p) \in \Lambda ^2_{{\bar{z}}}\) is an analytic function in p. It follows that the function
is analytic over \(\Lambda ^1_{{\bar{z}}}\), since all objects are analytic. Furthermore, \(\mathrm{length}^{g^{*}}(L(p)) \ge 0\), and it is equal to zero if and only if \(p\in E\). This implies the desired monotonicity property. \(\square \)
We now handle the second case, which is the only point of the paper where we use the regularity result from [38].
Lemma 4.14
Recalling the notation of Theorem 4.7(IV.ii), assume that there exist two connected component of \(E_{tan}\) which contains \({{\bar{z}}}\). For each point \(p \in \Lambda ^1_{{\bar{z}}}\), denote by L(p) the halfleaf of \(\widetilde{{\mathscr {L}}}\) whose boundary is p and \(\phi _{{\bar{z}}}(p)\). Then there exist \(K>0\) and \(\epsilon >0\) (which depends only on the neighborhood of \({\bar{z}}\)) such that
Proof of Lemma 4.14
Up to changing \(K>0\), it suffices to prove the result for a metric that is bilipschitz equivalent to \(g^{*}\). Therefore, without loss of generality we assume that \(g^{*} = h_{{\bar{z}}} = (d \pmb {u}^{\alpha })^2+(d \pmb {u}^{\beta })^2\) (see Theorem 4.7(IV.ii.b)). Although the definition of \(\alpha \) and \(\beta \) are not symmetric (see (D.5)), this does not interfere in this part of the proof; so we assume that \(\widetilde{{\mathcal {Z}}}(\pmb {u}^{\alpha }) \ne 0\) everywhere outside of E, and that \(\widetilde{{\mathcal {Z}}}(\pmb {u}^{\alpha })\ge \widetilde{{\mathcal {Z}}}(\pmb {u}^{\beta })\) everywhere in the neighborhood of \({\bar{z}}\), where \(\widetilde{{\mathcal {Z}}}\) is a local generator of \(\widetilde{{\mathscr {L}}}\) (the other case is analogous).
Denote by \(\varphi ^{\widetilde{{\mathcal {Z}}}}_p(t)\) the flow of \(\widetilde{{\mathcal {Z}}}\) with time t and initial condition p. For each \(p\in \Lambda ^1_{{\bar{z}}}\setminus E\) the minimal time \(t_p\) so that \(\varphi _p^{\widetilde{{\mathcal {Z}}}}(t_p) \in \Lambda ^2_{{\bar{z}}}\) is an analytic function over \(\Lambda ^1_{{\bar{z}}}\setminus E\), but it does not admit an analytic extension to \(\Lambda ^1_{{\bar{z}}}\cap E\). In particular, the function
does not admit an analytic extension to \(\Lambda ^1_{{\bar{z}}}\cap E\). Nevertheless, we note that:
Now, since \(\widetilde{{\mathcal {Z}}}(\pmb {u}^{\alpha })\) is analytic and vanishes only on E, we conclude that \(d (\pmb {u}^{\alpha } \circ \varphi _p^{\widetilde{{\mathcal {Z}}}}(s)) \) is of constant sign outside of E. On the one hand, this implies that
On the other hand, from the fact that \(d(\pmb {u}^{\alpha } \circ \varphi _p^{\widetilde{{\mathcal {Z}}}}(s))  \ge d(\pmb {u}^{\beta } \circ \varphi _p^{\widetilde{{\mathcal {Z}}}}(s)) \), we conclude that
Although the function \(\phi _{{\bar{z}}}(p)\) is analytic outside of E, it does not admit an analytic extension to E and the treatment of this case differs from the one in Lemma 4.13.
In order to be precise, denote by \(\lambda _i:[0,1] \rightarrow \Lambda ^i_{{\bar{z}}}\) an analytic parametrizations of the sections \(\Lambda ^i_{{\bar{z}}}\) such that \(\lambda _i(0) \in E\), for \(i=1,2\). They can be always chosen so that \(\pmb {u}^{\alpha } \circ \lambda _i(t) = t^{a_i}\) for some \(a_i \in {\mathbb {N}}\). Now, by [38, Theorem 1.4 and Remark 4.13], the composition \(\lambda _2^{1} \circ \phi _{{\bar{z}}} \circ \lambda _1 \circ (\exp (x))\) belongs to a Hardy field \({\mathcal {F}}\) of germs of function at infinity which also contains the exponential function, see “Appendix C” for some more details. Thus, since \({\mathcal {F}}\) is a field, it follows that also the function
belongs to it. Since \({\mathcal {F}}\) is a Hardy field, Lemma C.1 implies that the function
is monotone for t sufficiently close to 0 (that is, for \(p = \lambda _1(t)\) sufficiently close to E). We conclude easily from this observation and the inequalities (4.11) and (4.12). \(\square \)
As observed before, Proposition 3.7 now follows from the two lemmas above and the previous considerations made in all this section.
Notes
The energy of a horizontal path \(\gamma :[0,1] \rightarrow M\) is defined as \(\int _0^1 {\dot{\gamma }}(t)^2 \, dt\), where \(\cdot \) stands for the norm associated to g on \(\Delta \).
The subRiemannian Hamiltonian \(H:T^*M \rightarrow {\mathbb {R}}\) associated with \((\Delta ,g)\) in \(T^*M\) is defined, in local coordinates, by
$$\begin{aligned} H(x,p):= \max \left\{ \frac{1}{2} \bigg ( \frac{p(v)}{v}\bigg )^2 \, \vert \, v \in \Delta _x\setminus \{0\} \right\} \qquad \text {for every ({ x},\,{ p})}. \end{aligned}$$It gives rise to an Hamiltonian vector field, called the subRiemannian Hamiltonian vector field, with respect to the canonical symplectic structure on \(T^*M\).
The theorem of Hakavuori and Le Donne [14, Theorem 1.1] is strongly based on a previous result by Leonardi and Monti [25, Proposition 2.4] (see also [23]) which states that the blowup of a minimizing geodesic \(\gamma :[0,1] \rightarrow M\) with corner at \(t=1/2\) is a broken minimizer made of two halflines in the tangent CarnotCarathéodory structure at \(\gamma (1/2)\). In fact, Proposition 2.4 is not exactly stated in this way in [25]. We refer the reader to [32] for a precise statement and a comprehensive and complete proof of [25, Proposition 2.4] as required for the proof of [14, Theorem 1.1].
Except of course at \(t=0\) (resp. \(t=1\)) where \(\gamma \) is only right (resp. left) differentiable.
A distribution \({\mathcal {D}}\) on M is called singular if it does not have constant rank, that is, if the dimension of the vector space \({\mathcal {D}}_x \subset T_xM\) is not constant.
The first author would like to thank Patrick PopescuPampu for pointing out that the hypothesis of [9, Lemma C.1] is always satisfied in our current framework, that is, when \(\Delta \) is nonsingular.
The foliation \({\mathscr {L}}\) does not necessarily have rank 1 everywhere, as there may be some points \(x\in \Sigma \) where \({\mathscr {L}}_x=\{0\}\). A point x is called regular if \({\mathscr {L}}_x\) has dimension 1, and singular if \({\mathscr {L}}_x=\{0\}\).
References
Agrachev, A., Barilari, A., Boscain, U.: Introduction to Riemannian and subRiemannian geometry. Monograph (to appear)
Arnold, V.I.: Mathematical Methods of Classical Mechanics. Graduate Texts in Mathematics, vol. 60. Springer, New York (1989)
Artes, J., Dumortier, F., Llibre, J.: Qualitative Theory of Planar Differential Systems. Springer, Berlin (2006)
Barilari, D., Chitour, Y., Jean, F., Prandi, D., Sigalotti, M.: On the regularity of abnormal minimizers for rank \(2\) subRiemannian structures. Preprint (2018)
Baum, P., Bott, R.: Singularities of holomorphic foliations. J. Differ. Geom. 7, 279–342 (1972)
Bates, S.M., Moreira, C.G.: De nouvelles perspectives sur le théorème de MorseSard. [Some new perspectives on the Morse–Sard theorem]. C. R. Acad. Sci. Paris Sér. I Math. 332(1), 13–17 (2001)
Bellaïche, A.: The tangent space in subRiemannian geometry. In SubRiemannian Geometry. Birkhäuser, pp. 1–78 (1996)
Belotto da Silva, A., Bierstone, E., Grandjean, V., Milman, P.: Resolution of singularities of the cotangent sheaf of a singular variety. Adv. Math. 307, 780–832 (2017)
Belotto da Silva, A., Rifford, L.: The subRiemannian Sard conjecture on Martinet surfaces. Duke Math. J. 167(8), 1433–1471 (2018)
Briot, C., Bouquet, J.: Recherches sur les propriétés des fonctions definies par des équations differentielles. Journal de l’Ecole Polytechnique, t. XXI (1856)
Bierstone, E., Milman, P.: Semianalytic and subanalytic sets. Inst. Hautes Études Sci. Publ. Math. No. 67, 5–42 (1988)
Bierstone, E., Milman, P.D.: Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant. Invent. Math. 128(2), 207–302 (1997)
Federer, H.: Geometric Measure Theory. Die Grundlehren des mathematischen Wissenschaften, vol. 153. Springer, New York (1969)
Hakavuori, E., Le Donne, E.: Nonminimality of corners in subRiemannian geometry. Invent. Math. 206(3), 693–704 (2016)
Hartshorne, R.: Algebraic Geometry. Springer, New York (1977)
Hironaka, H.: Introduction to realanalytic sets and realanalytic maps. Quaderni dei Gruppi di Ricerca Matematica del Consiglio Nazionale delle Ricerche. Istituto Matematico ”L. Tonelli” dell’Università di Pisa, Pisa (1973)
Hirsch, M., Smale, S.: Differential Equations, Dynamical Systems, and Linear Algebra. Pure and Applied Mathematics, vol. 60. Academic Press, New York (1974)
Hsiang, W.C., Pati, V.: \(L^2\)cohomology of normal algebraic surfaces. I. Invent. Math. 81, 395–412 (1985)
Hsu, L.: Calculus of variations via Griffiths formalism. J. Differ. Geom. 36(3), 551–591 (1991)
Il’yashenko, Y.: Finiteness Theorems for Limit Cycles. Transl. Math. Monogr. 94. American Mathematical Society (1991)
Il’yashenko, Y., Yakovenko, S.: Lectures on Analytic Differential Equations. Graduate Studies in Mathematics, vol. 86. American Mathematical Society, Providence (2008)
Le Donne, E., Leonardi, G.P., Monti, R., Vittone, D.: Extremal curves in nilpotent Lie groups. Geom. Funct. Anal. 23(4), 1371–1401 (2013)
Le Donne, E., Leonardi, G.P., Monti, R., Vittone, D.: Corners in nonequiregular subRiemannian manifolds. ESAIM Control Optim. Calc. Var. 21(3), 625–634 (2015)
Le Donne, E., Montgomery, R., Ottazzi, A., Pansu, P., Vittone, D.: Sard property for the endpoint map on some Carnot groups. Ann. Inst. H. Poincaré Anal. Non Linéaire 33(6), 1639–1666 (2016)
Leonardi, G.P., Monti, R.: Endpoint equations and regularity of subRiemannian geodesics. Geom. Funct. Anal. 18(2), 552–582 (2008)
Łojasiewicz, S.: Ensembles SemiAnalytiques. Inst. Hautes Études Sci, BuressurYvette (1965)
Montgomery, R.: Abnormal minimizers. SIAM J. Control Optim. 32(6), 1605–1620 (1994)
Montgomery, R.: A Tour of subRiemannian Geometries, Their Geodesics and Applications. Mathematical Surveys and Monographs, vol. 91. American Mathematical Society, Providence (2002)
Monti, R.: Regularity results for subRiemannian geodesics. Calc. Var. Partial Differ. Equ. 49(1–2), 549–582 (2014)
Monti, R.: The regularity problem for subRiemannian geodesics. In Geometric Control and SubRiemannian Geometry, vol. 5 of Springer INdAM Ser. Springer, Cham, pp. 313–332 (2014)
Monti, R., Pigati, A., Vittone, D.: Existence of tangent lines to Carnot–Carathéodory geodesics. Calc. Var. Partial Differ. Equ. 57(3), Art. 75, 18 (2018)
Monti, R., Pigati, A., Vittone, D.: On tangent cones to length minimizers in Carnot–Carathéodory spaces. SIAM J. Control Optim. 56(5), 3351–3369 (2018)
Narasimhan, R.: Introduction to the Theory of Analytic Spaces. Lecturer Notes in Mathematics, vol. 25. Springer, Berlin (1966)
Nomizu, K., Ozeki, H.: The existence of complete Riemannian metrics. Proc. Am. Math. Soc. 12, 889–891 (1960)
Pawłucki, W.: Le théorème de Puiseux pour une application sousanalytique. Bull. Pol. Acad. Sci. Math. 32, 555–560 (1984)
Rifford, L.: SubRiemannian Geometry and Optimal Transport. Springer Briefs in Mathematics. Springer, New York (2014)
Rifford, L.: Singulières minimisantes en géométrie sousRiemannienne. Séminaire Bourbaki, Vol. 2015/2016. Exposés 1101–1119. Astérisque 390 (2017), Exp. No. 1113, pp. 277–301
Speissegger, P.: Quasianalytic Ilyashenko algebras. Can. J. Math. 70, 218–240 (2018)
Sussmann, H.J.: A regularity theorem for minimizers of realanalytic subRiemannian metrics. In: Proceedings of the IEEE Conference on Decision and Control, pp. 4801–4806 (2015)
Tognoli, A.: Some results in the theory of real analytic spaces. In: Jurchesan, M. (ed.) Espaces Analytiques (Bucharest 1969), Acad. Roumanie, pp. 149–157 (1971)
Tan, K., Yang, X.: SubRiemannian geodesics of Carnot groups of step 3. ESAIM Control Optim. Calc. Var. 19(1), 274–287 (2013)
Vittone, D.: The regularity problem for subRiemannian geodesics. Geometric Measure Theory and Real Analysis, CRM Series, 17, Ed. Norm., Pisa, pp. 193–226 (2014)
Wall, C.T.C.: Regular Stratification. Lectures Notes in Mathematics, vol. 468, pp. 332–344 (1975)
Wells, R.O., Jr.: Differential Analysis on Complex Manifolds. Graduate Texts in Mathematics, vol. 65, 2nd edn. Springer, New York (1980)
Wilson, R.J.: Introduction to Graph Theory, 4th edn. Longman, Harlow (1996)
Włodarczyk, J.: Resolution of singularities of analytic spaces. In: Proceedings of Gökova GeometryTopology Conference 2008, 31–63, Gökova Geometry/Topology Conference (GGT), Gökova (2009)
Zelenko, I., Zhitomirskii, M.: Rigid paths of generic 2distributions on 3manifolds. Duke Math. J. 79(2), 281–307 (1995)
Acknowledgements
AF is supported by the European Research Council under the Grant Agreement No. 721675 “Regularity and Stability in Partial Differential Equations (RSPDE)”. AP is partially supported by ANR Project LISA (ANR17CE40002303). LR is partially supported by ANR Project SRGI “SubRiemannian Geometry and Interactions” (ANR15CE400018). ABS and AF are thankful for the hospitality of the Laboratoire Dieudonné at the Université Côte d’Azur, where part of this work has been done. We would also like to thank Patrick Speissegger for answering our questions about [38], and the anonymous referees for their very useful suggestions.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open access funding provided by Swiss Federal Institute of Technology Zurich
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Singular horizontal paths
Let M be a smooth connected manifold of dimension \(n\ge 3\) and \(\Delta \) a totally nonholonomic distribution of rank \(m<n\) on M. As in the introduction, we assume that \(\Delta \) is generated globally on M by a family of k smooth vector fields \(X^1, \ldots , X^k\). For every \(i=1, \ldots , k\), we define the Hamiltonian \(h^i :T^*M \rightarrow {\mathbb {R}}\) by
and denote by \(\vec {h}^i\) the corresponding Hamiltonian vector field on \(T^*M\) with respect to canonical symplectic form \(\omega \). We refer the reader to [2] for further details in the symplectic structure of the cotangent bundle.Then we set
By construction, \(\vec {\Delta }\) is a smooth distribution of rank m in \(T^*M\) which does not depend on the choice of the family \(X^1, \ldots , X^k\). Let \(\Delta ^{\perp }\) be the annihilator of \(\Delta \) in \(T^*M\), defined by
and \(\pi :T^*M\rightarrow M\) the canonical projection. Singular horizontal paths can be characterized as follows (we leave the reader to check that [36, Proposition 1.11] can be formulated in this way).
Proposition A.1
Let \(\gamma : [0,1] \rightarrow M\) be fixed, then the two following properties are equivalent:

(i)
\(\gamma \) is a singular horizontal path with respect to \(\Delta \).

(ii)
There exists \(\psi :[0,1]\rightarrow \Delta ^{\perp }\setminus \{0\}\), called abnormal lift of \(\gamma \), such that \(\psi \) is a horizontal path with respect to \(\vec {\Delta }\) and \(\pi (\psi )=\gamma \).
The following characterization is due to Hsu [19] and plays a major role in the proof of Proposition 3.3. We recall that, for every \(\psi \in T^*M\), \(\text{ ker } (\omega _{\vert \Delta ^{\perp }})_{\psi }\) is defined as
where \( \left( T_{\psi } \Delta ^{\perp } \right) ^{\omega } \) denotes the symplectic complement of \( T_{\psi } \Delta ^{\perp }\).
Proposition A.2
Let \(\gamma : [0,1] \rightarrow M\) be fixed, then the two following properties are equivalent:

(i)
\(\gamma \) is a singular horizontal path with respect to \(\Delta \).

(ii)
There exists an absolutely continuous curve \(\psi :[0,1]\rightarrow \Delta ^{\perp }\setminus \{0\}\) with derivatives in \(L^2\), called abnormal lift of \(\gamma \), such that \(\pi (\psi )=\gamma \) and
$$\begin{aligned} {\dot{\psi }}(t)\in \text{ ker } (\omega _{\vert \Delta ^{\perp }})_{\psi (t)} \quad \text{ for } \text{ a.e. } t\in [0,1]. \end{aligned}$$
Proof of Proposition A.2
First, we note that
As a matter of fact, if \(\xi \in T_{\psi }(T^*M)\) satisfies \(\xi \cdot h^i (\psi )=0\) for some \(i=1, \ldots ,m,\) then \(\omega _{\psi }(\xi ,\vec {h}^i)=0\). This shows that \(T_{\psi } \Delta ^{\perp }\) is contained in the symplectic complement of \(\vec {\Delta }_\psi \). Thus, since both spaces have the same dimension \(2nm\), they must coincide.
Thanks to this fact we deduce that \(\left( T_{\psi } \Delta ^{\perp } \right) ^{\omega }=\vec {\Delta }_\psi \), hence
Let us now prove that (i) \(\Rightarrow \) (ii). By Proposition A.1, if \(\gamma : [0,1] \rightarrow M\) is a singular horizontal path with respect to \(\Delta \), it is the projection of a curve \(\psi :[0,1]\rightarrow \Delta ^{\perp }\) which is horizontal with respect to \(\vec {\Delta }\). Thus \({\dot{\psi }}(t)\in \vec {\Delta }_{\psi (t)}\cap T_{\psi (t)} \Delta ^{\perp }\) for a.e. \(t \in [0,1]\), and (A.1) yields the result.
To prove that (ii) \(\Rightarrow \) (i) it suffices to observe that, thanks to (A.1) and Proposition A.1, any absolutely continuous curve \(\psi :[0,1]\rightarrow \Delta ^{\perp }\) with derivatives in \(L^2\) and with \({\dot{\psi }}(t)\in \text{ ker } (\omega _{\vert \Delta ^{\perp }})_{\psi (t)}\) projects onto a curve which is horizontal and singular with respect to \(\Delta \). \(\square \)
Finally, we conclude this section with a uniform bound on the norm of the lift of singular horizontal paths. For this purpose, we equip M with a Riemannian metric g, and denote the corresponding dual norm on \(T^*M\) as \(\cdot ^*\) (namely, \(\psi ^*\) stands for the norm of p at x, where \(\psi =(x,p)\) and \(p\in T_x^*M\)).
Proposition A.3
Let \({\mathcal {K}}\) be a compact set in M and \(\ell >0\) be fixed. Then there is \(K=K({\mathcal {K}},\ell )>0\) such that, given a singular horizontal path \(\gamma :[0,1] \rightarrow {\mathcal {K}}\) of length less than \(\ell \), any lift \(\psi :[0,1]\rightarrow \Delta ^{\perp }\) given by Proposition A.1(ii) or A.2(ii) with \(\psi (0)^*\le 1\) satisfies
Proof of Proposition A.3
Let \({\mathcal {K}}\) be a compact set in M and \(\ell >0\) be fixed. For each \(x\in {\mathcal {K}}\), there are an open neighborhood \(U^x\) of x and m smooth vector fields \(X^1_m, \ldots , X^m_x\) defined over a neighborhood \(V^x\) of \({\bar{U}}^x\) such that
By compactness of \({\mathcal {K}}\) there are \(x_1, \ldots , x_N\) in \({\mathcal {K}}\) such that
Therefore if we multiply each \(X_{x_i}\) by a cutoff function vanishing outside \(V^{x_i}\), we can construct a family of smooth vector fields \(X^1, \ldots , X^k\) (with \(k=m\cdot N\)) on M which generate \(\Delta \) over \({\mathcal {K}}\) such that for every \(x\in {\mathcal {K}}\) and every \(v\in \Delta _x \subset T_xM\) there is \(u(x)\in {\mathbb {R}}^k\) such that
for some constants \(C_1, C_2>0\) independent of v. Let \(\gamma :[0,1] \rightarrow {\mathcal {K}}\) be a singular horizontal path of length less than \(\ell \) and \(\psi =(\gamma ,p):[0,1]\rightarrow \Delta ^{\perp }\) a lift of \(\gamma \) (given by Proposition A.1(ii) or A.2(ii)) with \(\psi (0)^*\le 1\). There is \(u\in L^2([0,1],{\mathbb {R}}^k)\) such that for a.e. \(t\in [0,1]\), there holds
and
Then, if we define \(\alpha :[0,1] \rightarrow {\mathbb {R}}\) by \(\alpha (t) := 1+\psi (t)^*\), there holds
for some \(C>0\). Thus, noticing that \(\alpha (0)\le 2\), it follows by Gronwall Lemma that
as desired. \(\square \)
Semianalytic curves
We recall the basic facts on semianalytic sets of dimension 1 that we need in this paper. For detailed presentations of semianalytic sets we refer the reader to [11, 26].
Let M be a real analytic manifold of dimension n. A subset X of M is semianalytic if each \(y\in M\) has a neighborhood U such that \(X\cap U\) is a finite union of sets of the form
where \(f_i:U\rightarrow {\mathbb {R}}\) and \(g_j:U\rightarrow {\mathbb {R}}\) are real analytic functions. (One can always assume that \(p=1\), that is sometimes done in the literature, because \(\{f_1(x)=\cdots =f_p(x) = 0\}\) is the zero set of the sum of squares \(\sum _i f^2_i\).) Every semianalytic set admits a locally finite stratification into nonsingular strata which are locally closed analytic submanifolds of dimension \(k \in \{0,\ldots ,n\}\) and semianalytic sets. The dimension of a semianalytic set is defined as the maximum of the dimensions of its strata, and it coincides with its Hausdorff dimension.
Definition B.1
In this paper we call a semianalytic curve of M any compact connected semianalytic subset of M of Hausdorff dimension at most 1.
Remark B.2
The image of a semianalytic curve by an analytic map is again semianalytic. This follows for instance from [26, Theorem 1, p. 92]. (We note that this property fails for compact semianalytic sets of higher dimension. In this case such images are not necessarily semianalytic, but they are subanalytic, cf. [11].)
By the existence of a Whitney regular stratification, see [26] or [43], we have the following:
Lemma B.3
(Regular stratification of X) Let X be a semianalytic curve of M. Then there exists a stratification of X,
that satisfies the following properties: \(X^0\) is finite and \(X^1\) is a finite union of 1dimensional strata. Every 1dimensional stratum \(\Pi \) is a connected locally closed analytic submanifold of M and a semianalytic set, and, moreover, its closure \({{\overline{\Pi }}}\) in M is a \(C^ 1\) submanifold with boundary.
Similarly to Remark 2.5, we have the following strengthening of the above property.
Remark B.4

(i)
By [35, Proposition 2] or [43] (proof of Proposition p.342), any stratification as in Lemma B.3 satisfies, in addition, the following property: For every 1dimensional stratum \(\Pi \) and every \(p\in {{\overline{\Pi }}} \setminus \Pi \) there exist a positive integer k and a local system of analytic coordinates \((x_1,x')\), \(x'=(x_2, \ldots , x_{n})\), at p such that \({{\overline{\Pi }}}\) is given by the graph \(\{x'= \varphi (x_1)\}\), defined locally on \(\{x_1\ge 0 \}\), where \(\varphi \) is \(C^1\) and the mapping \(t\mapsto \varphi (t^k)\) is analytic. This implies in particular that \(\varphi \) is of class \(C^{1,1/k}\) (see Remark 2.5 for a proof of the latter property).

(ii)
It follows by the above results that every semianalytic curve admits a continuous piecewise analytic parameterization \(\gamma : [0,1] \rightarrow M\). In other words, there exists a finite set \(0=t_0< t_1 \cdots <t_N =1\) such that \(\gamma \) restricted to each subinterval \([t_i, t_{i+1}]\) is analytic (i.e., extends analytically through the endpoints), and the endpoints are the only possible critical points of such restriction.
Hardy fields
A Hardy field \({\mathcal {F}}\) is a field of germs at \(+\infty \) of functions from \({\mathbb {R}}\) to \({\mathbb {R}}\) (that is, for each \(f\in {\mathcal {F}}\), there exists \({\bar{z}}_f \in {\mathbb {R}}\) such that \(f:({\bar{z}}_f,\infty )\rightarrow {\mathbb {R}}\) is welldefined) which is closed under differentiation. Since every nonzero function in \({\mathcal {F}}\) admits an inverse (in \({\mathcal {F}}\)), any element of a Hardy field is eventually either strictly positive, strictly negative, or zero. Therefore, since the field is closed under differentiation, it follows that:
Lemma C.1
Let \(f:({\bar{z}},\infty )\rightarrow {\mathbb {R}}\) be a function in a Hardy field. Then there exists \({\bar{w}} \in ({\bar{z}},\infty )\), such that the restriction \(f_{({\bar{w}},\infty )}:({\bar{w}},\infty ) \rightarrow {\mathbb {R}}\) is either strictly monotone or constant.
In [38] Speissegger constructs a Hardy field \({\mathcal {F}}\) that contains all almost regular germs in the sense of Ilyashenko [20]. Therefore, by [20, pp. 2429], \({\mathcal {F}}\) contains, via composition with \(\log t\), all germs of transition maps of hyperbolic singularities (i.e., saddles) of planar analytic vector fields. That means that if \(\varphi \) is such a transition map then \(\varphi \circ \exp (x)\) belongs to \({\mathcal {F}}\). In particular, it follows that all algebraic combinations, sums and products, of such transition maps are monotone. We use this result in the proof of Lemma 4.14.
Resolution of singularities
In what follows, M is a realanalytic manifold and we denote by \({\mathcal {O}}_M\) the sheaf of analytic functions over M. Given a point \({\bar{z}} \in M\), we denote by \({\mathcal {O}}_{M,{\bar{z}}}\) the analytic function germs at \({\bar{z}}\) and by \(m_{{\bar{z}}}\) the maximal ideal of \({\mathcal {O}}_{M,{\bar{z}}}\). Given an ideal sheaf \({\mathcal {I}}\) of \({\mathcal {O}}_M\) and a point \({\bar{z}}\in M\), the order of \({\mathcal {I}}\) at \({\bar{z}}\) is defined by
The zero set of \({\mathcal {I}}\), which we denote by \(V({\mathcal {I}})\), is the set of points where the order of \({\mathcal {I}}\) is at least one.
1.1 Blowingsup
Blowingup of \({\mathbb {R}}^n\). We start by briefly recalling the definition of blowingsup over \({\mathbb {R}}^n\) (see [21, Sections 8B and 8C] or [3, Section 3.1] for a more complete discussion). Let us fix a coordinate system \((x_1, \ldots , x_n)\) of \({\mathbb {R}}^n\) and we consider a submanifold \({\mathcal {C}} = \{ x_1 =0,\ldots , x_t=0\}\) for some \(1\le t\le n\). Let \({\mathbb {P}}^{t1}\) be the real projective space of dimension \(t1\) with homogenous coordinates \((y_1,\ldots , y_t)\). We consider the set \({\widetilde{M}} \subset {\mathbb {R}}^{n} \times {\mathbb {P}}^{t1}\) given by
Note that \({\widetilde{M}}\) is an analytic manifold. The restriction of the projection map \(\tau : {\mathbb {R}}^{n} \times {\mathbb {P}}^{t1} \rightarrow {\mathbb {R}}^{n}\) to \({\widetilde{M}}\), which we denote by \(\sigma :{\widetilde{M}} \rightarrow {\mathbb {R}}^{n}\), is called a blowingup (with center \({\mathcal {C}} = \{ x_1 =0,\ldots , x_t=0\}\)). The set \(F = \sigma ^{1}({\mathcal {C}})\) is said to be the exceptional divisor of \(\sigma \). Note that \(\sigma \) is an analytic diffeomorphism from \({\widetilde{M}} \setminus F\) into its image \({\mathbb {R}}^n \setminus {\mathcal {C}}\).
Directional charts: In the notation of the previous paragraph, we can cover \({\widetilde{M}}\) by t standart charts as follows. Let \(U_k = {\widetilde{M}} \cap \{y_k\ne 0\}\) for \(k=1,\ldots ,t\). Then there is a coordinate systems \((u,\pmb {v}) = (u,v_1,\ldots ,v_{k1},v_{k+1},\ldots ,v_n)\) on \(U_k\) such that \(\sigma _k := \sigma _{U_k}\) is given by
and note that \(F = (u=0)\). The map \(\sigma _k:U_k \rightarrow {\mathbb {R}}^n\) is called the \(x_k\)chart of the blowingup.
Blowingsup in general manifolds: It is wellknown that the definition of blowingup can be extended to general analytic manifolds. This means that, given a nonsingular analytic irreducible submanifold \({\mathcal {C}}\) of M, there exists a proper analytic map \(\sigma : {\widetilde{M}} \rightarrow M\) such that, at every point \({\bar{z}} \in {\mathcal {C}}\), the map \(\sigma \) locally coincide with the model of the previous paragraph. The submanifold \({\mathcal {C}}\) is said to be the center of the blowingup \(\sigma \). For a precise definition and further details about blowingsup, we refer the reader to [15, Section II.7].
Simple normal crossing divisors: A smooth divisor F over M is a nonsingular and connected analytic hypersurface of M. We denote by \({\mathcal {I}}_F\) the reduced and coherent ideal sheaf of \({\mathcal {O}}_M\) whose zero set is F. Note that, at each point \({\bar{z}} \in F\), there exists a coordinate system \(x= (x_1,\ldots ,x_n)\) centered at \({\bar{z}}\) such that, locally, \({\mathcal {I}}_F = (x_1)\).
A simple normal crossing divisor over M, which we call SNC divisor for short, is a set E which is a union of smooth divisors and, at each point \({\bar{z}} \in E\), there exists a coordinate system \(x= (x_1,\ldots ,x_n)\) centered at \({\bar{z}}\) such that, locally, \(E = (x_1 \cdots x_l=0)\) for some \(1 \le l\le n\). In this case, we say that \({\bar{z}}\) is a lpoint (because there are l irreducible components of E passing through \({\bar{z}}\)).
Remark D.1
In the literature, a SNC divisor E is a finite union of divisors. Here, we allow E to have countable number of divisors in order to simplify the notation used for a resolution of singularities in the analytic category (c.f. Definition D.2 below). Indeed, in the analytic category it is usual to present resolution of singularities in term of relatively compact sets \(U\subset M\); note that the restriction \(E \cap U\) is a finite union of divisors.
Given a blowingup \(\sigma : {\widetilde{M}} \rightarrow M\) with center \({\mathcal {C}}\), we note that the preimage of \({\mathcal {C}}\) is a divisor, which we call the exceptional divisor associated to \(\sigma \).
Admissible blowingsup: Consider a SNC divisor E over M. A blowingup \(\sigma : {\widetilde{M}} \rightarrow M\) is said to be admissible (in respect to E) if the center of blowingup \({\mathcal {C}}\) has normal crossings with E, that is, at each point \({\bar{z}} \in {\mathcal {C}}\), there exist a coordinate system \(x=(x_1,\ldots ,x_n)\) centered at \({\bar{z}}\) and a sublist \((i_1,\dots , i_t)\) of \((1,\ldots , n)\) such that, locally, \(E = (x_1 \cdots x_l =0)\) with \(l\le n\), and \({\mathcal {C}} = (x_{i_1}=0,\ldots ,x_{i_t}=0)\). Now, consider the set \({\widetilde{E}}\) given by the union of the preimage (under \(\sigma \)) of E with the exceptional divisor F (of \(\sigma \)); if the blowingup is admissible, it is not difficult to see that \({\widetilde{E}}\) is a SNC divisor. From now on, we denote an admissible blowingup by \(\sigma : ({\widetilde{M}},{\widetilde{E}}) \rightarrow (M,E)\). Finally, if the center \({\mathcal {C}}\) of an admissible blowingup \(\sigma \) is given by the intersection of irreducible components of E, we say that the blowingup is combinatorial.
Sequence of admissible blowingsup: A finite sequence of admissible (respectively combinatorial) blowingsup is given by
where each successive blowingup \(\sigma _{i+1}: (M_{i+1},E_{i+1} )\rightarrow (M_i,E_i)\) is admissible (respectively combinatorial) in respect to the SNC divisor \(E_i\). More generally, we abuse notation and we consider:
Definition D.2
A sequence of admissible (respectively combinatorial) blowingsup is a proper analytic morphism
which is locally a finite composition of admissible (respectively combinatorial) blowingsup. In other words, for each relatively compact \(U \subset M\), the restricted morphism \(\sigma _{\sigma ^{1}(U)}\) is a finite sequence of admissible (respectively combinatorial) blowingsup.
Remark D.3
(On directional charts after a sequence of combinatorial blowingsup) Let \(u=(u_1,u_2)\) be a coordinate system of \({\mathbb {R}}^2\) and consider the SNC divisor \(E = (u_1 \cdot u_2 =0)\). Now, consider a sequence of combinatorial blowings \(\sigma : ({\widetilde{M}},{\widetilde{E}}) \rightarrow ({\mathbb {R}}^2,E)\) and let \({\bar{z}}\) be a 2point of \({\widetilde{M}}\). By a direct computation that uses the directional charts (D.1) there exists a coordinate system \({\tilde{u}}=({\tilde{u}}_1,{\tilde{u}}_2)\) centered at \({\bar{z}}\) such that \({\widetilde{E}}=({\tilde{u}}_1 \cdot {\tilde{u}}_2=0)\) and:
where the matrix \(A=(a_{ij})\) is nondegenerate (even more, its determinant is equal to \(\pm 1\)).
1.2 Resolution of singularities of an analytic hypersurface
Let M be an analytic manifold and E a SNC divisor. Consider an analytic (space) hypersurface \(\Sigma \subset M\), and denote by \({\mathcal {I}}\) the (principal) reduced and coherent ideal sheaf whose zero set is \(\Sigma \). The singular set of \(\Sigma \) (as an analytic space), which we denote by \(Sing(\Sigma )\), is the set of points \({\bar{z}}\in M\) over which \({\mathcal {I}}\) has order at least two.
Given an admissible blowingup \(\sigma : ({\widetilde{M}},{\widetilde{E}}) \rightarrow (M,E)\) with center \({\mathcal {C}} \subset M\) and exceptional divisor F, we denote by \(\sigma ^{*}({\mathcal {I}})\) the total transform of \({\mathcal {I}}\) (that is, the ideal sheaf which is generated by germs \(f \circ \sigma \), where f is a germ belonging to \({\mathcal {I}}\)). We define the strict transform \(\widetilde{{\mathcal {I}}}\) of \({\mathcal {I}}\) by
where r is the maximal natural number such that \(\widetilde{{\mathcal {I}}}\) is welldefined. The strict transform \({\widetilde{\Sigma }}\) of \(\Sigma \) is the zero set of \(\widetilde{{\mathcal {I}}}\). Note that we can extend the definition of strict transform to sequences of admissible blowingsup in a straightforward way, details are left to the reader.
Roughly, a resolution of singularities of \(\Sigma \) is a sequence of admissible blowingsup \(\sigma :({\widetilde{M}},{\widetilde{E}}) \rightarrow (M,E)\), which is an isomorphism outside of \(Sing(\Sigma )\), such that \({\widetilde{\Sigma }} \subset {\widetilde{M}}\) is an analytic smooth hypersurface which is transverse to the divisor \({\widetilde{E}}\): this means that, at every point \(x\in {\widetilde{E}}\), there exist a coordinate system \((x_1,\ldots , x_n)\) centered at x and \(l<n\) such that locally \({\widetilde{E}} =\{x_1 \cdots x_l =0\}\) and \({\widetilde{\Sigma }} = \{x_n=0\}\). This last condition guarantees that \({\widetilde{E}}_{{\widetilde{\Sigma }}}= {\widetilde{E}} \cap {\widetilde{\Sigma }}\) is also a SNC divisor, and we may consider the pair \(({\widetilde{\Sigma }},{\widetilde{E}}_{{\widetilde{\Sigma }}})\).
The classical Theorem of Hironaka adapted to the realanalytic setting (see e.g. [12, 46]) and specialized to hypersurfaces, yields the following statement:
Theorem D.4
(Resolution of singularities) Let M be a realanalytic manifold, E be an SNC divisor in M. and \(\Sigma \subset M\) be a reduced and coherent analytic (space) hypersurface of M. Then there exists a resolution of singularities of \(\Sigma \). In other words, there exists a sequence of admissible blowingsup
such that the strict transform of \({\widetilde{\Sigma }}\) of \(\Sigma \) is smooth and transverse to \({\widetilde{E}}\) and the restriction of \(\sigma \) to \({\widetilde{M}}\setminus {\widetilde{E}}\) is diffeomorphism onto its image \(M\setminus Sing(\Sigma )\).
1.3 Logrank and Hsiang–Pati coordinates
In the proof of Lemma 4.14, it is important to control the pulledback metric after resolution of singularities. In order to do so, we use Hsiang–Pati coordinates [18], which we recall below.
We start by general considerations valid for any analytic map. Consider an analytic map \(\pi : X \rightarrow Y\), where X denotes a nonsingular real analytic surface (so, X is 2dimensional) with simple normal crossings divisor E, and Y denotes a realanalytic manifold of dimension \(N\ge 2\). Given a point \({\bar{z}}\in E\):

We say that \({\bar{z}}\) is a 1point if there exists only one irreducible component of the divisor E at \({\bar{z}}\). In this case, there exists a (analytic) coordinate system (u, v) centered at \({\bar{z}}\) such that \(E = \{u=0\}\).

We say that \({\bar{z}}\) is a 2point if there exist two irreducible components of the divisor E at \({\bar{z}}\). In this case, there exists a (analytic) coordinate system \(\pmb {u}= (u_1,u_2)\) centered at \({\bar{z}}\) such that \(E = \{u_1\cdot u_2=0\}\).
For each point \({\bar{z}}\in X\), we define the logarithmic rank of \(\pi \) at \({\bar{z}}\) (in terms of a locally defined coordinate system at \({\bar{z}}\) and \({\bar{w}}=\pi ({\bar{z}})\)) by
For more detail about the logarithmic rank, we refer to [8, Section 2.1].
Remark D.5
Let \(\Sigma _0\) denote the set of points \({\bar{z}} \in X\) such that \(\text{ log } \text{ rk}_{{\bar{z}}}\pi =0\). If \(\pi :X \rightarrow Y\) is a proper map, then \(\pi (\Sigma _0)\) is a locally finite set of points in Y (c.f. [8, Section 3.2]).
We say that \(\pi :X \rightarrow Y\) has Hsiang–Pati coordinates (with respect to E) if \(\pi \) has maximal rank outside of E and, for every point \({\bar{z}} \in E\) there exist coordinate systems (u, v) (respectively \(\pmb {u}=(u_1,u_2)\) if \({{\bar{z}}}\) is a 2point) centered at \({\bar{z}}\), and \((\pi _1,\ldots , \pi _N)\) centered at \({\bar{w}}=\pi ({\bar{z}})\), such that:
where \(\alpha , \, \beta \in {\mathbb {N}}\) (respectively \(\pmb {\alpha },\, \pmb {\beta } \in {\mathbb {N}}^2\) if \({\bar{z}}\) is a 2point, \(d\pi _1\wedge d g_i(\cdot ) \equiv 0\), \(d\pi _1 \wedge d\pi _2 \not \equiv 0\), \(\pi _1\) divides \(g_i\), \(u^{\beta }\) (or \(\pmb {u}^{\beta }\)) divides \(h_i\), for each \(i=2,\ldots , N\), and \(u^{\alpha }\) divides \(u^{\beta }\) (respectively \(\pmb {u}^{\alpha }\) divides \(\pmb {u}^{\beta }\)). We now recall the main result of [8] (which strenghten [18]), specialized to the simpler case that \(\text{ dim } \,X =2\) and \(\text{ dim }\, Y = 3\).
Theorem D.6
(Hsiang–Pati coordinates) With the notation of Theorem D.4, suppose in addition that \(\text{ dim } \,M=3\) (and, therefore, \(\Sigma \) is a surface). Then, up to composing with further blowingsup, we can suppose that the resolution of singularities \(\pi = \sigma _{{\widetilde{\Sigma }}}: ({\widetilde{\Sigma }},{\widetilde{E}}_{{\widetilde{\Sigma }}}) \rightarrow (\Sigma ,Sing(\Sigma ))\) has Hsiang–Pati coordinates (with respect to E). Furthermore, the property of Hsiang–Pati coordinates is preserved by composing \(\pi \) with a finite sequence of blowingup \(\pi ': (\Sigma ',E') \rightarrow ({\widetilde{\Sigma }},{\widetilde{E}}_{{\widetilde{\Sigma }}})\) of one of the following two forms:

(i)
The morphism \(\pi '\) is a blowingup whose center is a point \({\bar{z}}\), where \(\text{ log } \text{ rk}_{{\bar{z}}}\pi =0\).

(ii)
The morphism \(\pi '\) is the principalization of the maximal ideal \(m_{{\bar{w}}}\), where \({\bar{w}} \in \Sigma \) is an arbitrary point, that is, the pullback of \(m_{{\bar{w}}}\) via \(\pi '\) is an ideal sheaf which is principal at every point of \(\Sigma '\).
Proof of Theorem D.6
The existence of the resolution of singularities \(\pi \) is guaranteed by [8, Corollary 3.8] and [8, Lemma 3.1]. The Hsiang–Pati property is preserved by (i) either by direct computation or by [8, Lemma 2.3(2), Remark 3.5(2), and Lemma 3.1]; and by (ii) either by direct computation, or by [8, Lemma 3.4, Lemma 2.3(2), and Lemma 3.1]. \(\square \)
In this paper, we use the following consequence, which is a variation of [18, Lemma 3.1]:
Lemma D.7
With the notation of Theorem D.6, let g be a Riemmanian metric on M. Fix a point \({\bar{z}}\) in \({\widetilde{\Sigma }}\). Suppose that \({\bar{z}}\) is a 2point and that the expression of \(\pi \) satisfies Eq. (D.5). Then, in a neighborhood of \({\bar{z}}\), the pulledback metric \(g^{*}\) of g is biLipschitz equivalent to the metric
Proof of Lemma D.7
Let \({\bar{w}}=\pi ({\bar{z}})\). We start by noting that locally (over \({\bar{w}}\)) the metric g is biLipschitz equivalent to the Euclidean metric \(Euc = d\pi _1^2 + d\pi _2^2 + d\pi _3^2\). Therefore, it is enough to prove that the pullback of Euc is biLipschitz equivalent to \(ds^2\). By Eq. (D.5) we get
where we recall that \(h(\pmb {u})\) is an analytic function divisible by \(\pmb {u}^{\beta })\). Now, since \(dg_i \wedge d\pi _1 \equiv 0\) and \(\pi _1\) divides \(g_i\), we see that
for some analytic functions \(\widetilde{g_i}\) for \(i=2,3\). Furthermore, since \(\alpha \) and \(\beta \) are \({\mathbb {Q}}\)linearly independent (because \(d\pi _1\wedge d\pi _2 \not \equiv 0\) and \(d\pi _1 \wedge d g_2 \equiv 0\)) and \(h(\pmb {u})\) is an analytic function divisible by \(\pmb {u}^{\beta }\), we deduce that
for some analytic functions \(h_{\alpha }\) and \(h_{\beta }\). Indeed, since \(\alpha \) and \(\beta \) are \({\mathbb {Q}}\)linearly independent, \(\frac{d u_1}{u_1}\), \(\frac{d u_2}{u_2}\) are \({\mathbb {Q}}\)linear combinations of \(\frac{d\pmb {u}^{\alpha }}{\pmb {u}^{\alpha }}\), \(\frac{d\pmb {u}^{\beta }}{\pmb {u}^{\beta }}\). Therefore, since \(h(\pmb {u})\) is an analytic function divisible by \(\pmb {u}^{\beta }\),
Then it suffices to multiply the above identity by \(\pmb {u}^{\beta }\) (recall that \(\pmb {u}^{\alpha }\) divides \(\pmb {u}^{\beta }\)).
This implies that
On the one hand, by using the inequality \(a^2+2ab+b^2 \le 2(a^2+b^2)\), we get
for some positive \(K>0\). On the other hand, by using the inequality \(a^2\ge 0\) we get
Since \({\widetilde{g}}_2(\pmb {u}) \le \ell \) for some \(\ell >0\), it follows that there exists \(k=k(\ell )>0\) small such that \((1k)\sqrt{1+{\widetilde{g}}_2(\pmb {u})^2} \ge {\widetilde{g}}_2(\pmb {u})\). Hence
from which we deduce that
concluding the proof of the lemma. \(\square \)
1.4 Reduction of singularities of a planar realanalytic line foliation
Consider an analytic vector field \({\mathcal {Z}}\) over an open and connected set \(U \subset {\mathbb {R}}^2\) and denote by \(\eta \) the analytic 1form associated to it by the relation \(i_{{\mathcal {Z}}}\omega _{U} = \eta \), where \(\omega _{U}\) is the volume form associated to the Euclidean metric. A point \(x\in U\) is said to be a singularity of \({\mathcal {Z}}\) if \({\mathcal {Z}}(x) =0\). We assume that \({\mathcal {Z}} \not \equiv 0\), which implies that the singular set \(Sing({\mathcal {Z}})\) is a proper analytic subset of U. We now recall the definition of elementary singularities (following [21, Definition 4.27]):
Definition D.8
(Elementary singularities) Suppose that the origin \(0 \in U\) is a singular point of \({\mathcal {Z}}\) and consider the Jacobian matrix \(\text{ Jac }({\mathcal {Z}})\) associated to \({\mathcal {Z}}\). We say that 0 is an elementary singularity of \({\mathcal {Z}}\) if \(\text{ Jac }({\mathcal {Z}})\) evaluated at 0 has at least one eigenvalue with nonzero real part.
Remark D.9
(On elementary singularities) Given a vector field \({\mathcal {Z}} = A(x,y) \partial _x + B(x,y) \partial _y\) defined in \({\mathbb {R}}^2\), the Jacobian of \({\mathcal {Z}}\) is given by
Therefore, the eigenvalues of \(\text{ Jac }({\mathcal {Z}})\) are solutions (in \(\lambda \)) of the following polynomial equation:
where \(\text{ tr }(\cdot )\) and \(\det (\cdot )\) stand for the trace and determinant respectively. In particular:

(i)
if \(\det (\text{ Jac }({\mathcal {Z}})(0))<0\), then the two solutions of Eq. (D.6) are nonzero real numbers of opposite signs. This implies that 0 is a saddle singularity of \({\mathcal {Z}}\).

(ii)
if \({\mathcal {Z}}\) has an elementary singularity at 0 and \(\text{ tr }(\text{ Jac }({\mathcal {Z}})(0))=0\), then \(\det (\text{ Jac }({\mathcal {Z}})(0))<0\) (otherwise, the real part of the eigenvalues \(\lambda \) would be zero, a contradiction).
Given an analytic surface \({\mathscr {S}}\), we recall that a line foliation \({\mathscr {L}}\) is a coherent subsheaf of the tangent sheaf \(T{\mathscr {S}}\) such that, for each point \(x\in {\mathscr {S}}\), there exist a neighborhood \(U_x\) of x and a vector field \({\mathcal {Z}}\) defined over \(U_x\) which generates \({\mathscr {L}}\). We define, therefore, the notion of elementary singularities of a line foliation correspondingly. The objective of a reduction of singularities of a line foliation \({\mathscr {L}}\) is to provide a sequence of blowingsup so that the “transform” of \({\mathscr {L}}\) only have isolated elementary singularities (and is “adapted” to the divisor E arising from the sequence of blowingsup).
More precisely, consider an admissible blowingup \(\sigma : (\widetilde{{\mathscr {S}}},{\widetilde{E}}) \rightarrow ({\mathscr {S}},E)\) with center \({\mathcal {C}}\) and exceptional divisor F. The strict transform of \({\mathscr {L}}\) is the analytic line foliation \(\widetilde{{\mathscr {L}}}\) which satisfies
where \({\mathcal {I}}_F\) is the reduced ideal sheaf whose zero set is F, \(d\sigma ^{*}({\mathscr {L}})\) is the pullback of \({\mathscr {L}}\) (which might have poles) and r is the maximal number in \(\{1\} \cup {\mathbb {N}}\) so that \(\widetilde{{\mathscr {L}}}\) is welldefined.
Finally, we say that a line foliation \({\mathscr {L}}\) is adapted to a SNC divisor E if, for each irreducible component F of E:

either \({\mathscr {L}}\) is everywhere tangent to F (in which case, we say that \({\mathscr {L}}\) is nondicritical over F);

or \({\mathscr {L}}\) is everywhere transverse to F (in which case, we say that \({\mathscr {L}}\) is dicritical over F).
The classical BendixsonSeidenberg Theorem (see e.g. [3, Theorem 3.3] or [21, Theorem 8.14 and Section 8K] and references therein) yields the following:
Theorem D.10
(Reduction of singularities of planar line foliations) Let \({\mathscr {S}}\) be a connected realanalytic surface, E be a SNC crossing divisor on \({\mathscr {S}}\), and \({\mathscr {L}}\) be an analytic line foliation on \({\mathscr {S}}\) (not vanishing identically). Then there exists a sequence of admissible blowingsup
such that the strict transform \(\widetilde{{\mathscr {L}}}\) is adapted to \({\widetilde{E}}\), and its singular points are all isolated and elementary.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
da Silva, A.B., Figalli, A., Parusiński, A. et al. Strong Sard conjecture and regularity of singular minimizing geodesics for analytic subRiemannian structures in dimension 3. Invent. math. 229, 395–448 (2022). https://doi.org/10.1007/s00222022011112
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222022011112