\section{Introduction}
\label{sect:intro}

For a fixed integer $n\geq 2$,
let $\Spin_{n+1}$ be the universal covering
of the orthogonal group $\SO_{n+1}$.
For $j\in[\![ n ]\!]=\{1,2,\ldots,n\}$,
consider the skew-symmetric tridiagonal matrices
${\mathfrak a}_j=e_{j+1}e_j^\top-e_je_{j+1}^\top\in\so_{n+1}$
as elements of the Lie algebra $\spin_{n+1}$, via the
isomorphism of Lie algebras induced by the covering map $\Pi$.

A map $\Gamma:J\to\Spin_{n+1}$
defined on an interval $J\subseteq{\mathbb{R}}$
is called a \emph{locally convex curve}
if it is absolutely continuous
(hence differentiable almost everywhere) and
its logarithmic derivative is almost everywhere of the form
\begin{equation}
\label{equation:locallyconvex}
(\Gamma(t))^{-1}\Gamma'(t)=
\sum_{j\in[\![ n ]\!]}\kappa_j(t){\mathfrak a}_j,
\end{equation}
for positive functions $\kappa_1,\ldots,\kappa_n:J\to(0,+\infty)$.

Given a smooth locally convex curve $\Gamma$,
the smooth curve $\gamma:J\to{\mathbb{S}}^n$ defined by
$\gamma(t)=\Pi(\Gamma(t))e_1$
satisfies
$\det(\gamma(t),\gamma'(t),\ldots,\gamma^{(n)}(t))>0$
for all $t\in J$.
A parametric curve $\gamma:J\to{\mathbb{R}}^{n+1}$ of class $C^n$
satisfying the inequality above is also called
\emph{(positive) locally convex}
\cite{Alves-Saldanha, Saldanha3, Saldanha-Shapiro}
or
\emph{(positive) nondegenerate}
\cite{Goulart-Saldanha, Khesin-Ovsienko, Khesin-Shapiro2, Little}.
Such a curve $\gamma$ can be lifted to a locally convex curve
$\Frenet_{\gamma}$ in $\SO_{n+1}$
(and therefore in $\Spin_{n+1}$) of class $C^1$
by taking the orthogonal matrix $\Frenet_{\gamma}(t)$
whose column-vectors are the result of applying the
Gram-Schmidt algorithm to the ordered basis
$(\gamma(t),\gamma'(t),\ldots,\gamma^{(n)}(t))$ of ${\mathbb{R}}^{n+1}$.
The orthogonal basis of ${\mathbb{R}}^{n+1}$ thus obtained
is the (generalized) Frenet frame of the space curve $\gamma$.
By the classical Frenet-Serret formulae,
the coefficients $\kappa_1,\ldots,\kappa_n$
of the logarithmic derivative of $\Frenet_\gamma$
admit geometric interpretations:
$\kappa_1=v_\gamma=|\gamma'|$ is
the velocity of $\gamma$;
$\kappa_2=v_\gamma\varkappa_1$,
where $\varkappa_1$ is the geodesic curvature of $\gamma$;
$\kappa_3=v_\gamma\varkappa_2$,
where $\varkappa_2$ is the geodesic torsion of $\gamma$,
and so on
\cite{Klingenberg1, Novikov-Yakovenko}.
The term locally convex comes from the fact that
a nondegenerate curve $\gamma:J\to{\mathbb{R}}^{n+1}$
can be partitioned into finitely many
\emph{convex} arcs, i.e., arcs that intersect any $n$-dimensional subspace of ${\mathbb{R}}^{n+1}$ at most $n$ times
(with multiplicities taken into account);
see Subsection \ref{subsect:convex}.

Given $r\in{\mathbb{N}}^\ast$ and $z_0,z_1\in\Spin_{n+1}$,
let ${\cal L}_n^{[C^r]}(z_0;z_1)$ denote the space of
locally convex curves $\Gamma:[0,1]\to\Spin_{n+1}$
of differentiability class $C^r$ with endpoints
$\Gamma(0)=z_0$ and $\Gamma(1)=z_1$.
We endow this space with the usual
$C^r$ topology and consider the problem
of describing its homotopy type.
This is equivalent to the problem of studying the homotopy
type of the space $\mathcal{L}\mathbb{S}^n(z_0;z_1)$ of
nondegenerate spherical curves $\gamma:[0,1]\to{\mathbb{S}}^n$
satisfying $\Frenet_\gamma(0)=z_0$ and $\Frenet_\gamma(1)=z_1$
with the subspace topology inherited from
$C^n([0,1],{\mathbb{R}}^{n+1})$
(see Subsection \ref{subsect:Hilbert}).
Some historical motivation for this problem
is given at the end of this introduction.
Of course, we have the natural homeomorphism
${\cal L}_n^{[C^r]}(z_0;z_1)\approx{\cal L}_n^{[C^r]}(1;z_0^{-1}z_1)$.
The present paper provides an important preliminary step
for the construction of an abstract cell complex ${\cal D}_n(z)$
weak homotopy equivalent to
${\cal L}_{n}^{[C^r]}(z)={\cal L}_{n}^{[C^r]}(1;z)$.
The existence of ${\cal D}_n(z)$
and the construction of its lowest dimensional
skeletons will be addressed in a follow-up paper
(see
\cite{Goulart-Saldanha}
for a preliminary version).

In Subsection \ref{subsect:Hilbert}
we endow the space ${\cal L}_{n}^{[C^r]}(z_0;z_1)$
with a convenient Banach manifold atlas.
For technical reasons,
we also consider alternate Hilbert manifold versions
${\cal L}_n^{[H^{r}]}(z_0;z_1)$ of these spaces.
A particularly interesting case is
${\cal L}^{[H^1]}_n(z_0;z_1)$, where we are allowed
to perform certain constructions that
violate the continuity of the logarithmic derivative
(e.g. the homotopies in the proofs of
Lemmas \ref{lemma:convex2} and \ref{lemma:tok0}).
Our approach is reminiscent of the construction
in \cite{Klingenberg2}
of the Hilbert manifold $H^1([0,1],M)$ of absolutely
continuous curves in a compact Riemannian manifold $M$.
General results from the homotopy theory of infinite-dimensional
manifolds
\cite{Burghelea-Henderson, Burghelea-Saldanha-Tomei1, Henderson, Palais}
(explicitely, Facts \ref{fact:BST} and \ref{fact:BH} below)
imply that, for fixed $z_0,z_1\in\Spin_{n+1}$,
all versions of ${\cal L}_n^\ast(z_0;z_1)$
we are interested in
are indeed homeomorphic:
these include $\ast=H^1$ and $\ast=H^r, C^r$ for large $r$.
This justifies dropping the distinctive superscripts $\ast$
and referring simply to the spaces ${\cal L}_n(z_0;z_1)$
when no serious confusion is likely to arise.
In some situations, though, the distinction is crucial
(e.g. Section \ref{sect:Hk}).

In order to state our main results,
we rely on the Bruhat stratification
of the spin group, studied in \cite{Goulart-Saldanha0}.
We invoke many notations and results directly from that paper.
For convenience,
some recollection is provided in Subsection~\ref{subsect:Bruhat}.

In a nutshell, $\Spin_{n+1}$ is a disjoint union
of unsigned Bruhat cells $\operatorname{Bru}_\sigma$, indexed on the
symmetric group $S_{n+1}$ of permutations of the set
$[\![ n+1 ]\!]$.
Each unsigned Bruhat cell $\operatorname{Bru}_\sigma$ has
exactly $2^{n+1}$ connected components
$\operatorname{Bru}_{q\acute\sigma}$,
called signed Bruhat cells,
each one an embedded submanifold of $\Spin_{n+1}$
diffeomorphic to ${\mathbb{R}}^d$, where
$d=\inv(\sigma)$ is the number of inversions
of the permutation $\sigma$
(Corollary \ref{coro:Bruhat2} of \cite{Goulart-Saldanha0}).
The collection of signed Bruhat cells is indexed in the group
$\widetilde\B^+_{n+1}\subset\Spin_{n+1}$,
the lift of the subgroup $\B^+_{n+1}\subset\SO_{n+1}$
of signed permutation matrices with positive determinant.
The acute map
$\sigma\in S_{n+1}\mapsto \acute\sigma\in\widetilde\B^+_{n+1}$,
not a homomorphism,
is a right inverse to the natural projection
$\widetilde \B^+_{n+1}\to S_{n+1}$ and is
defined in Equation \eqref{equation:acutegravei}
in Subsection~\ref{subsect:Bruhat}
(also, Equation \eqref{equation:acutegrave}
of \cite{Goulart-Saldanha0}).
We can then write each element $z\in\widetilde\B^+_{n+1}$ as
$z=q\acute\sigma$ for unique $\sigma\in S_{n+1}$ and
$q\in\Quat_{n+1}$.
Here, $\Quat_{n+1}\subset\widetilde\B^+_{n+1}$
is the lift to $\Spin_{n+1}$ of the subgroup
$\Diag^+_{n+1}\subset\B^+_{n+1}$ of diagonal matrices.

Let $\eta\in S_{n+1}$ have the maximum number of inversions,
$\inv(\eta)=n(n+1)/2$, i.e., let $\eta:j\mapsto n+2-j$.
The element $\eta$ is called the Coxeter element of $S_{n+1}$
and is often denoted in the literature by $w_0$.
The cells $\operatorname{Bru}_{q\acute\eta}$, $q\in\Quat_{n+1}$, are open,
and their union $\operatorname{Bru}_\eta$
is a dense open subspace of the spin group.
We call the complement
$\operatorname{Sing}_{n+1}=\Spin_{n+1}\smallsetminus\operatorname{Bru}_\eta$
the \emph{singular set} of the spin group;
this is a singular variety of codimension one.
Accordingly, we define the \emph{singular set} of a
locally convex curve $\Gamma:[t_0,t_1]\to\Spin_{n+1}$ as
$\operatorname{sing}(\Gamma)=
\Gamma^{-1}[\operatorname{Sing}_{n+1}]\smallsetminus\{t_0,t_1\}
\subset(t_0,t_1)$;
the elements of $\operatorname{sing}(\Gamma)$ are sometimes called
the moments of non-transversality between
the osculating flag of $\gamma=(\Pi\circ\Gamma)e_1$
and the standard complete flag of ${\mathbb{R}}^{n+1}$
\cite{Shapiro-Shapiro3}.
Theorem \ref{theo:chopadvance} of \cite{Goulart-Saldanha0}
implies that nondegenerate curves $\Gamma\in{\cal L}_n(z_0;z_1)$
have finite singular sets $\operatorname{sing}(\Gamma)\subset (0,1)$.

Recall that the Hausdorff distance
\cite{Falconer}
between two nonempty compact sets $X, Y \subset [0,1]$ is:
\[ d_{{\cal H}}(X,Y) = \max \left\{
(\sup_{x\in X} \inf_{y \in Y} |x-y|),
(\sup_{y\in Y} \inf_{x \in X} |x-y|) \right\}; \]
we also define $d_{{\cal H}}(\emptyset,X) = 1$ for $X \ne \emptyset$
and  $d_{{\cal H}}(\emptyset,\emptyset) = 0$.
Let ${\cal H}([0,1]) \subset 2^{[0,1]}$ be the
set of compact subsets of $[0,1]$;
this is a complete metric space with the Hausdorff distance where
the empty set is an isolated point.

\begin{theo}
\label{theo:Hausdorff}
Given $z_0,z_1\in\Spin_{n+1}$,
the map $\operatorname{sing}: {\cal L}_n(z_0;z_1) \to {\cal H}([0,1])$ defined by
$\Gamma\mapsto\operatorname{sing}(\Gamma)$ is continuous.
\end{theo}

This is obtained as an immediate consequence of
Lemma \ref{lemma:novanishingletter}.
These results imply in particular that
when a locally convex curve is deformed
(while remaining in ${\cal L}_n(z_0;z_1)$),
points in the singular set
may join or split but never vanish or appear out of nowhere.
This is closely related to
the known fact \cite{Anisov, Shapiro-Shapiro, Shapiro}
that convex curves
(when they exist)
form a connected component ${\cal L}_{n,\operatorname{convex}}(z_0;z_1)$
of ${\cal L}_n(z_0;z_1)$ (Lemma \ref{lemma:convex2}).
A locally convex curve $\Gamma:[t_0,t_1]\to\Spin_{n+1}$
is said to be \emph{(globally) convex} if
$\operatorname{sing}((\Gamma(t_0))^{-1}\Gamma) = \emptyset$.
We review in Subsection \ref{subsect:convex}
the equivalence between this notion of convexity and
the geometric, more classical one
\cite{Khesin-Shapiro2, Saldanha3, Shapiro-Shapiro, Shapiro},
introduced above in terms of the
nondegenerate curve $\gamma=(\Pi\circ\Gamma)e_1$.
Another closely related result is Lemma \ref{lemma:conjecture},
which proves Conjecture 2.6 of \cite{Shapiro-Shapiro3}.

Given a locally convex curve
$\Gamma:[t_0,t_1]\to\Spin_{n+1}$,
write $\operatorname{sing}(\Gamma)=\{\tau_1<\cdots<\tau_\ell\}\subset(t_0,t_1)$
and, for each $j\in\llbracket\ell\rrbracket$, let
$\Gamma(\tau_j)\in\operatorname{Bru}_{\eta\sigma_j}$,
$\sigma_j\in S_{n+1}\smallsetminus\{e\}$.
Let ${\mathbf W}_{n}$ be the set of finite words in the
alphabet $S_{n+1}\smallsetminus\{e\}$.
We define the \emph{itinerary} of $\Gamma$ by
$\operatorname{iti}(\Gamma)=(\sigma_1,\ldots,\sigma_\ell)\in{\mathbf W}_n$.

We define our working space of
locally convex curves as
\begin{equation}
\label{equation:cL}
{\cal L}_{n}=\bigsqcup_{q\in\Quat_{n+1}}{\cal L}_{n}(1;q).
\end{equation}
Given $z_0,z_1\in\Spin_{n+1}$,
we can determine explicitly an
element $q\in\Quat_{n+1}$ such that
the spaces ${\cal L}_{n}(z_0;z_1)$ and
${\cal L}_{n}(q)={\cal L}_{n}(1;q)$
are homeomorphic.
Therefore, in order to understand
all the spaces ${\cal L}_{n}(z_0;z_1)$, one may restrict attention
to the disjoint union of $2^{n+1}$ spaces
in Equation \eqref{equation:cL}.
The problem of determining whether the spaces
${\cal L}_{n}(q_0)$ and ${\cal L}_n(q_1)$ are homeomorphic
(where $q_0,q_1 \in \Quat_{n+1}$,  $q_0 \ne q_1$)
has been considered in \cite{Alves-Saldanha,Saldanha-Shapiro};
we hope to offer further contributions in
forthcoming joint work with E.~Alves and B.~Shapiro.

For $w =(\sigma_1,\ldots,\sigma_\ell)\in{\mathbf W}_n$, set
\begin{equation}
\label{equation:word}
\hat w=\hat\sigma_1\cdots\hat\sigma_\ell\in\Quat_{n+1},
\qquad
\dim(w)=\dim(\sigma_{1})+\cdots+\dim(\sigma_{\ell}),
\end{equation}
where $\sigma\in S_{n+1}\mapsto\hat\sigma\in\Quat_{n+1}$ is
the ${\mathbf{hat}}$ map defined in
Equation \eqref{equation:acutegravei}
and $\dim(\sigma)=\inv(\sigma)-1$, for all $\sigma\in S_{n+1}$.
Notice that $\acute\eta\hat w\acute\eta\in\Quat_{n+1}$ for
all words $w\in{\mathbf W}_n$.
Let ${\cal L}_n[w]\subset{\cal L}_n$ be the
subset of curves with itinerary $w$.
Here and in the next results,
we are mostly interested in the cases $H^1$
(essentially no regularity hypotheses) and
$H^r$ for large $r$.

\begin{theo}
\label{theo:stratification}
For $r\in{\mathbb{N}}^\ast$ and $w\in{\mathbf W}_{n}$, we have
${\cal L}^{[H^r]}_{n}[w]\subsete
{\cal L}^{[H^r]}_n(\acute\eta\hat w\acute\eta)$; also:
\begin{enumerate}
\item\label{item:theo:stratification:H1}
{The set ${\cal L}^{[H^1]}_{n}[w]$
is a contractible globally collared topological submanifold of
${\cal L}^{[H^1]}_{n}(\acute\eta\hat w\acute\eta)$
of codimension $\dim(w)$.}
\item\label{item:theo:stratification:Hklarge}
{If $r\geq3$, then ${\cal L}_n^{[H^r]}[w]$ is
an embedded $C^{r-1}$ submanifold of
${\cal L}^{[H^r]}_{n}(\acute\eta\hat w\acute\eta)$
of codimension $\dim(w)$
(with tubular neighborhood fibred by normal balls).
}
\end{enumerate}
\end{theo}

In particular,
all words $w\in{\mathbf W}_n$
are realizable as itineraries of locally convex curves,
the empty word $(\,)\in{\mathbf W}_n$ being the itinerary
of the convex curves.
In fact, it follows from Lemma \ref{lemma:convex2} that
${\cal L}_{n,\operatorname{convex}}={\cal L}_n[(\,)]$ is a contractible connected
component of ${\cal L}_n$ contained in ${\cal L}_n(\hat\eta)$,
where $\hat\eta=\acute\eta^2$,
consistently with known results \cite{Anisov, Shapiro-Shapiro, Shapiro}.
The proof of Theorem \ref{theo:stratification}
is presented
in Section \ref{sect:paths}.
Some preliminary steps are covered in
Sections \ref{sect:acctriangle} and \ref{sect:acc}.

We have thus defined the \emph{itinerary stratification}
that gives this paper its title:
\begin{equation}
\label{equation:stratification}
{\cal L}_n = \bigsqcup_{w \in {\mathbf W}_n} {\cal L}_n[w];
\qquad
{\cal L}_n[w] =
\{ \Gamma \in {\cal L}_n \;|\; \operatorname{iti}(\Gamma) = w \}.
\end{equation}

We devote the last part of this paper
to investigate how
these strata fit together.
Explicit parameterizations of transversal sections
of ${\cal L}_n[w]$ are constructed in Section~\ref{sect:transversal}
with this goal in mind.
Unlike the homotopy type of the spaces ${\cal L}_n(z_0;z_1)$,
this turns out to be sensitive on the regularity class, i.e.,
on which version ${\cal L}_n^\ast$ we are actually using
(see Section~\ref{sect:Hk}).

We produce a simple, visual example below.
For $n\leq4$, we use the simplified notation
$a=a_1$, $b=a_2$, $c=a_3$, $d=a_4$ for the
Coxeter generators of $S_{n+1}$.
We also write a word in ${\mathbf W}_n$ as a string of letters,
as in, say, $ab[ab]abb[aba][ab]=(a,b,ab,a,b,b,aba,ab)$.
Square brackets are used to avoid confusion between, say,
$a[ba]=(a,ba)$, $[aba]=(aba)$ and $aba=(a,b,a)$,
of respective lengths $2$, $1$ and $3$.

\begin{figure}[ht]
\def8cm{8cm}
\centerline{\input{aba.pdf_tex}}
\caption{A family of curves in ${\cal L}_2$.
The equator is dashed and the fat dot indicates $e_1$.
The vector $e_2$ is at the right.}
\label{fig:aba}
\end{figure}

\begin{example}
\label{example:aba}
Let $n = 2$.
In Figure \ref{fig:aba},
we draw the nondegenerate curve $\gamma: [t_0,t_1] \to {\mathbb{S}}^2$,
$\gamma(t)=\Pi(\Gamma(t))e_1$,
as a visual representation of the corresponding locally convex curve
$\Gamma = \Frenet_{\gamma}: [t_0,t_1] \to \Spin_3$.
A letter $a = a_1$ in $\operatorname{iti}(\Gamma)$
corresponds to the curve $\gamma$
transversally crossing the equator
(i.e., the great circle $x_3 = 0$)
at a point different from $\pm e_1$.
A letter $b = a_2$ occurs when the tangent geodesic (great circle)
to $\gamma$ at $t$ includes the points $\pm e_1$
but the $x_3$-coordinate of $\gamma(t)$ is non-zero.
A letter $[ab]$ indicates that the curve is tangent to the equator,
but not at $\pm e_1$.
A letter $[ba]$ declares that the curve crosses the equator transversally
at $\pm e_1$.
Finally, $[aba]$ proclaims that the curve is tangent to the equator
at $\pm e_1$.
Figure \ref{fig:aba} shows a two-parameter family
of (arcs of) curves in ${\cal L}_2$ illustrating all these cases.
The reader may want to compare this with the explicit
parameterization of a tranversal section of ${\cal L}_2[[aba]]$
obtained in Example~\ref{example:transversalsectionaba}.
\end{example}

\begin{figure}[ht]
\def8cm{10cm}
\centerline{\input{subaba.pdf_tex}}
\caption{The neighboring relation between the itineraries
below $[aba]$.}
\label{fig:subaba}
\end{figure}

We define a partial order in ${\mathbf W}_n$ by
\begin{equation}
\label{equation:poset}
w_0\preceq w_1 \quad \Leftrightarrow \quad
{\cal L}_n^{[H^1]}[w_1]\subseteq\overline{{\cal L}_n^{[H^1]}[w_0]}.
\end{equation}
The Hasse diagram in Figure \ref{fig:subaba}
represents the above partial order restricted to
$\{ w \in {\mathbf W}_2 \;|\; w \preceq [aba] \} =
\{[aba], a[ba], [ba]a, b[ab], [ab]b, aa, abab, baba, bb\}$.

Equation \eqref{equation:poset}
defines a poset structure in ${\mathbf W}_n$ that
inherits (so to speak) some features from
the strong Bruhat order $\leq$ in $S_{n+1}$:
recall that
$\sigma_0\leq\sigma_1$ in $S_{n+1}$
if and only if
$\operatorname{Bru}_{\sigma_0}\subseteq\overline{\operatorname{Bru}_{\sigma_1}}$
in $\Spin_{n+1}$
(see, for instance, Corollary \ref{coro:Bruhat1}
of \cite{Goulart-Saldanha0};
notice the reversion of the indices
in relation to Equation \eqref{equation:poset}).

\begin{theo}
\label{theo:poset}
For $w_0,w_1=(\sigma_1,\ldots,\sigma_\ell)\in{\mathbf W}_n$,
$w_0\preceq w_1$ is equivalent to each one
of the following conditions:
\begin{enumerate}[label=(\roman*)]
\item\label{item:inclusion}{${\cal L}_n^{[H^1]}[w_1]\subseteq
\overline{{\cal L}_n^{[H^1]}[w_0]}$;}
\item\label{item:intersection}{${\cal L}_n^{[H^1]}[w_1]\cap
\overline{{\cal L}_n^{[H^1]}[w_0]}\neq\emptyset$;}
\item\label{item:open}{given $\Gamma_1 \in {\cal L}_n^{[H^1]}[w_1]$, $\epsilon > 0$,
$\operatorname{sing}(\Gamma_1) = \{t_1<\cdots<t_\ell\}$
and an open neighborhood $U \subset {\cal L}_n^{[H^1]}$ of $\Gamma_1$ there exists
$\Gamma \in U \cap {\cal L}_n^{[H^1]}[w_0]$
with $\Gamma$ and $\Gamma_1$
coinciding outside
$\cup_{i\in\llbracket\ell\rrbracket}(t_i-\epsilon,t_i+\epsilon)$;}
\item\label{item:subwords}{there exist nonempty words
$\tilde w_1,\ldots,\tilde w_\ell\in{\mathbf W}_n$ such that
$w_0=\tilde w_1\cdots\tilde w_\ell$ and,
for all $i\in\llbracket\ell\rrbracket$,
$\tilde w_i\preceq (\sigma_i)$.}
\end{enumerate}
\end{theo}

The empty word $(\,)\in{\mathbf W}_n$ is an isolated point.
We prove Theorem \ref{theo:poset} in Section \ref{sect:poset}.
The corresponding statement is false for $\ast = [H^r]$,
$r$ large;
indeed, we shall see in Section \ref{sect:Hk} that
the Whitney condition fails:
\begin{equation}
\label{equation:acbHk}
\begin{gathered}
{\cal L}^{[H^1]}_3[[acb]] \subset \overline{{\cal L}^{[H^1]}_3[cabca]}, \\
{\cal L}^{[H^r]}_3[[acb]] \not\subset \overline{{\cal L}^{[H^r]}_3[cabca]}, \qquad
{\cal L}^{[H^r]}_3[[acb]] \cap \overline{{\cal L}^{[H^r]}_3[cabca]} \ne \emptyset, \quad r\geq 3.
\end{gathered}
\end{equation}
Thus, in the equivalent statement to Theorem \ref{theo:poset}
for $r\geq 3$, the equivalence between conditions
\ref{item:inclusion} and \ref{item:intersection}
does not hold;
likewise, condition \ref{item:intersection} and
\ref{item:open} are not equivalent in the $r\geq 3$ case.
In Lemma \ref{lemma:subwordsHk} we state and prove the
equivalence between \ref{item:intersection} and
a version of \ref{item:subwords} for arbitrary large $r$.

As we write this paper,
some natural and rather basic questions concerning the partial order
$\preceq$ are still open;
Conjecture \ref{conj:multtok} below
is essentially equivalent to Conjecture 2.4
in \cite{Shapiro-Shapiro3}.
For $\sigma \in S_{n+1}$ set
$\operatorname{mult}(\sigma) = (\operatorname{mult}_1(\sigma), \ldots, \operatorname{mult}_n(\sigma)) \in {\mathbb{N}}^n$,
where, for each $j\in[\![ n ]\!]$, we have
\begin{equation}
\label{equation:mult}
\operatorname{mult}_j(\sigma) = (1^\sigma + \cdots + j^\sigma) - (1 + \cdots + j)
\in{\mathbb{N}}=\{0,1,2,\ldots\},
\end{equation}
as in Theorem \ref{theo:mult} of \cite{Goulart-Saldanha0}.
For $w = (\sigma_1, \ldots, \sigma_\ell) \in {\mathbf W}_n$, define
\[ \operatorname{mult}(w) = \operatorname{mult}(\sigma_1) + \cdots + \operatorname{mult}(\sigma_\ell) \in {\mathbb{N}}^n. \]
For $u, v \in {\mathbb{N}}^n$, we write $u \le v$ if and only if
$u_j \le v_j$ for all $j \in [\![ n ]\!]$.

\begin{conj}
\label{conj:multtok}
Given $w_0, w_1 \in {\mathbf W}_n$,
if $w_0 \preceq w_1$
then $\operatorname{mult}(w_0) \le \operatorname{mult}(w_1)$.
\end{conj}

Given $n\in{\mathbb{N}}$, $n\geq2$, let
\[ r_{\bullet}(n) = \left\lfloor \left(\frac{n+1}{2}\right)^2 \right\rfloor =
\max\{ \operatorname{mult}_j(\sigma); \sigma \in S_{n+1}, j \in [\![ n ]\!] \}. \]

\begin{theo}
\label{theo:multHk}
For $w_0,w_1\in{\mathbf W}_n$,
if $r > r_{\bullet}(n)$ and
${\cal L}_n^{[H^{r}]}[w_1]\cap
\overline{{\cal L}_n^{[H^{r}]}[w_0]}\neq\emptyset$,
then $\operatorname{mult}(w_0) \le \operatorname{mult}(w_1)$.
\end{theo}

Notice that the conditions imply $w_0 \preceq w_1$.
We prove Theorem \ref{theo:multHk} in Section \ref{sect:Hk}.
In a follow-up paper,
we apply an argument similar to Poincar\'e duality
to obtain from the itinerary stratification
(Equation \eqref{equation:stratification})
a CW complex ${\cal D}_n$
with a cell of dimension $\dim(w)$ for each $w \in {\mathbf W}_n$
and a weak homotopy equivalence
$c:{\cal D}_n\to{\cal L}_n$.
The reader may find a preliminary version
of this construction
in the last sections of the preprint \cite{Goulart-Saldanha}.
A similar finite dimensional construction is presented in
\cite{Alves-Saldanha2} with the aim of computing
the homotopy type of the intersections of two real Bruhat cells.
In both cases, the Whitney condition is violated
(see Equation \eqref{equation:acbHk}).
Theorem \ref{theo:multHk} allows us to circumvent,
in the construction of ${\cal D}_n$,
the inconvenient fact that Conjecture \ref{conj:multtok}
remains an open problem (for $n>4$).

\goodbreak

The space ${\cal L}{\mathbb{S}}^2(I)\approx{\cal L}_{2}(-1)\sqcup{\cal L}_{2}(1)$
of closed nondegenerate curves in ${\mathbb{S}}^2$
was originally studied by J. Little in the
seventies \cite{Little}, and shown to have three
connected components.
These are, in our notation:
${\cal L}_{2}(+1)$, containing
curves with an odd number of self-intersections
(counted with multiplicity);
${\cal L}_{2,\operatorname{convex}}(-1)$,
the subspace of simple curves; and
${\cal L}_{2,\operatorname{non-convex}}(-1)$,
containing curves with positive even number
of self-intersections (again with multiplicity).
The works of B. Khesin, B. Shapiro and M. Shapiro in the nineties
$\cite{Khesin-Shapiro2, Shapiro-Shapiro, Shapiro}$
extended this result for $n$ and $z\in\Spin_{n+1}$
arbitrary, showing that ${\cal L}_{n}(z)$ has one or
two connected components: one if and only if it does not
contain convex curves
and two otherwise, one of
them being the contractible subspace ${\cal L}_{n,\operatorname{convex}}(z)$.
In \cite{Saldanha3} the spaces ${\cal L}_{2}(z)$ were
completely classified into three homotopy types explicitly described.
Our approach via the CW complex ${\cal D}_n$
has already allowed further progress on
the problem of describing the homotopy
types of the spaces ${\cal L}_{n}(z)$ for $n>2$.
We expect to present our new results,
in particular solving the problem for $n=3$.
For more information, see our final remarks in Section \ref{section:final}.

Our problem is related to the study of
linear ordinary differential operators.
This point of view was the original motivation of V. Arnold, B. Khesin,
V. Ovsienko, B. Shapiro and M. Shapiro for considering this class of questions
in the early nineties
\cite{Khesin-Ovsienko, Khesin-Shapiro1, Khesin-Shapiro2, Shapiro-Shapiro3}.
Conjectures 2.4 and 2.6 of \cite{Shapiro-Shapiro3}
(mentioned earlier in this introduction) are related to
an attempt at a generalized (multiplicative) Sturm
Theory for linear ordinary differential equations of order $n+1>2$,
the case $n=1$ standing for the classical (additive) one.
The first of these conjectures has been proved
for $n\leq4$ in \cite{Saldanha-Shapiro-Shapiro, Shapiro-Shapiro4},
but the general case remains open;
the second one is essentially our Lemma \ref{lemma:conjecture}.
The second author was first led to consider
this subject while studying the critical
sets of nonlinear differential operators with periodic
coefficients, in a series of works with D. Burghelea
and C. Tomei
\cite{Burghelea-Saldanha-Tomei1,Burghelea-Saldanha-Tomei2,Burghelea-Saldanha-Tomei3,Saldanha-Tomei}.

In Section \ref{sect:gso} we review notation and results about
Bruhat cells and related topics (Subsection \ref{subsect:Bruhat}),
Hilbert and Banach manifolds of curves (Subsection \ref{subsect:Hilbert}),
and convex curves (Subsection \ref{subsect:convex}).
Section \ref{sect:sing} is dedicated to the proof of
Theorem \ref{theo:Hausdorff}.
The concept of accessibility
is discussed in Section \ref{sect:acctriangle}
for the lower triangular group and
in Section \ref{sect:acc} for the spin group.
Section \ref{sect:paths} is dedicated to the proof of
Theorem \ref{theo:stratification}.
In Section \ref{sect:transversal} we present
transversal sections to the strata.
Section \ref{sect:poset} is dedicated to the proof of
Theorem \ref{theo:poset}.
Section \ref{sect:Hk} begins by proving Theorem \ref{theo:multHk};
we then discuss in detail the neighborhood of the stratum
defined by the permutation $acb = [3142] \in S_4$.
Some final remarks (mostly about work in progress)
are given in Section \ref{section:final}:
we give a conjecture for the homotopy type of
the space ${\cal L}_3(q)$, $q \in \Quat_4$
(locally convex curves in ${\mathbb{S}}^3$).

We would like to thank:
Em\'ilia Alves,
Boris Khesin,
Ricardo Leite,
Carlos Gustavo Moreira,
Paul Schweitzer,
Boris Shapiro,
Michael Shapiro,
Carlos Tomei,
David Torres,
Cong Zhou
and
Pedro Z\"{u}lkhe
for helpful conversations;
the University of Toronto and the University of Stockholm
for the hospitality during our visits.
Both authors thank CAPES, CNPq and FAPERJ (Brazil) for financial support.
More specifically, the first author benefited from
CAPES-PDSE grant 99999.014505/2013-04
during his Ph. D. and also
CAPES-PNPD post-doc grant 88882.315311/2019-01.

\section{Notations and facts}
\label{sect:gso}

\subsection{Bruhat cells}
\label{subsect:Bruhat}

We briefly recall some definitions from \cite{Goulart-Saldanha0}.
For $j\in[\![ n ]\!]$, set
$\alpha_j:{\mathbb{R}}\to\Spin_{n+1}$,
\[\alpha_j(\theta)=\exp(\theta{\mathfrak a}_j), \qquad
{\mathfrak a}_j=e_{j+1}e_j^\top-e_je_{j+1}^\top\in\so_{n+1}=\spin_{n+1}.\]
The spin group $\Spin_{n+1}$ is the universal double cover
of $\SO_{n+1}$ and is contained in the Clifford algebra $\Cliff_{n+1}^{0}$.
Also, set $\acute a_j=\alpha_j(\pi/2),
\grave a_j=(\acute a_j)^{-1}\in
\widetilde\B^+_{n+1}\subset\Spin_{n+1}$.
Recall that the group $\widetilde\B^+_{n+1}$ is
the lift to the spin group of the group
$\B^+_{n+1}\subset\SO_{n+1}$ of signed permutation
matrices with positive determinant;
the elements $\acute a_j$ are generators
of $\widetilde\B^+_{n+1}$.

A \emph{reduced word} for a permutation $\sigma\in S_{n+1}$
is an expression $\sigma=a_{i_1}\cdots a_{i_k}$
of minimum length $k=\inv(\sigma)$;
here, $a_j=(j,j+1)\in S_{n+1}$,
$j\in[\![ n ]\!]$, are the Coxeter generators of the symmetric group.
Given a reduced word as above, set
\begin{equation}
\label{equation:acutegravei}
\begin{gathered}
\acute \sigma= \operatorname{acute}(\sigma) = \acute a_{i_1}\cdots \acute a_{i_k},
\quad
\grave \sigma= \operatorname{grave}(\sigma) =
\grave a_{i_1}\cdots \grave a_{i_k}\in\widetilde\B^+_{n+1}, \\
\hat \sigma={\mathbf{hat}}(\sigma) = \acute\sigma(\grave\sigma)^{-1}\in\Quat_{n+1}\subset\widetilde\B^+_{n+1}.
\end{gathered}
\end{equation}
Let $\vartriangleleft$ be the covering relation for the Bruhat order;
thus, $\sigma_0\vartriangleleft\sigma_1$ implies
$\inv(\sigma_1)=1+\inv(\sigma_0)$.
An important special case is when
$\sigma_{j-1}\vartriangleleft\sigma_j=\sigma_{j-1} a_{i_j}$:
in this case, there exists reduced words
$\sigma_{j-1}=a_{i_1}\cdots a_{i_{j-1}}$ and
$\sigma_j=a_{i_1}\cdots a_{i_{j-1}}a_{i_j}$.

Let $\Lo^1_{n+1}$ be the nilpotent group of lower triangular matrices with
unit diagonal entries and $\lo^1_{n+1}$ be its Lie algebra.
Let ${\cal U}_I\subset\SO_{n+1}$ be the open
contractible set of orthogonal matrices
$Q\in\SO_{n+1}$ that
admit an $LU$ decomposition $Q=LU$ with
$L\in\Lo^1_{n+1}$ and $U\in\Up^+_{n+1}$.
Here, $\Up^+_{n+1}$ is the group of upper triangular
matrices with positive diagonal entries.
Also, let ${\cal U}_1\subset\Spin_{n+1}$ be
the connected component of the identity
in the subset $\Pi^{-1}[{\cal U}_I]\subset\Spin_{n+1}$.
The diffeomorphism ${\mathbf{L}}:{\cal U}_1\to\Lo^1_{n+1}$
is defined by taking the $L$ part ${\mathbf{L}}(z)$ in the
$LU$ decomposition of the matrix $\Pi(z)$.
Each $z_0\in\Spin_{n+1}$ has an open neighborhood
${\cal U}_{z_0}=z_0\,{\cal U}_1\subset\Spin_{n+1}$ diffeomorphic to $\Lo^1_{n+1}$.
We also consider the set of matrices
$z_0\Lo^1_{n+1}=\Pi(z_0)\Lo^1_{n+1}\subset\GL^+_{n+1}$
and the diffeomorphism
${\mathbf{L}}_{z_0}:{\cal U}_{z_0}\to z_0\Lo^1_{n+1}$,
${\mathbf{L}}_{z_0}(z)=z_0{\mathbf{L}}(z_0^{-1}z)$, with inverse
${\mathbf{Q}}_{z_0} = {\mathbf{L}}_{z_0}^{-1}:z_0\Lo^1_{n+1}\to{\cal U}_{z_0}$,
where ${\mathbf{Q}}_{z_0}(M)\in{\cal U}_{z_0}$ is the lift to $\Spin_{n+1}$
of the $Q$ part of the $QR$ decomposition of $M$.
We are particularly interested in the case
$z_0\in\widetilde\B^+_{n+1}$.
In this situation,
the matrices in $z_0\Lo^1_{n+1}$ are, up to signs, triangular
matrices with rows shuffled by the underlying permutation
of $z_0$.
We call $({\cal U}_{z_0},{\mathbf{L}}_{z_0})$
a \emph{triangular system of coordinates}.
When $z_0=1$, we write simply ${\mathbf{Q}}={\mathbf{Q}}_1$,
in accordance with ${\mathbf{L}}={\mathbf{L}}_1$.

For each $j\in[\![ n ]\!]$, the Lie algebra element
${\mathfrak a}_j\in\spin_{n+1}$ is taken to a positive multiple of
${\mathfrak l}_j=e_{j+1}e_j^\top\in\lo^1_{n+1}$
by the derivative of the map ${\mathbf{L}}$
at the identity (Lemma \ref{lemma:al} of \cite{Goulart-Saldanha0}).
Moreover, the arcs of the curves $\alpha_j$ contained in ${\cal U}_1$
are taken by ${\mathbf{L}}$ into (orientation-preserving)
reparameterizations of $\jacobi_j(t)=\exp(t{\mathfrak l}_j)$, $t\in{\mathbb{R}}$.
We say that an absolutely continuous
map $\Gamma:J\to\Lo^1_{n+1}$,
defined on an interval $J\subseteq{\mathbb{R}}$,
is a \emph{convex curve} if and only if
its logarithmic derivative is given almost everywhere by
\[(\Gamma(t))^{-1}\Gamma'(t)=\sum_{j\in[\![ n ]\!]}\beta_j(t){\mathfrak l}_j, \]
for positive functions $\beta_1,\ldots,\beta_n:J\to(0,+\infty)$.
In other words, $\Gamma:J\to\Lo^1_{n+1}$ is a convex curve
if and only if ${\mathbf{Q}}\circ\Gamma:J\to\Spin_{n+1}$ is
a locally convex curve.
Notice that $({\mathbf{Q}}\circ\Gamma)[J]\subset{\cal U}_1$;
in Subsection \ref{subsect:convex} we review the fact that a
locally convex curve $\Gamma:J\to\Spin_{n+1}$ is
strictly convex if and only if
$\Gamma[J]\subset{\cal U}_{z_0}$ for some $z_0\in\Spin_{n+1}$.
Notice that if $\Gamma:[t_0,t_1]\to\Spin_{n+1}$ is strictly convex
then $\Gamma$ is globally convex, i.e.,
$\operatorname{sing}((\Gamma(t_0))^{-1}\Gamma)=\emptyset$;
the reciprocal is not quite true.

Some distinguished Lie algebra elements are
\begin{equation}
\label{equation:nfhLfh}
\begin{gathered}
{\mathfrak n}=\sum_{j\in[\![ n ]\!]}{\mathfrak l}_j,\quad
{\mathfrak h}_L=\sum_{j\in[\![ n ]\!]}\sqrt{j(n+1-j)}\;{\mathfrak l}_j\in\lo^1_{n+1}, \\
{\mathfrak h}=\sum_{j\in[\![ n ]\!]}\sqrt{j(n+1-j)}\;{\mathfrak a}_j\in\spin^1_{n+1}.
\end{gathered}
\end{equation}
For arbitrary elements $g_0\in G$,
$\mathfrak{v}\in\mathfrak{g}$ of
a Lie group and its Lie algebra, denote by
$\Gamma_{g_0;\mathfrak{v}}:{\mathbb{R}}\to G$
the smooth parametric curve
$\Gamma_{g_0;\mathfrak{v}}(t)=g_0\exp(t\mathfrak{v})$.
The smooth curves
$\Gamma_{L_0;{\mathfrak n}}$, $\Gamma_{L_0;{\mathfrak h}_L}$
and $\Gamma_{z_0;{\mathfrak h}}$,
studied in Example \ref{example:fh} of
\cite{Goulart-Saldanha0}, are particularly useful.
The first two are convex and the third one is locally convex.

We denote by $\operatorname{Pos}_\eta\subset\Lo^1_{n+1}$ the
open subset of totally positive matrices
\cite{Berenstein-Fomin-Zelevinsky}.
For a reduced word $\eta=a_{i_1}\cdots a_{i_m}$
($m=n(n+1)/2$) for the Coxeter element of $S_{n+1}$,
the map
$(0,+\infty)^m \to \operatorname{Pos}_\eta$,
$(t_1,\ldots,t_m)
\mapsto\jacobi_{i_1}(t_1)\cdots\jacobi_{i_m}(t_m)$,
is a diffeomorphism.
More generally, there are embedded submanifolds
$\operatorname{Pos}_\sigma, \operatorname{Neg}_\sigma\subset\Lo^1_{n+1}$,
$\sigma\in S_{n+1}$,
such that, given a reduced word $\sigma=a_{i_1}\cdots a_{i_k}$,
$k=\inv(\sigma)$, the maps
$(0,+\infty)^k \to \operatorname{Pos}_\sigma$,
$(t_1,\ldots,t_k)
\mapsto\jacobi_{i_1}(t_1)\cdots\jacobi_{i_k}(t_k)$,
and
$(-\infty,0)^k \to \operatorname{Neg}_\sigma$,
$(t_1,\ldots,t_k)
\mapsto\jacobi_{i_1}(t_1)\cdots\jacobi_{i_k}(t_k)$,
are diffeomorphisms.
We have
\[
\overline\operatorname{Pos}_\eta=\bigsqcup_{\sigma\in S_{n+1}}\operatorname{Pos}_\sigma,
\quad
\overline\operatorname{Neg}_\eta=\bigsqcup_{\sigma\in S_{n+1}}\operatorname{Neg}_\sigma,
\quad \overline\operatorname{Pos}_\eta\cap\overline\operatorname{Neg}_\eta=\{I\} = \operatorname{Pos}_{e} = \operatorname{Neg}_{e}.
\]
This is closely related to the Bruhat stratifications:
\[
\Spin_{n+1}=\bigsqcup_{\sigma\in S_{n+1}}\operatorname{Bru}_\sigma, \qquad
\operatorname{Bru}_\sigma
=\bigsqcup_{q\in\Quat_{n+1}}\operatorname{Bru}_{q\acute\sigma}.
\]
Recall that $z\in\operatorname{Bru}_\sigma$ if and only if there exist upper triangular
matrices $U_0,U_1$
such that $\Pi(z)=U_0\Pi(\acute\sigma)U_1$.
We have
$\operatorname{Bru}_{q\acute\sigma}={\cal U}_{q\acute\sigma}\cap\operatorname{Bru}_\sigma$.
Also, given a reduced word $\sigma=a_{i_1}\cdots a_{i_k}$,
$k=\inv(\sigma)$, the map
$(0,\pi)^k \to \operatorname{Bru}_{q\acute\sigma}$,
$(\theta_1,\ldots,\theta_k) \mapsto
q\alpha_{i_1}(\theta_1)\cdots\alpha_{i_k}(\theta_k)$,
is a diffeomorphism
(Corollary \ref{coro:Bruhat2} of \cite{Goulart-Saldanha0}).
For all $\sigma\in S_{n+1}$ and $q\in\Quat_{n+1}$,
the set $q{\mathbf{Q}}[\operatorname{Pos}_\sigma]$
is a contractible connected component of the submanifold
${\cal U}_q\cap\operatorname{Bru}_{q\acute\sigma}$.
Similarly, $q{\mathbf{Q}}[\operatorname{Neg}_\sigma]$
is a contractible connected component of
${\cal U}_q\cap\operatorname{Bru}_{q\grave\sigma}$.
We have $q\grave\sigma=\tilde q\acute\sigma
\in\widetilde\B^+_{n+1}$, $\tilde q=q\hat\sigma^{-1}\in\Quat_{n+1}$.

For $L_0,L_1\in\Lo^1_{n+1}$, we write $L_0\ll L_1$ if and only if
$L_0^{-1}L_1\in\operatorname{Pos}_\eta$
(equivalently, $L_1^{-1}L_0\in\operatorname{Neg}_\eta$) and
$L_0\leq L_1$ if and only if $L_0^{-1}L_1\in\overline\operatorname{Pos}_\eta$
(equiv., $L_1^{-1}L_0\in\overline\operatorname{Neg}_\eta$).
These are partial orders in $\Lo_{n+1}^1$
(Lemma \ref{lemma:positivesemigroup} of \cite{Goulart-Saldanha0}).
We have $L_0\ll L_1$ if and only if
there is a convex curve $\Gamma:[0,1]\to\Lo^1_{n+1}$
satisfying $\Gamma(0)=L_0$ and $\Gamma(1)=L_1$
(Lemma \ref{lemma:totallypositive} of \cite{Goulart-Saldanha0}).
Convex curves $\Gamma:J\to\Lo^1_{n+1}$ are such that, for $t_0<t<t_1$ in $J$, we have
$\Gamma(t)\in(\Gamma(t_0)\operatorname{Pos}_\eta)\cap(\Gamma(t_1)\operatorname{Neg}_\eta)$
(Lemma \ref{lemma:transition} of \cite{Goulart-Saldanha0}).

\emph{Projective transformations} are 1-1
correspondences between (locally) convex curves that
preserve itineraries and singular sets.
We consider two types of them:
\begin{enumerate}
\item\label{item:projUp}
{Given an upper triangular matrix $U$
with positive diagonal entries, we assign to each
locally convex curve $\Gamma:[t_0,t_1]\to\Spin_{n+1}$ its
projective transform $\Gamma^U:[t_0,t_1]\to\Spin_{n+1}$
given by $\Gamma^U(t)=
{\mathbf{Q}}(U^{-1}\Gamma(t))$;}
\item\label{item:projDiag}
{Given $\lambda>0$, consider the diagonal matrix
$E_\lambda=\diag(1,\lambda,\ldots,\lambda^n)$.
We assign to each convex curve $\Gamma:[t_0,t_1]\to\Lo^1_{n+1}$
its projective transform $\Gamma^\lambda:[t_0,t_1]\to\Lo^1_{n+1}$  given by
$\Gamma^\lambda(t)=E_\lambda^{-1}\Gamma(t)E_\lambda$.}
\end{enumerate}

Projective transformations come from the
smooth actions of Lie groups:
\begin{align*}
\Spin_{n+1}\times\Up^+_{n+1}\to\Spin_{n+1}, &\quad
(z,U)\mapsto z^U={\mathbf{Q}}(U^{-1}z), \\
\Lo_{n+1}^{1}\times(0,+\infty)\to\Lo^1_{n+1}, &\quad
(L,\lambda)\mapsto L^\lambda=E_\lambda^{-1}LE_\lambda,
\end{align*}
We abuse the distinction between $z\in\Spin_{n+1}$ and
$\Pi(z)\in\SO_{n+1}$ in the first formula, so that
${\mathbf{Q}}(U^{-1}z)$ is the lift to the spin group of the $Q$ part in the
$QR$ factorization of the invertible matrix $U^{-1}\Pi(z)$.
Both these actions preserve signed Bruhat cells
$\operatorname{Bru}_{q\acute\sigma}$
(we consider ${\mathbf{L}}[{\cal U}_1\cap\operatorname{Bru}_{q\acute\sigma}]$
as the corresponding signed Bruhat cell in $\Lo^1_{n+1}$);
the subgroup $\Up^1_{n+1}\subset\Up^+_{n+1}$
of matrices with unit diagonal entries
acts transitively on each signed Bruhat cell.
See Section \ref{sect:bruhatcell}
in \cite{Goulart-Saldanha0}.

In projective transformations of type \ref{item:projUp},
the lift to $\Spin_{n+1}$ is made in such a way that,
for each $t$, $\Gamma(t)$ and $\Gamma^U(t)$
are in the same signed Bruhat cell $\operatorname{Bru}_{q\acute\sigma}$.
Also notice that if $\Gamma(t_\ast)\in\operatorname{Bru}_{q\acute\sigma}$,
then, for each $z\in\operatorname{Bru}_{q\acute\sigma}$, there is a
projective transformation of type \ref{item:projUp} such that
$\Gamma^U(t_\ast)=z$.
Moreover, the matrix $U$ can always be taken in the
subgroup $\Up^1_{n+1}\subset\Up^+_{n+1}$
of upper triangular matrices with unit diagonal entries;
in type \ref{item:projDiag}, notice that, for all $t$, we have
$\lim_{\lambda\to+\infty}\Gamma^\lambda(t)=I$.

The maps ${\mathbf{chop}}, {\mathbf{adv}}: \Spin_{n+1} \to \acute\eta \Quat_{n+1} \subset
\widetilde \B_{n+1}^{+}$
are defined by
\begin{equation}
\label{equation:chopadvancei}
{\mathbf{adv}}(z)=q_a \acute\eta, \quad
{\mathbf{chop}}(z) = q_c \grave\eta, \quad
z\in\operatorname{Bru}_{z_0}\subset\operatorname{Bru}_{\sigma_0}, \quad
z_0=q_a \acute\sigma_0=q_c \grave\sigma_0,
\end{equation}
where $z_0\in\widetilde\B^+_{n+1}$,
$\sigma_0 \in S_{n+1}$ and $q_a,q_c\in\Quat_{n+1}$.
For  $\rho_0=\eta\sigma_0$, we have
${\mathbf{adv}}(z)={\mathbf{chop}}(z)\hat\rho_0$.
Given a locally convex curve $\Gamma:J\to\Spin_{n+1}$,
for each $t\in J$ there is $\epsilon>0$ such that
$\Gamma[(t-\epsilon,t)]\in\operatorname{Bru}_{{\mathbf{chop}}(\Gamma(t))}$ and
$\Gamma[(t,t+\epsilon)]\in\operatorname{Bru}_{{\mathbf{adv}}(\Gamma(t))}$
(Theorem \ref{theo:chopadvance} of \cite{Goulart-Saldanha0});
notice that these are open signed Bruhat cells.

\subsection{Hilbert and Banach manifolds of curves}
\label{subsect:Hilbert}

There are many possible choices for the exact definition
and topology of our spaces of locally convex curves.
Notice that there are sections with a similar purpose in
\cite{Saldanha3, Saldanha-Shapiro, Saldanha-Zuhlke1}.
We also plan to discuss this subject
in greater detail and generality in \cite{gsie}.

Given $r\in{\mathbb{N}}=\{0,1,2,\ldots\}$
and a finite dimensional real vector space $V$,
we are interested in the Banach spaces $C^r(V) = C^r([0,1];V)$
and the Hilbert space $H^r(V) = H^r([0,1];V)$.
The space $H^r(V)$ consists of functions
$f:[0,1]\to V$ of Sobolev class $H^r=W^{r,2}$.
In more detail, for $r\geq1$, we have $f\in H^r(V)$ if
$f:[0,1]\to V$ is of class $C^{(r-1)}$,
its $(r-1)$-th derivative $f^{(r-1)}$ is absolutely continuous
and its $r$-th derivative $f^{(r)}$ (defined a.e.)
is a function of class $L^2$.
We follow the convention that $H^0(V)=L^2([0,1],V)$.

Consider a compact Lie group $G$ contained
in a finite dimensional associative algebra $A$
(such as $G = \SO_{n+1} \subset A = {\mathbb{R}}^{(n+1)\times(n+1)}$
or $G = \Spin_{n+1} \subset A = \Cliff_{n+1}^{0}$).
Define $C^r(A)$ and $H^r(A)$ as above.
The spaces
$C^r(G) = C^r([0,1];G) \subset C^r(A)$ and
$H^r(G) = H^r([0,1];G) \subset H^r(A)$
of functions whose images are contained in $G$
are Banach and Hilbert submanifolds, respectively.
Notice that
the maps $\Gamma \mapsto \Gamma(t_0)$, $t_0 \in [0,1]$,
are smooth surjective submersions onto $G$.

Let $T\subset\fg$ be a vector subspace
which generates $\fg$ (as a Lie algebra).
An absolutely continuous
curve $\Gamma:[0,1]\to G$
is \emph{$T$-holonomic}
if $(\Gamma(t))^{-1}\Gamma'(t)\in T$ whenever
$\Gamma'(t)$ is defined
(which is almost always).
For $r \ge 1$,
the subsets $C^r(G;T) \subset C^r(G)$
and $H^r(G;T) \subset H^r(G)$
of $T$-holonomic curves are smooth
Banach and Hilbert submanifolds, respectively.
In our example, $G = \Spin_{n+1}$ and
$T$ is spanned by ${\mathfrak a}_1,\ldots,{\mathfrak a}_n$.
Let ${\cal J} \subset T$ be the open cone
of linear combinations of  ${\mathfrak a}_1,\ldots,{\mathfrak a}_n$
with positive coefficients.
A holonomic curve is \emph{locally convex}
if $(\Gamma(t))^{-1}\Gamma'(t)\in {\cal J}$ whenever defined.
This defines open subsets
${\cal L}_n^{[C^r]}(\cdot\,;\cdot) \subset C^r(G;T)$ for $r \ge 1$
and
${\cal L}_n^{[H^r]}(\cdot\,;\cdot) \subset H^r(G;T)$ for $r \ge 2$
of locally convex curves.
These are Banach and Hilbert manifolds, respectively.
The case $H^1$ requires a more delicate discussion and is postponed.

If we fix the initial point, we have submanifolds
${\cal L}_n^{[C^r]}(z_0;\cdot) \subset {\cal L}_n^{[C^r]}(\cdot\,;\cdot)$ and
${\cal L}_n^{[H^r]}(z_0;\cdot) \subset {\cal L}_n^{[H^r]}(\cdot\,;\cdot)$.
Indeed, multiplication by $z \in \Spin_{n+1}$ shows that $\Gamma(0)$
as a function of $\Gamma \in {\cal L}_n(\cdot\,;\cdot)$ is a submersion.
In these submanifolds the map $\mu$, $\mu(\Gamma) = \Gamma(1)$,
is called {\em monodromy}.
Lemma \ref{lemma:submersion} below shows that likewise
${\cal L}_n(z_0;z_1) \subset {\cal L}_n(z_0;\cdot)$
is a submanifold.

Recall from Equation \eqref{equation:locallyconvex}
that a locally convex curve is characterized
by its initial point $z_0 = \Gamma(0)$
and by the positive functions $\kappa_j$, $j \in [\![ n ]\!]$.
If $\Gamma$ is of class $H^r$, $r > 1$,
the functions $\kappa_j$ are in $H^{r-1}([0,1];{\mathbb{R}})$.
We could use this system of coordinates to produce an alternative
description of the Hilbert manifold structure
of the space ${\cal L}_n^{[H^r]}(\cdot\,;\cdot)$.
We follow a similar method to define ${\cal L}_n^{[H^1]}(\cdot\,;\cdot)$.
The functions $\kappa_j$ would then be in $H^0 = L^2$:
the difficulty is that the set of positive functions
is not open in $L^2([0,1];{\mathbb{R}})$.
We circumvent this difficulty by defining functions
$\xi_j\in H^0$ by
\begin{equation}
\label{equation:xis}
\xi_j=\kappa_j-\dfrac{1}{\kappa_j},\qquad
\kappa_j=\dfrac{\xi_j+\sqrt{\xi_j^{2}+4}}{2}.
\end{equation}
By definition, a locally convex curve $\Gamma$
(assumed to be absolutely continuous)
is in ${\cal L}_n^{[H_1]}(\cdot\,;\cdot)$
if the corresponding functions $\xi_j$
(through Equations \eqref{equation:locallyconvex}
and \eqref{equation:xis})
are in $H^0 = L^2([0,1])$.
Conversely, given functions $\xi_j\in H^0$,
Equation \eqref{equation:xis} above yields positive functions $\kappa_j$:
Equation \eqref{equation:locallyconvex} is then an ODE,
defining $\Gamma$ (see \cite{gsie} for details).
Thus, the initial point $z_0$ and the functions $\xi_j$
give a smooth Hilbert manifold structure to the space ${\cal L}_n^{[H^1]}(\cdot\,;\cdot)$.
As in the case $r\geq 2$,
${\cal L}_n^{[H^1]}(z_0;\cdot) \subset {\cal L}_n^{[H^1]}(\cdot\,;\cdot)$
is clearly a submanifold for each $z_0\in\Spin_{n+1}$.

\begin{lemma}
\label{lemma:submersion}
Consider a topology $C^r$, $r > 1$, $H^1$ or $H^r$, $r > 2$, and
the monodromy map $\mu: {\cal L}_n(z_0;\cdot) \to \Spin_{n+1}$,
$\mu(\Gamma) = \Gamma(1)$, for a fixed $z_0\in\Spin_{n+1}$.
The map $\mu$ is a surjective submersion.
In particular, ${\cal L}_n(z_0;z_1) \subset {\cal L}_n(z_0;\cdot)$
is a nonempty submanifold for each $z_1\in\Spin_{n+1}$.
\end{lemma}

The case $n = 2$ is discussed in \cite{Saldanha3}
and that proof can be adapted by using some basic facts
about total positivity.

\begin{proof}
We use spaces of convex curves
in the triangular group $\Lo_{n+1}^1$.
If the image of a locally convex arc $\Gamma$
is contained in ${\cal U}_{z_1}$, $z_1 \in \Spin_{n+1}$,
then $t \mapsto {\mathbf{L}}(z_1^{-1} \Gamma(t))$ is a convex curve.

Convex curves if $\Lo_{n+1}^1$ follow explicit formulae.
In particular, it follows from Equation (10)
in \cite{Goulart-Saldanha0} that,
given a convex curve in $\Lo_{n+1}^1$,
there exist perturbations keeping
the first half of the arc fixed
and moving the end point in any prescribed direction.

Given $\Gamma \in {\cal L}_n(z_0;\cdot)$, let $z_1 = \Gamma(1)$.
Set $t_{\frac12} \in (0,1)$ such that the image of the arc
$\Gamma_{[t_{\frac12},1]}$ is contained in ${\cal U}_{z_1}$.
Identify ${\cal U}_{z_1}$ with $\Lo_{n+1}^1$, as above.
The perturbation in $\Lo_{n+1}^1$ can be brought back to $\Gamma$,
proving that $\mu$ is a submersion.
Surjectivity follows by adding loops,
as in \cite{Saldanha-Shapiro}.
\end{proof}

The inclusion
${\cal L}_n^{[H^{r+1}]}(z_0;\cdot)\hookrightarrow{\cal L}_n^{[H^r]}(z_0;\cdot)$
is continuous with dense image for all $r\geq1$.
The same happens for
${\cal L}_n^{[C^{r+1}]}(z_0;\cdot)\hookrightarrow{\cal L}_n^{[C^r]}(z_0;\cdot)$
and
${\cal L}_n^{[C^r]}(z_0;\cdot)\hookrightarrow{\cal L}_n^{[H^r]}(z_0;\cdot)$.
The following facts imply that these are also homotopy equivalences.

\begin{fact}[Theorem 2 of \cite{Burghelea-Saldanha-Tomei1}]
\label{fact:BST}
Let $\mathbf{B}_1$ and $\mathbf{B}_2$ be infinite dimensional separable Banach
spaces. Suppose $i:\mathbf{B}_1\to \mathbf{B}_2$ is a bounded, injective linear
map with dense image and $M_2\subset \mathbf{B}_2$ is a smooth closed Banach
submanifold of finite codimension. Then, $M_1=i^{-1}[M_2]$ is a smooth closed
Banach submanifold of $\mathbf{B}_1$ and $i:(\mathbf{B}_1,M_1)\to
(\mathbf{B}_2,M_2)$ is a homotopy equivalence of pairs.
\end{fact}

\begin{fact}[from Theorem 0.1 of \cite{Burghelea-Henderson} and
Corollary 3 of \cite{Henderson}]
\label{fact:BH}
Let $M_1$ and $M_2$ be topological (respectively, smooth)
manifolds modeled on infinite dimensional separable Banach (resp. Hilbert)
spaces.  Any homotopy equivalence $i:M_1\to M_2$ is homotopic to a
homeomorphism (resp., diffeomorphism).
\end{fact}

\begin{rem}
\label{rem:nofibration}
A natural question at this point would be whether
$\mu$ qualifies as some sort of fibration.
The reader of course knows that the spaces ${\cal L}_n(z)$ exhibit
different homotopy types as $z$ ranges over $\Spin_{n+1}$
\cite{Little, Khesin-Shapiro2, Saldanha3, Saldanha-Shapiro,
Shapiro-Shapiro, Shapiro}.
In fact, $\mu$ is not even a Serre fibration,
since it lacks the homotopy lifting property
for polyhedra (see \cite{Khesin-Shapiro2, Saldanha1}).
\end{rem}

\begin{lemma}
\label{lemma:spaces}
For all $z_0,z_1\in\Spin_{n+1}$, we have that:
\begin{enumerate}
\item\label{item:lemma:spaces:submanifold}
{for all $r,r'\in{\mathbb{N}}^\ast$,
$r\neq 2$, $r'\neq 1$,
the subspaces ${\cal L}^{[H^r]}_n(z_0;z_1)$
and ${\cal L}^{[C^{r'}]}_n(z_0;z_1)$ are closed embedded smooth
submanifolds of codimension $m=n(n+1)/2$
of ${\cal L}^{[H^r]}_n(z_0;\cdot)$ and
${\cal L}^{[C^{r'}]}_n(z_0;\cdot)$, respectively;}
\item\label{item:lemma:spaces:homotopyequivalence}
{for all $r,\tilde r\in{\mathbb{N}}$, $r\geq 1$, the natural inclusion maps
\begin{gather*}
i_{r,\tilde r}:
({\cal L}^{[H^{r+\tilde r}]}_n(z_0;\cdot),{\cal L}^{[H^{r+\tilde r}]}_n(z_0;z_1))
\hookrightarrow
({\cal L}^{[H^r]}_n(z_0;\cdot),{\cal L}^{[H^r]}_n(z_0;z_1)), \\
j_{r,\tilde r}:
({\cal L}^{[C^{r+\tilde r}]}_n(z_0;\cdot),{\cal L}^{[C^{r+\tilde r}]}_n(z_0;z_1))
\hookrightarrow({\cal L}^{[H^r]}_n(z_0;\cdot),{\cal L}^{[H^r]}_n(z_0;z_1)), \\
\ell_{r,\tilde r}:
({\cal L}^{[C^{r+\tilde r}]}_n(z_0;\cdot),{\cal L}^{[C^{r+\tilde r}]}_n(z_0;z_1))
\hookrightarrow({\cal L}^{[C^r]}_n(z_0;\cdot),{\cal L}^{[C^r]}_n(z_0;z_1))
\end{gather*}
are homotopy equivalences of pairs.}
\item\label{item:lemma:spaces:homeomorphism}
{each of the natural inclusions $i_{r,\tilde r}$,
$j_{r,\tilde r}$, $\ell_{r,\tilde r}$
of item \ref{item:lemma:spaces:homotopyequivalence}
is homotopic to a homeomorphism between the respective pairs
(a diffeomorphism for $i_{r,\tilde r}$).
}
\end{enumerate}
\end{lemma}

\begin{proof}
Item \ref{item:lemma:spaces:submanifold} follows
directly from Lemma \ref{lemma:submersion}.
For $r,n\in{\mathbb{N}}^\ast$, consider the Banach spaces
$\mathbf{H}^{r,n} = (H^{r-1}([0,1]);{\mathbb{R}}))^n$ and
$\mathbf{C}^{r,n} = (C^{r-1}([0,1]);{\mathbb{R}}))^n$.
Regard ${\cal L}_n^{[H^r]}(z_0;z_1)\subset{\cal L}_n^{[H^r]}(z_0;\cdot)$
as submanifolds of $\mathbf{H}^{r,n}$ and
${\cal L}_n^{[C^r]}(z_0;z_1)\subset{\cal L}_n^{[C^r]}(z_0;\cdot)$
as submanifolds of $\mathbf{C}^{r,n}$,
given by the functions $\xi_1,\ldots,\xi_n$ of Equation
\eqref{equation:xis}.
Item
\ref{item:lemma:spaces:homotopyequivalence} now follows from
Fact \ref{fact:BST},
by choosing $\mathbf{B}_1$ and $\mathbf{B}_2$
amongst the Banach spaces above.
Item \ref{item:lemma:spaces:homeomorphism}
follows from Item \ref{item:lemma:spaces:homotopyequivalence} and Fact \ref{fact:BH}.
\end{proof}

In particular, we see that, given $z_0,z_1\in\Spin_{n+1}$,
all spaces ${\cal L}_n^\ast(z_0;z_1)$ are homeomorphic.
In some situations, this warrants us the right to
drop the superscripts altogether
and to adopt a definition of ${\cal L}_n(z_0;z_1)$
that is well-suited to the purpose at hand.
Throughout this paper,
the spaces of locally convex curves of class $H^r$
take precedence over their $C^r$ counterparts
for being Hilbert manifolds.
We are particularly interested in
${\cal L}_n^{[H^1]}(z_0;z_1)$ and in
${\cal L}_n^{[H^r]}(z_0;z_1)$ for large $r$.

\subsection{Convex curves}
\label{subsect:convex}

A smooth parametric curve $\gamma:J\to{\mathbb{S}}^{n}$
defined on a compact interval $J\subset{\mathbb{R}}$ is said
to be \emph{strictly convex} if for each nonzero linear functional
$\omega\in({\mathbb{R}}^{n+1})^{\ast}\smallsetminus\{0\}$
the function $\omega\gamma:J\to{\mathbb{R}}$,
$(\omega\gamma)(t) = \omega(\gamma(t))$,
has at most $n$ zeroes counted with multiplicities
(zeroes at endpoints taken into account).
It is said to be \emph{convex} if its restriction to any proper compact
subinterval of $J$ is strictly convex.

In other words, a convex curve is one that
(possibly neglecting one endpoint at a time)
intersects each $n$-dimensional vector subspace
$V\subset{\mathbb{R}}^{n+1}$ at most $n$ times
with multiplicities taken into account.
Thus, for instance,
a transversal intersection counts as $1$; a generic tangency counts as $2$;
a generic osculation counts as $3$.
Other terms used for the same or closely related
concepts are \emph{non-oscillatory curves} \cite{Novikov-Yakovenko, Shapiro}
and \emph{disconjugate curves}
\cite{Khesin-Shapiro2, Shapiro-Shapiro, Shapiro-Shapiro3}.

In Appendix A in \cite{Goulart-Saldanha}
we show that a smooth nondegenerate curve
$\gamma:[0,1]\to{\mathbb{S}}^n$ with initial frame
$\Frenet_{\gamma}(0)=1$ is convex
if and only if its itinerary is the empty word, \textit{i.e.},
that the notion of convexity introduced in
Section \ref{sect:sing} and given in terms of the
singular set of $\Frenet_{\gamma}$ coincides with this
geometric definition.
These results are essentially present in \cite{Shapiro}.

Clearly, convexity implies nondegeneracy.
Conversely, as we shall see in Lemma \ref{lemma:convex},
(smooth) nondegeneracy implies local convexity:
this is why the terms \emph{nondegenerate} and
\emph{locally convex} are used interchangeably.

We quote below the main result of Appendix A of \cite{Goulart-Saldanha}.
For $J$ a compact interval,
we say that a locally convex curve $\Gamma:J\to\Spin_{n+1}$
is \emph{short} if there exists $z \in \Spin_{n+1}$ such that
$\Gamma[J]\subset{\cal U}_z$.
Recall that ${\cal U}_z \subset \Spin_{n+1}$ is the domain
of a triangular system of coordinates
(see Subsection \ref{subsect:Bruhat} or Section \ref{sect:triangle} of \cite{Goulart-Saldanha0}).

\begin{lemma}
\label{lemma:convex}
Let $\gamma:J\to{\mathbb{S}}^n$ be a smooth nondegenerate curve
defined on a compact interval $J\subset{\mathbb{R}}$.
The following conditions are equivalent:
\begin{enumerate}
\item\label{item:strictlyconvex}{$\gamma$ is strictly convex;}
\item\label{item:short}{$\Frenet_{\gamma}$ is short;}
\item\label{item:BruhatAT}{$\forall t_{0},t_{+}\in J
\left((t_{0}<t_{+})\rightarrow
(\Frenet_{\gamma}(t_{+})\in \Frenet_{\gamma}(t_{0}) \operatorname{Bru}_{\acute\eta})\right)$;}
\item\label{item:BruhatA}{$\forall t_{0},t_{-}\in J
\left((t_{-}<t_{0})\rightarrow
(\Frenet_{\gamma}(t_{-})\in \Frenet_{\gamma}(t_{0}) \operatorname{Bru}_{\grave\eta})\right)$.}
\end{enumerate}
\end{lemma}

\begin{proof}
See Appendix A in \cite{Goulart-Saldanha};
closely related sufficient conditions for convexity may be
found in \cite{Novikov-Yakovenko, Shapiro}.
\end{proof}

\begin{example}
\label{example:convex}
Given $z\in\operatorname{Bru}_{\acute\eta}$, consider the curve
$\Gamma=\Gamma_z:[0,1]\to\Spin_{n+1}$
passing through $\Gamma_z(\frac12)=z$ given by
Lemma \ref{lemma:convex1} of \cite{Goulart-Saldanha0}.
It follows immediately from Lemma \ref{lemma:convex}
that $\gamma_z=\Gamma_z e_1$ is a convex curve
(though not strictly convex).
For an alternative proof, recall that $\Gamma_z$
is obtained from $\Gamma_{\acute\eta}(t)=\exp(\pi t{\mathfrak h})$
through a projective transformation and see Lemma 2.2 of
\cite{Saldanha-Shapiro} for a direct proof of the
convexity of $\Gamma_{\acute\eta}$.
For $n=2$,
$\gamma_{\acute\eta}(t)=
\frac{1}{2}(1+\cos(2\pi t),\sqrt{2}\sin(2\pi t),1-\cos(2\pi t))$
is the circle of diameter $e_{1}e_{3}$ in ${\mathbb{S}}^2$.
Notice that $\gamma_{\acute\eta}$ is closed
if and only if $n$ is even
(as usual, a curve
$\gamma:[0,1]\to{\mathbb{S}}^n$ is closed if
$\Frenet_{\gamma}(0)=\Frenet_{\gamma}(1)$).
\end{example}

\section{Proof of Theorem \ref{theo:Hausdorff}}
\label{sect:sing}

Before proving Theorem \ref{theo:Hausdorff},
we state and prove two related results.
The first lemma is essentially equivalent to
Conjecture 2.6 in \cite{Shapiro-Shapiro3}.
We thank B. Shapiro and M. Shapiro for insightful
conversations on this subject.

\begin{lemma}
\label{lemma:conjecture}
Let $\Gamma \in {\cal L}_n(z_0;z_1)$ be a locally convex curve.
Let $t_\ast \in \operatorname{sing}(\Gamma) \subset (0,1)$, $z_\ast = \Gamma(t_\ast) \in \operatorname{Sing}_{n+1}$.
Then there exists an open set ${\cal U}_\ast \subset \Spin_{n+1}$, $z_\ast \in {\cal U}_\ast$
with the following properties.
There exists $\epsilon > 0$ such that $[t_\ast - \epsilon, t_\ast + \epsilon] \subset (0,1)$,
$[t_\ast - \epsilon, t_\ast + \epsilon]  \cap \operatorname{sing}(\Gamma) = \{t_\ast\}$
and $\Gamma[[t_\ast-\epsilon,t_\ast+\epsilon]] \subset {\cal U}_\ast$.
There exist distinct open connected components
${\cal U}_\ast^{-}$ and ${\cal U}_\ast^{+}$
of ${\cal U}_\ast \smallsetminus \operatorname{Sing}_{n+1}$ such that
$\Gamma[[t_\ast - \epsilon,t_\ast)] \subset {\cal U}_\ast^{-}$ and
$\Gamma[(t_\ast,t_\ast+\epsilon]] \subset {\cal U}_\ast^{+}$.
\end{lemma}

\begin{proof}
Assume that $z_{\ast} \in \operatorname{Bru}_\rho$, $\rho \ne \eta$.
After applying a projective transformation, we may assume
that $z_{\ast} \in q_{\ast} {\mathbf{Q}}[\operatorname{Pos}_\rho] \subset {\cal U}_{q_\ast}$,
$q_\ast\in\Quat_{n+1}$.
We shall take ${\cal U}_\ast = {\cal U}_{q_\ast}$
and ${\cal U}_\ast^{+} = q_{\ast} {\mathbf{Q}}[\operatorname{Pos}_\eta]$,
which is a connected component of
${\cal U}_\ast \smallsetminus \operatorname{Sing}_{n+1}$.
The number $\epsilon > 0$ can easily be chosen so as to satisfy the conditions in the statement.
It follows from Lemma \ref{lemma:transition}
of \cite{Goulart-Saldanha0}
that $\Gamma[(t_\ast,t_\ast+\epsilon]] \subset {\cal U}_\ast^{+}$
and that $\Gamma[[t_\ast - \epsilon,t_\ast)]$ is disjoint from ${\cal U}_\ast^{+}$:
let ${\cal U}_\ast^{-}$ be the connected component of ${\cal U}_\ast \smallsetminus \operatorname{Sing}_{n+1}$
containing $\Gamma[[t_\ast - \epsilon,t_\ast)]$.
\end{proof}

\begin{lemma}
\label{lemma:novanishingletter}
Let $z_0,z_1\in\Spin_{n+1}$.
Let $K$ be a compact set and
$H: K \to {\cal L}_n(z_0;z_1)$ be a continuous function.
Let
\[ K_1 = \bigsqcup_{s \in K} (\{s\} \times \operatorname{sing}(H(s))) =
\{(s,t) \in K \times (0,1) \;|\; H(s)(t) \in \operatorname{Sing}_{n+1} \}. \]
Then $K_1$ is a compact set and satisfies the following condition:
\begin{gather*}
\forall (s_0,t_0) \in K_1, \; \forall \epsilon > 0, \;
\exists \delta > 0, \; \forall s \in K, \\
|s-s_0| < \delta \quad\to\quad
(\exists t \in (0,1), \; (s,t) \in K_1, \; |t-t_0| < \epsilon).
\end{gather*}
\end{lemma}

\begin{proof
Write $\tilde H(s,t) = H(s)(t) \in \Spin_{n+1}$
so that $\tilde H: K \times [0,1] \to \Spin_{n+1}$ is continuous.
Notice that $K_2 \subseteq K \times [0,1]$ defined by
\[ K_2 = \tilde H^{-1}[\operatorname{Sing}_{n+1}]\subseteq K_1 \cup (K \times \{0,1\}),
\qquad
\operatorname{Sing}_{n+1} = \sqcup_{\sigma \ne \eta} \operatorname{Bru}_{\sigma}, \]
is closed and therefore compact.
Furthermore, the sets $A_0 = \tilde H^{-1}[\operatorname{Bru}_{{\mathbf{adv}}(z_0)}]$ and
$A_1 = \tilde H^{-1}[\operatorname{Bru}_{{\mathbf{chop}}(z_1)}]$ are open and disjoint from $K_2$.
From Theorem \ref{theo:chopadvance} of \cite{Goulart-Saldanha0},
for each $s \in K$ there exists $\epsilon_s > 0$ such that
$\{s\} \times (0,\epsilon_s) \subset A_0$
and
$\{s\} \times (1-\epsilon_s,1) \subset A_1$.
By compactness of $K$ there exists $\epsilon_{\ast} > 0$ such that
$K \times (0,\epsilon_{\ast}) \subset A_0$ and
$K \times (1-\epsilon_{\ast},1) \subset A_1$,
implying the compactness of $K_1 = K_2 \smallsetminus (K \times \{0,1\})$.

The remaining claim follows from Lemma \ref{lemma:conjecture}.
\end{proof}

\begin{proof}[Proof of Theorem \ref{theo:Hausdorff}]
It follows from the condition in
Lemma \ref{lemma:novanishingletter},
that the composite map $\operatorname{sing} \circ H$ is continuous.
Since ${\cal L}_n(z_0;z_1)$ is metrizable
and $K$ is arbitrary, this implies the continuity
of the map $\operatorname{sing}:{\cal L}_n(z_0;z_1)\to\mathcal{H}([0,1])$.
\end{proof}

Recall from the introduction that $\Gamma\in{\cal L}_{n,\operatorname{convex}}(z)$
if and only if $\Gamma\in{\cal L}_n(1;z)$ and
$\operatorname{sing}(\Gamma)=\emptyset$.
The following result is well known
\cite{Anisov, Shapiro-Shapiro, Shapiro} and is presented here
for completeness and as an example of an application.

\begin{lemma}
\label{lemma:convex2}
If $z \in \widetilde\B^+_{n+1}$ then the subset
${\cal L}_{n,\operatorname{convex}}(z) \subset {\cal L}_n(z)$
is either empty or a contractible connected component.
It is nonempty if and only if
${\mathbf{chop}}(z)=\acute\eta$.
\end{lemma}

\begin{proof}
From Theorem \ref{theo:Hausdorff}
and the fact that $\emptyset \in {\cal H}([0,1])$ is an isolated point
it follows that ${\cal L}_{n,\operatorname{convex}}(z)$ is a union of connected components.
By item \ref{item:lemma:spaces:homotopyequivalence}
of Lemma \ref{lemma:spaces},
it suffices to show that ${\cal L}^{[H^1]}_{n,\operatorname{convex}}(z)$ is contractible.

Consider first the case $z \in \operatorname{Bru}_{\acute\eta}$.
By applying a projective transformation we may assume
$z = \acute\eta = \exp(\frac{\pi}{2}{\mathfrak h})$.
Take $\Gamma_0 \in {\cal L}_{n,\operatorname{convex}}(\acute\eta)$,
$\Gamma_0(t) = \exp(\frac{\pi}{2}t{\mathfrak h})$.
Notice that Equation \eqref{equation:fhfhL} of
\cite{Goulart-Saldanha0} implies that
$\Gamma_0(t)\in\operatorname{Bru}_{\acute\eta}$ for $0<t\leq1$,
since $\Gamma_0(t)=U_0(t)\Pi(\acute\eta)U_1(t)$,
where
\begin{gather*}
U_1(t)=\exp\left(-\log\left(\cos\left(\pi t/2 \right)[{\mathfrak h}_L,{\mathfrak h}_L^\top]\right)\right)
\exp\left(-\tan\left(\pi t/2 \right){\mathfrak h}_L^\top\right), \\
U_0(t)=\Pi(\acute\eta)
\exp\left(\tan\left(\pi t/2 \right){\mathfrak h}_L\right)
\Pi(\acute\eta)^\top \in\Up^+_{n+1}
\end{gather*}
(recall that the comutator
$[{\mathfrak h}_L,{\mathfrak h}_L^\top]=\sum_{k=0}^n(2k-n)e_{k+1}e_{k+1}^\top$
is a diagonal matrix).
For $s \in (0,1]$, let $U_s \in \Up_{n+1}^{1}$ be such that
$\acute\eta^{U_s}=\Gamma_0(s)$.
For $\Gamma_1 \in {\cal L}_{n,\operatorname{convex}}^{[H^1]}(\acute\eta)$
and $s \in (0,1]$
define $\Gamma_s  \in {\cal L}_{n,\operatorname{convex}}^{[H^1]}(\acute\eta)$ by:
\[ \Gamma_s(t) = \begin{cases}
(\Gamma_1(\frac{t}{s}))^{U_s}, & t \in [0,s], \\
\Gamma_0(t), & t \in [s,1]. \end{cases} \]
The map $[0,1] \to  {\cal L}_{n,\operatorname{convex}}^{[H^1]}(\acute\eta)$,
$s \mapsto \Gamma_s$ is continuous (even at $s = 0$).

The general case follows from
Proposition 6.4 of \cite{Saldanha-Shapiro};
see also Remark \ref{rem:explicitcontraction}.
\end{proof}

\begin{rem}
\label{rem:convex}
It follows from Lemma \ref{lemma:convex}
that $\operatorname{sing}(\Gamma)=\emptyset$ implies
that $\Gamma$ is convex.
The reciprocal is not true. Indeed,
for any $\sigma\in S_{n+1}$, $\sigma\ne\eta$, take
$\Gamma:[0,1]\to\Spin_{n+1}$,
$\Gamma(t)=\acute\sigma\exp(v(t-\frac12){\mathfrak h})$.
For small $v>0$, $\Gamma$ is convex (short) but
$\frac12\in\operatorname{sing}(\Gamma)$ (see also Example \ref{example:inout} below).
\end{rem}

\section{Accessibility in triangular coordinates}
\label{sect:acctriangle}

For $L_{{\mathbf x}} \in \operatorname{Pos}_{\eta} \subset \Lo_{n+1}^{1}$
we shall be interested in the \emph{interval}
\[ [I,L_{{\mathbf x}}) =
\overline{\operatorname{Pos}_{\eta}} \cap (L_{{\mathbf x}} \operatorname{Neg}_{\eta})
= \{ L \in \Lo_{n+1}^{1} \;|\; I \le L \ll L_{{\mathbf x}} \}
= \bigsqcup_{\sigma\in S_{n+1}} \operatorname{Ac}_{\sigma}(L_{{\mathbf x}}) \]
where the strata $\operatorname{Ac}_\sigma(L_{{\mathbf x}}) \subset \operatorname{Pos}_\sigma$
are given by
\[ \operatorname{Ac}_{\sigma}(L_{{\mathbf x}}) = [I,L_{{\mathbf x}}) \cap \operatorname{Pos}_\sigma =
\{ L \in \operatorname{Pos}_\sigma \;|\; L \ll L_{{\mathbf x}} \}. \]
The sets $\operatorname{Ac}_{\sigma}(L_{{\mathbf x}})$ will be called \emph{accessibility sets},
suggesting that for $L \in \operatorname{Pos}_\sigma$,
$L \in \operatorname{Ac}_\sigma(L_{{\mathbf x}})$ if and only if there exists
a convex curve $\Gamma: [0,1] \to \Lo_{n+1}^1$
with $\Gamma(0) = L$ and $\Gamma(1) = L_{{\mathbf x}}$.

\begin{example}
\label{example:Ac}
Take $n = 2$ and, for $x,y,z\in{\mathbb{R}}$,  write
\begin{gather*}
L_{{\mathbf x}} = L(x,y,z) =
\begin{pmatrix}
1 & 0 & 0 \\
x & 1 & 0 \\
z & y & 1
\end{pmatrix}
= \jacobi_1(c_1) \jacobi_2(c_2) \jacobi_1(c_3)
= \jacobi_2(\tilde c_1) \jacobi_1(\tilde c_2) \jacobi_2(\tilde c_3), \\
c_1 = x-\frac{z}{y}, \quad c_2 = y,  \quad c_3 = \frac{z}{y}, \qquad
\tilde c_1 = y-\frac{z}{x},\quad \tilde c_2 = x,\quad \tilde c_3 = \frac{z}{x};
\end{gather*}
as in Section \ref{sect:gso}, $\jacobi_j(t)=\exp(t{\mathfrak l}_j)$.
We describe the strata
$\operatorname{Ac}_{\sigma}=\operatorname{Ac}_{\sigma}(L_{{\mathbf x}})$.
The first stratum is a point:
$\operatorname{Ac}_e = \{I\}$.
Next we have line segments:
\[ \operatorname{Ac}_{a} = \{ \jacobi_1(t_1) \;|\; t_1 \in (0, c_1) \}, \quad
\operatorname{Ac}_{b} = \{ \jacobi_2(\tilde t_1) \;|\; \tilde t_1 \in (0, \tilde c_1) \}. \]
The next strata are surfaces:
\begin{align*}
{\operatorname{Ac}_{ab}} &=
\left\{ \jacobi_1(t_1) \jacobi_2(t_2) \;|\;
t_1 \in (0,c_1), t_2 \in (0,g_2(t_1)) \right\},
\quad g_2(t_1) = \frac{c_2c_3}{c_1+c_3-t_1}, \\
{\operatorname{Ac}_{ba}} &=
\left\{ \jacobi_2(\tilde t_1) \jacobi_1(\tilde t_2) \;|\;
\tilde t_1 \in (0,\tilde c_1), \tilde t_2 \in (0,\tilde g_2(\tilde t_1))
\right\},
\quad \tilde g_2(\tilde t_1) =
\frac{\tilde c_2\tilde c_3}{\tilde c_1+\tilde c_3-\tilde t_1}.
\end{align*}
Translating this parametrization back to $(x,y,z)$ coordinates
shows that $\operatorname{Ac}_{ab}$ is contained in the plane $z = 0$
and $\operatorname{Ac}_{ba}$ is contained in the hyperbolic paraboloid $z = xy$.
Finally, the open stratum $\operatorname{Ac}_{aba}$ can be described as
\begin{gather*}
\operatorname{Ac}_{aba} =
\left\{ \jacobi_1(t_1) \jacobi_2(t_2) \jacobi_1(t_3) \;|\;
t_1 \in \left(0,c_1 \right),
t_2 \in \left(0,g_2(t_1) \right),
t_3 \in \left(0,g_3(t_1,t_2) \right)\right\} \\
\phantom{\operatorname{Ac}_\eta} =
\left\{ \jacobi_2(\tilde t_1) \jacobi_1(\tilde t_2) \jacobi_2(\tilde t_3) \;|\;
\tilde t_1 \in \left(0,\tilde c_1 \right),
\tilde t_2 \in \left(0,\tilde g_2(\tilde t_1) \right),
\tilde t_3 \in \left(0,\tilde g_3(\tilde t_1,\tilde t_2) \right)\right\}, \\
g_3(t_1,t_2) = \frac{c_2(c_1-t_1)}{c_2-t_2}, \qquad
\tilde g_3(\tilde t_1,\tilde t_2) =
\frac{\tilde c_2(\tilde c_1-\tilde t_1)}{\tilde c_2-\tilde t_2}.
\end{gather*}
\end{example}

A \emph{quasiproduct} is a finite sequence $(X_j)_{1 \le j \le k}$
of open sets $X_j \subset (0,+\infty)^j$ such that there exist
a constant $c_1 \in (0,+\infty)$
and continuous functions $g_j: X_{j-1} \to (0,+\infty)$
for $2 \le j \le k$ such that
$X_1 = (0,c_1)$ and
\[ X_j = \{ (t_1, \ldots, t_{j-1}, t_j) \in X_{j-1} \times (0,+\infty) \;|\;
t_{j} < g_j(t_1, \ldots, t_{j-1}) \}, \quad
2 \le j \le k. \]
Notice that $X_k$ is homeomorphic to ${\mathbb{R}}^k$.

\begin{lemma}
\label{lemma:triangularquasiproduct}
If $L_{{\mathbf x}} \in \operatorname{Pos}_\eta$, each stratum $\operatorname{Ac}_\sigma(L_{{\mathbf x}})$
is an open, bounded and contractible subset of $\operatorname{Pos}_\sigma$.
Moreover, if $\sigma = \sigma_k = a_{i_1} \cdots a_{i_k}$ is a reduced word
and $\sigma_j =  a_{i_1} \cdots a_{i_j}$, $j \le k$, then
\[ \operatorname{Ac}_{\sigma_j}(L_{{\mathbf x}}) =
\{ \jacobi_{i_1}(t_1) \cdots
\jacobi_{i_j}(t_{j})
\;|\;
(t_1,\ldots,t_{j}) \in X_j \} \]
where the sequence $(X_j)_{1 \le j \le k}$ is a quasiproduct.
Furthermore, the functions \mbox{$g_j: X_{j-1} \to (0,+\infty)$}
are rational and bounded.
\end{lemma}

Example \ref{example:Ac} above illustrates this claim for $n = 2$.

\begin{proof}
Notice that $I \le L \ll L_{{\mathbf x}}$ implies
that $L \in \overline{\operatorname{Pos}_\eta}$ and that
there exists $\tilde L \in \operatorname{Pos}_\eta$ with $L \tilde L = L_{{\mathbf x}}$.
Computing $(L_{{\mathbf x}})_{ij}$ in this product yields
$0 \le (L)_{ij} \le (L_{{\mathbf x}})_{ij}$:
it follows that the interval $[I,L_{{\mathbf x}})$ is bounded.

The proof is by induction on $k = \inv(\sigma)$; the case $k = 1$ is easy.
Write
\[ X_j = \{ (t_1, \ldots, t_{j}) \in (0,+\infty)^{j} \;|\;
\jacobi_{i_1}(t_1) \cdots  \jacobi_{i_{j}}(t_{j})
\ll L_{{\mathbf x}} \}. \]
We assume by induction that $(X_j)_{1\le j\le k-1}$ is a quasiproduct;
we need to construct the function $g_k: X_{k-1} \to (0,+\infty)$
that obtains $X_k$.

Let $\eta = a_{j_1} \cdots a_{j_m}$ be a reduced word with $j_1 = i_k$.
Given $(t_1, \ldots , t_{k-1}) \in X_{k-1}$, let
\[ L_{\sigma_{k-1}} = \jacobi_{i_1}(t_1) \cdots \jacobi_{i_{k-1}}(t_{k-1})
\in \operatorname{Ac}_{\sigma_{k-1}}(L_{{\mathbf x}}) \subset \operatorname{Pos}_{\sigma_{k-1}} \]
and write
\[ L_{\sigma_{k-1}}^{-1} L_{{\mathbf x}} =
\jacobi_{j_1}(\tau_1) \cdots \jacobi_{j_m}(\tau_m) \in \operatorname{Pos}_\eta \]
so that $\tau_1 > 0$ is a function of $(t_1, \ldots, t_{k-1})$:
define $g_k(t_1, \ldots, t_{k-1}) = \tau_1$.
That $g_k$ is a rational function follows from the fact that,
for all $i\in\llbracket n-1\rrbracket$, $s_1,s_2,s_3\in{\mathbb{R}}$,
\[\jacobi_i(s_1)\jacobi_{i+1}(s_2)\jacobi_i(s_3)
=\jacobi_{i+1}\left(\frac{s_2s_3}{s_1+s_3}\right)
\jacobi_i(s_1+s_3)
\jacobi_{i+1}\left(\frac{s_1s_2}{s_1+s_3}\right).\]
As in Lemma \ref{lemma:posline}
of \cite{Goulart-Saldanha0},
$\jacobi_{i_k}(t) \ll L_{\sigma_{k-1}}^{-1} L_{{\mathbf x}}$
if and only if $t < g_k(t_1, \ldots, t_{k-1})$
\end{proof}

\section{Accessibility in the spin group}
\label{sect:acc}

For $z_{{\mathbf x}} \in {\mathbf{Q}}[\operatorname{Pos}_\eta] \subseteq {\cal U}_1 \cap \operatorname{Bru}_{\acute\eta}$
and $\sigma \in S_{n+1}$ we define
\[ \operatorname{Ac}_\sigma(z_{{\mathbf x}}) = {\mathbf{Q}}[\operatorname{Ac}_\sigma({\mathbf{L}}(z_{{\mathbf x}}))]
\subset {\mathbf{Q}}[\operatorname{Pos}_\sigma] \subset \operatorname{Bru}_{\acute\sigma}. \]
For each $z \in \operatorname{Ac}_\sigma(z_{{\mathbf x}})$ there exists a locally convex curve
$\Gamma: [0,1] \to {\cal U}_1$
with $\Gamma(0) = z$ and $\Gamma(1) = z_{{\mathbf x}}$.
Indeed, just take a convex curve
$\Gamma_L: [0,1] \to \Lo_{n+1}^{1}$
with $\Gamma_L(0) = {\mathbf{L}}(z)$ and $\Gamma_L(1) = {\mathbf{L}}(z_{{\mathbf x}})$
and define $\Gamma = {\mathbf{Q}} \circ \Gamma_L$.
Similarly, for $z \in {\mathbf{Q}}[\operatorname{Pos}_\sigma] \smallsetminus \operatorname{Ac}_\sigma(z_{{\mathbf x}})$
no such curve exists.

For $z_{{\mathbf x}} \in \operatorname{Bru}_{\acute\eta}$, choose $U \in \Up_{n+1}^{+}$
such that $z_{{\mathbf x}} = z_0^U$, $z_0  \in {\mathbf{Q}}[\operatorname{Pos}_\eta]$.
For $\sigma \in S_{n+1}$ define
$\operatorname{Ac}_{\sigma}(z_{{\mathbf x}}) = (\operatorname{Ac}_{\sigma}(z_0))^U$;
this turns out to be well-defined and the properties above still hold.
We want to define $\operatorname{Ac}_{\sigma}(z_{{\mathbf x}})$ for any
$z_{{\mathbf x}} \in {\mathbf{chop}}^{-1}[\{\acute\eta\}]$.
This will require a certain detour.
We shall first present a topological construction (using curves),
then an algebraic one (using coordinates)
and then finally prove their equivalence.

For $q\in \Quat_{n+1}$, set
\begin{align*}
\operatorname{Bru}^{0}_{q\acute\eta} &= {\mathbf{adv}}^{-1}[\{q\acute\eta\}]
= \bigsqcup_{\sigma \in S_{n+1}} \operatorname{Bru}_{q\acute\sigma}, \\
\operatorname{Bru}^{1}_{q\grave\eta} &= {\mathbf{chop}}^{-1}[\{q\grave\eta\}]
= \bigsqcup_{\sigma \in S_{n+1}}
\operatorname{Bru}_{q\grave\sigma}.
\end{align*}
A locally convex curve $\Gamma: [0,1] \to \Spin_{n+1}$
satisfying $\Gamma(t) \in \operatorname{Bru}_{\acute\eta}$ for $t \in (0,1)$
will necessarily satisfy
$\Gamma(0) \in \operatorname{Bru}_{\acute\eta}^{0}$ and $\Gamma(1) \in \operatorname{Bru}_{\acute\eta}^{1}$.
Notice that $\operatorname{Bru}_{\acute\eta} \subseteq \operatorname{Bru}_{\acute\eta}^{0} \cap \operatorname{Bru}_{\acute\eta}^{1}$.
Given $\sigma \in S_{n+1}$, we have
\[ \operatorname{Bru}_\sigma \cap \operatorname{Bru}_{\acute\eta}^{0} = \operatorname{Bru}_{\acute\sigma}, \qquad
\operatorname{Bru}_\sigma \cap \operatorname{Bru}_{\acute\eta}^{1} = \operatorname{Bru}_{\hat\eta(\hat\sigma)^{-1}\acute\sigma} \]
and therefore
\[ \operatorname{Bru}_{\acute\eta}^{0} \cap \operatorname{Bru}_{\acute\eta}^{1} =
\bigsqcup_{\sigma \in S_{n+1}, \hat\sigma = \hat\eta} \operatorname{Bru}_{\acute\sigma}.\]
It follows from Remark \ref{rem:smalln}
of \cite{Goulart-Saldanha0} that
$\operatorname{Bru}_{\acute\eta}^{0} \cap \operatorname{Bru}_{\acute\eta}^{1} = \operatorname{Bru}_{\acute\eta}$ precisely for $n \le 3$.
In order to extend locally convex curves in $\operatorname{Bru}_{\acute\eta}$
to the boundary and not mix up entry points with exit points
we define a new larger space:
\[ \operatorname{Bru}_{\acute\eta}^{\diamond} =
( ({\mathbf{adv}}^{-1}[\{\acute\eta\}] \times \{0\}) \sqcup
({\mathbf{chop}}^{-1}[\{\acute\eta\}] \times \{1\}) )/\sim \]
where $(z,0)\sim(z,1)$ for $z\in\operatorname{Bru}_{\acute\eta}$ (and only there).
We abuse notation by writing
\[ \operatorname{Bru}_{\acute\eta}^{0} \subset \operatorname{Bru}_{\acute\eta}^{\diamond}, \qquad \operatorname{Bru}_{\acute\eta}^{1} \subset \operatorname{Bru}_{\acute\eta}^{\diamond}; \]
in \emph{this} context, $\operatorname{Bru}_{\acute\eta}^{0} \cap \operatorname{Bru}_{\acute\eta}^{1} = \operatorname{Bru}_{\acute\eta}$.
A locally convex curve $\Gamma: [0,1] \to \operatorname{Bru}_{\acute\eta}^{\diamond}$ corresponds to
a locally convex curve $\Gamma_1: [0,1] \to \Spin_{n+1}$
satisfying $\Gamma_1(t) \in \operatorname{Bru}_{\acute\eta}$ for $t \in (0,1)$
with $\Gamma(0) = (\Gamma_1(0),0)$, $\Gamma(1) = (\Gamma_1(1),1)$.

For $z_0 \in \operatorname{Bru}_{\acute\eta}^{0}$ and $z_1 \in \operatorname{Bru}_{\acute\eta}^{1}$,
let $\cL_n^{\diamond}(z_0;z_1) \subset {\cal L}_n^{[H^1]}(z_0;z_1)$
be the set of locally convex curves $\Gamma: [0,1] \to \Spin_{n+1}$
such that $\Gamma(0) = z_0$, $\Gamma(1) = z_1$
and $\Gamma(t) \in \operatorname{Bru}_{\acute\eta}$ for all $t \in (0,1)$.
For $z_0, z_1 \in \operatorname{Bru}_{\acute\eta}^{\diamond}$,
write $z_0 \ll z_1$ if and only if
$z_0 \in \operatorname{Bru}_{\acute\eta}^{0}$, $z_1 \in \operatorname{Bru}_{\acute\eta}^{1}$,
and $\cL_n^{\diamond}(z_0;z_1) \ne \emptyset$
(compare with Lemma \ref{lemma:totallypositive}
of \cite{Goulart-Saldanha0}).

\begin{lemma}
\label{lemma:cLjojo}
Consider $z_0 \in \operatorname{Bru}_{\acute\eta}^{0}$ and $z_1 \in \operatorname{Bru}_{\acute\eta}^{1}$.
The set $\cL_n^{\diamond}(z_0;z_1)$ is either empty or contractible.
If $z_0 \ll z_1$ then $z_0^{-1}z_1 \in \operatorname{Bru}_{\acute\eta}^{1}$
and $\cL_n^{\diamond}(z_0;z_1) = {\cal L}_{n,\operatorname{convex}}(z_0;z_1)$.
\end{lemma}

\begin{example}
\label{example:inout}
Recall from Lemma \ref{lemma:convex2} that
${\cal L}_{n,\operatorname{convex}}(z_0;z_1) \subset {\cal L}_n(z_0;z_1)$
is a contractible connected component if $z_0^{-1}z_1 \in \operatorname{Bru}_{\acute\eta}^{1}$
and is empty otherwise.
It is entirely possible to have
$z_0 \in \operatorname{Bru}_{\acute\eta}^{0}$,  $z_1 \in \operatorname{Bru}_{\acute\eta}^{1}$,
$z_0^{-1}z_1 \in \operatorname{Bru}_{\acute\eta}^{1}$ and $z_0 \not\ll z_1$
so that $\cL_n^{\diamond}(z_0;z_1) = \emptyset$.
In this case, there are convex curves in ${\cal L}(z_0;z_1)$
but they never belong to $\cL_n^{\diamond}(z_0;z_1)$.
A simple case is $n = 6$,
$z_0 = \exp(\frac{3\pi}{4}{\mathfrak h})$ and $z_1 = \exp(\frac{\pi}{4}{\mathfrak h})$.
Recall from Example \ref{example:hateta}
of \cite{Goulart-Saldanha0}
that for $n = 6$ we have $\hat\eta = \exp(\pi{\mathfrak h}) = 1$.
We have $z_0^{-1}z_1 = \exp(\frac{\pi}{2}{\mathfrak h}) = \acute\eta$
and the curve $\Gamma(t) = z_0 \exp(\frac{\pi}{2} t{\mathfrak h})$ is convex.
\end{example}

\begin{proof}[Proof of Lemma \ref{lemma:cLjojo}]
By definition, $\cL_n^{\diamond}(z_0;z_1) = \operatorname{sing}^{-1}[\{\emptyset\}]$.
Since $\emptyset$ is an isolated point in ${\cal H}([0,1])$,
the set $\cL_n^{\diamond}(z_0;z_1)$ is a union of
connected components of ${\cal L}_n(z_0;z_1)$,
by Theorem \ref{theo:Hausdorff}.

We know from \cite{Saldanha-Shapiro} that if $\Gamma$ is not convex
then $\Gamma$ is in the same connected component as
$\Gamma$ with added loops,
which clearly does not have empty singular set.
Thus the only connected component of ${\cal L}_n(z_0;z_1)$
which may be contained in $\cL_n^{\diamond}(z_0;z_1)$
is ${\cal L}_{n,\operatorname{convex}}(z_0;z_1)$.
\end{proof}

Given $z_{{\mathbf x}} \in \operatorname{Bru}_{\acute\eta}^{1}$ and $\sigma \in S_{n+1}$,
consider $\operatorname{Bru}_{\acute\sigma} \subset \operatorname{Bru}_{\acute\eta}^{0}$:
let
\[ \operatorname{Ac}_{\sigma}(z_{{\mathbf x}}) =
\{ z \in \operatorname{Bru}_{\acute\sigma} \subset \operatorname{Bru}_{\acute\eta}^{0} \;|\; z \ll z_{{\mathbf x}} \}. \]

\begin{lemma}
\label{lemma:acstep}
Consider $z_{{\mathbf x}} \in \operatorname{Bru}_{\acute\eta}^{1}$.
Consider $\sigma_{k-1} \vartriangleleft
\sigma_k = \sigma_{k-1} a_{i_k} \in S_{n+1}$,
$\inv(\sigma_k) = k$.
Consider $z_{k-1} \in \operatorname{Bru}_{\acute\sigma_{k-1}}$
and $z_k = z_{k-1} \alpha_{i_k}(\theta_k) \in \operatorname{Bru}_{\acute\sigma_k}$,
$\theta_k \in (0,\pi)$.
If $z_k \ll z_{{\mathbf x}}$ then
$z_{k-1}\alpha_{i_k}(\theta) \ll z_{{\mathbf x}}$
for all $\theta \in [0,\theta_k]$.
\end{lemma}

As in Section \ref{sect:gso}, $\vartriangleleft$
denotes the covering relation for the Bruhat order in $S_{n+1}$.

\begin{proof
From Corollary \ref{coro:zkLk} of \cite{Goulart-Saldanha0},
if $z_k \in {\mathbf{Q}}[\operatorname{Pos}_{\sigma_k}]$ then
\[z_{k-1}\alpha_{i_k}(\theta) \in
{\mathbf{Q}}[\operatorname{Pos}_{\sigma_{k-1}} \sqcup \operatorname{Pos}_{\sigma_{k}}].\]
In this case, take $L_{k} = {\mathbf{L}}(z_{k})$
and $L_{\theta} = {\mathbf{L}}(z_{k-1} \alpha_{i_k}(\theta) )$.
Consider a locally convex curve $\Gamma \in \cL_n^{\diamond}(z_k;z_{{\mathbf x}})$.
As in the proof of Theorem \ref{theo:chopadvance}
of \cite{Goulart-Saldanha0},
take $\Gamma_L(t) = {\mathbf{L}}(\Gamma(t))$ so that
$\Gamma_L(0) = L_k$.
By Lemma \ref{lemma:transition} of \cite{Goulart-Saldanha0},
there exists $\epsilon > 0$ such that
$\Gamma_L$ is well-defined in $[0,2\epsilon]$ and
$L_{\epsilon} = \Gamma_L(\epsilon) \in \operatorname{Pos}_\eta$.
We have $L_{\theta} \le L_k \ll L_\epsilon$
and therefore $L_{\theta} \ll L_\epsilon$
(Lemma \ref{lemma:positivesemigroup} and
Equation \eqref{equation:positivesemigroup}
of \cite{Goulart-Saldanha0}).
By Lemma \ref{lemma:totallypositive} of \cite{Goulart-Saldanha0},
there exists a locally convex curve
$\Gamma_{\epsilon}: [0,\epsilon] \to \Lo_{n+1}^1$,
$\Gamma_{\epsilon}(0) = L_{\theta}$ and
$\Gamma_{\epsilon}(\epsilon) = L_{\epsilon}$.
Define
\[ \Gamma_1(t) = \begin{cases}
{\mathbf{Q}}(\Gamma_{\epsilon}(t)), & t \in [0,\epsilon], \\
\Gamma(t), & t \in [\epsilon,1]. \end{cases} \]
Notice that for $t \in (0,\epsilon)$ we have
$\Gamma_{\epsilon}(t) \in \operatorname{Pos}_{\eta}$ and therefore
$\Gamma_1(t) \in \operatorname{Bru}_{\acute\eta}$.
The curve $\Gamma_1: [0,1] \to \Spin_{n+1}$
is locally convex and satisfies
$\Gamma_1(0) = z_{k-1}\alpha_{i_k}(\theta)$, $\Gamma(1) = z_{{\mathbf x}}$
and $\Gamma(t) \in \operatorname{Bru}_{\acute\eta}$ for all $t \in (0,1)$.
By definition, $z_{k-1} \alpha_{i_k}(\theta) \ll  z_{{\mathbf x}}$.

In general, there is an upper matrix $U \in \Up_{n+1}^{1}$
such that the correponding projective transformation
takes $z_k$ to $z_k^U = {\mathbf{Q}}(U^{-1} z_k) \in {\mathbf{Q}}[\operatorname{Pos}_{\sigma_k}]$,
reducing to the previous case.
\end{proof}

We now present an algebraic definition.
Consider $z_{{\mathbf x}} \in \operatorname{Bru}_{\acute\eta}^{1}$.
Consider $\rho_0 \in S_{n+1}$ such that
$z_{{\mathbf x}} \in \operatorname{Bru}_{\hat\eta(\acute\rho_0)^{-1}}$,
$y_0 = z_{{\mathbf x}}^{-1} \hat\eta \in \operatorname{Bru}_{\acute\rho_0}$.
We first define sets
$\operatorname{Ac}_{(i_1,\ldots,i_k)}(z_{{\mathbf x}}) \subseteq \operatorname{Bru}_{\acute\sigma}$
where $\sigma = a_{i_1}\cdots a_{i_k}$ is a reduced word.
When $z_{{\mathbf x}}$ is fixed (and thus so are $y_0$ and $\rho_0$)
we write for simplicity
$\operatorname{Ac}_{(i_1,\ldots,i_k)} = \operatorname{Ac}_{(i_1,\ldots,i_k)}(z_{{\mathbf x}})$.

For each $j\in\llbracket k \rrbracket$,
set $\sigma_j = a_{i_1} \cdots a_{i_j}$,
so that
$\sigma_{j-1} \vartriangleleft \sigma_j = \sigma_{j-1} a_{i_j}$;
also, define recursively
\[\rho_j=
\begin{cases}
\rho_{j-1}a_{i_j}, \quad \text{if}
\quad \rho_{j-1}\vartriangleleft\rho_{j-1} a_{i_j}, \\
\rho_{j-1}, \quad \text{otherwise},
\end{cases}\]
so that either $\rho_{j-1} = \rho_j$
or $\rho_{j-1} \vartriangleleft \rho_j = \rho_{j-1} a_{i_j}$.
For those $j$ such that
$\rho_{j-1} =\rho_j$,
define auxiliary functions
$\Theta_{i_j}:\operatorname{Bru}_{\acute\rho_j}\to(0,\pi)$ as follows:
$\Theta_{i_j}(z)=\theta$ if and only
$z\alpha_{i_j}(-\theta)\in\operatorname{Bru}_{\rho_{j}a_{i_j}}$.
It is a consequence of the proof of Theorem
\ref{theo:Bruhat} of \cite{Goulart-Saldanha0}
that these functions are well-defined and smooth

see Remark \ref{rem:bigtheta} of \cite{Goulart-Saldanha0}).

Set
$\operatorname{Ac}_{(\,)} = \operatorname{Bru}_{1} = \{1\}$.
We assume $\operatorname{Ac}_{(i_1,\ldots,i_{j-1})}$ defined
and proceed to construct $\operatorname{Ac}_{(i_1,\ldots,i_j)}$:
\begin{gather*}
\operatorname{Ac}_{(i_1,\ldots,i_j)} =
\{ z_{j-1} \alpha_{i_j}(\theta_j) \;|\;
z_{j-1} \in  \operatorname{Ac}_{(i_1,\ldots,i_{j-1})}, \;
\theta_j \in (0,\vartheta_{i_j}(z_{j-1})) \};
\\
\vartheta_{i_j}: \operatorname{Ac}_{(i_1,\ldots,i_{j-1})} \to (0,\pi], \qquad
\vartheta_{i_j}(z_{j-1}) =
\begin{cases}
\pi, & \rho_{j-1} \vartriangleleft \rho_j, \\
\pi-\Theta_{i_j}(y_0 z_{j-1}), & \rho_{j-1} = \rho_j.
\end{cases}
\end{gather*}

\begin{lemma}
\label{lemma:quasiproduct}
The sets $\operatorname{Ac}_{(i_1, \ldots, i_j)}$, $1 \le j \le k$,
defined above satisfy
\[ \operatorname{Ac}_{(i_1,\ldots,i_j)} =
\{ \alpha_{i_1}(\theta_1) \cdots \alpha_{i_j}(\theta_j) \;|\;
(\theta_1, \ldots, \theta_j) \in X_j \}
\subseteq
\operatorname{Bru}_{\acute\sigma_j} \cap
(y_0^{-1} \operatorname{Bru}_{\acute\rho_j}) \]
where $(X_j)_{1 \le j \le k}$ is a quasiproduct;
$\operatorname{Ac}_{(i_1,\ldots,i_j)}$ is diffeomorphic to ${\mathbb{R}}^j$.
\end{lemma}

Notice that the inclusion in the statement is necessary to make sense
of the definition of $\vartheta_{i_j}$.
The reader should compare this result with
Lemma \ref{lemma:triangularquasiproduct}.

\begin{proof}
The proof is by induction on $k$; the case $k = 0$ is trivial.
Take
$z_k = z_{k-1} \alpha_{i_k}(\theta_k) \in \operatorname{Ac}_{(i_1, \ldots, i_k)}$,
$z_{k-1} \in  \operatorname{Ac}_{(i_1, \ldots, i_{k-1})}$,
$\theta_k \in (0,\vartheta_{i_k}(z_{k-1}))$.
We assume by induction hypothesis that
$\operatorname{Ac}_{(i_1, \ldots, i_{k-1})} \subseteq \operatorname{Bru}_{\acute\sigma_{k-1}}$.
We therefore have
$z_k \in \operatorname{Bru}_{\acute\sigma_{k-1}} \operatorname{Bru}_{\acute a_{i_k}}
= \operatorname{Bru}_{\acute\sigma_k}$

by Corollary \ref{coro:bruhatproduct} of \cite{Goulart-Saldanha0}).
We also assume by induction hypothesis that
$y_{k-1} = y_0 z_{k-1} \in \operatorname{Bru}_{\acute\rho_{k-1}}$.
If $\rho_{k-1} \vartriangleleft \rho_k$,
Corollary \ref{coro:bruhatproduct} of \cite{Goulart-Saldanha0}
implies that
$y_k = y_0 z_{k} = y_{k-1} \alpha_{i_k}(\theta_k)
\in \operatorname{Bru}_{\acute\rho_{k-1}} \operatorname{Bru}_{\acute a_{i_k}} =
\operatorname{Bru}_{\acute\rho_k}$.
If $\rho_{k-1} = \rho_k$,
take $\tilde\theta = \Theta_{i_k}(y_{k-1})$
and $\tilde y \in \operatorname{Bru}_{\rho_k a_{i_k}}$
such that
$y_{k-1} = \tilde y \alpha_{i_k}(\tilde\theta)$.
By our recursive definition,
$\tilde\theta + \theta_k < \pi$;
by Theorem \ref{theo:Bruhat} of \cite{Goulart-Saldanha0},
we have $y_{k} =
\tilde y \alpha_{i_k}(\tilde\theta + \theta_k) \in \operatorname{Bru}_{\acute\rho_k}$.
\end{proof}

We now prove that the two definitions are equivalent.

\begin{lemma}
\label{lemma:twodefs}
Consider $z_{{\mathbf x}} \in \operatorname{Bru}_{\acute\eta}^{1}$ and
$\sigma_k = a_{i_1}\cdots a_{i_k}$ a reduced word in $S_{n+1}$.
Then $\operatorname{Ac}_{\sigma_k}(z_{{\mathbf x}}) = \operatorname{Ac}_{(i_1,\ldots,i_k)}(z_{{\mathbf x}})$.
\end{lemma}

\begin{proof}
The proof is by induction on $k$; the case $k = 0$ is trivial.
Assume therefore
$\operatorname{Ac}_{\sigma_{k-1}}(z_{{\mathbf x}}) = \operatorname{Ac}_{(i_1,\ldots,i_{k-1})}(z_{{\mathbf x}})$
for $\sigma_{k-1} = a_{i_1}\cdots a_{i_{k-1}}$.

Consider $z_k = z_{k-1} \alpha_{i_k}(\theta_k)$,
$z_{k-1} \in \operatorname{Bru}_{\acute\sigma_{k-1}}$, $z_k \in \operatorname{Bru}_{\acute\sigma_k}$,
$\theta_k \in (0,\pi)$.
It follows from Lemma \ref{lemma:acstep}
that $z_k \in \operatorname{Ac}_{\sigma_k}$ implies
$z_{k-1} \in \operatorname{Ac}_{\sigma_{k-1}}$
and therefore
\[ \operatorname{Ac}_{\sigma_k} \subseteq \operatorname{Ac}_{\sigma_{k-1}} \operatorname{Bru}_{\acute a_{i_k}},
\qquad
\operatorname{Ac}_{(i_1,\ldots,i_k)} \subseteq \operatorname{Ac}_{\sigma_{k-1}} \operatorname{Bru}_{\acute a_{i_k}};
\]
we have to prove that these two sets are equal.

Given $z_{k-1} \in \operatorname{Ac}_{\sigma_{k-1}}$,
let $J_{z_{k-1}} \subseteq (0,\pi)$ be the set such that,
for all $\theta_k \in (0,\pi)$,
$\theta_k \in J_{z_{k-1}}$
if and only if $z_{k-1} \alpha_{i_k}(\theta_k) \in \operatorname{Ac}_{\sigma_k}$.
It follows from Lemma \ref{lemma:acstep}
that $J_{z_{k-1}}$ is either empty
or an initial interval.

We claim that $J_{z_{k-1}}$ is not empty.
By appying a projective transformation,
we may assume
$z_{k-1} = {\mathbf{Q}}(L_{k-1})$, $L_{k-1} \in \operatorname{Pos}_{\sigma_{k-1}}$.
Take $\Gamma \in \cL_n^{\diamond}(z_{k-1};z_{{\mathbf x}})$.
Define $\Gamma_L = {\mathbf{L}} \circ \Gamma$,
with maximal connected domain containing $t = 0$.
Consider $t_\bullet > 0$ in this domain
and $L_{\bullet} = \Gamma_L(t_\bullet)$,
$L_{\bullet} \in \operatorname{Pos}_{\eta}$, $L_{k-1} \ll L_{\bullet}$.
Take $t_k > 0$ such that
$L_{k-1}\lambda_{i_k}(t_k) \ll L_{\bullet}$;
define $\theta_k > 0$ by
${\mathbf{Q}}(L_{k-1}\lambda_{i_k}(t_k)) = z_{k-1} \alpha_{i_k}(\theta_k)$.
Take $\Gamma_{L,1}:[0,t_\bullet]\to \Lo_{n+1}^1$ convex
such that $\Gamma_{L,1}(0) = L_{k-1}\lambda_{i_k}(t_k)$
and $\Gamma_{L,1}(t_\bullet) = L_{\bullet}$.
Finally, take $\Gamma_1: [0,1] \to \Spin_{n+1}$,
\[ \Gamma_1(t) = \begin{cases}
{\mathbf{Q}}(\Gamma_{L,1}(t)), & t \in [0,t_\bullet], \\
\Gamma(t), & t \in [t_\bullet,1]. \end{cases} \]
We have
$\Gamma_1\in\cL_n^{\diamond}(z_{k-1} \alpha_{i_k}(\theta_k);z_{\mathbf x})$
and therefore $\theta_k \in J_{z_{k-1}}$, as claimed.

We claim that $J_{z_{k-1}}$ is open.
Assume by contradiction $\theta_k^\star = \max(J_{z_{k-1}})$,
$z_k^\star = z_{k-1} \alpha_{i_k}(\theta_k^\star)\in\operatorname{Ac}_{\sigma_k}$.
By appying a projective transformation,
we may assume that $z_k^\star \in {\mathbf{Q}}[\operatorname{Pos}_{\sigma_{k}}]$.
As in the previous paragraph, take a locally convex curve
$\Gamma\in\cL_n^{\diamond}(z_k^\star;z_{\mathbf x})$,
use ${\mathbf{L}}$ to take its initial segment to $\Lo_{n+1}^{1}$
and slightly perturb it to obtain
$\theta_k \in J_{z_{k-1}}$, $\theta_k > \theta_k^\star$.
The argument is so similar that we feel a repetition is pointless.

At this point we know that there exists a function
$\tilde\vartheta_{i_k}: \operatorname{Ac}_{\sigma_{k-1}} \to (0,\pi]$
such that $J_{z_{k-1}} = (0,\tilde\vartheta_{i_k}(z_{k-1}))$.
We are left with proving that
$\vartheta_{i_k} = \tilde\vartheta_{i_k}$.

We first prove that
$\tilde\vartheta_{i_k}(z_{k-1}) \le \vartheta_{i_k}(z_{k-1})$
for all $z_{k-1}$.
If $\rho_{k-1} \vartriangleleft \rho_k$ then
$\vartheta_{i_k}(z_{k-1}) = \pi$ and we are done.
If $\rho_{k-1} = \rho_k$,
take $\theta_k^{\bullet} = \vartheta_{i_k}(z_{k-1})$,
$z_k^{\bullet} = z_{k-1}\alpha_{i_k}(\theta_k^{\bullet})$
and $y_k^{\bullet} = y_0 z_k^\bullet$.
Recall that in this case there exists $\rho_{\bullet} \in S_{n+1}$,
$\rho_{\bullet} \vartriangleleft \rho_{k-1} = \rho_{k} = \rho_{\bullet} a_{i_k}$.
By definition of $\vartheta_{i_k}$,
$y_k^{\bullet} \in \operatorname{Bru}_{\acute\rho_{\bullet} \hat a_{i_k}}$
so that ${\mathbf{adv}}(y_k^\bullet) = {q^\bullet \acute\eta}$
for $q^\bullet \in \Quat_{n+1}$, $q^\bullet \ne 1$.
By Theorem \ref{theo:chopadvance} of \cite{Goulart-Saldanha0},
any locally convex curve starting at $y_k^{\bullet}$
immediately enters $\operatorname{Bru}_{q^\bullet \acute\eta}$.
Thus, $\cL_n^{\diamond}(y_k^\bullet;\hat\eta)=\emptyset$
and therefore
$\cL_n^{\diamond} (z_k^\bullet;z_{\mathbf x})=\emptyset$.
It follows that $z_k^{\bullet} \notin \operatorname{Ac}_{\sigma_k}(z_{{\mathbf x}})$
and therefore $\theta_k^{\bullet} \ge \tilde\vartheta_{i_k}(z_{k-1})$,
proving our claim.

We finally prove that
$\tilde\vartheta_{i_k}(z_{k-1}) \ge \vartheta_{i_k}(z_{k-1})$.
Consider $\theta_k <  \vartheta_{i_k}(z_{k-1})$,
$z_k = z_{k-1} \alpha_{i_k}(\theta_k)$
and $y_k = y_{k-1} \alpha_{i_k}(\theta_k) = y_0 z_k \in \operatorname{Bru}_{\acute\rho_k}$.
Notice that
$z_{k-1} \alpha_{i_k}(\theta) \in \operatorname{Bru}_{\acute\eta}^{0}$ and
$y_{k-1} \alpha_{i_k}(\theta) \in \operatorname{Bru}_{\acute\eta}^{0}$
for all $\theta \in [0,\theta_k]$.
By compactness and
Theorem \ref{theo:chopadvance} of \cite{Goulart-Saldanha0},
there exists $c > 0$ such that for all $\theta \in [0,\theta_k]$
and for all $t \in (0,c]$ we have
both $z_{k-1} \alpha_{i_k}(\theta) \exp(t{\mathfrak h}) \in \operatorname{Bru}_{\acute\eta}$ and
$y_{k-1} \alpha_{i_k}(\theta) \exp(t{\mathfrak h}) \in \operatorname{Bru}_{\acute\eta}$.
Apply Lemma \ref{lemma:convex1} of \cite{Goulart-Saldanha0}
to obtain a continuous family
$H: [0,\theta_k] \times [\frac12,1] \to \Spin_{n+1}$
of locally convex curves $H(\theta): [\frac12,1] \to \Spin_{n+1}$
going from $y_{k-1} \alpha_{i_k}(\theta) \exp(c{\mathfrak h})$ to $\hat\eta$.
Extend this to
$H: [0,\theta_k] \times [0,1] \to \Spin_{n+1}$
by defining $H(\theta)(t) =
y_{k-1} \alpha_{i_k}(\theta) \exp(2ct{\mathfrak h})$
for $t \in [0,\frac12]$.
This extension is still continuous.
For each $\theta \in [0,\theta_k]$
the arc $H(\theta): [0,1] \to \Spin_{n+1}$ is in
$\cL_n^{\diamond}(y_{k-1} \alpha_{i_k}(\theta);\hat\eta)$,
since we have $H(\theta)(t) \in \operatorname{Bru}_{\acute\eta}$
for all $t \in (0,1)$.
Multiply by $y_0^{-1}$ to obtain a family $y_0^{-1}H$
of locally convex curves $\Gamma_{\theta} = y_0^{-1} H(\theta): [0,1] \to \Spin_{n+1}$
going from $z_{k-1} \alpha_{i_k}(\theta)$ to $z_{{\mathbf x}}$.
We prove that for all $\theta$ we have
$\Gamma_{\theta} \in \cL_n^{\diamond}(z_{k-1} \alpha_{i_k}(\theta); z_{{\mathbf x}})$,
i.e., that $\Gamma_{\theta}(t) \in \operatorname{Bru}_{\acute\eta}$
for all $t \in (0,1)$.
We know that $\Gamma_0$ is convex
and that $z_{k-1} \in \operatorname{Ac}_{\sigma_{k-1}}(z_{{\mathbf x}})$
and therefore, from Lemma \ref{lemma:cLjojo},
that $\Gamma_0 \in \cL_n^{\diamond}(z_{k-1}; z_{{\mathbf x}})$.
We know by construction that
$\Gamma_{\theta}(t) \in \operatorname{Bru}_{\acute\eta}$
for all $t \in (0,\frac12)$.
Apply again Lemma \ref{lemma:convex1}
of \cite{Goulart-Saldanha0} to construct
a continuous family of
convex arcs $\tilde\Gamma_{\theta}:[0,\frac12] \to \Spin_{n+1}$
from $\tilde\Gamma_\theta(0) = 1$ to
$\tilde\Gamma_\theta(\frac12) = \Gamma_\theta(\frac12)$.
Extend $\tilde\Gamma_\theta$ to $[0,1]$
by $\tilde\Gamma_\theta(t) = \Gamma_\theta(t)$
for $t \in [\frac12,1]$.
The corresponding family of extended
locally convex curves is again continuous.
We have $\operatorname{sing}(\tilde\Gamma_0) = \emptyset$.
Also, from Theorem \ref{theo:Hausdorff},
$\operatorname{sing}(\tilde\Gamma_\theta)$ is a continuous function of $\theta$.
Since $\emptyset \in {\cal H}([0,1])$ is an isolated point,
we have $\operatorname{sing}(\tilde\Gamma_\theta) = \emptyset$ for all $\theta$,
as desired.
This implies that $z_k=z_{k-1}\alpha_{i_k}(\theta_k) \ll z_{{\mathbf x}}$
and therefore $\theta_k < \tilde\vartheta_{i_k}(z_{k-1})$.
Since this holds for any $\theta_k <  \vartheta_{i_k}(z_{k-1})$
we have $\tilde\vartheta_{i_k}(z_{k-1}) \ge \vartheta_{i_k}(z_{k-1})$,
completing our proof.
\end{proof}

\begin{rem}
\label{rem:explicitcontraction}
We saw in Lemmas \ref{lemma:convex2} and
\ref{lemma:cLjojo} that,
given $z_0 \in \operatorname{Bru}_{\acute\eta}^{0}$ and $z_1 \in \operatorname{Bru}_{\acute\eta}^{1}$,
the set $\cL_n^{\diamond}(z_0;z_1)$ is either empty
or equal to ${\cal L}_{n,\operatorname{convex}}(z_0;z_1)$ and contractible.
In Lemma \ref{lemma:convex2} we saw an explicit contraction
if $z_0^{-1}z_1 \in \operatorname{Bru}_{\acute\eta}$
but otherwise used Proposition 6.4 of \cite{Saldanha-Shapiro}.
We now present a more explicit contraction in general.
For any $\Gamma \in \cL_n^{\diamond}(z_0;z_1)$, we have
$(\Gamma(0))^{-1}\Gamma(\frac12)  \in \operatorname{Bru}_{\acute\eta}$ and
$(\Gamma(\frac12))^{-1}\Gamma(1)  \in \operatorname{Bru}_{\acute\eta}$.
Apply the contraction in the proof of Lemma \ref{lemma:convex2}
to each arc, leaving $\Gamma(\frac12)$ fixed.
This takes us to a set of curves parametrized
by $\Gamma(\frac12) \in z_0 \operatorname{Ac}_{\eta}(z_0^{-1}z_1)$.
We now know that $\operatorname{Ac}_{\eta}(z_0^{-1}z_1)$ is diffeomorphic to ${\mathbb{R}}^m$,
$m=n(n+1)/2$
(with a rather explicit diffeomorphism).
\end{rem}

\section{Proof of Theorem \ref{theo:stratification}}
\label{sect:paths}

Given $\Gamma \in {\cal L}_n(z_0;z_\bullet)$, we write
$\operatorname{sing}(\Gamma) = \{t_1 < \cdots < t_\ell\}$.
Let its \emph{path} be
\[
\operatorname{path}(\Gamma) = (z_1, \ldots, z_\ell), \quad
z_j = \Gamma(t_j) \in \operatorname{Bru}_{\eta\sigma_j}. \]
Let the \emph{length} of the corresponding itinerary
$\operatorname{iti}(\Gamma)=w = (\sigma_1, \ldots, \sigma_\ell) \in {\mathbf W}_n$
be $\ell=\ell(w) = \operatorname{card}(\operatorname{sing}(\Gamma)) \in {\mathbb{N}}$.
Recall from Lemma \ref{lemma:cLjojo} that
$\Gamma \in {\cal L}_n(\hat\eta)$ is convex if and only if
its itinerary $\operatorname{iti}(\Gamma)$ is the empty word of length $0$.

Given the path $(z_1, \ldots, z_\ell)$ of some $\Gamma \in {\cal L}_n$,
it is trivial to determine
the corresponding itinerary $w = (\sigma_1, \ldots, \sigma_\ell)$.
Conversely, given an itinerary
$w = (\sigma_1, \ldots, \sigma_\ell) \in {\mathbf W}_n$,
define $B(w,j) \in \widetilde \B_{n+1}^{+}$
for $j \in {\mathbb{Z}}$, $0 \le j \le \ell+1$,
and $B(w,j+\frac12) \in \widetilde \B_{n+1}^{+}$
for $j \in {\mathbb{Z}}$, $0 \le j \le \ell$, by
\begin{equation}
\label{eq:Bwj}
\begin{gathered}
B(w,0) = 1, \quad B\left(w,\frac12\right) = \acute\eta, \quad
B(w,j) = B\left(w,j-\frac12\right) \acute\sigma_j, \\
B\left(w,j+\frac12\right) = B\left(w,j-\frac12\right) \hat\sigma_j, \quad
B(w,\ell+1) = B\left(w,\ell+\frac12\right) \acute\eta.
\end{gathered}
\end{equation}
In particular, we have $B(w,\ell+1) =
\acute\eta\hat w\acute\eta\in\Quat_{n+1}$,
where we define the hat of a word by
$\hat w=\hat\sigma_1\cdots\hat\sigma_\ell\in\Quat_{n+1}$.
We adopt here the conventions $t_0 = 0$, $t_{\ell+1} = 1$,
$z_0 = 1$, $z_{\ell+1} = B(w,\ell+1)$, $\sigma_0 = \sigma_{\ell+1} = \eta$.
It follows from Theorem \ref{theo:chopadvance}
of \cite{Goulart-Saldanha0}
that if $\Gamma \in {\cal L}_n[w]$ and
$\operatorname{sing}(\Gamma) = \{t_1 < \cdots < t_\ell \}$ then
\[
\Gamma \in {\cal L}_n(\acute\eta\hat w \acute\eta), \qquad
\Gamma(t_j) \in \operatorname{Bru}_{B(w,j)}, \qquad
\forall t \in (t_j,t_{j+1}), \; \Gamma(t) \in \operatorname{Bru}_{B\left(w,j+\frac12\right)}. \]
Thus, if $\Gamma \in {\cal L}_n[w]$ then
\( \operatorname{path}(\Gamma) \in \operatorname{Bru}_{B(w,1)} \times \cdots \times \operatorname{Bru}_{B(w,\ell)} \).

Given $w=(\sigma_1,\cdots,\sigma_\ell) \in {\mathbf W}_n$
and $j \in {\mathbb{Z}}$, $0 \le j \le \ell$,
define $q_j \in \Quat_{n+1}$ by
\begin{gather*}
B(w,j) = q_j \operatorname{acute}(\eta\sigma_j) \in q_j \operatorname{Bru}_{\acute\eta}^{0}, \qquad
B\left(w,j+\frac12\right) = q_j \acute\eta, \\
B(w,j+1) = q_j \hat\eta \operatorname{grave}(\eta\sigma_{j+1})
\in q_j \operatorname{Bru}_{\acute\eta}^{1}.
\end{gather*}
A sequence $(z_1, \ldots, z_\ell) \in \operatorname{Bru}_{B(w,1)} \times \cdots \times \operatorname{Bru}_{B(w,\ell)}$
is an \emph{accessible path} for $w$ if
\[ \forall j \in \llbracket \ell \rrbracket \;
\left(q_j^{-1} z_j \in \operatorname{Ac}_{\eta\sigma_j}(q_j^{-1} z_{j+1})\right). \]
Let $\operatorname{Path}(w) \subseteq \operatorname{Bru}_{B(w,1)} \times \cdots \times \operatorname{Bru}_{B(w,\ell)}$
be the set of accessible paths for $w$.

\begin{lemma}
\label{lemma:accessible}
Consider $w \in {\mathbf W}_n$.
For any $ \Gamma \in {\cal L}_n[w]$,
$\operatorname{path}(\Gamma)$ is accessible, i.e.,
belongs to $\operatorname{Path}(w)$.
\end{lemma}

\begin{proof}
Consider $t_j < t_{j+1}$ and the arc $q_j^{-1} \Gamma|_{[t_j,t_{j+1}]}$.
Except for the modified domain, this arc belongs to
$\cL_n^{\diamond}(q_j^{-1}\Gamma(t_j); q_j^{-1}\Gamma(t_{j+1}))$
and therefore
$q_j^{-1}\Gamma(t_j) \in \operatorname{Ac}_{\eta\sigma_j}(q_j^{-1}\Gamma(t_{j+1}))$,
as desired.
\end{proof}

\begin{lemma}
\label{lemma:path}
Consider $w \in {\mathbf W}_n$.
For any accessible path $(z_1,\ldots,z_\ell) \in \operatorname{Path}(w)$, the set
$\{ \Gamma \in {\cal L}_n^{[H^1]}[w] \;|\; \operatorname{path}(\Gamma) = (z_1, \ldots, z_\ell) \}$
is nonempty and contractible.
\end{lemma}

\begin{proof}
The collection of sets $\{t_1 < \cdots < t_\ell \} \in {\cal H}([0,1])$ is a contractible subset.
At this point, the values of $q_j \in \Quat_{n+1}$,
of $t_j < t_{j+1}$,
of $z_j \in q_j \operatorname{Bru}_{\operatorname{acute}(\eta\sigma_j)}$
and of $z_{j+1} \in q_j \operatorname{Bru}_{\acute\eta}^{1}$
with $q_j^{-1}z_j \in \operatorname{Ac}_{\eta\sigma_j}(q_j^{-1} z_{j+1})$
are all given.
The set of locally convex arcs
$\Gamma: [t_j,t_{j+1}] \to \Spin_{n+1}$
with $\Gamma(t_j) = z_j$, $\Gamma(t_{j+1}) = z_{j+1}$
and $\Gamma(t) \in q_j \operatorname{Bru}_{\acute\eta}$ for all $t \in (t_j,t_{j+1})$
is homeomorphic to $\cL_n^{\diamond}(q_j^{-1}z_j; q_j^{-1}z_{j+1})$;
by Lemma \ref{lemma:cLjojo}, this set is contractible
(with an explicit contraction given by Remark \ref{rem:explicitcontraction}).
Concatenate the above arcs to construct $\Gamma$;
this yields the desired result.
\end{proof}

\begin{lemma}
\label{lemma:Path}
Consider $w \in {\mathbf W}_n$.
The set $\operatorname{Path}(w) \subseteq \operatorname{Bru}_{B(w,1)} \times \cdots \times \operatorname{Bru}_{B(w,\ell)}$
is diffeomorphic to ${\mathbb{R}}^d$,
$d = \inv(\eta\sigma_1) + \cdots + \inv(\eta\sigma_\ell)$.
In particular, $\operatorname{Path}(w)$ is contractible (and nonempty).
\end{lemma}

\begin{proof}
Start constructing the set from the $\ell$-th coordinate $\operatorname{Bru}_{B(w,\ell)}$
and proceed backwards.
Use Lemma \ref{lemma:quasiproduct}
for the inductive step.
The set $\operatorname{Path}(w)$ is parametrized by a quasiproduct.
\end{proof}

\begin{lemma}
\label{lemma:cLnw}
Consider $w \in {\mathbf W}_n$. The set
\( {\cal L}_n^{[H^1]}[w] \subset {\cal L}_n^{[H^1]}(\acute\eta\hat w\acute\eta) \)
is contractible.
\end{lemma}

\begin{proof}
We omit the superscript $[H^1]$ throughout the proof.
Let $\operatorname{Path}_1(w) \subset {\cal L}_n[w]$ be the set of
locally convex curves $\Gamma$
such that the arcs $\Gamma|_{[t_{i-1},t_i]}$ are
assigned base points to the contractible sets
${\cal L}_{n,\operatorname{convex}}(\Gamma(t_{i-1});\Gamma(t_i))$
(up to a reparameterization).
Here we assume that $\operatorname{sing}(\Gamma) = \{t_1 < \cdots < t_\ell \}$;
we may use the construction in Remark \ref{rem:explicitcontraction}
to select a basepoint.

Lemma \ref{lemma:path} yields a deformation retract
from ${\cal L}_n[w]$ to $\operatorname{Path}_1(w)$,
a homotopy
$H_0: [0,1] \times {\cal L}_n[w] \to {\cal L}_n[w]$
which starts with an arbitrary curve $\Gamma_0 \in {\cal L}_n[w]$
and deforms it through
$\Gamma_s = H_0(s,\Gamma_0)$ for $s \in [0,1]$.
The homotopy satisfies
$\operatorname{sing}(\Gamma_s) = \operatorname{sing}(\Gamma_0) = \{ t_1 < \cdots < t_\ell \}$ and
$\operatorname{path}(\Gamma_s) = \operatorname{path}(\Gamma_0)$ for all $s \in [0,1]$.
We have $\Gamma_1 \in \operatorname{Path}_1(w)$, i.e.,
the arcs $\Gamma_1|_{[t_{i-1},t_i]}$ are the base points of
the contractible sets
${\cal L}_{n,\operatorname{convex}}(\Gamma_0(t_{i-1});\Gamma_0(t_i))$.
Also, if $\Gamma_0 \in \operatorname{Path}_1(w)$
then $\Gamma_s = \Gamma_0$ for all $s \in [0,1]$.

Let $\operatorname{Path}_2(w) \subset \operatorname{Path}_1(w)$
be the set of paths $\Gamma \in \operatorname{Path}_1(w)$
such that $\operatorname{sing}(\Gamma) = \{ \frac{1}{\ell+1} < \cdots < \frac{\ell}{\ell+1} \}$.
There is an easy deformation retract
$H_1: [1,2] \times \operatorname{Path}_1(w) \to \operatorname{Path}_1(w)$
from $\operatorname{Path}_1(w)$ to $\operatorname{Path}_2(w)$:
affinely reparameterize each interval $[t_{i-1},t_i]$.

Lemma \ref{lemma:accessible} shows that
$\operatorname{Path}_2(w)$ is homeomorphic to $\operatorname{Path}(w)$:
the homeomorphism takes $\Gamma$ to $\operatorname{path}(\Gamma)$.
Lemma \ref{lemma:Path} shows us how to construct a homotopy
$\tilde H_2: [2,3] \times \operatorname{Path}(w) \to \operatorname{Path}(w)$
with $\tilde H_2(2,\mathbf{z}) = \mathbf{z}$ and $\tilde H_2(3,\mathbf{z}) = \mathbf{z}_0$
where $\mathbf{z}_0 \in \operatorname{Path}(w)$ is a base point.
Compose with the homeomorphism above to define
a deformation retract $H_2$ from $\operatorname{Path}_2(w)$ to a point.
Concatenate $H_0, H_1, H_2$ to construct the desired contraction.
\end{proof}

\begin{rem}
\label{rem:exactsequence}
The proof of Lemma \ref{lemma:cLnw} above
obtains a rather explicit contraction.
A slightly shorter proof is possible using
the metrizable topological manifold structure provided in
the proof of Theorem \ref{theo:stratification} below:
use Theorem 15 of \cite{Palais}
and the long exact sequence of homotopy groups for the fibration
$\operatorname{path}:{\cal L}_n[w]\to\operatorname{Path}(w)$, via
Lemmas \ref{lemma:accessible}, \ref{lemma:path} and \ref{lemma:Path}.
The longer proof above
is more self-contained.
\end{rem}

Up to this point in this section,
all arguments relied solely on the fact that
${\cal L}_n^{[H^1]}(z_0;z_1)$ is a metrizable manifold including
piecewise $C^1$ curves.
Herein, by piecewise $C^1$ we mean that there exists a finite family
of compact intervals $[0,t_1], [t_1,t_2], \ldots, [t_k,1]$
covering $[0,1]$
such that $\Gamma$ is of class $C^1$ in each interval $[t_i,t_{i+1}]$.
In certain situations though,
we prefer to work in a space of curves whose derivatives
of certain orders are well-defined.
The Hilbert manifolds ${\cal L}_n^{[H^r]}(z_0;z_1)$ and ${\cal L}_n^{[H^r]}$,
for $r>2$, were introduced in Subsection \ref{subsect:Hilbert}
to fulfill this role.
Therein, we prove that the inclusions
${\cal L}_n^{[H^r]}(z_0;z_1)\hookrightarrow{\cal L}_n^{[H^1]}(z_0;z_1)$
are homotopy equivalences homotopic to diffeomorphisms.
We now verify that there exist similar stratifications for $r>2$:
\[{\cal L}_n^{[H^r]}=\bigsqcup_{w\in{\mathbf W}_n}{\cal L}_n^{[H^r]}[w],\qquad
{\cal L}_n^{[H^r]}[w]={\cal L}_n^{[H^1]}[w]\cap{\cal L}_n^{[H^r]}.\]
It turns out that the neighboring relations
between strata are different in the two cases
(compare Theorem \ref{theo:poset} and
Equation \eqref{equation:acbHk}).

\begin{lemma}
\label{lemma:cLnwHk}
Consider $w \in {\mathbf W}_n$, $r\in{\mathbb{N}}$, $r>2$. The set
\( {\cal L}_n^{[H^r]}[w] \subset {\cal L}_n^{[H^r]}(\acute\eta\hat w\acute\eta) \)
is nonempty and contractible.
\end{lemma}

Fact \ref{fact:BST} is used in Section \ref{subsect:Hilbert}
to prove that the inclusions
${\cal L}_n^{[H^r]}(z_0;z_1)\hookrightarrow{\cal L}_n^{[H^1]}(z_0;z_1)$
are weak homotopy equivalences.
It is tempting to want to use the same fact to prove that
${\cal L}_n^{[H^r]}[w]\subset{\cal L}_n^{[H^1]}[w]$ is also a weak homotopy
equivalence.
This proof is not valid at this point, however, since we do not know
that these sets are manifolds.
We shall prove below that they are indeed topological manifolds,
but this is not sufficient to apply Fact \ref{fact:BST}.

The idea is to imitate the proof of Lemma \ref{lemma:cLnw}.
Notice that some of the building blocks, i.e.,
Lemmas \ref{lemma:accessible} and \ref{lemma:Path},
apply just the same to the case $r>2$.
We need to state and prove results leading to
an alternate version of Lemma \ref{lemma:path}.
In order to do so, we introduce the concepts of $r$-\emph{jet}
and \emph{enhanced path}.
Given $r\in{\mathbb{N}}^\ast$, $J\subset{\mathbb{R}}$ an interval,
$t\in J$ and $\Gamma:J\to\Spin_{n+1}$
locally convex of class $C^r$,
we define the $r$-\emph{jet} of $\Gamma$ at $t$,
$\operatorname{jet}^r(\Gamma;t)\in \Spin_{n+1}\times{\mathbb{R}}^{nr}$, by
\begin{equation}
\label{equation:jetHk}
\operatorname{jet}^r(\Gamma;t)=(\Gamma(t),
\kappa_1(t), \ldots, \kappa_1^{(r-1)}(t),\ldots,
\kappa_n(t),\ldots,\kappa_n^{(r-1)}(t))
\end{equation}
where the real functions
$\kappa_i(t)=\kappa_i(\Gamma;t)$ are
described in Equation \eqref{equation:locallyconvex}
in the Introduction.
Notice that, given $\Gamma_0:[t_0,t_1]\to\Spin_{n+1}$ and
$\Gamma_1:[t_1,t_2]\to\Spin_{n+1}$,
$\Gamma_0\in{\cal L}_n^{[H^r]}(z_0;z_1)$,
$\Gamma_1\in{\cal L}_n^{[H^r]}(z_1;z_2)$
(up to reparameterizations),
the concatenation
$\Gamma_0\ast\Gamma_1:[t_0,t_2]\to\Spin_{n+1}$
belongs to ${\cal L}_n^{[H^r]}(z_0;z_2)$
(up to a reparameterization) if and only if
$\operatorname{jet}^{r-1}(\Gamma_0;t_1)=\operatorname{jet}^{r-1}(\Gamma_1;t_1)$.
For $\operatorname{sing}(\Gamma)=\{t_1<\cdots<t_\ell\}\subset (0,1)$,
define the \emph{enhanced path} of $\Gamma$ as
\[\operatorname{path}^{[H^r]}(\Gamma)=
(\operatorname{jet}^{r-1}(t_1),\ldots, \operatorname{jet}^{r-1}(t_\ell)).\]
Notice that $\operatorname{path}(\Gamma)$ is obtained from
$\operatorname{path}^{[H^r]}(\Gamma)$ by
coordinate-wise application of the cartesian product projection
$\Pi:\Spin_{n+1}\times{\mathbb{R}}^{n(r-1)}\to\Spin_{n+1}$.

Given $(z_1,\ldots, z_\ell)\in\operatorname{Path}(w)$, we consider
in the proof of Lemma \ref{lemma:path} the contractible
set of curves
$\cL_n^{\diamond}(q_j^{-1}z_j; q_j^{-1}z_{j+1})
\approx{\cal L}_{n, \operatorname{convex}}^{[H^1]}(z_j;z_{j+1})$
(the bijection is obtained by multiplication by $q_j\in\Quat_{n+1}$).
Given jets ${\mathbf{j}}_j\in\Spin_{n+1}\times{\mathbb{R}}^{n(r-1)}$ with $\Pi({\mathbf{j}}_j)=z_j$,
we are now interested in the subsets
\[{\cal L}_n^{[H^r]}({\mathbf{j}}_j;{\mathbf{j}}_{j+1})\subset
{\cal L}_n^{[H^r]}(z_j;{\mathbf{j}}_{j+1}),
{\cal L}_n^{[H^r]}({\mathbf{j}}_j;z_{j+1})
\subset{\cal L}_n^{[H^r]}(z_j;z_{j+1}), \]
where, for instance, $\Gamma:[t_j,t_{j+1}]\to\Spin_{n+1}$,
$\Gamma\in{\cal L}_n^{[H^r]}(z_j;z_{j+1})$
(up to a reparameterization)
belongs to ${\cal L}_n^{[H^r]}(z_j;{\mathbf{j}}_{j+1})$ if and only if
$\operatorname{jet}^{r-1}(\Gamma;t_{j+1})={\mathbf{j}}_{j+1}$.
In each case we consider the corresponding subset of convex curves:
thus, for instance, ${\cal L}_{n,\operatorname{convex}}^{[H^r]}(z_j;{\mathbf{j}}_{j+1})$
is the subset of convex curves in ${\cal L}_{n}^{[H^r]}(z_j;{\mathbf{j}}_{j+1})$.

\begin{lemma}
\label{lemma:convexHk}
The subsets below are contractible connected components:
\begin{gather*}
{\cal L}_{n,\operatorname{convex}}^{[H^r]}({\mathbf{j}}_j;{\mathbf{j}}_{j+1})
\subset{\cal L}_{n}^{[H^r]}({\mathbf{j}}_j;{\mathbf{j}}_{j+1}), \qquad
{\cal L}_{n,\operatorname{convex}}^{[H^r]}(z_j;{\mathbf{j}}_{j+1})
\subset{\cal L}_{n}^{[H^r]}(z_j;{\mathbf{j}}_{j+1}), \\
{\cal L}_{n,\operatorname{convex}}^{[H^r]}({\mathbf{j}}_j;z_{j+1})
\subset{\cal L}_n^{[H^r]}({\mathbf{j}}_j;z_{j+1}), \qquad
{\cal L}_{n, \operatorname{convex}}^{[H^r]}(z_j;z_{j+1})
\subset{\cal L}_n^{[H^r]}(z_j;z_{j+1}).
\end{gather*}
\end{lemma}

\begin{proof}
In this proof we use the following notation:
$\mathbf{H}^{r,n} = (H^{r-1}([t_j,t_{j+1}];{\mathbb{R}}))^n$.
We also consider ${\cal L}_n^{[H^r]}(z_j;z_{j+1})$
as a submanifold of $\mathbf{H}^{r,n}$,
given by the functions $\xi_1,\ldots,\xi_n$ of Equation
\eqref{equation:xis}.
For $\mathbf{B}_1=\mathbf{H}^{r,n}$
and
$\mathbf{B}_2=\mathbf{H}^{1,n}$,
Fact \ref{fact:BST} implies that the inclusion
\[ {\cal L}_{n}^{[H^r]}(z_j;z_{j+1})
\subset{\cal L}_n^{[H^1]}(z_j;z_{j+1})\]
is a homotopy equivalence
between Hilbert manifolds.
Since ${\cal L}_{n, \operatorname{convex}}^{[H^1]}(z_j;z_{j+1})$ is a contractible
connected component, so is ${\cal L}_{n, \operatorname{convex}}^{[H^r]}(z_j;z_{j+1})$,
as we already pointed out in
the proof of Lemma \ref{lemma:convex2}.

Now, we deal with the inclusion
${\cal L}_{n,\operatorname{convex}}^{[H^r]}({\mathbf{j}}_j;z_{j+1})
\subset{\cal L}_{n}^{[H^r]}({\mathbf{j}}_j;z_{j+1})$.
We want to use Fact \ref{fact:BST}.
We have however not a linear subspace,
but an affine subspace.
This requires a minor adaptation.
Take
\[ \mathbf{B}_1=
\left\{
(\xi_1,\ldots, \xi_n)\in\mathbf{H}^{r,n}
\,\left\vert\,
\forall i, \in[\![ n ]\!]\,
\left(\xi_i(t_j)=\xi_i'(t_j)=\cdots=\xi_i^{(r-2)}(t_j)=0\right.\right)
\right\}  \]
and $\mathbf{B}_2=\mathbf{H}^{1,n}$.
Take $\tilde\kappa\in C^{\infty}([t_j,t_{j+1}], {\mathbb{R}}^n)$ with
${\mathbf{j}}_j=(z_j,\tilde\kappa_1(t_j),\ldots,\tilde\kappa_n^{(r-2)}(t_j))$
and the corresponding $\tilde\xi=(\tilde\xi_1,\ldots,\tilde\xi_n)$.
Consider the translated submanifold
$M_2={\cal L}_n^{[H^1]}(z_j;z_{j+1}) - \tilde\xi \subset\mathbf{B}_2$.
Apply Fact \ref{fact:BST} in order to obtain the desired conclusion.
The other cases are similar.
\end{proof}

\begin{proof}[Proof of Lemma \ref{lemma:cLnwHk}]
Let $\operatorname{Path}^{[H^r]}(w)=\operatorname{Path}(w)\times{\mathbb{R}}^{\ell nr}$
be the contractible set of accessible enhanced paths,
defined in the obvious manner (here, $\ell=\ell(w)$).
Lemma \ref{lemma:convexHk} shows that the set
of $H^r$ locally convex curves with
a prescribed enhanced path is contractible.
Thus, the map from ${\cal L}_n^{[H^r]}[w]$ to $\operatorname{Path}^{[H^r]}(w)$
taking a curve $\Gamma$ to its enhanced path is a fibration
with a fiber homemorphic to the separable Hilbert space and
base space homeomorphic to an Euclidean space,
proving our claim.
\end{proof}

Let $M_0$ be a (finite or infinite dimensional) manifold
and $M_1 \subseteq M_0$:
the subset $M_1$ is
a (globally) \emph{collared topological submanifold of codimension $d$}
if and only if there exists an open set $\hat A_0$,
$M_1 \subseteq \hat A_0 \subseteq M_0$,
which is a \emph{tubular neighborhood} of $M_1$
(based on \cite{Brown}).
We say that $\hat A_0$ as above is a tubular neighborhood if
there exist
an open ball $B \subseteq {\mathbb{R}}^d$, $0 \in B$,
a continuous projection $\Pi: \hat A_0 \to M_1 \subseteq \hat A_0$
and a continuous map $\hat F: \hat A_0 \to B$
such that the map $(\Pi,\hat F): \hat A_0 \to M_1 \times B$ is a homeomorphism.
Embedded $C^2$ submanifolds of Hilbert spaces
with finite codimension
are collared topological submanifolds:
in this case $\Pi$ can be taken to be the normal projection.
We now present a smooth example used in the proof of
Theorem \ref{theo:stratification}.

\begin{rem}
\label{rem:pathcoordinates}
For all $z_0\in\widetilde\B^+_{n+1}$, the open set ${\cal U}_{z_0}$ is a
smooth tubular neighborhood in $\Spin_{n+1}$
of the signed Bruhat cell $\operatorname{Bru}_{z_0}$ (with $B = {\mathbb{R}}^k$).
We denote its smooth projection map by
$\Pi_{z_0}: {\cal U}_{z_0} \to \operatorname{Bru}_{z_0}\subseteq{\cal U}_{z_0}$.
Write $z_0=q\acute\sigma$ for $q\in\Quat_{n+1}$ and
$\sigma\in S_{n+1}$.
If $\sigma\neq\eta$, we have that $\operatorname{Bru}_{z_0}$ is a
signed Bruhat cell of $\Spin_{n+1}$ with positive codimension
$k=\inv(\eta)-\inv(\sigma)$.
In this case, there is a smooth submersion
$f_{z_0} = (f_{z_0,1}, \ldots, f_{z_0,k}): {\cal U}_{z_0} \to {\mathbb{R}}^k$
satisfying the following conditions:
\begin{enumerate}
\item\label{item:submanifold}
{$\operatorname{Bru}_{z_0}=f_{z_0}^{-1}(0)=\{z\in{\cal U}_{z_0}\,\vert\,f_{z_0}(z)=0\}$;}
\item\label{item:tubular}
{$(\Pi_{z_0},f_{z_0}):{\cal U}_{z_0}\to\operatorname{Bru}_{z_0}\times\,{\mathbb{R}}^k$
is a smooth diffeomorphism;}
\item\label{item:transverse}{Given a locally convex curve
$\Gamma:(-\epsilon,\epsilon)\to{\cal U}_{z_0}$,
if $\Gamma$ is differentiable in $t$, then $(f_{z_0,k}\circ\Gamma)'(t)>0$.
}
\end{enumerate}

The pair of maps $(\Pi_{z_0},f_{z_0})$ is explicitely constructed
in Theorem \ref{theo:pathcoordinates} of \cite{Goulart-Saldanha0}
using a triangular system of coordinates
(see also Remark \ref{rem:explicitpathcoordinates} therein).
\end{rem}

For the proof of Theorem \ref{theo:stratification} below,
we also need the following technical result.
Notice that the proof uses the concept of positivity
(see Subsection \ref{subsect:Bruhat}).

\begin{lemma}
\label{lemma:singleletter}
Consider $\sigma \in S_{n+1}$, $\sigma \ne \eta$
and $z_0 = q \acute\sigma \in \tilde \B_{n+1}^{+}$, $q \in \Quat_{n+1}$.
If $\Gamma: [-\epsilon,\epsilon] \to {\cal U}_{z_0}$ is locally convex
and there exists $t_1 \in [-\epsilon,\epsilon]$ with
$\Gamma(t_1) \in \operatorname{Bru}_{z_0}$ then $\operatorname{sing}(\Gamma) = \{t_1\}$.
\end{lemma}

\begin{proof}
Consider a projective transformation $\phi$ for which
$\phi(z_0) \in q {\mathbf{Q}}[\operatorname{Pos}_\sigma] \subset {\cal U}_q$.
By continuity, there exists an open set $A \subset {\cal U}_{z_0}$, $z_0 \in A$,
such that $\phi[A] \subset {\cal U}_q$.
We may furthermore assume that $z \in \phi[A] \cap \operatorname{Bru}_\sigma$
implies $z \in q {\mathbf{Q}}[\operatorname{Pos}_\sigma]$.

Consider $\Gamma$ as in the statement.
Apply triangular coordinates to ${\cal U}_{z_0}$
to define the convex curve
$\Gamma_L: [-\epsilon,\epsilon] \to \Lo_{n+1}^{1}$,
$\Gamma(t) = z_0 {\mathbf{Q}}(\Gamma_L(t))$.
For $\lambda \in [1,+\infty)$, consider
the projective transform
\[ \Gamma_L^\lambda(t) =
\diag(1,\lambda^{-1},\ldots,\lambda^{-n})
\Gamma_L(t)
\diag(1,\lambda,\ldots,\lambda^{n}) \]
and the locally convex curve
$\Gamma^\lambda(t) = z_0 {\mathbf{Q}}(\Gamma_L^\lambda(t))$.
Notice that $\Gamma^\lambda: [-\epsilon,\epsilon] \to  {\cal U}_{z_0}$
satisfies $\operatorname{sing}(\Gamma^\lambda) = \operatorname{sing}(\Gamma)$
and $\operatorname{iti}(\Gamma^\lambda) = \operatorname{iti}(\Gamma)$.
Given $t_0 \in [-\epsilon,\epsilon]$ we have
$\lim_{\lambda \to +\infty} \Gamma^\lambda(t_0) = z_0$;
by compactness, there exists $\lambda_0$ such that
$\Gamma^{\lambda_0}[[-\epsilon,\epsilon]] \subset A$.
The curve $\tilde\Gamma = \phi\circ\Gamma^{\lambda_0}$ therefore
admits triangular coordinates
$\tilde\Gamma_L: [-\epsilon,\epsilon] \to \Lo_{n+1}^{1}$,
$\tilde\Gamma(t) = q {\mathbf{Q}}[\tilde\Gamma_L(t)]$.
We have $\tilde\Gamma(t_1) \in \phi[A] \cap \operatorname{Bru}_\sigma$
and therefore $\tilde\Gamma_L(t_1) \in \operatorname{Pos}_\sigma$.
From Lemma \ref{lemma:transition} of \cite{Goulart-Saldanha0},
$t > t_1$ implies $\tilde\Gamma_L(t) \in \operatorname{Pos}_\eta$,
i.e., $\operatorname{sing}(\tilde\Gamma) \cap (t_1,\epsilon] = \emptyset$.
Thus $t_1$ is the last element of $\operatorname{sing}(\Gamma)$.
A similar argument using the sets $\operatorname{Neg}_{\ast}$ instead of
$\operatorname{Pos}_{\ast}$ proves that $t_1$ is also the first element of
$\operatorname{sing}(\Gamma)$.
\end{proof}

\begin{proof}[Proof of Theorem \ref{theo:stratification}]
The nonemptiness and contractibility of ${\cal L}_n^{[H^r]}[w]$
is already established by previous lemmas in this section.
It remains to be shown that,
for $r\neq 2$,
${\cal L}_n^{[H^r]}[w]$ is a
globally collared topological submanifold of ${\cal L}_n^{[H^r]}(q_w)$,
$q_w=\acute\eta\hat w \acute\eta\in\Quat_{n+1}$,
with codimension $\dim(w)$;
also that, if $r>2$, then ${\cal L}_n^{[H^r]}[w]$ is in fact an
embedded submanifold of differentiability class $C^{r-1}$.

For $w = \sigma_1\cdots\sigma_\ell = (\sigma_1, \ldots, \sigma_\ell)$
and $2j \in {\mathbb{Z}} \cap [0,2\ell+2]$,
set $B(w,j) \in \widetilde \B_{n+1}^{+}$
as in Equation \eqref{eq:Bwj} above;
in particular, $B(w,\ell+1) = q_w = \acute\eta\hat w\acute\eta \in \Quat_{n+1}$.
We first define an open subset
${\cal A}_w^\sharp \subset {\cal L}_n^{[H^r]}(q_w) \times (0,1)$.
A pair $(\Gamma,\tilde\epsilon)$ belongs to ${\cal A}_w^\sharp$ if there
exist $0 = \tilde t_0 < \tilde t_1 < \cdots
< \tilde t_\ell < \tilde t_{\ell+1} = 1$ such that:
\begin{enumerate}[label=(\roman*)]
\item{For each $i$, $\tilde t_{i+1} - \tilde t_i > 8\tilde\epsilon$.}
\item\label{item:Bwi}{Each arc $\Gamma|_{[\tilde t_{i}-2\tilde\epsilon,
\tilde t_{i}+2\tilde\epsilon]}$ is convex,
with image in ${\cal U}_{B(w,i)}$.
In particular, for $\tilde z_i = \Gamma(\tilde t_i)$ we have
$\tilde z_i \in {\cal U}_{B(w,i)}$. }
\item{Each arc $\Gamma|_{[\tilde t_{i}+\tilde\epsilon,
\tilde t_{i+1}-\tilde\epsilon]}$ is convex,
with image in ${\cal U}_{B(w,i+\frac12)} = \operatorname{Bru}_{B(w,i+\frac12)}$.}
\item{For $f_{i,k_i}: {\cal U}_{B(w,i)} \to {\mathbb{R}}$ and $k_i$
as in Remark \ref{rem:pathcoordinates},
we have $f_{i,k_i}(\tilde z_i) = 0$.}
\item{Let $\Pi_{B(w,i)}: {\cal U}_{B(w,i)} \to \operatorname{Bru}_{B(w,i)} \subset {\cal U}_{B(w,i)}$
be the smooth projection of Remark \ref{rem:pathcoordinates}.
Set $\check z_i = \Pi_{B(w,i)}(\tilde z_i)$.
There exist convex arcs in ${\cal U}_{B(w,i)}$
from $\Gamma(\tilde t_{i}-\frac{\tilde\epsilon}{2})$ to $\check z_i$
and from $\check z_i$ to $\Gamma(\tilde t_{i}+\frac{\tilde\epsilon}{2})$.}
\end{enumerate}
For $\Gamma \in  {\cal L}_n^{[H^r]}(q_w)$, set
\( J_\Gamma = \{ \tilde\epsilon \in (0,1) \;|\;
(\Gamma,\tilde\epsilon) \in {\cal A}_w^\sharp \} \);
clearly, $J_\Gamma$ is either an open interval or empty;
for $\Gamma \in {\cal L}_n^{[H^r]}[w]$,
$J_\Gamma$ is an interval of the form $J_\Gamma = (0,\epsilon)$
for some $\epsilon > 0$.
Set
\[ {\cal A}_w = \{ \Gamma \in {\cal L}_n^{[H^r]}(q_w) \;|\; J_\Gamma \ne \emptyset \}
\subseteq {\cal L}_n^{[H^r]}(q_w), \]
an open subset.
For $\Gamma \in {\cal A}_w$ the times $\tilde t_i$ are well-defined
and, from Condition \ref{item:transverse} of
Remark \ref{rem:pathcoordinates},
the functions $\Gamma \mapsto \tilde t_i$ are
of class $C^{r-1}$.
For $\Gamma \in {\cal A}_w$, select
$\epsilon = \epsilon_\Gamma \in J_\Gamma$;
from the $C^{r-1}$ regularity of $\tilde t_i$ and
several uses of Lemma \ref{lemma:positivespeed}
of \cite{Goulart-Saldanha0},
the function $\Gamma \mapsto \epsilon$
can be taken to be of class $C^{r-1}$.
We have $\tilde z_i = \Gamma(\tilde t_i) \in {\cal U}_{B(w,i)}$;
we define $\tilde z_i^{-} = \Gamma(\tilde t_{i}-\frac{\epsilon}{2})$,
$\tilde z_i^{+} = \Gamma(\tilde t_{i}+\frac{\epsilon}{2})$,
and $\check z_i = \Pi_{B(w,i)}(\tilde z_i)$.
Also, the map
$\Gamma \mapsto (\tilde z_i, \tilde z_i^{-}, \tilde z_i^{+}, \check z_i)$
is of class $C^{r-1}$.
For $\Gamma \in {\cal A}_w$, $\epsilon = \epsilon_\Gamma$,
$\tilde t_i$, $\tilde z_i$ and $\check z_i$
as above we therefore have the following properties:
\begin{enumerate}[label=(\alph*)]
\item{For each $i$, $\tilde t_{i+1} - \tilde t_i \ge 8\epsilon$.}
\item{Each arc $\Gamma|_{[\tilde t_{i}-\epsilon,
\tilde t_{i}+\epsilon]}$ is convex,
with image in ${\cal U}_{B(w,i)}$; also, $\tilde z_i \in {\cal U}_{B(w,i)}$. }
\item{Each arc $\Gamma|_{[\tilde t_{i}+\epsilon,
\tilde t_{i+1}-\epsilon]}$ is convex,
with image in ${\cal U}_{B(w,i+\frac12)}$.}
\item{For $f_{i,k_i}: {\cal U}_{B(w,i)} \to {\mathbb{R}}$
as in Remark \ref{rem:pathcoordinates},
we have $f_{i,k_i}(\tilde z_i) = 0$.}
\item{There exist convex arcs in ${\cal U}_{B(w,i)}$
from $\tilde z_i^{-}$ to $\check z_i$
and from $\check z_i$ to $\tilde z_{i}^{+}$.}
\end{enumerate}

Set $d=\dim(w)=d_1+\cdots+d_\ell$, where $d_i = k_i - 1$.
Define $F: {\cal A}_w \to {\mathbb{R}}^d$,
$F(\Gamma)=(F_1(\Gamma), \ldots, F_\ell(\Gamma))$,
where $F_i: {\cal A}_w \to {\mathbb{R}}^{d_i}$,
$F_i(\Gamma) = (f_{i,1}(\tilde z_i), \ldots, f_{i,d_i}(\tilde z_i))$.
The coordinate functions $f_{i,j}$ above are
the first $d_i$ coordinate functions of the smooth submersion
$f_{B(w,i)}=(f_{i,1},\ldots,f_{i,k_i}):{\cal U}_{B(w,i)}\to{\mathbb{R}}^{k_i}$
of Remark \ref{rem:pathcoordinates}.

We claim that, for $\Gamma \in {\cal A}_w$,
$F(\Gamma) = 0$ if and only if $\Gamma \in {\cal L}_n^{[H^r]}[w]$.

Indeed, if $\Gamma \in {\cal A}_w$ and $F(\Gamma) = 0$ we have
$\tilde z_i = \Gamma(\tilde t_i) \in \operatorname{Bru}_{\eta\sigma_i}$.
We already know that
$\{\tilde t_1 < \cdots < \tilde t_\ell \} \subseteq
\operatorname{sing}(\Gamma) \subset
\bigcup_i (\tilde t_i-\epsilon,\tilde t_i+\epsilon)$.
By Lemma \ref{lemma:singleletter} we have
$\operatorname{sing}(\Gamma) = \{ \tilde t_1 < \cdots <  \tilde t_{\ell} \}$
and therefore $\operatorname{iti}(\Gamma) = w$.

For $r>2$, the Regular Value Theorem applied to the
submersion $F$ shows that ${\cal L}_n^{[H^r]}[w]$ is an
embedded submanifold of ${\cal L}_n^{[H^r]}(q_w)$
of class $C^{r-1}$ and codimension $d=\dim(w)$, as claimed.
The set ${\cal A}_w$ is a promising candidate for a tubular neighborhood:
all we would have to do is to construct a projection.
We prefer, however, to use the normal bundle.
Indeed, there is a well-defined tubular neighborhood,
i.e., a $C^{r-1}$ embedding
of the normal bundle
$N{\cal L}_n^{[H^r]}[w]\hookrightarrow{\cal A}_w$
that extends the inclusion of ${\cal L}_n^{[H^r]}[w]$
(regarded as the zero section of its normal bundle)
in ${\cal A}_w$.
This tubular neighborhood is foliated by normal sections.

We now deal with the case $r=1$.
We construct a projection
$\Pi: {\cal A}_w \to {\cal L}_n^{[H^1]}[w] \subset {\cal A}_w$.
Given $\Gamma \in {\cal A}_w$, the curve $\check\Gamma = \Pi(\Gamma)$,
$\check\Gamma: [0,1] \to \Spin_{n+1}$,
will coincide with $\Gamma$ except in the intervals
$[\tilde t_i -\frac{\epsilon}{2}, \tilde t_i + \frac{\epsilon}{2}]$
and will satisfy $\check\Gamma(\tilde t_i) = \check z_i$.
The restrictions
$\check\Gamma|_{[\tilde t_i - \frac{\epsilon}{2}, \tilde t_i]}$ and
$\check\Gamma|_{[\tilde t_i, \tilde t_i+\frac{\epsilon}{2}]}$
will be convex arcs contained in ${\cal U}_{B(w,i)}$
joining $\tilde z_i^{-}$ to $\check z_i$
and $\check z_i$ to $\tilde z_i^{+}$, respectively.
These two convex arcs are obtained from the convex arcs
$\Gamma|_{[\tilde t_i - \frac{\epsilon}{2}, \tilde t_i]}$ and
$\Gamma|_{[\tilde t_i, \tilde t_i+\frac{\epsilon}{2}]}$
by projective transformations as follows.
We have
$\tilde z_i\,,\check z_i\in\tilde z_i^-\operatorname{Bru}_{\acute\eta}$;
take $U\in\Up^1_{n+1}$ such that
$((\tilde z_i^-)^{-1}\tilde z_i)^U=
(\tilde z_i^-)^{-1}\check z_i$ and set
$\check\Gamma|_{[\tilde t_i - \frac{\epsilon}{2}, \tilde t_i]}
=\tilde z_i^-((\tilde z_i^-)^{-1}\Gamma)^U|_{[\tilde t_i - \frac{\epsilon}{2}, \tilde t_i]}$.
The convex arc
$\check\Gamma|_{[\tilde t_i, \tilde t_i+\frac{\epsilon}{2}]}$
is obtained likewise.

The function $\Gamma \to \epsilon$ can be constructed
so as to satisfy $\epsilon_{\check\Gamma} = \epsilon_{\Gamma}$.
If $\Gamma \in {\cal L}_n[w]$ we have $\check z_i = \tilde z_i$
and therefore $\check\Gamma = \Gamma$.

We now have a continuous map
$(\Pi,F): {\cal A}_w \to {\cal L}_n^{[H^1]}[w] \times {\mathbb{R}}^d$;
let ${\cal B}_w \subseteq {\cal L}_n^{[H^1]}[w] \times {\mathbb{R}}^d$ be its image.
We construct the inverse map $\Phi: {\cal B}_w \to {\cal A}_w$;
in the process we see that the set
${\cal B}_w$ is an open neighborhood of ${\cal L}_n^{[H^1]}[w] \times \{0\}$.
Indeed, given $\check\Gamma \in {\cal L}_n^{[H^1]}[w]$
construct $\epsilon$, $\tilde t_i$,
$\check z_i = \check\Gamma(\tilde t_i)$
and $\tilde z_i^{\pm} = \check\Gamma(\tilde t_i \pm \frac{\epsilon}{2})$
as above.
Given ${\mathbf x} = ({\mathbf x}_1,\ldots,{\mathbf x}_\ell) \in {\mathbb{R}}^{d_1+\cdots+d_\ell}$,
there exist unique $\tilde z_i \in {\cal U}_{B(w,i)}$
with $\Pi_{B(w,i)}(\tilde z_i) = \check z_i$
and $f_{B(w,i)}(\tilde z_i) = {\mathbf x}_i$.
If there exist convex arcs contained in ${\cal U}_{B(w,i)}$
from $\tilde z_i^{-}$ to $\tilde z_i$ and
from $\tilde z_i$ to $\tilde z_i^{+}$ then
$(\check\Gamma,{\mathbf x}) \in {\cal B}_w$ and the curve
$\tilde\Gamma = \Phi(\check\Gamma,{\mathbf x})$ is constructed as before.
More precisely,
$\tilde\Gamma$ coincides with $\check\Gamma$ except
in the intervals
$[\tilde t_i-\frac{\epsilon}{2},\tilde t_i+\frac{\epsilon}{2}]$.
The convex arcs
$\tilde\Gamma|_{[\tilde t_i - \frac{\epsilon}{2}, \tilde t_i]}$ and
$\tilde\Gamma|_{[\tilde t_i, \tilde t_i+\frac{\epsilon}{2}]}$
are obtained from the arcs
$\check\Gamma|_{[\tilde t_i - \frac{\epsilon}{2}, \tilde t_i]}$ and
$\check\Gamma|_{[\tilde t_i, \tilde t_i+\frac{\epsilon}{2}]}$
by projective transformations.

In the proof of Theorem \ref{theo:pathcoordinates}
of \cite{Goulart-Saldanha0}, it was shown that
there exists a natural diffeomorphism between
${\cal U}_{B(w,i)}$ and the cartesian product
$\Up_{\eta\sigma_i} \times \Lo_{\sigma_i^{-1}}$
of certain affine spaces of triangular matrices
defined in Equation \eqref{equation:Upsigma}
of \cite{Goulart-Saldanha0}.
Endow the affine spaces $\Up_{\eta\sigma_i}$ and $\Lo_{\sigma_i^{-1}}$ with the natural Euclidean metrics
coming from the sets of free coordinates
(i.e., entries not obligatorily equal to $0$ or $1$).
Use the above diffeomorphism to endow  ${\cal U}_{B(w,i)}$
with a flat Euclidean metric.
Similarly, endow the cartesian product
${\cal U}^3_{B(w,i)} =  {\cal U}_{B(w,i)} \times {\cal U}_{B(w,i)} \times {\cal U}_{B(w,i)}$
with a flat Euclidean metric.
Let ${\cal W}_i \subset {\cal U}^3_{B(w,i)}$
be the open set of triples $(z_i^{-},z_i,z_i^{+})$ such that
there exist convex arcs contained in ${\cal U}_{B(w,i)}$
from $z_i^{-}$ to $z_i$ and from $z_i$ to $z_i^{+}$.
Let $\delta_i: {\cal W}_i \to (0,+\infty)$ be the continuous function
taking a triple  $(z_i^{-},z_i,z_i^{+}) \in {\cal W}_i$
to one half of the distance
(in the flat Euclidean metric constructed above)
from the complement ${\cal U}^3_{B(w,i)} \smallsetminus {\cal W}_i$, i.e.,
$\delta_i(z_i^{-},z_i,z_i^{+}) =
\frac12 d((z_i^{-},z_i,z_i^{+}), {\cal U}^3_{B(w,i)} \smallsetminus {\cal W}_i)$.
Given $\check\Gamma \in {\cal L}_n^{[H^1]}[w]$,
define $\delta(\check\Gamma) =
\min_i \delta_i(\tilde z_i^{-},\check z_i,\tilde z_i^{+})$
where, as above, $\tilde z_i^{\pm} = \Gamma(\tilde t_i\pm \frac{\epsilon}{2})$.
Notice that $\delta: {\cal L}_n^{[H^1]}[w] \to (0,+\infty)$ is continuous
and that if $|{\mathbf x}| \le \delta(\Gamma)$ then
$(\Gamma,{\mathbf x}) \in {\cal B}_w$ (by construction).

Let ${\mathbb{B}}^d \subset {\mathbb{D}}^d \subset {\mathbb{R}}^d$ be the open and closed balls of radius $1$, respectively.
Define $\hat\Phi: {\cal L}_n^{[H^1]}[w] \times {\mathbb{D}}^d \to {\cal A}_w$ by
$\hat\Phi(\Gamma,{\mathbf x}) = \Phi(\Gamma,\delta(\Gamma) {\mathbf x})$.
Let $\hat{\cal A}_w = \hat\Phi\left[{\cal L}_n^{[H^1]}[w] \times {\mathbb{B}}^d\right] \subset {\cal A}_w$
and define $\hat F: \hat{\cal A}_w \to {\mathbb{B}}^d$
so that $(\Pi,\hat F) = \hat\Phi^{-1}:
\hat{\cal A}_w \to {\cal L}_n^{[H^1]}[w] \times {\mathbb{B}}^d$.
This completes the construction of
the tubular neighborhood of ${\cal L}_n^{[H^1]}[w]$.
\end{proof}

\section{Transversal sections}
\label{sect:transversal}

The proof of Theorem \ref{theo:stratification}
implicitly gives us (topologically) transversal sections.
We now construct \emph{explicit} transversal sections
to ${\cal L}_n^{[H^1]}[w]$ in ${\cal L}_n^{[H^1]}$.
We omit the superscript $[H^1]$ throughout this section.
The construction roughly corresponds to going back
to Theorem \ref{theo:stratification},
then to Theorem \ref{theo:pathcoordinates}
and Remark \ref{rem:explicitpathcoordinates}
of \cite{Goulart-Saldanha0},
then to Lemma \ref{lemma:positivespeed}
and Remark \ref{rem:explicitpositivespeed}
of \cite{Goulart-Saldanha0},
and following the steps.
A key difference is that strictly following
the proof of Theorem \ref{theo:stratification}
given in Section \ref{sect:paths}
yields curves which fail to be smooth
precisely at the times $\tilde t_i$
(defined in the mentioned proof);
the curves produced by our construction in this section
are smooth (indeed algebraic) in a neighborhood of $\tilde t_i$
(though they are not globally smooth).
A standard procedure can be applied to
smoothen out the tranversal section
$\phi:{\mathbb{D}}^d\to{\cal L}_n^{[H^1]}$
to ${\cal L}_n^{[H^1]}[w]$ just constructed.
The result is, for each $r\geq 3$, a smooth map
$\tilde\phi:{\mathbb{D}}^d\to{\cal L}_n^{[H^r]}$ such that
$\tilde\Phi:{\mathbb{D}}^d\times[0,1]\to\Spin_{n+1}$,
$\tilde\Phi({\mathbf x},t)=\tilde\phi({\mathbf x})(t)$,
coincides with $\Phi({\mathbf x},t)=\phi({\mathbf x})(t)$ (and hence is algebraic)
in ${\mathbb{D}}^d\times(\cup_i (\tilde t_i-\delta,\tilde t_i+\delta))$
for some $\delta>0$.
Of course, $\tilde\phi$ is tranversal to ${\cal L}_n^{[H^r]}[w]$.
We first present the construction as an algorithm,
then provide examples.

Consider $\sigma \in S_{n+1}$, $\sigma \ne e$, $\rho = \eta\sigma$ and
$d = \dim(\sigma) = \inv(\sigma) - 1$.
Consider $z_0 = q \acute\eta \acute\sigma \in \widetilde \B_{n+1}^{+}$,
$q \in \Quat_{n+1}$,
so that ${\mathbf{chop}}(z_0) = q \acute\eta$
and ${\mathbf{adv}}(z_0) = q \acute\eta \hat\sigma$.
Let $Q_0 = \Pi(z_0) \in \B_{n+1}^{+}\subset\SO_{n+1}$.
We first construct an explicit transversal section
$\psi: {\mathbb{R}}^{d+1} \to \SO_{n+1}$
to the Bruhat cell $\operatorname{Bru}_{Q_0}=\Pi[\operatorname{Bru}_{z_0}]\subset \SO_{n+1}$
passing through $Q_0 = \psi(0)$
(compare with
Remarks \ref{rem:explicitpositivespeed} and
\ref{rem:explicitpathcoordinates}
of \cite{Goulart-Saldanha0}).
First we define a matrix
$\tilde M \in ({\mathbb{R}}[x_1,\ldots,x_{d+1}])^{(n+1)\times (n+1)}$
with polynomial entries in the variables $x_l$, $1 \le l \le d+1$.
For $i \in [\![ n+1 ]\!]$,
set $(\tilde M)_{i,i^\rho} = (Q_0)_{i,i^\rho} = \pm 1$.
There are $d+1$ zero entries in $Q_0$ which are simultaneously
below a nonzero entry and to the left of a nonzero entry:
these are the pairs $(i,j)$ for which
$j < i^\rho$ and $j^{\rho^{-1}} < i$.
Assign to each such position $(i,j)$ an integer $l$ from $1$ to $d+1$
in the same order you would read or write them on a page
(top to bottom and left to right).
For each such position $(i,j)$,
set $(\tilde M)_{i,j} = (Q_0)_{i,i^\rho} x_l$.
The other entries of $\tilde M$ are set to $0$:
this defines the desired matrix
$\tilde M \in ({\mathbb{R}}[x_1,\ldots,x_{d+1}])^{(n+1)\times (n+1)}$
or, equivalently, a smooth map
$\psi_L: {\mathbb{R}}^{d+1} \to \GL^{+}_{n+1}$
where $\psi_L({\mathbf x})$ is obtained
by evaluating $\tilde M$ at ${\mathbf x} \in {\mathbb{R}}^{d+1}$.
As an example,
the matrices below correspond
respectively to $n = 2$, $\sigma_0 =  [321]=aba$ ($d = 2$),
and $n = 3$, $\sigma_1 =  [3142]=acb$ ($d = 2$):
\[ \tilde M_0 = \begin{pmatrix}
1 & 0 & 0 \\
x_1 & 1 & 0 \\
x_2 & x_3 & 1 \end{pmatrix}; \qquad
\tilde M_1 = \begin{pmatrix}
0 & -1 & 0 & 0 \\
0 & -x_1 & 0 &- 1 \\
-1 & 0 & 0 & 0 \\
x_2 & x_3 & 1 & 0 \end{pmatrix} \]
(we take $q=1$ in both examples).
Notice that the map $\psi_L$ is a smooth diffeomorphism
from ${\mathbb{R}}^{d+1}$ to
$Q_0 \Lo_{\sigma^{-1}} \subset \GL^{+}_{n+1}$
(see Equation \eqref{equation:Upsigma} of
\cite{Goulart-Saldanha0} for the definition
of $\Lo_{\sigma^{-1}}$).
Recall that we denote by ${\mathbf{Q}}:\GL^+_{n+1}\to\SO_{n+1}$
the map that takes $M$ to the orthogonal part ${\mathbf{Q}}(M)$
in the $QR$ decomposition
$M={\mathbf{Q}}(M)R$, $R\in\Up^+_{n+1}$.
The smooth algebraic map $\psi_A = {\mathbf{Q}} \circ \psi_L: {\mathbb{R}}^{d+1} \to \SO_{n+1}$
is the desired transversal section to the Bruhat cell $\operatorname{Bru}_{Q_0}$.
In order to define $\psi: {\mathbb{R}}^{d+1} \to \Spin_{n+1}$,
$\psi_A = \Pi \circ \psi$,
lift the map $\psi_A$ starting at $\psi(0) = z_0$.

Consider ${\mathbb{R}}^d \subset {\mathbb{R}}^{d+1}$ defined by $x_{d+1} = 0$.
Let ${\mathfrak n} = \sum_i {\mathfrak l}_i$ be the lower triangular nilpotent matrix
whose only nonzero entries are ${\mathfrak n}_{j+1,j} = 1$
(see Equation \eqref{equation:nfhLfh}).
For each ${\mathbf x} \in {\mathbb{R}}^{d}$ define a curve
$\phi_L({\mathbf x};\cdot): {\mathbb{R}} \to Q_0 \Lo_{n+1}^{1} \subset \GL^{+}_{n+1}$
by the IVP
\[ \frac{\partial}{\partial t}\phi_L({\mathbf x};t) = \phi_L({\mathbf x};t) {\mathfrak n}, \quad
\phi_L({\mathbf x};0) = \psi_L({\mathbf x}), \]
so that $\phi_L({\mathbf x};t) = \psi_L({\mathbf x}) \exp(t{\mathfrak n})$.
Since entries of $\phi_L({\mathbf x};t)$ are polynomials in ${\mathbf x}$ and $t$,
we may equivalently consider the matrix
$M \in ({\mathbb{R}}[{\mathbf x};t])^{(n+1)\times (n+1)}$,
$M({\mathbf x},t) = \phi_L({\mathbf x};t)$,
whose entries are polynomials in ${\mathbf x}$ and $t$,
of degree at most $n$ in the variable $t$ and satisfying
\[ (M)_{i,j+1} = \frac{\partial}{\partial t} (M)_{i,j}. \]
As an example, the two matrices below again correspond to
$n = 2$,  $\sigma_0 = [321]=aba$  and $n = 3$,
$\sigma_1 =  [3142]=acb$ (and $q=1$ in both cases):
\begin{equation}
\label{equation:M0M1}
M_0 = \begin{pmatrix}
1 & 0 & 0 \\
t+x_1 & 1 & 0 \\
\frac{t^2}{2}+x_2 & t & 1
\end{pmatrix}; \qquad
M_1 = \begin{pmatrix}
-t & -1 & 0 & 0 \\
-\frac{t^3}{6} - x_1 t & -\frac{t^2}{2} - x_1 & - t & 1 \\
-1 & 0 & 0 & 0 \\
\frac{t^2}{2} + x_2 & t & 1 & 0
\end{pmatrix}.
\end{equation}
Notice that, given ${\mathbf x} \in {\mathbb{R}}^d$,
the map $Q_0^{-1} \phi_L({\mathbf x};\cdot): {\mathbb{R}} \to \Lo_{n+1}^{1}$
is a smooth (indeed algebraic) convex curve.
Let $\Gamma_{{\mathbf x}}: {\mathbb{R}} \to \Spin_{n+1}$
be the locally convex curve defined by
$\Gamma_{{\mathbf x}}(t) = {\mathbf{Q}}(\phi_L({\mathbf x},t))$, $\Gamma_{{\mathbf x}}(0) = \psi({\mathbf x})$.
Clearly, $\Gamma_0(0) = z_0$,
$\Gamma_0(t) \in \operatorname{Bru}_{{\mathbf{chop}}(z_0)}$ for $t < 0$ and
$\Gamma_0(t) \in \operatorname{Bru}_{{\mathbf{adv}}(z_0)}$ for $t > 0$.

We now construct the desired transversal surface
$\phi: {\mathbb{D}}^d \to {\cal L}_n$.
Choose $z_0$ above such that ${\mathbf{chop}}(z_0) = \acute\eta$
and ${\mathbf{adv}}(z_0) = \acute\eta\hat\sigma$;
let $q_1 = \acute\eta\hat\sigma\acute\eta \in \Quat_{n+1}$.
For sufficiently small $r \in (0,\frac{\pi}{4})$,
there exists a convex arc contained in $\operatorname{Bru}_{{\mathbf{chop}}(z_0)}$
going from $\exp(r {\mathfrak h})$ to $\Gamma_0(-r)$.
For instance, the reader may use Lemma \ref{lemma:convex1}
of \cite{Goulart-Saldanha0}
and
a projective transformation to obtain such a convex arc.
Similarly, for sufficiently small $r \in \left(0,\frac{\pi}{4}\right)$,
there exists a convex arc contained in $\operatorname{Bru}_{{\mathbf{adv}}(z_0)}$
going from $\Gamma_0(r)$ to $q_1 \exp(-r {\mathfrak h})$.
Fix such a small $r \in \left(0,\frac{\pi}{4}\right)$.
By continuity, there exists a small $\tilde s > 0$ such that,
if $|{\mathbf x}| \le \tilde s$ then there exists a convex arc
contained in $\operatorname{Bru}_{{\mathbf{chop}}(z_0)}$
going from $\exp(r {\mathfrak h})$ to $\Gamma_{{\mathbf x}}(-r)$.
Similarly, for sufficiently small $\tilde s > 0$
if $|{\mathbf x}| \le \tilde s$ then there exists a convex arc
in contained in $\operatorname{Bru}_{{\mathbf{adv}}(z_0)}$
going from $\Gamma_{{\mathbf x}}(r)$ to $q_1 \exp(-r {\mathfrak h})$.
Fix such a small $\tilde s > 0$.
We thus define, for each ${\mathbf x} \in {\mathbb{D}}^d$, convex arcs
$\tilde \phi({\mathbf x})|_{\left[\frac18,\frac38\right]}$
going from $\exp(r {\mathfrak h})$ to $\Gamma_{\tilde s{\mathbf x}}(-r)$ and
$\tilde \phi({\mathbf x})|_{\left[\frac58,\frac78\right]}$
going from $\Gamma_{\tilde s{\mathbf x}}(r)$ to $q_1 \exp(-r {\mathfrak h})$.
For $t \in \left[0,\frac18\right]$, set $\tilde\phi({\mathbf x})(t) = \exp(8rt{\mathfrak h})$;
for $t \in \left[\frac78,1\right]$, set $\tilde\phi({\mathbf x})(t) = q_1 \exp(8r(t-1){\mathfrak h})$;
for $t \in \left[\frac38,\frac58\right]$,
set $\tilde \phi({\mathbf x})(t) =
\Gamma_{\tilde s{\mathbf x}}\left(8r\left(t-\frac12\right)\right)$.
Consider now $s \in (0,\tilde s]$ sufficiently small so that,
for all ${\mathbf x} \in {\mathbb{D}}^d$ with $|{\mathbf x}| \le \frac{s}{\tilde s}$,
we have $\tilde\phi({\mathbf x}) \in \hat {\cal A}_\sigma$
(where $\hat {\cal A}_\sigma$ is the open neighborhood
of ${\cal L}_n[\sigma]$ constructed in the proof of
Theorem \ref{theo:stratification}).
Define $\phi: {\mathbb{D}}^d \to \hat{\cal A}_\sigma \subset {\cal L}_n$ by
$\phi({\mathbf x}) = \tilde\phi(\frac{s}{\tilde s} {\mathbf x})$.

\begin{lemma}
\label{lemma:transsection}
Consider $\sigma \in S_{n+1}$, $\sigma \ne e$, $\dim(\sigma) = d$
and construct the map $\phi: {\mathbb{D}}^d \to {\cal L}_n$ as above.
This map is topologically transversal to ${\cal L}_n[\sigma]$,
with a unique intersection at ${\mathbf x} = 0 \in {\mathbb{D}}^d$.
\end{lemma}

\begin{proof}
Uniqueness of intersection follows from
Theorem \ref{theo:pathcoordinates}
of \cite{Goulart-Saldanha0}.
Topological transversality follows from taking the composition
$\hat F \circ\phi$, where
$\hat F: \hat {\cal A}_\sigma \to {\mathbb{D}}^d \subset {\mathbb{R}}^d$
is constructed in the proof of Theorem \ref{theo:stratification}
in Section \ref{sect:paths}.
The map $\hat F \circ \phi: {\mathbb{D}}^d \to {\mathbb{D}}^d$
is a positive multiple of the identity.
\end{proof}

Notice that the maps $\hat F: \hat {\cal A}_\sigma \to {\mathbb{R}}^d$ and
$\phi: {\mathbb{D}}^d \to \hat{\cal A}_\sigma \subset {\cal L}_n$ consistently provide us
with a transversal orientation to ${\cal L}_n[\sigma]$.

This completes the construction of a transversal section
to ${\cal L}_n[\sigma_1]$ at the path $(z_1)\in\operatorname{Path}((\sigma_1))$,
$z_1 = q \acute\sigma_1$, $q \in \Quat_{n+1}$.
By applying affine transformations in the interval
and projective transformations in the group $\Spin_{n+1}$,
this defines a map $\phi_1$ taking each ${\mathbf x} \in {\mathbb{D}}^{d_1}$
($d_1 = \dim(\sigma_1)$) to a convex arc
$\Gamma_{{\mathbf x}}: [t_1 - \epsilon, t_1 + \epsilon] \to \Spin_{n+1}$
with $\operatorname{sing}(\Gamma_{{\mathbf x}}) \ne \emptyset$,
$\operatorname{sing}(\Gamma_{{\mathbf x}}) \subset
(t_1 - \frac{\epsilon}{2}, t_1 + \frac{\epsilon}{2})$
and satisfying $\operatorname{iti}(\Gamma_{{\mathbf x}}) = (\sigma_1)$ if and only if ${\mathbf x} = 0$.
We may furthermore assume that
$\Gamma_{{\mathbf x}}(t_1 \pm \epsilon) = z_1 \exp(\pm\epsilon{\mathfrak h})$
for all ${\mathbf x} \in {\mathbb{D}}^{d_1}$
and that
$\Gamma_{{\mathbf x}}(t) = z_1 \exp((t-t_1){\mathfrak h})$ for ${\mathbf x} = 0 \in {\mathbb{D}}^{d_1}$.

More generally, for any $w = \sigma_1\cdots\sigma_\ell =
(\sigma_1, \ldots, \sigma_\ell) \in {\mathbf W}_n$,
for any path $(z_1, \ldots, z_\ell) \in \operatorname{Path}(w)$
and for any set $\{t_1 < \cdots < t_\ell \} \subset (0,1)$
we show how to construct
a smooth map $\phi: {\mathbb{D}}^d \to {\cal L}_n$, $d = \dim(w)$,
transversal to ${\cal L}_n[w]$ at $\phi(0) \in {\cal L}_n[w]$,
$\operatorname{path}(\phi(0)) = (z_1, \ldots, z_\ell)$,
$\operatorname{sing}(\phi(0)) = \{t_1 < \cdots < t_\ell \}$.
Make the convention $t_0 = 0$, $z_0 = 1$, $t_{\ell+1} = 1$
and $z_{\ell+1} =
\acute\eta\hat\sigma_1 \cdots \hat\sigma_\ell\acute\eta$.
For each $i\in\llbracket\ell+1\rrbracket$,
define $q_i \in \Quat_{n+1}$ such that
$q_i \acute\eta = {\mathbf{adv}}(z_{i-1}) = {\mathbf{chop}}(z_i)$.
First, choose $\epsilon > 0$ such that,
for all $i\in\llbracket\ell+1\rrbracket$,
$t_{i-1} + \epsilon < t_i - \epsilon$,
$z_{i-1} \exp(\epsilon{\mathfrak h}) \in \operatorname{Bru}_{q_i \acute\eta}$ and
$z_{i} \exp(-\epsilon{\mathfrak h}) \in \operatorname{Bru}_{q_i \acute\eta}$.
Define $L_{i,-}, L_{i,+} \in \Lo_{n+1}^1$ by
$z_{i-1} \exp(\epsilon{\mathfrak h}) = q_i \acute\eta {\mathbf{Q}}(L_{i,-})$ and
$z_{i} \exp(-\epsilon{\mathfrak h}) = q_i \acute\eta {\mathbf{Q}}(L_{i,+})$:
by taking $\epsilon$ sufficiently small we may assume that
$L_{i,-} \ll L_{i,+}$.
Choose fixed convex arcs
$\Gamma_{i-\frac12}:
[t_{i-1}+\epsilon, t_i-\epsilon] \to \operatorname{Bru}_{q_i\acute\eta}$ satisfying
$\Gamma_{i-\frac12}(t_{i-1}+\epsilon) = z_{i-1} \exp(\epsilon{\mathfrak h})$,
$\Gamma_{i-\frac12}(t_{i}-\epsilon) = z_{i} \exp(-\epsilon{\mathfrak h})$.
In each interval $[t_i - \epsilon, t_i + \epsilon]$,
define as above a map $\phi_i$ associating to each ${\mathbf x}_i \in {\mathbb{D}}^{d_i}$
a convex arc
$\Gamma_{i,{\mathbf x}_i}: [t_i - \epsilon, t_i + \epsilon] \to \Spin_{n+1}$
with $\Gamma_{i,{\mathbf x}_i}(t_i-\epsilon) = z_i \exp(-\epsilon{\mathfrak h})$,
$\Gamma_{i,{\mathbf x}_i}(t_i+\epsilon) = z_i \exp(\epsilon{\mathfrak h})$.
Set $\Gamma_0: [0,\epsilon] \to \Spin_{n+1}$,
$\Gamma_0(t) = \exp(t {\mathfrak h})$ and
$\Gamma_{\ell+1}: [1-\epsilon,1] \to \Spin_{n+1}$,
$\Gamma_{\ell+1}(t) = z_{\ell+1} \exp((t-1){\mathfrak h})$.
Finally, for ${\mathbf x} = ({\mathbf x}_1, \ldots, {\mathbf x}_\ell)$,
concatenate these arcs to define $\phi({\mathbf x}) = \Gamma_{{\mathbf x}} \in {\cal L}_n$:
the map $\phi$ is the desired transversal section.

These explicit transversal sections allow us to explore the
vincinity of a given stratum ${\cal L}_n[w]$.
In the examples below, we
follow the algorithm above:
we consider a family of convex arcs
$\phi({\mathbf x})=\Gamma_{{\mathbf x}}\in{\cal L}_n$,
$\phi(0)=\Gamma_0\in{\cal L}_n[w]$,
obtained from a matrix with polynomial entries
$M=M({\mathbf x},t)=\phi_L({\mathbf x};t)$.

Let $m_j({\mathbf x},t)$ be the southwest
$j\times j$ minor of $M$,
so that $m_j$ is an explicit
element of ${\mathbb{R}}[x_1,\ldots,x_d,t]$.
By construction, $m_j({\mathbf x},t)$ is a positive multiple of
the southwest $j\times j$ minor of $\Pi(\Gamma_{\mathbf x}(t))$.
From Theorem \ref{theo:mult} of \cite{Goulart-Saldanha0},
given $t_\ast\in{\mathbb{R}}$ and $\sigma\in S_{n+1}$,
we have $\Gamma_{\mathbf x}(t_\ast)\in\operatorname{Bru}_{\eta\sigma}$
if and only if, for each $j\in[\![ n ]\!]$,
$t=t_\ast$ is a zero of $m_j(t)$ of multiplicity $\operatorname{mult}_j(\sigma)$.
Here,
$\operatorname{mult}_j(\sigma)=(1^\sigma-1)+\cdots+(j^\sigma-j)$,
as in Equation \eqref{equation:mult}.
The permutation $\sigma\in S_{n+1}$ can be readily recovered from
the list of its multiplicities
$\operatorname{mult}(\sigma)=(\operatorname{mult}_1(\sigma),\ldots,\operatorname{mult}_n(\sigma))\in{\mathbb{N}}^n$:
we have $j^\sigma=\operatorname{mult}_j(\sigma)-\operatorname{mult}_{j-1}(\sigma)+j$
(with the convention $\operatorname{mult}_0=\operatorname{mult}_{n+1}=0$).

Neighboring strata ${\cal L}_n[w']$
of codimension $\dim(w')=0$
are such that $w'=(a_{i_1},\ldots,a_{i_{\ell'}})$ is
a string of Coxeter generators.
In this case, $\Gamma_{\mathbf x}\in{\cal L}_n[w']$ if and only if
the real roots of $m_1(t),\ldots,m_n(t)$ are all simple
and distinct.
Multiple or common real roots correspond to
more profound strata.
More explicitly,
if, for some value of ${\mathbf x}$ and some $t_i\in\operatorname{sing}(\Gamma_{\mathbf x})$,
there exists a subset $\{j_1,\ldots,j_k\}\subseteq[\![ n ]\!]$ such
that $m_{j_1}(t_i)=\cdots=m_{j_k}(t_i)=0$, then the
corresponding letter $\sigma_i$ in the itinerary
$\operatorname{iti}(\Gamma_{\mathbf x})=(\sigma_1,\ldots,\sigma_\ell)$
has reduced words involving all the generators
$a_{j_1},\ldots,a_{j_k}$.
The set of ${\mathbf x}=(x_1,\ldots,x_d)$ for which a given profound letter
occurs is a subset of the zero locus of discriminants and resultants
of the polynomials $m_j$.
Let
\begin{gather*}
\label{equation:discres}
d_{j}({\mathbf x}) =\operatorname{discrim}_t(m_j({\mathbf x},t))\in{\mathbb{R}}[{\mathbf x}],
\quad j\in[\![ n ]\!]; \\
r_{i,j}({\mathbf x}) =
\operatorname{res}_t(m_{i}({\mathbf x},t),m_{j}({\mathbf x},t))\in{\mathbb{R}}[{\mathbf x}],
\quad i, j\in[\![ n ]\!], \quad i< j.
\end{gather*}
Thus, for instance, if a letter $[ab]$ occurs in the itinerary
of $\Gamma_{\mathbf x}$, then $d_1({\mathbf x})=r_{12}({\mathbf x})=0$;
we shall see other examples below.

\begin{example}
\label{example:transversalsectionaba}

In our first example, $n = 2$, $w=(\sigma)$,
$\sigma = [321] = aba$
(see matrix $M_0$ in Equation \eqref{equation:M0M1}),
we have
\[ m_1 = \frac{t^2}{2} + x_2, \;
m_2 = \frac{t^2}{2} + x_1t - x_2, \;
d_1=-2x_2, \, d_2=x_1^2+2x_2, \;
r_{1,2}=-\frac{d_1d_2}4.
\]
Thus, $m_1(t)$ has two simple real roots
$t = \pm\sqrt{-2x_2}$ if $x_2 < 0$ and
$m_2(t)$ has two simple real roots $t = -x_1\pm\sqrt{x_1^2+2x_2}$ if
$x_2 > -\frac{x_1^2}{2}$.
Thus, if $x_2 > 0$ the itinerary of $\Gamma_{\mathbf x}$ is $bb$ and
if $x_2 <  -\frac{x_1^2}{2}$ the itinerary is $aa$.
If $x_1 < 0$ (resp. $x_1 > 0$) and $ -\frac{x_1^2}{2} < x_2 < 0$
the itinerary is $abab$
(resp. $baba$).
These itineraries correspond to neighboring strata
of codimension zero;
more profound strata occur for $x_2=0$ or $x_1^2+2x_2=0$.
If $x_1<0$ (resp. $x_1 > 0$) and $x_2=0$,
the itinerary is $[ab]b$ (resp. $b[ab]$).
If $x_1<0$ (resp. $x_1 > 0$) and $x_1^2+2x_2=0$,
the itinerary is $a[ba]$ (resp. $[ba]a$).
For instance, let ${\mathbf x}=(x_1,x_2)$ with
$x_1 > 0$ and $x_1^2+2x_2=0$.
Then, $m_1(t)$ has two simple roots at $t=\pm x_1$
and $d_2=0$, so that $m_2(t)$ has a double root at $t=-x_1$.
Therefore, $\operatorname{sing}(\Gamma_{\mathbf x})=\{-x_1,x_1\}$,
$w'=\operatorname{iti}(\Gamma_{\mathbf x})=(\sigma_1,\sigma_2)$ and,
by Theorem \ref{theo:mult} of \cite{Goulart-Saldanha0},
$\operatorname{mult}(\sigma_1)=(1,2)=\operatorname{mult}([ba])$ and
$\operatorname{mult}(\sigma_2)=(1,0)=\operatorname{mult}(a)$.
Thus, $w'=[ba]a$. The other cases are similar.
The reader should compare these results,
summarized in Figure \ref{fig:transversalsectionaba},
with Example \ref{example:aba} and Figure \ref{fig:aba}
in the introduction.
Notice that, the more profound the stratum,
the less generic are the curves therein.
\end{example}

\begin{figure}[ht]
\centering
\begin{tikzpicture}[scale=0.8]
\begin{axis}[
xmin=-1, xmax=1,
ymin=-1, ymax=1,
axis x line = center,
axis y line = center,
xtick = \empty,
ytick = \empty,
xlabel = {$x_1$},
ylabel = {$x_2$},
legend style = {nodes=right},
legend pos = north east,
clip mode = individual,
]
\addplot[red!80!black, line width=0.4mm, domain=-1:0.95] {0.01};
\node[left, line width=0.4mm, red!80!black] at (-1,0) {$x_2=0$};
\addplot[red!80!black, line width=0.4mm, samples=200, domain=-1:1] {-x*x/2};
\node[below, red!80!black] at (1,-0.5) {$x_1^2+2x_2=0$};
\node[above left, red] at (0,0) {$[aba]$};
\node[above, red!80!black] at (-0.6,0) {$[ab]b$};
\node[above, red!80!black] at (0.5,0) {$b[ab]$};
\node[below, red!80!black] at (-0.5,-0.125) {$a[ba]$};
\node[below, red!80!black] at (0.5,-0.125) {$[ba]a$};
\node[left,black] at (0,-0.5) {$aa$};
\node[left,black] at (0,0.5) {$bb$};
\node[left, black] at (-0.7,-0.125) {$abab$};
\node[right, black] at (0.7,-0.125) {$baba$};
\end{axis}
\end{tikzpicture}
\begin{tikzpicture}[scale=0.7]
\begin{axis}[
xmin=-1, xmax=1,
ymin=-1/4, ymax=1,
axis x line = center,
axis y line = center,
xtick = \empty,
ytick = \empty,
xlabel = {$t$},
ylabel = {$m$},
legend style = {nodes=right},
legend pos = north east,
clip mode = individual,
]
\addplot[red, line width=0.4mm, samples=200, domain=-1:1] {x*x/2-1/18};
\addplot[blue, line width=0.4mm, domain=-1:1] {x*x/2+x/3+1/18};
\node[above right, red] at (1,4/9) {$m=m_1(t)$};
\node[above right , blue] at (1,8/9) {$m=m_2(t)$};
\draw[black] (-1/3,-0.03)--(-1/3,0.03) node[below] at (-1/3,-0.05) {$-1/3$};
\draw[black] (1/3,-0.03)--(1/3,0.03) node[below] at (1/3,-0.05) {$1/3$};
\node[above, purple] at (-1/3,0.03) {$[ba]$};
\node[above, red] at (1/3,0.03) {$a$};
\end{axis}
\end{tikzpicture}
\caption{
Left: transversal section $\phi:{\mathbb{D}}^2\to{\cal L}_2$ to ${\cal L}_2[[aba]]$
(see Example \ref{example:transversalsectionaba}).
Right: for $x_1=1/3$ and $x_2=-x_1^2/2=-1/18$ we have
$\operatorname{sing}(\Gamma_{\mathbf x})=\{\pm 1/3\}$ and
$\operatorname{iti}(\Gamma_{\mathbf x})=[ba]a$.
Compare with
Figure \ref{fig:aba}
from Example \ref{example:aba}.}
\label{fig:transversalsectionaba}
\end{figure}

\begin{example}
\label{example:transversalsectionacb}

In our second example, $n = 3$, $w=(\sigma)$,
$\sigma = [3142] = acb$
(see matrix $M_1$ in Equation \eqref{equation:M0M1}),
we have
\begin{gather*}
m_1 = \frac{t^2}{2} + x_2, \;
m_2 = -t, \;
m_3 = \frac{t^2}{2} - x_1, \\
d_1=-2r_{1,2}=-2x_2,\;
d_2=1, \;
d_3=-2r_{2,3}= 2x_1, \;
r_{1,3}=\frac{(x_1+x_2)^2}4.
\end{gather*}
Thus, $m_2(t)$ has a simple root at $t = 0$ for all values of $x_1,x_2$.
If $x_2 > 0$, $m_1(t)$ has no real roots;
if $x_2 < 0$, $m_1(t)$ has roots $t = \pm\sqrt{-2x_2}$.
Similarly, for $x_1 < 0$, $m_3(t)$ has no real roots
and for $x_1 > 0$, $m_3(t)$ has roots $t = \pm\sqrt{2x_1}$.
It is now easy to verify the itineraries of $\Gamma_{\mathbf x}$
in Figure \ref{fig:transversalsectionacb} using
resultants and multiplicities.
For instance, for ${\mathbf x}=(x_1,x_2)$ with $x_1>0$ and $x_2=-x_1$,
the simple roots of $m_1(t)$ and $m_3(t)$ coincide
pairwise at $t=\pm\sqrt{2x_1}$.
We therefore have
$\operatorname{sing}(\Gamma_{\mathbf x})=\{-\sqrt{2x_1},0,+\sqrt{2x_1}\}$ and
$\operatorname{iti}(\Gamma_{\mathbf x})=(\sigma_1,\sigma_2,\sigma_3)=[ac]b[ac]$,
since, by Theorem \ref{theo:mult} of \cite{Goulart-Saldanha0},
$\operatorname{mult}(\sigma_1)=\operatorname{mult}(\sigma_3)=(1,0,1)=\operatorname{mult}([ac])$ and
$\operatorname{mult}(\sigma_2)=(0,1,0)=\operatorname{mult}(b)$.
Notice that if $x_1<0$ and $x_2=-x_1$,
then $\operatorname{sing}(\Gamma_{\mathbf x})=\{0\}$ and $\operatorname{iti}(\Gamma_{\mathbf x})=(b)$,
even if we are in the zero locus of $r_{1,3}$.
Also notice that the stratum ${\cal L}_3[[ac]b[ac]]$ is
as profound as ${\cal L}_3[[acb]]$, since
$\dim([ac]b[ac])=\dim([acb])=2$.

\end{example}

\begin{figure}[ht]
\centering
\begin{tikzpicture}[scale=0.7]
\begin{axis}[
xmin=-1, xmax=1,
ymin=-1, ymax=1,
axis x line = center,
axis y line = center,
xtick = \empty,
ytick = \empty,
xlabel = {$x_1$},
ylabel = {$x_2$},
legend style = {nodes=right},
legend pos = north east,
clip mode = individual,
]
\addplot[red, line width=0.4mm, domain=-1:0.95] {0.01};
\node[left, red] at (-1,0) {$x_2=0$};
\draw[blue, line width=0.4mm] (-0.008,-1)--(-0.008,0.95) node[below] at (0,-1) {$x_1=0$};
\addplot[magenta, line width=0.4mm, domain=0:1] {-x};
\addplot[dashed, black, domain=-1:0] {-x};
\node[below right, magenta] at (1,-1) {$x_2=-x_1$};
\node[above, black] at (-0.8,0.8) {$b$};
\node[above right, black] at (-0.5,0.5) {$b$};
\node[below left, black] at (-0.5,0.5) {$b$};
\node[above right, black] at (0.5,-0.5) {$cabac$};
\node[below left, black] at (0.5,-0.5) {$acbca$};
\node[black] at (0.5,0.5) {$cbc$};
\node[above, black] at (-0.7,-0.7) {$aba$};
\node[above right, magenta] at (1,-1) {$[ac]b[ac]$};
\node[left, blue] at (0,0.5) {$[cb]$};
\node[below left, blue] at (0,-0.5) {$a[cb]a$};
\node[below, red] at (-0.5,0) {$[ab]$};
\node[below, red] at (0.5,0) {$c[ab]c$};
\node[above right, magenta] at (0,0) {$[acb]$};
\end{axis}
\end{tikzpicture}
\begin{tikzpicture}[scale=0.7]
\begin{axis}[
xmin=-1, xmax=1,
ymin=-1/4, ymax=1/2,
axis x line = center,
axis y line = center,
xtick = \empty,
ytick = \empty,
xlabel = {$t$},
ylabel = {$m$},
legend style = {nodes=right},
legend pos = north east,
clip mode = individual,
]
\addplot[red, line width=0.4mm, samples=200, domain=-1:1] {x*x/2-1/18};
\node[above, purple] at (1,4/9) {$m=m_1(t)=m_3(t)$};
\addplot[green, line width=0.4mm, samples=200, domain=-1:1] {-x};
\node[right, green] at (1/4,-1/4) {$m=m_2(t)$};
\addplot[blue, line width=0.4mm, domain=-1:1] {x*x/2-1/18+0.005};
\draw[black] (-1/3,-0.02)--(-1/3,0.02) node[below] at (-1/3,-0.02) {$-1/3$};
\draw[black] (1/3,-0.02)--(1/3,0.02) node[below] at (1/3,-0.02) {$1/3$};
\node[above, purple] at (-1/3,0.03) {$[ac]$};
\node[above right, green] at (0,0.03) {$b$};
\node[above, purple] at (1/3,0.03) {$[ac]$};
\end{axis}
\end{tikzpicture}
\caption{
Left: transversal section $\phi:{\mathbb{D}}^2\to{\cal L}_3$ to ${\cal L}_3[[acb]]$
(see Example \ref{example:transversalsectionacb}).
Right: for $x_1=-x_2=1/18$ we have
$\operatorname{sing}(\Gamma_{\mathbf x})=\{0,\pm1/3\}$ and
$\operatorname{iti}(\Gamma_{\mathbf x})=[ac]b[ac]$.}
\label{fig:transversalsectionacb}
\end{figure}

\begin{figure}[p]
\def8cm{15cm}
\centerline{\input{acbbeta.pdf_tex}}
\centering
\begin{tikzpicture}[scale=0.7]
\begin{axis}[
xmin=-1, xmax=1,
ymin=-1/2, ymax=1/2,
axis x line = center,
axis y line = center,
xtick = \empty,
ytick = \empty,
xlabel = {$t$},
ylabel = {$m$},
legend style = {nodes=right},
legend pos = north east,
clip mode = individual,
]
\addplot[red, line width=0.4mm, samples=200, domain=-1:1] {2/15*(x^3)+(1/2)*x^2-0.222752181};
\node[above, red] at (1,4/10) {$m=m_1(t)$};
\addplot[green, line width=0.4mm, samples=200, domain=-1:1] {-x};
\node[above, green] at (-1/2,1/2) {$m=m_2(t)$};
\addplot[blue, line width=0.4mm, domain=-1:1] {-2/15*(x^3)+(1/2)*x^2-1/3};
\node[above, blue] at (-1,3/10) {$m=m_3(t)$};
\node[above right, purple] at (-0.75,0) {$[ac]$};
\node[above right, green] at (0,0) {$b$};
\node[above, red] at (0.6,0) {$a$};
\node[below right, blue] at (0.9,0) {$c$};
\end{axis}
\end{tikzpicture}
\begin{tikzpicture}[scale=0.7]
\begin{axis}[
xmin=-1, xmax=1,
ymin=-1/2, ymax=1/2,
axis x line = center,
axis y line = center,
xtick = \empty,
ytick = \empty,
xlabel = {$t$},
ylabel = {$m$},
legend style = {nodes=right},
legend pos = north east,
clip mode = individual,
]
\addplot[red, line width=0.4mm, samples=200, domain=-1:1] {-2/15*(x^3)+(1/2)*x^2-.222752181};
\node[above, red] at (-1,4/10) {$m=m_1(t)$};
\addplot[green, line width=0.4mm, samples=200, domain=-1:1] {-x};
\node[above, green] at (-1/2,1/2) {$m=m_2(t)$};
\addplot[blue, line width=0.4mm, domain=-1:1] {2/15*(x^3)+(1/2)*x^2-1/3};
\node[above, blue] at (1,3/10) {$m=m_3(t)$};
\node[above left, purple] at (0.75,0) {$[ac]$};
\node[above right, green] at (0,0) {$b$};
\node[above, red] at (-0.6,0) {$a$};
\node[below left, blue] at (-0.9,0) {$c$};
\end{axis}
\end{tikzpicture}
\caption{Above: transversal sections $\phi_u:{\mathbb{D}}^2\to{\cal L}_3$ to ${\cal L}_3[[acb]]$ for $u=\pm2/5$
(see Example \ref{example:betaprime}).
Below: for $x_1=1/3$, and $x_2>-1/3$
such that $r_{1,3}(x_1,x_2,u)=0$,
$\operatorname{iti}(\phi_u(x_1,x_2))=[ac]bac$ for $u=2/5$ while
$\operatorname{iti}(\phi_u(x_1,x_2))=cab[ac]$ for $u=-2/5$.
The slopes of the graphs of $m_1(t)$ and $m_3(t)$ in this example
are suggestive of the fact that no perturbation of $\phi_u(0,0)$
will produce the itinerary $cabca$ in the case $u>0$,
and similarly, no perturbation of $\phi_u(0,0)$
will produce the itinerary $acbac$ in the case $u<0$.
We shall go back to this issue in Section \ref{sect:Hk}.
The reader may want to compare this figure with
Figure \ref{fig:betaprime} therein.}
\label{fig:planebetaprime}
\end{figure}

\begin{example}
\label{example:betaprime}
Consider the 1-parameter family of
perturbations $\phi_u:{\mathbb{D}}^2\to{\cal L}_3$, $u\in(-\epsilon,\epsilon)$
(for some fixed $\epsilon\in(0,1)$),
of the transversal section $\phi=\phi_0$
of Example \ref{example:transversalsectionacb}
given by $\phi_u({\mathbf x})={\mathbf{Q}}_{\acute\eta\acute\sigma}\circ\Gamma_{{\mathbf x};u}$,
where $\Gamma_{{\mathbf x};u}:[-1,1]\to \acute\eta\acute\sigma\Lo^1_4$
is the solution to the ODE
\begin{gather*}
\Gamma'_{{\mathbf x};u}(t)=\Gamma_{{\mathbf x};u}(t)
\left(\beta_1(t){\mathfrak l}_1+\beta_2(t){\mathfrak l}_2+\beta_3(t){\mathfrak l}_3\right), \\
\beta_1(t)=1+ut>0, \quad \beta_2(t)=1, \quad \beta_3(t)=1-ut>0,
\end{gather*}
with the initial condition below:
\[
\Gamma_{{\mathbf x};u}(0)= \begin{pmatrix}
0 & -1 & 0 & 0 \\
0 & -x_1 & 0 &- 1 \\
-1 & 0 & 0 & 0 \\
x_2 & 0 & 1 & 0 \end{pmatrix}, \quad
\Gamma_{{\mathbf x};u}(t)=\begin{pmatrix}
g_{1,1}(t) & -1 & 0 & 0 \\
g_{2,1}(t) & g_{2,2}(t) & g_{2,3}(t) & -1 \\
-1 & 0 & 0 & 0 \\
g_{4,1}(t) & g_{4,2}(t) & 1 & 0 \end{pmatrix}.\]
This can be explicitly integrated, yielding polynomial coefficients
$g_{i,j}$.
As before, consider the $j\times j$ southwest minors $m_j$
of $\Gamma_{{\mathbf x};u}(t)$ as polynomials in
the indeterminates $x_1,x_2,u,t$
and compute their discriminants and resultants:
\begin{gather*}
m_1=\frac{ut^3}3+\frac{t^2}2+x_2, \quad
m_2=-t, \quad
m_3=-\frac{ut^3}3+\frac{t^2}2-x_1, \\
d_1=-\frac{x_2(6u^2x_2+1)}2, \quad
d_2=1, \quad
d_3=-\frac{x_1(6u^2x_1-1)}2, \quad \\
r_{1,2}= x_2,\quad
r_{1,3}=\frac{u}{108}(4u^2(x_2-x_1)^3+9(x_1+x_2)^2), \quad
r_{2,3}= x_1.
\end{gather*}
Figure \ref{fig:planebetaprime}
shows the itineraries of curves
in the section $\phi_u$
for fixed values of $u>0$ and $u<0$.
The zero loci of the discriminants $d_j$ and resultants $r_{i,j}$
contain the coordinate axes $x_1$ and $x_2$ as before,
and a ordinary cusp $r_{1,3}$.
The zero loci of $d_1$ and $d_3$ include lines
far from the origin, which do not concern us.
Notice the intersection of the zero loci of
$d_1$, $d_3$ and $r_{i,j}$ at the origin.
The two diagrams differ combinatorially:
for $u > 0$, the itinerary $acbac$ appears and $cabca$ does not;
for $u < 0$ it is the other way around;
this will be further discussed in Section \ref{sect:Hk}.
\end{example}

\begin{example}
\label{example:perturbedtransversalsectionacb}
Alternatively, consider another 1-parameter family of
perturbations $\psi_u:{\mathbb{D}}^2\to{\cal L}_3$, $u\in(-\epsilon,\epsilon)$,
of the transversal section $\phi=\psi_0$
of Example \ref{example:transversalsectionacb}
given by taking
\[ \tilde M_{1,u} = \begin{pmatrix}
0 & -1 & 0 & 0 \\
0 & -x_1 & 0 & -1 \\
-1 & -u & 0 & 0 \\
x_2 & x_3 & 1 & 0
\end{pmatrix},
\qquad
M_{1,u} = \begin{pmatrix}
-t & -1 & 0 & 0 \\
-\frac{t^3}{6} - x_1 t & -\frac{t^2}{2} - x_1 & -t & -1 \\
-ut - 1 & -u & 0 & 0 \\
\frac{t^2}{2} + x_2 & t & 1 & 0
\end{pmatrix} \]
instead of $\tilde M_1$ and $M_1$ of Equation \eqref{equation:M0M1}.
As in Example \ref{example:betaprime},
the functions $m_j$ are explicit polynomials.
Figure \ref{fig:perturbedtransversalsectionacb}
shows the zero loci of the new resultants near the origin
(there are complications far away
which do not concern us).
Notice the similarity between Figures \ref{fig:planebetaprime} and  \ref{fig:perturbedtransversalsectionacb}.
\end{example}

\begin{figure}[ht!]
\def8cm{15cm}
\centerline{\input{acbu.pdf_tex}}
\caption{transversal sections $\psi_u:{\mathbb{D}}^2\to{\cal L}_3$ to ${\cal L}_3[[acb]]$ for $u=\pm2/5$
(see Example \ref{example:perturbedtransversalsectionacb}).}
\label{fig:perturbedtransversalsectionacb}
\end{figure}

\section{Proof of Theorem \ref{theo:poset}}
\label{sect:poset}

Let $\sigma \in S_{n+1}$, $\sigma \ne e$;
let $\sigma_1 = \eta\sigma$.
Let $z_1 =\acute\eta \acute\sigma=
q \acute\sigma_1 \in \widetilde \B_{n+1}^{+}$,
$q=\acute\eta\hat\sigma\acute\eta \in \Quat_{n+1}$.
Recall from Example \ref{example:fh} of \cite{Goulart-Saldanha0}
that ${\mathbf{L}}(\exp(\theta{\mathfrak h})) = \exp(\tan(\theta) {\mathfrak h}_L)$
for $\theta \in (-\frac{\pi}{2}, \frac{\pi}{2})$.
Let $\theta_0 \in (0,\frac{\pi}{2})$.
The smooth curve
$\Gamma_{z_1,{\mathfrak h}}: [-\theta_0,+\theta_0] \to \Spin_{n+1}$,
$\Gamma_{z_1,{\mathfrak h}}(\theta) = z_1 \exp(\theta{\mathfrak h})$,
is locally convex and has image contained in ${\cal U}_{z_1}$.
It is therefore strictly convex and can be expressed in triangular coordinates
(see Subsections \ref{subsect:Bruhat} and \ref{subsect:convex}):
$\Gamma_{z_1,{\mathfrak h}}(\theta) = z_1{\mathbf{Q}}(\Gamma_{L}(\theta))$,
where $\Gamma_{L}(\theta): [-\theta_0,\theta_0] \to \Lo_{n+1}^{1}$,
$\Gamma_{L}(\theta) = \exp(\tan(\theta) {\mathfrak h}_L)$.
We have $\operatorname{sing}(\Gamma_{z_1,{\mathfrak h}})=\{0\}$ and
$\operatorname{iti}(\Gamma_{z_1,{\mathfrak h}}) = (\sigma)$.

For $w \in {\mathbf W}_n$, we write
define $w \dashv \sigma$
if there exists a convex curve
$\Gamma_1 \in {\cal L}^{[H^1]}_{n,\operatorname{convex}}(z_1\exp(-\theta_0{\mathfrak h}); z_1\exp(\theta_0{\mathfrak h}))$
with $\operatorname{iti}(\Gamma_1) = w$.
Lemma \ref{lemma:novanishingletter} implies that
we have $(\,) \not\dashv \sigma$
(here, $(\,)\in{\mathbf W}_n$ is the empty word).
Our next result shows that the condition above does not depend
on the particular choice of $\theta_0 \in (0,\frac{\pi}{2})$.

\begin{lemma}
\label{lemma:tok0}
Consider $z_1 \in \widetilde \B_{n+1}^{+}$,
$\theta_1, \theta_2 \in (0,\frac{\pi}{2})$.
Consider $w \in {\mathbf W}_n$.
Then there exists
$\Gamma_1 \in {\cal L}_{n,\operatorname{convex}}^{[H^1]}(z_1\exp(-\theta_1{\mathfrak h}); z_1\exp(\theta_1{\mathfrak h}))$
with $\operatorname{iti}(\Gamma_1) = w$
if and only if there exists
$\Gamma_2 \in {\cal L}_{n,\operatorname{convex}}^{[H^1]}(z_1\exp(-\theta_2{\mathfrak h}); z_1\exp(\theta_2{\mathfrak h}))$
with $\operatorname{iti}(\Gamma_2) = w$.
Furthermore, if there exists
$\Gamma_1 \in
{\cal L}_{n,\operatorname{convex}}^{[H^1]}(z_1\exp(-\theta_1{\mathfrak h}); z_1\exp(\theta_1{\mathfrak h}))$
such that $\operatorname{iti}(\Gamma_1) = w$
then there exists a homotopy
$H: [0,1] \to
{\cal L}_{n,\operatorname{convex}}^{[H^1]}(z_1\exp(-\theta_1{\mathfrak h}); z_1\exp(\theta_1{\mathfrak h}))$,
\[
H(0) = \Gamma_0=\Gamma_{z_1,{\mathfrak h}}, \quad H(1) = \Gamma_1, \quad
H(s)|_{[-\theta_1,-s\theta_1] \sqcup [s\theta_1,\theta_1]} =
\Gamma_0|_{[-\theta_1,-s\theta_1] \sqcup [s\theta_1,\theta_1]}
\
such that $\operatorname{iti}(H(s)) = w$ for all $s \in (0,1]$.
\end{lemma}

\begin{proof}
We start with the first claim.
Assume without loss of generality that $\theta_1 < \theta_2$.
Given $\Gamma_1$ as above, $\Gamma_2$ can be constructed by attaching arcs:
set
\[ \Gamma_2(\theta) = \begin{cases}
\Gamma_1(\theta), & \theta \in [-\theta_1,\theta_1], \\
z_1 \exp(\theta{\mathfrak h}), &
\theta \in [-\theta_2,-\theta_1] \sqcup [\theta_1,\theta_2].
\end{cases} \]
Conversely, given $\Gamma_2$ we apply a projective transformation
to obtain $\Gamma_1$.
More precisely, set
$\Gamma_{2;L}: [-\theta_2,\theta_2] \to \Lo_{n+1}^{1}$,
$\Gamma_{2;L}(\theta) = {\mathbf{L}}(z_1^{-1} \Gamma_2(\theta))$.
Notice that a diagonal projective transformation
takes $\exp(\pm\tan(\theta_2) {\mathfrak h}_L)$
to $\exp(\pm\tan(\theta_1) {\mathfrak h}_L)$:
\[ \exp(\pm\tan(\theta_1) {\mathfrak h}_L) =
\diag\left(1,\lambda,\ldots,\lambda^n\right)
\exp(\pm\tan(\theta_2) {\mathfrak h}_L)
\diag\left(1,\lambda^{-1},\ldots,\lambda^{-n}\right) \]
for $\lambda = \tan(\theta_1)/\tan(\theta_2)$;
apply this projective transformation and reparametrize the domain
to obtain $\Gamma_{1;L}$ and therefore
$\Gamma_1 \in {\cal L}_{n,\operatorname{convex}}^{[H^1]}(z_1\exp(-\theta_1{\mathfrak h}); z_1\exp(\theta_1{\mathfrak h}))$
with $\operatorname{iti}(\Gamma_1) = \operatorname{iti}(\Gamma_2)$.
For the second claim, given $\Gamma_1$,
apply a projective transformation as above to define $H(s)$
satisfying the conditions in the statement
(compare with the construction of the homotopy
in the proof of Lemma \ref{lemma:convex2}).
\end{proof}

\begin{lemma}
\label{lemma:tok1}
Consider $w \in {\mathbf W}_n$, $\sigma \in S_{n+1}$, $\sigma \ne e$,
and $\tilde\Gamma \in {\cal L}_n^{[H^1]}[(\sigma)]$.
There exists a sequence $(\Gamma_k)_{k \in {\mathbb{N}}}$
of curves $\Gamma_k \in {\cal L}_n^{[H^1]}[w]$
with
$\lim_{k \to \infty} \Gamma_k = \tilde\Gamma$
in ${\cal L}_n^{[H^1]}$
if and only if
$w \dashv \sigma$.
\end{lemma}

Notice that one implication is already known for the special case
$\tilde\Gamma=\Gamma_{z_1,{\mathfrak h}}$, $z_1=\acute\eta\acute\sigma$:
for $w \dashv \sigma$, we constructed in Lemma \ref{lemma:tok0}
a path $H$ of curves of itinerary $w$ tending to $\Gamma_{z_1,{\mathfrak h}}$.

\begin{proof}
Assume first that a sequence $(\Gamma_k)$ as above
exists: we prove that $w \dashv \sigma$.
Let $z_1=\acute\eta\acute\sigma$.
Let
$\Gamma(t)=\Gamma_{z_1;{\mathfrak h}}((t-\frac12)\pi)$ and
$\Gamma_L(t)={\mathbf{L}}(z_1^{-1}\Gamma(t))$, $t\in(0,1)$;
by Example \ref{example:fh}
of \cite{Goulart-Saldanha0},
$\Gamma_L(t)=\exp(-\cot(\pi t) {\mathfrak h}_L)$, $t\in(0,1)$.
By reparametrizing the domain
and applying a projective transformation,
we may assume
$\operatorname{sing}(\tilde\Gamma) = \{\frac12\}$ and
$\tilde\Gamma(\frac12) = \Gamma(\frac12)=z_1$.
Consider $\epsilon_0 > 0$ such that $|t-\frac12| \le \epsilon_0$
implies $\tilde\Gamma(t) \in {\cal U}_{z_1}$.
For $t \in [\frac12 - \epsilon_0, \frac12 + \epsilon_0]$,
define $\tilde\Gamma_{L}(t) = {\mathbf{L}}(z_1^{-1} \tilde\Gamma(t))$.
Notice that, by Lemma \ref{lemma:totallypositive}
of \cite{Goulart-Saldanha0}, we have
$\tilde\Gamma_{L}(\frac12 - \epsilon_0) \ll
I \ll \tilde\Gamma_{L}(\frac12 + \epsilon_0)$.
Take $\epsilon_1 \in (0,\frac{\epsilon_0}{2})$ such that
$\tilde\Gamma_{L}(\frac12 - \epsilon_0) \ll
\Gamma_L(\frac12-\epsilon_1)$ and
$\Gamma_L(\frac12+\epsilon_1)\ll \tilde\Gamma_{L}(\frac12 + \epsilon_0)$.
Set $L_{1;-} = \Gamma_L(\frac12-\epsilon_1)$ and
$L_{1;+} = \Gamma_L(\frac12+\epsilon_1)$.
Take $\epsilon_2 \in (0,\frac{\epsilon_1}{2})$ such that
$L_{1;-} \ll \tilde\Gamma_{L}(\frac12 - \epsilon_2) \ll I$ and
$I \ll \tilde\Gamma_{L}(\frac12 + \epsilon_2) \ll L_{1;+}$.

Take open neighborhoods $A_{0;-}$, $A_{2;-}$, $A_{2;+}$ and
$A_{0;+} \subset \Lo_{n+1}^{1}$ of
$\tilde\Gamma_{L}(\frac12 - \epsilon_0)$,
$\tilde\Gamma_{L}(\frac12 - \epsilon_2)$,
$\tilde\Gamma_{L}(\frac12 + \epsilon_2)$ and
$\tilde\Gamma_{L}(\frac12 + \epsilon_0)$, respectively, such that,
for all $L_{i;\pm} \in A_{i;\pm}$, $i \in \{0,2\}$,
we have
$L_{0;-} \ll L_{1;-} \ll L_{2;-} \ll I \ll
L_{2;+} \ll L_{1;+} \ll L_{0;+}$.
Let $B_{i;\pm} = z_1 {\mathbf{Q}}[A_{i;\pm}] \subset {\cal U}_{z_1}$,
$i \in \{0,2\}$;
notice that
$\tilde\Gamma(\frac12 \pm \epsilon_i) \in B_{i;\pm}$, $i \in \{0,2\}$.

For sufficiently large $k$ we have
$\Gamma_k(\frac12 \pm \epsilon_i) \in B_{i;\pm}$, $i \in \{0,2\}$.
By Theorem \ref{theo:Hausdorff},
for sufficiently large $k$ we also have
$\operatorname{sing}(\Gamma_k) \subset (\frac12 - \epsilon_2, \frac12 + \epsilon_2)$.
For such large $k$, define a locally convex curve $\tilde\Gamma_k$
which coincides with $\Gamma_k$ except in the intervals
$[\frac12 - \epsilon_0, \frac12 - \epsilon_2]$ and
$[\frac12 + \epsilon_2, \frac12 + \epsilon_0]$.
In these arcs, $\tilde\Gamma_k$ is defined so that
$\tilde\Gamma_k(\frac12 - \epsilon_1) =
z_1 {\mathbf{Q}}(L_{1;-}) = \Gamma(\frac12-\epsilon_1)$ and
$\tilde\Gamma_k(\frac12 + \epsilon_1) =
z_1 {\mathbf{Q}}(L_{1;+}) =
\Gamma(\frac12+\epsilon_1)$:
the above conditions guarantee that this is possible.
The restriction of any such curve $\tilde\Gamma_k$
to the interval $[\frac12-\epsilon_1,\frac12+\epsilon_1]$ yields,
by definition, $w \dashv \sigma$.

Now, assume $w \dashv \sigma$ and take
$\tilde\Gamma\in{\cal L}_n^{[H^1]}[(\sigma)]$ with
$\operatorname{sing}(\tilde\Gamma)=\{\frac12\}$.
As before, take $\Gamma(t)=\Gamma_{z_1;{\mathfrak h}}((t-\frac12)\pi)$.
Define $\tilde\Gamma_L(t)={\mathbf{L}}(z_1^{-1}\tilde\Gamma(t))$ and
$\Gamma_L(t)={\mathbf{L}}(z_1^{-1}\Gamma(t))$ for $t$
in some interval $[\frac12-\epsilon_0,\frac12+\epsilon_0]$.
Given $k\in{\mathbb{N}}^{\ast}$, take $\epsilon_{1}\in(0,\frac{\epsilon_0}{2^k})$.
For sufficiently small $\epsilon_2\in(0,\epsilon_1)$,
we have
$\tilde\Gamma_L(\frac12-\epsilon_1)\ll \Gamma_L(\frac12-\epsilon_2)$
and
$\Gamma_L(\frac12+\epsilon_2)\ll \tilde\Gamma_L(\frac12+\epsilon_1)$.
By Lemma \ref{lemma:totallypositive}
of \cite{Goulart-Saldanha0}, there exist convex arcs
$\Gamma_{k,L,-}:[\frac12-\epsilon_1,\frac12-\epsilon_2]\to\Lo_{n+1}^1$
and
$\Gamma_{k,L,+}:[\frac12+\epsilon_2,\frac12+\epsilon_1]\to\Lo_{n+1}^1$ with
$\Gamma_{k,L,-}(\frac12-\epsilon_1)=\tilde\Gamma_L(\frac12-\epsilon_1)$,
$\Gamma_{k,L,-}(\frac12-\epsilon_2)=\Gamma_L(\frac12-\epsilon_2)$,
$\Gamma_{k,L,+}(\frac12+\epsilon_2)=\Gamma_L(\frac12+\epsilon_2)$,
$\Gamma_{k,L,+}(\frac12+\epsilon_1)=\tilde\Gamma_L(\frac12+\epsilon_1)$.
Since $w \dashv \sigma$, there exists a convex arc
$\Gamma_{k,L,0}:[\frac12-\epsilon_2,\frac12+\epsilon_2]\to\Lo_{n+1}^1$
with itinerary $w$ such that
$\Gamma_{k,L,0}(\frac12\pm\epsilon_2)
=\Gamma_L(\frac12\pm\epsilon_2)$.
For each $k\in{\mathbb{N}}$, define
\[\Gamma_k(t)=\begin{cases}
\tilde\Gamma(t), & t\in[0,\frac12-\epsilon_1], \\
z_1{\mathbf{Q}}(\Gamma_{k,L,-}(t)), & t\in[\frac12-\epsilon_1,\frac12-\epsilon_2], \\
z_1{\mathbf{Q}}(\Gamma_{k,L,0}(t)), & t\in[\frac12-\epsilon_2,\frac12+\epsilon_2], \\
z_1{\mathbf{Q}}(\Gamma_{k,L,+}(t)), & t\in[\frac12+\epsilon_2,\frac12+\epsilon_1], \\
\tilde\Gamma(t), & t\in[\frac12+\epsilon_1,1].
\end{cases}\]
Of course we have $\lim_{k\to\infty}\Gamma_k=\tilde\Gamma$
in ${\cal L}_n^{[H^1]}$, as desired.
\end{proof}

\begin{rem}
\label{rem:localarcs}
In the statement of Lemma \ref{lemma:tok1} the curves
$\tilde\Gamma$ and $\Gamma_k$ start at
$\tilde\Gamma(0)=\Gamma_k(0)=1$ and
end at $\tilde\Gamma(1)=\Gamma_k(1)=\acute\eta\hat\sigma\acute\eta$.
The reader will notice, however, that only small convex arcs
containing the singular sets are relevant to the proof.
We may therefore apply Lemma \ref{lemma:tok1}
whenever both $\tilde\Gamma$ and $\Gamma_k$ are convex arcs
in the open subset ${\cal U}_{z_1}\subset\Spin_{n+1}$.
Such arcs have free endpoints in the appropriate connected components of
${\cal U}_{z_1}\cap\operatorname{Bru}_{\acute\eta}$ and
${\cal U}_{z_1}\cap\operatorname{Bru}_{\acute\eta\hat\sigma}$.
This is an equivalent statement since we can always append
initial and final arcs obtained by projective transformations.
\end{rem}

\begin{lemma}
\label{lemma:preclosure}
For $\sigma \in S_{n+1} \smallsetminus \{e\}$ and $w \in {\mathbf W}_n$,
the following conditions are equivalent:
\begin{enumerate}[label=(\roman*)]
\item{$w\dashv \sigma$;}
\item{$w \preceq (\sigma)$;}
\item{${\cal L}_n^{[H^1]}[(\sigma)]\cap
\overline{{\cal L}_n^{[H^1]}[w]}\neq\emptyset$;}
\item{${\cal L}_n^{[H^1]}[(\sigma)]\subseteq\overline{{\cal L}_n^{[H^1]}[w]}$;}
\item{given $\tilde\Gamma \in {\cal L}_n^{[H^1]}[(\sigma)]$, $\epsilon > 0$,
$\operatorname{sing}(\tilde\Gamma) = \{t_\ast\}$
and an open neighborhood $U \subset {\cal L}_n^{[H^1]}$
of $\tilde\Gamma$ there exists
$\Gamma \in U \cap {\cal L}_n^{[H^1]}[w]$
with $\Gamma$ and $\tilde\Gamma$
coinciding outside $(t_\ast-\epsilon,t_\ast+\epsilon)$.}
\end{enumerate}
\end{lemma}

\begin{proof}
Conditions (ii) and (iv) are equivalent by definition.
Condition (iv) clearly  implies (iii);
Lemma \ref{lemma:tok1} shows that (iii) implies (i)
and that (i) implies (iv).
The proof of Lemma \ref{lemma:tok1} shows that (i) implies (v).
Finally, (v) clearly implies (iii).
\end{proof}

\begin{rem}
\label{rem:nonempty2}
The known fact that
convex curves form a connected component of ${\cal L}_n^{[H^1]}$
(as in Lemma \ref{lemma:convex2})
gives us a second proof of the fact that
$(\,)\npreceq (\sigma)$.
\end{rem}

Lemma \ref{lemma:preclosure} is a
local version of Theorem \ref{theo:poset},
which we are now ready to prove.

\begin{proof}[Proof of Theorem \ref{theo:poset}]
Condition (iii) implies (i); Condition (i) implies (ii).
We now show that Condition (ii) implies (iv).
Indeed, take $\tilde\Gamma\in{\cal L}_n^{[H^1]}[w_1]\cap
\overline{{\cal L}_n^{[H^1]}[w_0]}$ and a sequence
$(\Gamma_k)_{k\in{\mathbb{N}}}$ of curves in ${\cal L}_n^{[H^1]}[w_0]$
tending to $\tilde\Gamma$.
Let $\operatorname{sing}(\tilde\Gamma)=\{t_1<\cdots<t_\ell\}$ and $\epsilon>0$
such that $3\epsilon<\min\{t_{i+1}-t_i\,;\,i\in\llbracket \ell\rrbracket\cup\{0\}\}$ (where $t_0=0$ and $t_{\ell+1}=1$, as usual).
Notice that the intervals $J_i=[t_i-\epsilon,t_i+\epsilon]$ are disjoint.
By Theorem \ref{theo:Hausdorff}, for sufficiently large $k$, we have
$\operatorname{sing}(\Gamma_k)\subset\sqcup_i J_i$.
The restrictions $\Gamma_k|_{J_i}$ tend to
$\tilde\Gamma|_{J_i}$ and therefore, for large $k$,
$\operatorname{iti}(\Gamma_k|_{J_i})=\tilde w_i\preceq (\sigma_i)$,
by Lemmas \ref{lemma:tok1} and \ref{lemma:preclosure}
(see also Remark \ref{rem:localarcs}).
We have $\tilde w_i\neq (\,)$ by Remark \ref{rem:nonempty2}.

Now we prove that Condition (iv) implies (iii).
The idea is to slightly perturb $\tilde\Gamma$
about each singular point $t_i$ while leaving the curve
unchanged outside the supports of these perturbations.
Implication (ii) to (v) in Lemma \ref{lemma:preclosure} ensures
that the resulting curve $\Gamma$ can be made to have the
desired itinerary $w_0$.
\end{proof}

\section{Proof of Theorem \ref{theo:multHk} and the example $[acb]$}
\label{sect:Hk}

The proof of Theorem \ref{theo:multHk} could have been
given immediately after the proof of Theorem \ref{theo:Hausdorff},
but we prefer to discuss in this section questions related to
the $H^r$ metric
for large $r$.

\begin{proof}[Proof of Theorem \ref{theo:multHk}]
We fix $w_1\in{\mathbf W}_n$ and $\Gamma_1\in{\cal L}_n^{[H^r]}[w_1]$,
where we take
\[r>r_{\bullet}(n)=\left\lfloor \left(\frac{n+1}2\right)^2\right\rfloor
=\max\{\operatorname{mult}_j(\sigma);\,\sigma\in S_{n+1}, j\in[\![ n ]\!]\}.\]
We construct an open neighbourhood $U$ of $\Gamma_1$
in ${\cal L}_n^{[H^r]}$ such that $\Gamma\in U$,
$\operatorname{iti}(\Gamma)=w_0$ implies $\operatorname{mult}(w_0)\leq\operatorname{mult}(w_1)$.
Write $\operatorname{sing}(\Gamma_1)=\{t_1<\cdots<t_\ell\}$.
As before, for each $j\in[\![ n ]\!]$, consider the function
$m_{\Gamma_1;j}:[0,1]\to{\mathbb{R}}$
given by the southwest $j\times j$ minor of the matrix
$\Pi(\Gamma_1(t))$.
Set $\mu_{i,j}=\operatorname{mult}_j(\Gamma_1;t_i)$,
the multiplicity of $t=t_i$ as a zero of $m_{\Gamma_1;j}(t)$,
so that $\sum_{i}\mu_{i,j}=\operatorname{mult}_j(w_1)$,
by Theorem \ref{theo:mult} of \cite{Goulart-Saldanha0}.
Notice that
$m_{\Gamma_1;j}^{(\mu_{i,j})}(t_i)\neq 0$
for all $i,j$.
The value of $r_\bullet(n)$ above was chosen so that
these derivatives are all known to be continuous.
 Take $\epsilon>0$ and disjoint open intervals $J_i\ni t_i$
such that, for all
$i\in\llbracket \ell \rrbracket$ and $j\in[\![ n ]\!]$,
we have $|m_{\Gamma_1;j}^{(\mu_{i,j})}(t_i)|>\epsilon$
and, for all $t\in J_i$,
$|m_{\Gamma_1;j}^{(\mu_{i,j})}(t)|>\epsilon/2$.
Using Theorem \ref{theo:Hausdorff}, we take an open set
$U\in{\cal L}_n^{[H^r]}$ containing $\Gamma_1$ such that
$\Gamma\in U$ implies $\operatorname{sing}(\Gamma)\subset\cup_i J_i$ and
$t\in J_i$ implies $|m_{\Gamma;j}^{(\mu_{i,j})}(t)|>\epsilon/4$.
The fact that the derivative of order $\mu_{i,j}$ of $m_{\Gamma;j}$
has constant sign in $J_i$ implies that the number of zeroes of
$m_{\Gamma;j}$ in $J_i$ (counted with multiplicity) is at most
$\mu_{i,j}$.
Now, Theorem \ref{theo:mult} of \cite{Goulart-Saldanha0}
implies the desired result.
\end{proof}

Given $\sigma\in S_{n+1}\smallsetminus\{e\}$, $w\in{\mathbf W}_n$,
we write $w\dashv\sigma\,[H^r]$ if and only if
there exists a strictly convex curve
$\Gamma_0:[-1,1]\to\Spin_{n+1}$ of class $H^r$
satisfying :
\begin{enumerate}
\item\label{item:dashvHk0}{
$\Gamma_0(-1), \Gamma_0(1) \in \operatorname{Bru}_\eta$,
$\operatorname{sing}(\Gamma_0)=\{0\}$ and $\operatorname{iti}(\Gamma_0)=(\sigma)$;}
\item\label{item:dashvHkepsilon}{for each $\epsilon>0$
there is a locally convex curve
$\Gamma_\epsilon:[-1,1]\to\Spin_{n+1}$ of class $H^r$
satisfying $\operatorname{iti}(\Gamma_\epsilon)=w$ and
$d^{[H^r]}(\Gamma_0,\Gamma_\epsilon)<\epsilon$.}
\end{enumerate}

Of course,
for all $\sigma\in S_{n+1}\smallsetminus\{e\}$
there is a strictly convex curve $\Gamma_0$
satisfying Condition \ref{item:dashvHk0}:
just take $\Gamma_0(t)=\acute\sigma\exp\left(\frac\pi2 t{\mathfrak h}\right)$.
We stress though that, in the definition above,
the curve $\Gamma_0$ need not have this special form.
Under both Conditions \ref{item:dashvHk0} and  \ref{item:dashvHkepsilon}
Theorem \ref{theo:Hausdorff} implies that
for all $\tau>0$, there is $\epsilon_\tau>0$ such that
$\epsilon<\epsilon_\tau$ implies
$\operatorname{sing}(\Gamma_\epsilon)\subset(-\tau,\tau)$.
Also, Lemma \ref{lemma:convex} implies that
there is $\epsilon_{\operatorname{convex}}>0$ such that
$\epsilon<\epsilon_{\operatorname{convex}}$ implies $\Gamma_\epsilon$
strictly convex.

\begin{lemma}
\label{lemma:subwordsHk}
Given $w_0,w_1\in{\mathbf W}_n$, we have
${\cal L}_n^{[H^r]}[w_1]\cap\overline{{\cal L}_n^{[H^r]}[w_0]}
\neq\emptyset$
if and only if there are
$\sigma_{1},\ldots,\sigma_{\ell}\in S_{n+1}\smallsetminus\{e\}$
and $w_{0,1},\ldots,w_{0,\ell}\in{\mathbf W}_n$ such that
$w_0=w_{0,1}\cdots w_{0,\ell}$,
$w_1=(\sigma_{1},\ldots,\sigma_{\ell})$ and,
for all $i\in\llbracket\ell\rrbracket$,
$w_{0,i}\dashv\sigma_{i}\,[H^r]$.
\end{lemma}

In the proof of Lemma \ref{lemma:subwordsHk} we are going
to use the following alternate characterization of the relation
$\dashv\,[H^r]$.

\begin{lemma}
\label{lemma:dashvHkprime}
Given $\sigma\in S_{n+1}\smallsetminus\{e\}$ and $w\in{\mathbf W}_n$,
we have $w\dashv\sigma\,[H^r]$ if and only if
there exists a strictly convex curve
$\Gamma_0:[-1,1]\to\Spin_{n+1}$ of class $H^r$
for which the following conditions hold:
\begin{enumerate}[label={\arabic*'}.]
\item\label{item:dashvHk0prime}{
$\Gamma_0(-1), \Gamma_0(1) \in \operatorname{Bru}_\eta$,
$\operatorname{sing}(\Gamma_0)=\{0\}$ and $\operatorname{iti}(\Gamma_0)=(\sigma)$;}
\item\label{item:dashvHkepsilonprime}{given $\epsilon>0$,
$\tau\in(0,1)$,
there is a locally convex curve
$\tilde\Gamma:[-1,1]\to\Spin_{n+1}$ of class $H^r$
satisfying $\operatorname{iti}(\tilde\Gamma)=w$,
$d^{[H^r]}(\Gamma_0,\tilde\Gamma)<\epsilon$ and
$\tilde\Gamma|_{[-1,-\tau]\cup[\tau,1]}
=\Gamma_0|_{[-1,-\tau]\cup[\tau,1]}$.}
\end{enumerate}
\end{lemma}

\begin{proof}
The only nontrivial claim is: if $\Gamma_0$ satisfies
Conditions \ref{item:dashvHk0} and \ref{item:dashvHkepsilon},
then it also satisfies Condition \ref{item:dashvHkepsilonprime}
Given $\epsilon>0$ and $\tau\in(0,1)$,
take $\Gamma_{\epsilon'}$ satisfying
Condition \ref{item:dashvHkepsilon}
for $\epsilon'\in(0,\epsilon)$ such that
$\operatorname{sing}(\Gamma_{\epsilon'})\subset\left(-\frac\tau2,\frac\tau2\right)$.
The idea is now to obtain locally convex arcs
$\Gamma_-:\left[-\tau,-\frac\tau2\right]\to\Spin_{n+1}$ and
$\Gamma_+:\left[\frac\tau2,\tau\right]\to\Spin_{n+1}$
such that $\tilde\Gamma:[-1,1]\to\Spin_{n+1}$,
\[
\tilde\Gamma(t)=
\begin{cases}
\Gamma_0(t), \quad t\in[-1,-\tau]\cup[\tau,1], \\
\Gamma_-(t), \quad t\in\left[-\tau,-\frac\tau2\right], \\
\Gamma_+(t), \quad t\in\left[\frac\tau2,\tau\right], \\
\Gamma_{\epsilon'}(t), \quad t\in\left[-\frac\tau2,\frac\tau2\right],
\end{cases}
\]
has the desired properties.
One may do so by producing standard convex arcs
between $\Gamma_0(\pm\tau)$ and $\Gamma_{\epsilon'}(\pm\frac{\tau}2)$
by means of projective transformations and then applying a smoothening procedure.
We omit the details (but see \cite{gsie}).
\end{proof}

\begin{proof}[Proof of Lemma \ref{lemma:subwordsHk}]
One direction is easy:
write $w_1=(\sigma_{1},\ldots,\sigma_{\ell})$,
$\sigma_i\in S_{n+1}\smallsetminus\{e\}$.
Given $\Gamma_0\in{\cal L}_n^{[H^r]}[w_1]$,
let $\operatorname{sing}(\Gamma_0)=\{t_1<\cdots<t_\ell\}$ and
take $\tau>0$ such that
$\Gamma_{0,i}=\Gamma_0|_{(t_i-\tau,t_i+\tau)}$
is strictly convex and $\operatorname{iti}(\Gamma_{0,i})=(\sigma_i)$ for all $i$.
Now, assume there is a sequence
$(\Gamma_k)$, $k\in{\mathbb{N}}^\ast$,
in ${\cal L}_n^{[H^r]}[w_0]$ such that
$\lim_{k\to\infty}d^{[H^r]}(\Gamma_k,\Gamma_0)=0$
and consider the restrictions
$\Gamma_{k,i}=\Gamma_k|_{(t_i-\tau,t_i+\tau)}$.
By Theorem \ref{theo:Hausdorff}, for
sufficiently large $k$ we can assume
$\operatorname{sing}(\Gamma_{k,i})\subset(t_i-\tau,t_i+\tau)$ for all $i$.
For each $k$, write $\operatorname{iti}(\Gamma_{k,i})=w_{0,i}^k$ so that
$w_0=w_{0,1}^k\cdots w_{0,\ell}^k$.
Since there are finitely many decompositions of $w_0$ in subwords,
we take a subsequence and assume $(\Gamma_k)$ is such that
there are fixed subwords
$w_{0,1},\ldots,w_{0,\ell}\in{\mathbf W}_n$ with
$\operatorname{iti}(\Gamma_{k,i})=w_{0,i}$ for all $k$.
It follows that $w_{0,i}\dashv \sigma_i\,[H^r]$ for all $i$.
Now for the reciprocal, let
$\sigma_1,\ldots,\sigma_\ell\in S_{n+1}\smallsetminus\{e\}$ and
$w_{0,1},\ldots,w_{0,\ell}\in{\mathbf W}_n$ be such that
$w_{0,i}\dashv\sigma_i\,[H^r]$ for all $i\in\llbracket\ell\rrbracket$.
Also, fix once and for all a single $\tau\in(0,1)$ and,
for each $i$ and each $\epsilon>0$,
let $\Gamma_{0,i}$,
$\operatorname{iti}(\Gamma_{0,i})=(\sigma_i)$, and
$\tilde\Gamma_{\epsilon,i}$,
$\operatorname{iti}(\tilde\Gamma_{\epsilon,i})=w_{0,i}$,
be as in Conditions \ref{item:dashvHk0}' and
\ref{item:dashvHkepsilon}' of
Lemma \ref{lemma:dashvHkprime} above.
We shall produce from these ingredients a
locally convex curve $\tilde\Gamma_0\in{\cal L}_n^{[H^r]}[w_1]$,
$w_1=(\sigma_1,\ldots,\sigma_\ell)$,
and a sequence of locally convex curves
$\tilde\Gamma_k\in{\cal L}_n^{[H^r]}[w_0]$, $k\in{\mathbb{N}}^\ast$,
$w_0=w_{0,1}\cdots w_{0,\ell}$, such that
$\lim_{k\to\infty}d^{[H^r]}(\tilde\Gamma_k,\tilde\Gamma_0)=0$.
We begin by setting $\tilde\Gamma_{k,i}=\tilde\Gamma_{\frac1k,i}$
(i.e., take $\epsilon=\frac1k$) for all $i\in\llbracket\ell\rrbracket$,
and all $k\in{\mathbb{N}}^\ast$.
Let $q_0=1$, $q_1=\hat\sigma_1$,
$q_2=\hat\sigma_1\hat\sigma_2$,
\ldots, $q_\ell=\hat\sigma_1\cdots\hat\sigma_\ell=\hat w_1
\in\Quat_{n+1}$.
We have,
for all $i$ and all $k$,
$\tilde\Gamma_{k,i}(-1)=\Gamma_{0,i}(-1)
\in\operatorname{Bru}_{\acute\eta q_{i-1}}={\cal U}_{\acute\eta q_{i-1}}$ and
$\tilde\Gamma_{k,i}(1)=\Gamma_{0,i}(1)
\in\operatorname{Bru}_{\acute\eta q_i}={\cal U}_{\acute\eta q_i}$.
Choose recursively a sequence of matrices
$U_1,\ldots,U_\ell\in\Up^1_{n+1}$ such that
$1\ll
\Gamma^{U_1}_{0,1}(-1)$,
$\Gamma^{U_1}_{0,1}(1)q^{-1}_1
\ll
\Gamma^{U_2}_{0,2}(-1)q^{-1}_1$,
\ldots,
$\Gamma^{U_{\ell-1}}_{0,{\ell-1}}(1)q^{-1}_{\ell-1}
\ll
\Gamma^{U_\ell}_{0,\ell}(-1)q^{-1}_{\ell-1}$,
$\Gamma^{U_\ell}_{0,\ell}(1)q^{-1}_{\ell}
\ll
\acute\eta\hat w_1\acute\eta q^{-1}_{\ell}$
(where $\ll$ is the relation of accessibility in
$\operatorname{Bru}_{\acute\eta}$ defined in Section \ref{sect:acc};
see also Lemma \ref{lemma:totallypositive} of \cite{Goulart-Saldanha0}).
We now fix, for all
$i\in\llbracket\ell-1\rrbracket$ and all $k$,
smooth strictly convex arcs
$\Gamma_{0,i+\frac12}:[-1,1]\to\operatorname{Bru}_{\acute\eta q_i}$
such that $\Gamma_{0,i+\frac12}(-1)=
\Gamma_{0,i}^{U_i}(1)$ and
$\Gamma_{0,i+\frac12}(1)
=\Gamma_{0,i+1}^{U_{i+1}}(-1)$.
Of course, there are smooth strictly convex arcs
$\Gamma_{0,\frac12}:[-1,1]\to\operatorname{Bru}_{\acute\eta}$ and
$\Gamma_{0,\ell+\frac12}:[-1,1]\to\operatorname{Bru}_{\acute\eta\hat w_1}$
such that $\Gamma_{0,\frac12}(-1)=1$,
$\Gamma_{0,\frac12}(1)=\Gamma_{0,1}^{U_1}(-1)$,
$\Gamma_{0,\ell+\frac12}(-1)=\Gamma_{0,\ell}^{U_\ell}(1)$ and
$\Gamma_{0,\ell+\frac12}(1)=\acute\eta\hat w_1\acute\eta$.
Now, consider the concatenations
$\Gamma_0=
\Gamma_{0,\frac12}\ast
\Gamma_{0,1}^{U_1}\ast
\Gamma_{0,\frac32}\ast
\cdots\ast
\Gamma_{0,\ell}^{U_\ell}\ast
\Gamma_{0,\ell+\frac12}$ and
$\Gamma_k=
\Gamma_{0,\frac12}\ast
\tilde\Gamma_{k,1}^{U_1}\ast
\Gamma_{0,\frac32}\ast
\cdots\ast
\tilde\Gamma_{k,\ell}^{U_\ell}\ast
\Gamma_{0,\ell+\frac12}$,
for each $k\in{\mathbb{N}}^\ast$
(the same piecewise affine reparameterization onto $[0,1]$ is used
in all these concatenations).
These locally convex curves are of class $H^r$
except at the finitely many welding points
$0<\tau_1<\tau_2<\cdots<\tau_{2\ell}<1$,
all of them far away from the singular sets
$\operatorname{sing}(\Gamma_0), \operatorname{sing}(\tilde\Gamma_s)\subset(0,1)$.
Also, notice that, by Condition \ref{item:dashvHkepsilon}' of
Lemma \ref{lemma:dashvHkprime},
satisfied by the sequences $\tilde\Gamma_{k,i}$
(recall we have fixed $\tau>0$ right from the start),
there is $\delta>0$ such that, for all $j\in\llbracket\ell\rrbracket$,
we have
$\Gamma_0|_{[\tau_j-\delta,\tau_j+\delta]}
=\tilde\Gamma_k|_{[\tau_j-\delta,\tau_j+\delta]}$
for all $k\in{\mathbb{N}}^\ast$.
Apply a standard smoothening procedure
to each one of
these $\ell$ arcs (of class $H^r$ except at $t=\tau_j$),
obtaining the corresponding locally convex arcs
$\tilde\Gamma_{0,j}:[\tau_j-\delta,\tau_j+\delta]\to\Spin_{n+1}$
of class $H^r$ (coinciding with the original ones
on an initial and on a final segment).
It is now easily seen that the maps
$\tilde\Gamma_k:[0,1]\to\Spin_{n+1}$,
$k\in{\mathbb{N}}$,
\[
\tilde\Gamma_k(t)=
\begin{cases}
\tilde\Gamma_{0,j}(t), \quad t\in[\tau_j-\delta,\tau_j+\delta], \\
\Gamma_k(t), \quad t\in[0,1]
\smallsetminus\left(\sqcup_j[\tau_j-\delta,\tau_j+\delta]\right)
\end{cases}
\]
satisfy all the desired properties.
\end{proof}

\begin{coro}
[of Theorem \ref{theo:multHk} and Lemma \ref{lemma:subwordsHk}]
\label{coro:subwordsHk}
Given $w_0,w_1\in{\mathbf W}_n$,
if there are
$\sigma_{1},\ldots,\sigma_{\ell}\in S_{n+1}\smallsetminus\{e\}$
and $w_{0,1},\ldots,w_{0,\ell}\in{\mathbf W}_n$ such that
$w_0=w_{0,1}\cdots w_{0,\ell}$,
$w_1=(\sigma_{1},\ldots,\sigma_{\ell})$ and
for all $i\in\llbracket\ell\rrbracket$,
$w_{0,i}\dashv\sigma_{i}\,[H^r]$,
then, $\operatorname{mult}(w_0)\leq\operatorname{mult}(w_1)$.
\end{coro}

The following statement is already known to be true for $n=2$.

\begin{conj}
\label{conj:dashv}
For $\dim(\sigma)=\inv(\sigma)-1<n$ and all $w\in{\mathbf W}_n$,
we have $w\dashv\sigma\,[H^1]$ (i.e., $w\preceq(\sigma)$) if and only if
$w\dashv\sigma\,[H^r]$ for all $r>2$.
\end{conj}

We now discuss in greater detail the example $[acb]$,
with emphasis on the $H^r$ metric, $r\geq3$.
This example has already been
mentioned in Equation \eqref{equation:acbHk}
in the Introduction and in Examples
\ref{example:transversalsectionacb} and
\ref{example:perturbedtransversalsectionacb}.
We already know from Example
\ref{example:perturbedtransversalsectionacb}
(via Lemma \ref{lemma:subwordsHk}) that
${\cal L}_3^{[H^r]}[[acb]]\cap\overline{{\cal L}_3^{[H^r]}[cabca]}
\neq\emptyset$, for all $r$.
By Theorem \ref{theo:poset}
(or Lemma \ref{lemma:preclosure}),
we have the inclusion
${\cal L}_3^{[H^1]}[[acb]]\subset\overline{{\cal L}_3^{[H^1]}[cabca]}$.

\begin{prop}
\label{prop:acbHk}
Let $n=3$ and $r \ge 3$.
There exists a continuous function
$u: {\cal L}_3^{[H^r]}[[acb]] \to {\mathbb{R}}$
with the following properties:
\begin{enumerate}
\item{The set $u^{-1}[\{0\}] \subset {\cal L}_3^{[H^r]}[[acb]]$
is a non empty closed subset and
a topological submanifold of codimension $1$.}
\item{The function $u$ is topologically transversal to
$u^{-1}[\{0\}] \subset {\cal L}_3^{[H^r]}[[acb]]$.}
\item{If $\Gamma_0 = \phi_u(0)$ for $\phi_u$
as in Example \ref{example:betaprime} then
$u(\Gamma_0) = u$.}
\item{If $\Gamma_0 \in {\cal L}_3^{[H^r]}[[acb]]$
and $u(\Gamma_0) > 0$ then
the left hand side of Figure \ref{fig:planebetaprime}
provides a local topological normal form for the itinerary
of locally convex curves near the curve $\Gamma$. }
\item{Conversely, if $u(\Gamma_0) < 0$ then
the right hand side of Figure \ref{fig:planebetaprime}
provides a local topological normal form.}
\end{enumerate}
\end{prop}

The concept of a local topological normal form needs clarification.
Let $\mathbf{H}$ be an infinite dimensional separable Hilbert space.
We claim, for instance, that if $u(\Gamma_0) > 0$
then there exists a neighborhood $W \subset {\cal L}_3^{[H^r]}$
of $\Gamma_0$
and a homeomorphism $\tilde\psi: {\mathbb{R}}^2 \times \mathbf{H} \to W$
such that the itinerary of $\tilde\psi(x_1,x_2,\ast)$
is given by $(x_1,x_2)$ in the left hand side of Figure \ref{fig:planebetaprime}.

Notice, in particular, that if a curve $\Gamma\in{\cal L}_3^{[H^r]}$,
$r\geq3$, has a letter $[acb]$ in its itinerary and
$u>0$, then there exist perturbations
$\tilde \Gamma$ of $\Gamma$ where the letter $[acb]$
splits into the string $acbac$
but there are no perturbations $\tilde\Gamma$
of $\Gamma$ where $[acb]$ becomes $cabca$.
Similarly, for $u<0$, the letter $[acb]$ can become
$cabca$, but not the itinerary $acbac$.

\begin{rem}
\label{rem:betaprime}
Figure \ref{fig:betaprime} shows the itineraries
near a specific curve
$\Gamma_0 \in {\cal L}_3^{[H^r]}[[acb]]$
with $u(\Gamma_0) = 0$.
In fact, Figure \ref{fig:betaprime} provides
a local topological normal form
near all such curves.
The proof of this last fact shall not be given,
but is similar (but more laborious)
than that of Proposition \ref{prop:acbHk}.
\end{rem}

\begin{figure}[h]
\def8cm{18cm}
\centerline{\input{betaprime.pdf_tex}}
\caption{We set
$\beta_1(t)=1+ut$, $\beta_2(t)=1$, $\beta_3(t)=1-ut$.
Left: zero locus of $u^{-1}r_{1,3}(x_1,x_2)$
and neighboring itineraries.
Right: graphs of $m_j(t)$
for $x_1=x_2=-1/18$
and $u=1/2$, $u=0$ and $u=-1/2$.
}
\label{fig:betaprime}
\end{figure}

\goodbreak

\begin{proof}[Proof of Proposition \ref{prop:acbHk}]
Consider a locally convex curve
$\Gamma\in{\cal L}^{[H^r]}_3(\cdot\,;\cdot)$ of class $H^r$
with $\operatorname{iti}(\Gamma)=[acb]$
and \emph{local triangular presentation}
$\Gamma_L:[-\epsilon,\epsilon]\to \acute\eta\acute\sigma\Lo^1_4$,
\begin{equation*}
\label{equation:gij}
\Gamma_L(t)=
\begin{pmatrix}
-g_{1,1}(t) & -1 & 0 & 0 \\
-g_{2,1}(t) & -g_{2,2}(t) & -g_{2,3}(t) & -1 \\
-1 & 0 & 0 & 0 \\
g_{4,1}(t) & g_{4,2}(t) & 1 & 0
\end{pmatrix}
\end{equation*}
with logarithmic derivative
$(\Gamma_L(t))^{-1}\Gamma'_L(t)=
\beta_1(t){\mathfrak l}_1+\beta_2(t){\mathfrak l}_2+\beta_3(t){\mathfrak l}_3$, i.e.,
\begin{equation}
\label{equation:IVPgij}
\begin{gathered}
g'_{1,1} =\beta_1, \quad
g'_{2,1} =g_{2,2}\beta_1, \quad
g'_{2,2}=g_{2,3}\beta_2, \quad
g'_{2,3}=\beta_3, \\
g'_{4,1} =g_{4,2}\beta_1, \quad
g'_{4,2}=\beta_2.
\end{gathered}
\end{equation}

Let as before $m_j=m_j(t)$ be the $j\times j$ southwest minor
of $\Gamma_L(t)$.
We have
\begin{equation}
\label{equation:mj}
\begin{gathered}
m_1=g_{4,1}, \quad
m'_1=g_{4,2}\beta_1, \quad
m_2=-g_{4,2}, \quad
m'_2=-\beta_2, \\
m_3=g_{4,2}g_{2,3}-g_{2,2}, \quad
m'_3=g_{4,2}\beta_3.
\end{gathered}
\end{equation}

The so called \emph{local triangular presentation}
is obtained as follows.
Fix a compact subinterval $J\subset(0,1)$ containing the
singular set $\operatorname{sing}(\Gamma)=\{t_\Gamma\}$ in its interior and
such that $\Gamma[J]\subset{\cal U}_{\acute\eta\acute\sigma}$
and consider an orientation-preserving diffeomorphism
$\theta:[-\epsilon,\epsilon]\to J$ satisfying $\theta(0)=t_\Gamma$.
We set
$\Gamma_L(t)=
\acute\eta\acute\sigma{\mathbf{L}}_{\acute\eta\acute\sigma}(\Gamma(\theta(t)))$.
The positive functions
$\beta_1,\beta_2,\beta_3:[-\epsilon,\epsilon]\to(0,+\infty)$
thus obtained are of class $H^{r-1}$.
To simplify the computations,
we assume without loss that the reparameterization $\theta$
is chosen so as to produce $\beta_2(t)=1$ constant
(at least in a small neighborhood of $t=0$).
We already know from Theorem \ref{theo:mult} of
\cite{Goulart-Saldanha0} that
$\operatorname{iti}(\Gamma)=[acb]$
if and only if
$m_2(t)$ has a simple zero at $t=0$ and
both $m_1(t)$ and $m_3(t)$ have a double zero at
$t=0$.
Accordingly, we have
$g_{4,1}(0)=g_{4,2}(0)=g_{2,2}(0)=0$.
Notice that the parameters
$g_{1,1}(0), g_{2,1}(0), g_{2,3}(0)$
parameterize the intersection point
$\Gamma(t_\Gamma)\in\operatorname{Bru}_{\acute\eta\acute\sigma}$,
but do not change either the singular set or the itinerary of
$\Gamma$.
All these simplifications taken into account,
Equation \eqref{equation:mj} boils down to
\begin{equation}
\label{equation:mjbeta2const}
\begin{gathered}
m_1(0)=0, \quad
m'_1(t)=t\beta_1(t), \quad
m_2(t)=-t, \\
m_3(0)=0, \quad
m'_3(t)=t\beta_3(t).
\end{gathered}
\end{equation}
We are ready to define the desired function $u$:
\[
b_1 = \beta_1(0) > 0, \quad
b_3 = \beta_3(0) > 0, \quad
u= u(\Gamma) = \frac{b_3 \beta'_1(0) - b_1 \beta'_3(0)}{2b_1b_3}.\]
The first three items are clear.

We now study the ways the common double zero of $m_1(t)$
and $m_3(t)$ at $t=0$ can possibly split
as we slightly perturb $\Gamma$
to obtain a curve $\tilde\Gamma$.
Consider the hyperplane
\[S=
\left\{M({\mathbf x},{\mathbf y}) = \begin{pmatrix}
-y_1 & -1 & 0 & 0 \\
-y_2 & -x_1 & -y_3 &- 1 \\
-1 & 0 & 0 & 0 \\
x_2 & 0 & 1 & 0 \end{pmatrix}
\in\acute\eta\acute\sigma\Lo^1_4 \,;\,
\begin{array}{l} {\mathbf x}=(x_1,x_2)\in{\mathbb{R}}^2, \\
{\mathbf y}=(y_1,y_2,y_3)\in{\mathbb{R}}^3
\end{array}\right\}.\]
Notice that the locally convex curve $\Gamma$ intersects
the smooth codimension one submanifold
${\mathbf{Q}}_{\acute\eta\acute\sigma}[S]
\subset{\cal U}_{\acute\eta\acute\sigma}\subset\Spin_{n+1}$
transversally and at a single value of the parameter $t\in(0,1)$:
transversality comes from $g_{4,2}(t)=t$.
Transversality can also be assumed for $\tilde\Gamma$.
For each $\tilde\Gamma$,
we also consider the corresponding
local triangular presentation
$\tilde\Gamma_L$, with logarithmic derivative
$\tilde\beta_1(t){\mathfrak l}_1+{\mathfrak l}_2+\tilde\beta_3(t){\mathfrak l}_3$
(as before, we assume the reparameterization $\tilde\theta$
is such that $\tilde\beta_2(t)=1$, constant).
After a reparametrization of $t$ by a translation,
we may assume that $\tilde\Gamma_L$ intersects $S$ at $t = 0$.
The corresponding version of
Equation \eqref{equation:mjbeta2const} is
\begin{equation}
\label{equation:tildemjbeta2const}
\begin{gathered}
\tilde m_1(t)=x_2, \quad
\tilde m'_1(t)=t\tilde\beta_1(t), \quad
\tilde m_2(t)=-t, \\
\tilde m_3(t)=-x_1, \quad
\tilde m'_3(t)=t\tilde\beta_3(t).
\end{gathered}
\end{equation}
Notice that the graphs of the
functions $\tilde m_1=\tilde m_1(t)$
and $\tilde m_3=\tilde m_3(t)$ are convex in a
neighborhood of their local minima
$(0, x_2)$ and $(0, -x_1)$, respectively.

Assume $u > 0$:
we prove the topological normal form.
If $x_2 > 0$ or $x_1 < 0$ the itinerary
is as in Figure \ref{fig:planebetaprime}.
We are left with studying the quadrant $x_1 > 0$, $x_2 < 0$.
Let $\tilde b_1 = \tilde\beta_1(0) \approx b_1$,
$\tilde b_3 = \tilde\beta_3(0) \approx b_3$.
For fixed $\tilde\beta_1$ and $\tilde\beta_3$,
we consider the line segment
$(x_1,x_2) = (2s \tilde b_3 c,- 2(1-s) \tilde b_1 c)$
where $c > 0$ is fixed and $s \in [0,1]$.
When $s$ moves from $0$ to $1$,
the roots of $\tilde m_1$ move monotonically towards $0$.
Similarly,
the roots of $\tilde m_3$ move monotonically away from $0$.

We study the point $s = \frac12$.
We have $\tilde m_1(0) = x_2 = -\tilde b_1c$,
$\tilde m_3(0) = -x_1 = -\tilde b_3c$
and therefore $\tilde b_3\tilde m_1(0) = \tilde b_1\tilde m_3(0)$.
For small $|t|$ and $\tilde\beta_i$ near $\beta_i$ we have
$\tilde b_3\tilde \beta_1'(t) > \tilde b_1\tilde\beta_3'(t)$.
Thus, for small $|t|$, $t \ne 0$, we have
$\tilde b_3t \tilde \beta_1(t) > \tilde b_1t \tilde\beta_3(t)$
and therefore
$\tilde b_3\tilde m_1'(t) > \tilde b_1\tilde m_3'(t)$.
Thus, $t > 0$ implies
$\tilde b_3\tilde m_1(t) > \tilde b_1\tilde m_3(t)$
and $t < 0$ implies
$\tilde b_3\tilde m_1(t) < \tilde b_1\tilde m_3(t)$.
Thus, if $t > 0$ and $\tilde m_1(t) = 0$ we have $\tilde m_3(t) < 0$;
if $t < 0$ and $\tilde m_1(t) = 0$ we have $\tilde m_3(t) > 0$.
At this point the itinerary is therefore $acbac$.

Monotonicity implies that as $s$ goes from $0$ to $1$
the itinerary changes from $a[cb]a$ (at $s = 0$)
to $acbca$ to $acb[ac]$ (for a unique $s_{-} \in (0,\frac12)$)
to $acbac$ (at an open neighborhood of $s = \frac12$)
to $[ac]bac$ (for a unique $s_{+} \in (\frac12,1)$)
to $cabac$ to $c[ab]c$ (at $s = 1$).
A piecewise linear reparamatrization obtains
Figure \ref{fig:planebetaprime}.
The case $u < 0$ is of course similar.
\end{proof}

\section{Final remarks}
\label{section:final}

For $q \in \Quat_{n+1}$, let ${\cal L}_n(q)$ be
the space of locally convex curves $\Gamma$ in $\Spin_{n+1}$
with $\Gamma(0) = 1$ and $\Gamma(1) = q$.
The present paper constructs a stratification of the space ${\cal L}_n(q)$.
We proved the necessary results for the construction
of a homotopy equivalent CW complex.
We hope to detail this construction
and to prove consequences in future papers.
In this final section we discuss some of the methods involved
and state as a conjecture a sample result of the work in progress.

One important construction in \cite{Shapiro-Shapiro}
and \cite{Saldanha3} is the add-loop procedure,
which, in certain cases, is used to loosen up
compact families of nondegenerate curves
through a homotopy in ${\cal L}_n(q)$.
The resulting families of curly curves are then maleable:
if a homotopy exists in the space of immersions, another
homotopy exists in the space of locally convex curves.
In \cite{Saldanha3}, for instance, open dense subsets
$\mathcal{Y}_{\pm}\subset{\cal L}_2(\pm 1)$ are shown to be
homotopy equivalent to the space of loops $\Omega{\mathbb{S}}^3$.
This approach is reminiscent of classical constructions such as
Thurston's eversion of the sphere by corrugations
\cite{Levy-Maxwell-Munzner}
and the proof of Hirsch-Smale Theorem \cite{Hirsch, Smale}.
It can be considered as an elementary instance of the h-principle
of Eliashberg and Gromov \cite{Eliashberg-Mishachev, Gromov}.
We expect to give a combinatorial version of this method which
generalizes the result above to higher dimensions.

Recall that $\Spin_4 = {\mathbb{S}}^3 \times {\mathbb{S}}^3$;
the subgroup $\Quat_4 \subset  \Spin_4$
is generated by $(1,-1)$, $(\mathbf{i},\mathbf{i})$
and $(\mathbf{j},\mathbf{j})$.
The center of $\Quat_4$ is $Z(\Quat_4) = \{(\pm 1, \pm 1)\}$.

\begin{conj}
\label{conj:L3}
If $q \in \Quat_4 \smallsetminus Z(\Quat_4)$
then ${\cal L}_3(q)$ is weakly homotopy equivalent
to $\Omega({\mathbb{S}}^3 \times {\mathbb{S}}^3)$.
We also have the following weak homotopy equivalences:
\begin{align*}
{\cal L}_3((+1,+1)) &\approx
\Omega({\mathbb{S}}^3 \times {\mathbb{S}}^3) \vee {\mathbb{S}}^4 \vee {\mathbb{S}}^8 \vee {\mathbb{S}}^8
\vee {\mathbb{S}}^{12} \vee {\mathbb{S}}^{12} \vee {\mathbb{S}}^{12} \vee \cdots, \\
{\cal L}_3((-1,-1)) &\approx
\Omega({\mathbb{S}}^3 \times {\mathbb{S}}^3) \vee {\mathbb{S}}^2 \vee {\mathbb{S}}^6 \vee {\mathbb{S}}^6
\vee {\mathbb{S}}^{10} \vee {\mathbb{S}}^{10} \vee {\mathbb{S}}^{10} \vee \cdots, \\
{\cal L}_3((+1,-1)) &\approx
\Omega({\mathbb{S}}^3 \times {\mathbb{S}}^3) \vee {\mathbb{S}}^0 \vee {\mathbb{S}}^4 \vee {\mathbb{S}}^4
\vee {\mathbb{S}}^{8} \vee {\mathbb{S}}^{8} \vee {\mathbb{S}}^{8} \vee \cdots, \\
{\cal L}_3((-1,+1)) &\approx
\Omega({\mathbb{S}}^3 \times {\mathbb{S}}^3) \vee {\mathbb{S}}^2 \vee {\mathbb{S}}^6 \vee {\mathbb{S}}^6
\vee {\mathbb{S}}^{10} \vee {\mathbb{S}}^{10} \vee {\mathbb{S}}^{10} \vee \cdots.
\end{align*}
The above bouquets include one copy of ${\mathbb{S}}^k$,
two copies of ${\mathbb{S}}^{(k+4)}$, \dots, $j+1$ copies of ${\mathbb{S}}^{(k+4j)}$, \dots,
and so on.
\end{conj}

The presence of ${\mathbb{S}}^0$ in the bouquet
indicates the presence of the contractible connected component
of convex curves.