Abstract
Locally convex (or nondegenerate) curves in the sphere \({{\mathbb {S}}}^n\) (or the projective space) have been studied for several reasons, including the study of linear ordinary differential equations of order \(n+1.\) Taking Frenet frames allows us to translate such curves \(\gamma \) into corresponding curves \(\Gamma \) in the flag space, the orthogonal group \({\text {SO}}_{n+1}\) or its double cover \({\text {Spin}}_{n+1}.\) Determining the homotopy type of the space of such closed curves or, more generally, of spaces of such curves with prescribed initial and final jets appears to be a hard problem, which has been solved for \(n=2\) but otherwise remains open. This paper is a step towards solving the problem for larger values of n. In the process, we prove a related conjecture of B. Shapiro and M. Shapiro regarding the behavior of fundamental systems of solutions to linear ordinary differential equations. We define the itinerary of a locally convex curve \(\Gamma :[0,1]\rightarrow {\text {Spin}}_{n+1}\) as a (finite) word w in the alphabet \(S_{n+1}{\smallsetminus }\{e\}\) of non-trivial permutations. This word encodes the succession of non-open Bruhat cells of \({\text {Spin}}_{n+1}\) pierced by \(\Gamma (t)\) as t ranges from 0 to 1. We prove that, for each word w, the subspace of curves of itinerary w is an embedded contractible (globally collared topological) submanifold of finite codimension, thus defining a stratification of the space of curves. We show how to obtain explicit (topologically) transversal sections for each of these submanifolds. We study both a space of curves with minimum regularity hypotheses, where only topological transversality applies, and spaces of sufficiently regular curves, where transversality has the usual meaning. In both cases we also study the adjacency relation between strata. This is an important step in the construction of CW cell complexes mapped into the original space of curves by weak homotopy equivalences. Our stratification is not as nice as might be desired, lacking for instance the Whitney property. Somewhat surprisingly, the differentiability class of the curves affects some properties of the stratification. The necessary ingredients for the construction of a dual CW complex are proved.
Similar content being viewed by others
References
Alves, E., Saldanha, N.: Results on the homotopy type of the spaces of locally convex curves on \({\mathbb{S} }^3\). Annales d’Institut Fourier 69(3), 1147–1185 (2019)
Alves, E., Saldanha, N.: On the homotopy type of intersections of two real Bruhat cells. Int. Math. Res. Not. 1, 1–57 (2022)
Alves, E., Goulart, V., Saldanha, N.: Homotopy type of spaces of locally convex curves in the sphere \({\mathbb{S}}^3\) (2022). arXiv e-prints. arXiv:2205.10928
Anisov, S.: Convex curves in \({{\mathbb{R}}}{{\mathbb{P}}}^{n}\). In: Proceedings of the Steklov Institute of Mathematics, Moscow, Russia, vol. 221, 2, pp. 3–39 (1998)
Berenstein, A., Fomin, S., Zelevinsky, A.: Parametrizations of canonical bases and totally positive matrices. Adv. Math. 122, 49–149 (1996)
Brown, M.: Locally flat imbeddings of topological manifolds. Ann. Math. 75, 331–341 (1962)
Burghelea, D., Henderson, D.: Smoothings and homeomorphisms for Hilbert manifolds. Bull. Am. Math. Soc. 76, 1261–1265 (1970)
Burghelea, D., Saldanha, N., Tomei, C.: Results on infinite dimensional topology and applications to the structure of the critical set of nonlinear Sturm–Liouville operators. J. Differ. Equ. 188, 569–590 (2003)
Burghelea, D., Saldanha, N., Tomei, C.: The topology of the monodromy map of a second order ODE. J. Differ. Equ. 227, 581–597 (2006)
Burghelea, D., Saldanha, N., Tomei, C.: The geometry of the critical set of nonlinear periodic Sturm–Liouville operators. J. Differ. Equ. 246, 3380–3397 (2009)
Eliashberg, Y., Mishachev, N.: Introduction to the h-Principle. Graduate Studies in Mathematics, vol. 48. American Mathematical Society, Providence (2002)
Falconer, K.: Fractal Geometry. Wiley, Hoboken (2003)
Goulart, V., Saldanha, N.: Combinatorialization of spaces of nondegenerate spherical curves (2018). arXiv e-prints. arXiv:1810.08632
Goulart, V., Saldanha, N.: A CW complex homotopy equivalent to spaces of locally convex curves (2021a). arXiv e-prints. arXiv:2112.14539
Goulart, V., Saldanha, N.: Locally convex curves and the Bruhat stratification of the spin group. Isr. J. Math. 242, 565–604 (2021b)
Goulart, V., Saldanha, N.: Locally convex curves and other curves in Lie groups, positive cones and linear ODEs with discontinuous coefficients (2022, in preparation)
Gromov, M.: Partial Differential Relations. Springer, Berlin (1986)
Henderson, D.: Infinite-dimensional manifolds are open subsets of Hilbert space. Topology 9, 25–33 (1970)
Hirsch, M.: Immersions of manifolds. Trans. Am. Math. Soc. 93, 242–276 (1959)
Khesin, B., Ovsienko, V.: Symplectic leaves of the Gelfand–Dickey brackets and homotopy classes of nondegenerate curves. Funktsional’nyi Analiz i Ego Prilozheniya 24(i), 38–47 (1990)
Khesin, B., Shapiro, B.: Nondegenerate curves on \({\mathbb{S} }^2\) and orbit classification of the Zamolodchikov algebra. Commun. Math. Phys. 145, 357–362 (1992)
Khesin, B., Shapiro, B.: Homotopy classification of nondegenerate quasiperiodic curves on the 2-sphere. Publ. de l’Institut Mathématique 66(80), 127–156 (1999)
Klingenberg, W.: A Course in Differential Geometry. Springer, New York (1978)
Klingenberg, W.: Riemannian Geometry. De Gruyter, Berlin (1982)
Levy, S., Maxwell, D., Munzner, T.: Outside in, 1994. Narrated video (21 min) from the Geometry Center
Little, J.: Nondegenerate homotopies of curves on the unit 2-sphere. J. Differ. Geom. 4, 339–348 (1970)
Novikov, D., Yakovenko, S.: Integral curvatures, oscillation and rotation of spatial curves around affine subspaces. J. Dyn. Control Syst. 2(2), 157–191 (1996)
Palais, R.: Homotopy theory of infinite dimensional manifolds. Topology 5, 1–16 (1966)
Saldanha, N.: The homotopy and cohomology of spaces of locally convex curves in the sphere—I. ArXiv e-prints (2009)
Saldanha, N.: The homotopy type of spaces of locally convex curves in the sphere. Geom. Topol. 19, 1155–1203 (2015)
Saldanha, N., Shapiro, B.: Spaces of locally convex curves in \({\mathbb{S} }^{n}\) and combinatorics of the group \(\operatorname{B}_{n+1}^{+}\). J. Singul. 4, 1–22 (2012)
Saldanha, N., Tomei, C.: The topology of critical sets of some ordinary differential operators. Prog. Nonlinear Differ. Equ. Appl. 66, 491–504 (2005)
Saldanha, N., Zühlke, P.: On the components of spaces of curves on the 2-sphere with geodesic curvature in a prescribed interval. Int. J. Math. 24(14), 1350101 (2013)
Saldanha, N., Shapiro, B., Shapiro, M.: Grassmann convexity and multiplicative Sturm theory, revisited. Mosc. Math. J. 21, 613–637 (2021)
Saldanha, N., Shapiro, B., Shapiro, M.: Finiteness of rank for Grassmann convexity. Comptes Rendus Mathématique 361, 445–451 (2023)
Shapiro, M.: Topology of the space of nondegenerate curves. Russ. Acad. Sci. Izv. Math. 43(2), 291–310 (1994)
Shapiro, B., Shapiro, M.: On the number of connected components in the space of closed nondegenerate curves on \({\mathbb{S} }^{n}\). Bull. Am. Math. Soc. 25(1), 75–79 (1991)
Shapiro, B., Shapiro, M.: Projective convexity in \({\mathbb{P} }^3\) implies Grassmann convexity. Int. J. Math. 11(4), 579–588 (2000)
Shapiro, B., Shapiro, M.: Linear ordinary differential equations and Schubert calculus. In Proceedings of 13th Gökova Geometry-Topology Conference, pp. 1–9 (2010)
Smale, S.: The classification of immersions of spheres in Euclidean spaces. Ann. Math. 69, 327–344 (1959)
Acknowledgements
We would like to thank: Emília Alves, Boris Khesin, Ricardo Leite, Carlos Gustavo Moreira, Paul Schweitzer, Boris Shapiro, Michael Shapiro, Carlos Tomei, David Torres, Cong Zhou and Pedro Zülkhe for helpful conversations and the referee for a careful review of the text. We also thank 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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Goulart, V., Saldanha, N.C. Stratification of Spaces of Locally Convex Curves by Itineraries. Bull Braz Math Soc, New Series 54, 47 (2023). https://doi.org/10.1007/s00574-023-00362-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00574-023-00362-8