f194fe16877986e3.tex
1: \begin{abstract}
2: 
3: \scriptsize{A parametric curve $\gamma$ of 
4: class $C^n$ on the $n$-sphere is said to be 
5: nondegenerate (or locally convex) when 
6: $\det\left(\gamma(t),\gamma'(t),\cdots,\gamma^{(n)}(t)\right)>0$
7: for all values of the parameter $t$.
8: We orthogonalize this ordered basis to obtain
9: the \emph{Frenet frame} $\Frenet{\gamma}$ of
10: $\gamma$ assuming values in the orthogonal 
11: group $\SO_{n+1}$ 
12: (or its universal double cover, $\Spin_{n+1}$), 
13: which we decompose into Schubert or Bruhat cells. 
14: To each nondegenerate curve $\gamma$ we assign 
15: its itinerary: a word $w$ in the 
16: alphabet $S_{n+1}\smallsetminus\{e\}$ that 
17: encodes the succession of non open Schubert cells 
18: pierced by the complete flag of $\RR^{n+1}$ 
19: spanned by the columns of $\Frenet{\gamma}$. 
20: %Fixed the initial and final Frenet frames and 
21: Without loss of generality, we can focus on  
22: nondegenerate curves with initial and final flags
23: both fixed at the (non oriented) standard complete flag. 
24: For such curves, given a word $w$, the subspace of curves 
25: following the itinerary $w$ is a contractible 
26: globally collared topological submanifold of finite codimension. 
27: By a construction reminiscent of Poincar\'e duality, 
28: we define abstract cell complexes mapped 
29: into the original space of curves by 
30: weak homotopy equivalences. 
31: The gluing instructions come from a partial order in the 
32: set of words. 
33: The main aim of this construction is to attempt to determine 
34: the homotopy type of spaces of nondegenerate curves for $n>2$.   
35: The reader may want to contrast 
36: the present paper's combinatorial approach 
37: with the geometry-flavoured methods of 
38: previous works.}
39: 
40: \medskip 
41: 
42: \end{abstract}
43: